Сложное отношение четырёх точек на проективной прямой является единственным инвариантом проективной группы для этих четырёх точек. Если точек пять или больше, то можно построить другие инварианты, но все они могут быть выражены через сложное отношение четырёх точек. Поэтому сложное отношение четырёх точек называют ещё и основным инвариантом проективной группы [1]. Рассмотрим два отрезка на проективной прямой: (12) и (34). Как известно, любая проективная прямая замкнута (Рис. 1). В силу этого, две точки на прямой делят прямую на два отрезка...

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