Проективное преобразование

Проективное преобразование проективной плоскости — это преобразование, переводящее прямые в прямые.

Связанные понятия

В математическом анализе, и прилегающих разделах математики, ограниченное множество — множество, которое в определенном смысле имеет конечный размер. Базовым является понятие ограниченности числового множества, которое обобщается на случай произвольного метрического пространства, а также на случай произвольного частично упорядоченного множества. Понятие ограниченности множества не имеет смысла в общих топологических пространствах, без метрики.

Подробнее: Ограниченное множество

Единичный круг — круг радиуса 1 на евклидовой плоскости (рассматриваемый обычно на комплексной плоскости); «идиоматическая» область в комплексном анализе.

Грани́ца мно́жества A — множество всех точек, расположенных сколь угодно близко как к точкам во множестве A, так и к точкам вне множества A.

Коллинеа́рность — отношение параллельности векторов: два ненулевых вектора называются коллинеарными, если они лежат на параллельных прямых или на одной прямой. Допусти́м синоним — «параллельные» векторы.

Однородные координаты ― система координат, используемая в проективной геометрии, подобно тому, как декартовы координаты используются в евклидовой геометрии.

Инве́рсия (от лат. inversio «обращение») относительно окружности — преобразование евклидовой плоскости, переводящее обобщённые окружности (окружности либо прямые) в обобщённые окружности, при котором одна из окружностей поточечно переводится в себя.

Теорема Жордана — классическая теорема геометрии известная благодаря простоте формулировки и чрезвычайной сложности доказательства.

Симметрическое пространство — риманово многообразие, группа изометрий которого содержит центральные симметрии с центром в любой точке.

Параметрическое представление — используемая в математическом анализе разновидность представления переменных, когда их зависимость выражается через дополнительную величину — параметр.

Плоскость Фано — конечная проективная плоскость порядка 2, имеющая наименьшее возможное число точек и прямых (7 точек и 7 прямых), с тремя точками на каждой прямой и с тремя прямыми, проходящими через каждую точку. Названа по имени итальянского математика Джино Фано.

Паралле́льный перено́с (иногда трансляция) ― частный случай движения, при котором все точки пространства перемещаются в одном и том же направлении на одно и то же расстояние.

Особая точка кривой — точка, в окрестности которой не существует гладкой параметризации. Точное определение зависит от типа изучаемой кривой.

Геометри́ческое ме́сто то́чек (ГМТ) — фигура речи в математике, употребляемая для определения геометрической фигуры как множества точек, обладающих некоторым свойством.

Конформно-евклидова модель или модель Пуанкаре́ — модель пространства Лобачевского.

Пло́скость — одно из основных понятий геометрии. При систематическом изложении геометрии понятие плоскости обычно принимается за одно из исходных понятий, которое лишь косвенным образом определяется аксиомами геометрии.

Подмногообразие ― термин, используемый для нескольких схожих понятий в общей топологии, дифференциальной геометрии и алгебраической геометрии.

Предги́льбертово простра́нство — линейное пространство с определённым на нём скалярным произведением.

Аффи́нное преобразование, иногда Афинное преобразование (от лат. affinis «соприкасающийся, близкий, смежный») — отображение плоскости или пространства в себя, при котором параллельные прямые переходят в параллельные прямые, пересекающиеся — в пересекающиеся, скрещивающиеся — в скрещивающиеся.

Изометрия — биекция между метрическими пространствами, сохраняющая расстояния между точками.

Касательный вектор — элемент касательного пространства, например элемент касательной прямой к кривой, касательной плоскости к поверхности так далее.

Симплициальный компле́кс, или симплициальное пространство, — топологическое пространство с заданной на нём триангуляцией, то есть, неформально говоря, склеенное из топологических симплексов по определённым правилам.

В математике индекс точки или порядок точки относительно замкнутой кривой на плоскости — это целое число, представляющее число полных оборотов, которое делает кривая вокруг заданной точки против часовой стрелки. Иногда говорят о порядке кривой относительно точки. Индекс зависит от ориентации кривой и принимает отрицательное значение, если обход кривой происходит по часовой стрелке.

Бордизм, также бордантность — термин топологии, употребляющийся самостоятельно или в составе стандартных...

В общей алгебре, термин кручение относится к элементам группы, имеющим конечный порядок, или к элементам модуля, аннулируемым регулярным элементом кольца.

Подробнее: Кручение (алгебра)

Гиперокта́эдр — геометрическая фигура в n-мерном евклидовом пространстве: правильный политоп, двойственный n-мерному гиперкубу. Другие названия: кокуб, ортоплекс, кросс-политоп.

Конечная геометрия — это любая геометрическая система, имеющая конечное количество точек. Например, евклидова геометрия не является конечной, так как евклидова прямая содержит неограниченное число точек, а точнее говоря, содержит ровно столько точек, сколько существует вещественных чисел. Конечная геометрия может иметь любое конечное число измерений.

