Gegeneraliseerde veelhoek

In de wiskunde is een gegeneraliseerde veelhoek een incidentiemeetstructuur geïntroduceerd door Jacques Tits in 1959. Gegeneraliseerde $n$-hoeken bevatten als speciale gevallen projectieve vlakken (gegeneraliseerde driehoeken) en polaire ruimten van rang 2 (gegeneraliseerde vierhoeken).

Definitie

Een (dikke) gegeneraliseerde tweehoek is een incidentiestructuur met minstens drie punten en drie lijnen waarbij elk punt incident is met elke lijn.

Voor $n\ge 3$ is een (dikke) gegeneraliseerde $n$-hoek een incidentiemeetkunde $(𝒫,ℒ,I)$ met $𝒫$ de verzameling punten, $ℒ$ de verzameling lijnen en $I\subseteq 𝒫\times ℒ$ de incidentierelatie zodat:

1. Er zijn geen gewone $k$-hoeken voor $2\le k\le n$.
2. Elke twee elementen van $𝒫\cup ℒ$ zijn bevat in een gewone $n$-hoek.
3. Er is een gewone $(n+1)$-hoek.

Indien enkel aan de eerste twee voorgaande eigenschappen voldaan is, spreekt men ook wel van een dunne gegeneraliseerde $n$-hoek. Dit kan equivalent uitgedrukt worden aan de hand van de volgende twee eigenschappen die meer zeggen over de incidentiegraaf:

1. De diameter van de incidentiegraaf is $n$ en de taille (lengte kleinste cykel) is $2n$.
2. Elk element van $𝒫\cup ℒ$ is incident met minstens 2 elementen.

Het bestaan van een gewone $(k+1)$-hoek kan men in de definitie ook vervangen door de eis dat elk element van $𝒫\cup ℒ$ incident is met minstens drie elementen.

Gewone veelhoeken zijn eenvoudige voorbeelden van dunne gegeneraliseerde veelhoeken. Er zijn $n$ punten en $n$ lijnen, de orde, hieronder gedefinieerd, is $(1,1)$.

Eigenschappen

Men kan aantonen dat elke dikke gegeneraliseerde $n$-hoek een orde $(s,t)$ heeft zodat elk lijn incident is met $s+1$ punten en elk punt incident is met $t+1$ lijnen. Hierbij kunnen $s$ en $t$ ook oneindige kardinalen zijn.

De duale van een gegeneraliseerde veelhoek is steeds opnieuw een gegeneraliseerde veelhoek.

Restricties en Parameters

Walter Feit en Graham Higman bewezen dat eindige dikke gegeneraliseerde $n$-hoeken enkel kunnen bestaan voor $n\in \{2,3,4,6,8\}$.

• Gegeneraliseerde driehoeken zijn precies de projectieve vlakken dus $s=t$.
• Gegeneraliseerde vierhoeken zijn precies de polaire ruimten van rang 2.

Het is niet geweten of er dikke gegeneraliseerde veelhoeken bestaan waarbij een van de twee parameters oneindig is en de andere eindig. Men noemt dit semi-eindige gegeneraliseerde veelhoeken.

Zie ook

• Gegeneraliseerde vierhoek 
• Incidentiemeetkunde
• Polaire ruimte
• Gebouwentheorie
• Projectieve meetkunde
• Jacques Tits
• Veelhoek