He обращайте внимания

[Sonic86]

я тоже побалуюсь:

[IHmG]

Вопросы по алгебре, многомерные пространства и по верстке... в LATEX

Вопрос 1
В определении 1. Что значит термин фактор-множество множества (выделено жирным, наклонным шрифтом)
Вопрос 2
В определении 1, в формуле после слов "то есть". Там должен стоять квантор "выполняется". В методичке это символ слеша. Правильно ли набрана формула?
Вопрос 3
Как набирать символ множества (утолщение линии)?


Определение и интерпретации проективного пространства

Введем между ненулевыми векторами и (n+1)-мерного пространства отношение , считая, что вектор находится в отношении с вектором в том и только в том случае, если ; иначе, если параллельно . Поскольку является отношением эквивалентности, множество ненулевых векторов из распадается на смежные классы, где в один класс попадают параллельные между собой векторы.

Определение 1
Проективным n-мерным пространством , порожденным векторным пространством , называется фактор-множество множества ненулевых векторов из по отношению эквивалентности , то есть

Элементы проективного пространства называются точками, где каждая точка представляет собой класс параллельных между собой ненулевых векторов. Если вектор входит в класс , то говорят, что он порождает точку (В старой литературе векторы называли "аналитическими точками", а порожденные ими точки - "геометрическими точками")

Определим так называемое каноническое отображение \ , считая образом вектора порожденную им точку , то есть

[Dragon27]

Блин, я уже чуть отвечать не начал

[Таланов]

Здесь.

[balans]

Это всё что смог сделать.

[A.I.]

M

A

A

[ma]

[/ma]