Plan circular

Planul circular (de asemenea planul Möbius și planul invers ) este un plan descris de sistemul de axiome de identitate, în care punctele și așa-numitele cercuri generalizate joacă rolul principal .

Un exemplu de plan circular este planul euclidian completat de un punct ideal ( ). Cercurile generalizate sunt cercuri obișnuite , precum și linii drepte obișnuite , completate de un punct , relația de incidență este relația de membru.

Definiție

Un plan circular este o structură de incidență , unde  este o mulțime de puncte,  este o mulțime de cercuri generalizate și  este o relație de incidență simetrică între și , care satisface următoarele axiome:

A1: Pentru oricare trei puncte , există exact un cerc generalizat care este incident cu . A2: Pentru orice cerc generalizat , orice puncte și există exact un cerc generalizat , astfel încât: și (adică și se ating reciproc în punctul ). A3: Orice cerc generalizat este incident la cel puțin trei puncte. Există cel puțin patru puncte distincte care nu sunt incidente cu același cerc.

Vezi și

Link -uri