Pyöreä taso

Ympyrätaso (myös Möbius-taso ja käänteinen taso ) on identiteettiaksioomajärjestelmän kuvaama taso, jossa pisteet ja ns. yleistetyt ympyrät ovat pääroolissa .

Esimerkki ympyrätasosta on euklidinen taso täydennettynä yhdellä ideaalipisteellä ( ). Yleiset ympyrät ovat tavallisia ympyröitä sekä tavallisia suoria viivoja täydennettyinä pisteellä , esiintymissuhde on jäsensuhde.

Määritelmä

Ympyrätaso on tulorakenne , jossa  on joukko pisteitä,  on joukko yleistettyjä ympyröitä ja  on symmetrinen ilmaantuvuussuhde ja välillä , joka täyttää seuraavat aksioomit:

A1: Jokaiselle kolmelle pisteelle on täsmälleen yksi yleinen ympyrä , joka on sattuma kanssa . A2: Jokaiselle yleistetylle ympyrälle , mitkä tahansa pisteet ja on täsmälleen yksi yleinen ympyrä , siten että: ja (eli koskettavat toisiaan pisteessä ). A3: Mikä tahansa yleistetty ympyrä osuu vähintään kolmeen pisteeseen. On ainakin neljä erillistä pistettä, jotka eivät liity samaan ympyrään.

Katso myös

Linkit