WikiDer > Теорема расслоения

Bundle theorem

В геометрии теорема о расслоении в простейшем случае является утверждением о шести окружностях и восьми точках на реальной евклидовой плоскости. В общем, это свойство Самолет Мебиуса что выполняется яйцевидный Только самолеты Мебиуса.

Теорему о расслоении не следует путать с Теорема Микеля.

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

Существенным свойством овоидальной плоскости Мебиуса является существование модели пространства через овоид. An яйцевидный в 3-мерном проективном пространстве - это набор точек, которые а) пересекаются прямыми в 0, 1 или 2 точках и б) его касательные в произвольной точке покрывают плоскость (касательную плоскость). Геометрия овоида в проективном 3-пространстве - это плоскость Мёбиуса, называемая овоидальная плоскость Мебиуса. Набор точек геометрии состоит из точек овоида, а кривые (циклы) являются плоскими сечениями овоида. Подходящая стереографическая проекция показывает: для любой овоидной плоскости Мёбиуса существует модель плоскости.[1] В классическом случае плоская модель - это геометрия кругов и линий (любая линия завершается точкой ). Теорема о расслоении имеет плоскую и пространственную интерпретацию. В планарной модели могут быть задействованы линии. Доказательство теоремы о расслоении проводится в рамках пространственной модели.

Плоскость Мёбиуса: теорема о расслоении

Для любой овоидной плоскости Мебиуса справедлива теорема о расслоении:

Теорема о расслоении:

  • Если для разных точек пять из шести четверок совпадают (содержатся в цикле) как минимум на четырех циклах , то 6-я четверка тоже параллельна.[2]

Доказательство является следствием следующих соображений, которые существенно используют тот факт, что три плоскости в 3-мерном проективном пространстве пересекаются в одной точке:

  1. Самолеты, содержащие циклы пересекаться в точке . Следовательно это точка пересечения прямых (в пространстве!) .
  2. Самолеты, содержащие циклы пересекаться в точке . Следовательно это точка пересечения линий , тоже.

Это дает: а) и б) пересекаться в точке , тоже. Последнее утверждение означает: совпадают. У задействованных самолетов есть точка в общем, они являются элементами пучок самолетов.

Важность теоремы о расслоении была показана Джефф Кан.

Теорема Кана: Плоскость Мёбиуса овоидальна тогда и только тогда, когда она удовлетворяет теореме о расслоении,.[3]

Теорема о расслоении имеет аналогичный смысл для плоскостей Мёбиуса, поскольку Теорема Дезарга за проективные плоскости. Из теоремы о расслоении следует существование а) а тело (делительное кольцо) и б) яйцевидное. Если верна более строгая теорема Микеля, то тело даже коммутативно (поле), а овоид есть квадрика.

Замечание: Есть плоскости Мебиуса, которые не имеют яйцевидной формы.[4]

Замечание: Для овоидальной Самолеты Лагерра существует и теорема о расслоении с аналогичным смыслом.[5]

Рекомендации

  1. ^ Хартманн, стр. 63.
  2. ^ Хартманн, стр. 61.
  3. ^ Кан, стр. 62.
  4. ^ Хартманн, стр. 64.
  5. ^ Хартманн, стр. 78.

Источники

дальнейшее чтение

  • В. Бенц, Vorlesungen über Geometrie der Algebren, Springer (1973)
  • П. Дембовский, Конечная геометрия, Springer-Verlag (1968) ISBN 3-540-61786-8, п. 256