Русская Википедия:Круговая плоскость

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Примером круговой плоскости является евклидова плоскость дополненная одной идеальной точкой (<math>\infty</math>). Обобщёнными окружностями являются обычные окружности, а также обычные прямые, дополненные точкой <math>\infty</math>, отношение инцидентности — отношение принадлежности.

Файл:Moebius-axioms.png
Круговая плоскость: аксиомы (A1), (A2)

Определение

Круговая плоскость это структура инцидентности <math>\mathfrak M=(P,Z,\in)</math>, где <math>P</math> — множество точек, <math>Z</math> — множество обобщённых окружностей и <math>\in</math> — симметричное отношение инцидентности между <math>P</math> и <math>Z</math>, удовлетворяющая следующим аксиомам:

A1: Для любых трех точек <math> A, B, C </math> существует ровно одна обобщёная окружность <math> z </math>, которая инцидентна <math> A, B, C </math>.
A2: Для любой обобщёной окружности <math> z </math>, любых точек <math>P\in z </math> и <math> Q \notin z </math> существует ровно одна обобщёная окружность <math> z' </math>, такая, что: <math> P, Q \in z</math> и <math> z \cap z'= \{P \} </math> (то есть, <math> z</math> и <math> z'</math> касаются друг друга в точке <math> P </math>).
А3: Любая обобщёная окружность инцидентна по крайней мере трём точкам. Существует по меньшей мере четыре различные точки, не инцидентные одной окружности.

См. также

Ссылки

  • E.F. Assmus Jr and J.D. Key, Designs and their codes, Cambridge University Press, ISBN 0-521-45839-0. с. 309—312.
  • P. Dembowski, Finite geometries, Springer Verlag, 1968, repr.1996, ISBN 3540617868.
  • D.R. Hughes and F.C. Piper, Design theory, Cambridge University Press, ISBN 0-521-35872-8. с. 133—136.
  • Шаблон:Книга — статья из математической энциклопедии. В. В. Афанасьев.
  • Möbius plane — статья из Encyclopaedia of Mathematics.

Шаблон:Перевести