Проективная группа — группа преобразований проективного пространства, индуцируемых линейными преобразованиями соответствующего векторного пространства. Её элементы называются проективными преобразованиями — они обобщают проективные преобразования проективной плоскости. С матричной точки зрения проективная группа — это группа всех невырожденных матриц с точностью до скалярных матриц.

Плоский модуль над кольцом R — это такой модуль, что тензорное умножение на этот модуль сохраняет точные последовательности. Модуль называется строго плоским, если последовательность тензорных произведений точна тогда и только тогда, когда точна исходная последовательность.

Аффи́нное простра́нство — математический объект (пространство), обобщающий некоторые свойства евклидовой геометрии. В отличие от векторного пространства, аффинное пространство оперирует с объектами не одного, а двух типов: «векторами» и «точками».

Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.

Каса́тельная пряма́я — прямая, проходящая через точку кривой и совпадающая с ней в этой точке с точностью до первого порядка.

Отношение инцидентности — это бинарное отношение между двумя различными типами объектов. Это включает понятия, которые можно выразить такими фразами как «точка лежит на прямой» или «прямая принадлежит плоскости». Наиболее существенное отношение инцидентности — между точкой P и прямой l, которое записывается как P I l. Если P I l, пара (P, l) называется флагом. В разговорном языке существует много выражений, описывающих отношение инцидентности (например, прямая проходит через точку, точка лежит на...

Подробнее: Инцидентность (геометрия)

Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.

Двойственная кривая (или дуальная кривая) к заданной кривой на проективной плоскости — это кривая на двойственной проективной плоскости, состоящая из касательных к заданной гладкой кривой. В этом случае кривые называются взаимно двойственными (дуальными). Понятие может быть обобщено для негладких кривых и на многомерное пространство.

Систе́ма корне́й (корнева́я систе́ма) в математике — конфигурация векторов в евклидовом пространстве, удовлетворяющая определённым геометрическим свойствам.

Теорема косинусов — теорема евклидовой геометрии, обобщающая теорему Пифагора на произвольные плоские треугольники.

Одноро́дный многочле́н — многочлен, все одночлены которого имеют одинаковую полную степень. Любая алгебраическая форма является однородным многочленом. Квадратичная форма задается однородным многочленом второй степени, бинарная форма - однородным многочленом любой степени от двух переменных.

Полный квадрат или квадратное число — число, являющееся квадратом некоторого целого числа. Иными словами, квадратом является целое число, квадратный корень которого тоже целый.

Длина кривой (или, что то же, длина дуги кривой) — числовая характеристика протяжённости этой кривой. Исторически вычисление длины кривой называлось спрямлением кривой (от лат. rectificatio, спрямление).

Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.

Интегра́л Пуассо́на — общее название математических формул, выражающих решение краевой задачи или начальной задачи для уравнений с частными производными некоторых типов.

Преде́льная то́чка множества в общей топологии — это такая точка, любая проколотая окрестность которой пересекается с этим множеством.

В математике свободная абелева группа (свободный Z-модуль) — это абелева группа, имеющая базис, то есть такое подмножество элементов группы, что для любого её элемента существует единственное его представление в виде линейной комбинации базисных элементов с целыми коэффициентами, из которых только конечное число являются ненулевыми. Элементы свободной абелевой группы с базисом B называют также формальными суммами над B. Свободные абелевы группы и формальные суммы используются в алгебраической топологии...

Двойственное пространство (иногда сопряжённое пространство) — пространство линейных функционалов на заданном векторном пространстве.

Факторкольцо́ — общеалгебраическая конструкция, позволяющая распространить на случай колец конструкцию факторгруппы. Любое кольцо является группой по сложению, поэтому можно рассмотреть её подгруппу и взять факторгруппу. Однако для того, чтобы на этой факторгруппе можно было корректно определить умножение, необходимо, чтобы исходная подгруппа была замкнута относительно умножения на произвольные элементы кольца, то есть являлась идеалом.

Нера́венство треуго́льника в геометрии, функциональном анализе и смежных дисциплинах — это одно из интуитивных свойств расстояния.

Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...

Если дано топологическое пространство и группа действий на нём, образы отдельной точки под действием группы действий образуют орбиты действий. Фундаментальная область — это подмножество пространства, которое содержит в точности по одной точке из каждой орбиты. Она даёт геометрическую реализацию абстрактного множества представителей орбит.

Подробнее: Фундаментальная область

Касательное пространство Зарисского — конструкция в алгебраической геометрии, позволяющая построить касательное пространство в точке алгебраического многообразия. Эта конструкция использует не методы дифференциальной геометрии, а только методы общей, и, в более конкретных ситуациях, линейной алгебры.

Проекти́вный мо́дуль — одно из основных понятий гомологической алгебры. С точки зрения теории категорий, проективные модули являются частным случаем проективных объектов.

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я