Cirkulärt plan

Cirkulärt plan (även Möbiusplan och omvänt plan ) är ett plan som beskrivs av systemet av identitetsaxiom, där punkter och de så kallade generaliserade cirklarna spelar huvudrollen .

Ett exempel på ett cirkulärt plan är det euklidiska planet kompletterat med en idealpunkt ( ). Generaliserade cirklar är vanliga cirklar , såväl som vanliga räta linjer , kompletterade med en punkt , incidensrelationen är medlemsrelationen.

Definition

Ett cirkulärt plan är en infallsstruktur , där  är en uppsättning punkter,  är en uppsättning generaliserade cirklar och  är en symmetrisk incidensrelation mellan och , som uppfyller följande axiom:

A1: För alla tre punkter finns det exakt en generaliserad cirkel som sammanfaller med . A2: För varje generaliserad cirkel , alla punkter och det finns exakt en generaliserad cirkel , så att: och (det vill säga och röra varandra vid punkten ). S3: Varje generaliserad cirkel är sammanfallande med minst tre punkter. Det finns minst fyra distinkta punkter som inte faller samman med samma cirkel.

Se även

Länkar