Kruhová rovina

Kruhová rovina (též Möbiova rovina a inverzní rovina ) je rovina popsaná systémem axiomů identity, ve které hrají hlavní roli body a tzv. zobecněné kružnice .

Příkladem kruhové roviny je euklidovská rovina doplněná o jeden ideální bod ( ). Zobecněné kružnice jsou obyčejné kružnice , stejně jako obyčejné přímky , doplněné bodem , relace výskytu je relace příslušnosti.

Definice

Kruhová rovina je incidenční struktura , kde  je množina bodů,  je množina zobecněných kružnic a  je symetrickým incidenčním vztahem mezi a , splňující následující axiomy:

A1: Pro jakékoli tři body existuje přesně jeden zobecněný kruh , který je incidentní s . A2: Pro jakýkoli zobecněný kruh , všechny body a existuje právě jeden zobecněný kruh , takový, že: a (to znamená a vzájemně se dotýkají v bodě ). Odpověď 3: Jakýkoli zobecněný kruh je shodný s alespoň třemi body. Existují alespoň čtyři odlišné body, které nespadají do stejného kruhu.

Viz také

Odkazy