Cтраница 1
Множество троек 9Л может быть представлено графом с направленными ребрами. [1]
Множество троек ( К, г, rj) образует абелеву группу относительно естественной групповой операции. [2]
Множество троек Ж может быть представлено графом с направленными ребрами. Для итого каждому седловому движению f4 q сопоставим вершину Mt графа, а каждому двоякоасимптотическому движению - и - направленное ребро m ij, соединяющее вершину Mt с вершиной Mj. [3]
Пусть Е - множество троек ( х, у, г) неколлинеарных точек плоскости П; это множество устойчиво относительно группы Я преобразований, и эта группа действует на Е однотранзитнвно. [4]
Пусть Р - это множество троек P ( xk, yk, zk), где х, у, z - фиксированные элементы из / С, не все равные нулю, a k Ф 0 - произвольный элемент из К. [5]
Группа с п действует транзитивно на множестве троек точек, лежащих на одной прямой, но не на множестве четверок таких точек. [6]
Группа Р С / действует транзитивно на множестве троек точек, которые лежат на одной прямой, но не на множестве четверок таких точек. [7]
С операцией сложения никаких трудностей не возникает, поскольку множество троек вещественных чисел с заданной на нем операцией сложения можно рассматривать как прямое произведение трех аддитивных групп вещественных чисел. При умножении третья компонента произведения 1 ( я, Ь, х) ( с, d, у) ] ( е, /, и) равна аси f ( oy dx), а третья компонента произведения ( а, Ь, х) [ ( с, d, у) ( е, /, и) ] равна а ( си fy) dfx. Нетрудно видеть, что обе компоненты совпадают. [8]
В самом деле, в обоих случаях по существу получается множество троек; тройки сравниваются справа налево, пока не обнаружится различие. [9]
Резолюционное доказательство Т - это конечное множество узлов вместе с множеством троек таких узлов. Каждый узел N имеет к тому же метку, обозначаемую label ( V), которая является дизъюнктом. Каждая тройка называется резолюцией. [10]
![]() |
Преобразование координат точки на плоскости в однородные координаты. [11] |
Тем самым между произвольной точкой с координатами ( х, у) и множеством троек чисел вида ( Нх, Ну, Н), А 0, устанавливается ( взаимно однозначное) соответствие, позволяющее считать числа Нх, Ну, Н новыми координатами этой точки. [12]
Тем самым между произвольной точкой с координатами ( х, у) и множеством троек чисел вида ( hx, hy, h), h 0, устанавливается ( взаимно однозначное) соответствие, позволяющее считать числа hx, hy, h новыми координатами этой точки. [13]
Определение всех возможных положений материальной точки в пространстве в любой системе отсчета приводит к множеству троек действительных чисел, обозначающих множество геометрических точек. Это множество составляет геометрическое пространство. [14]
Строго доказать вычислимость функции ф довольно труди Мы дадим набросок доказательства, используя идею под дящего множества троек S. [15]