Gegeneraliseerde veelhoek
In de wiskunde is een gegeneraliseerde veelhoek een incidentiemeetstructuur geïntroduceerd door Jacques Tits in 1959. Gegeneraliseerde -hoeken bevatten als speciale gevallen projectieve vlakken (gegeneraliseerde driehoeken) en polaire ruimten van rang 2 (gegeneraliseerde vierhoeken).
Een (dikke) gegeneraliseerde tweehoek is een incidentiestructuur met minstens drie punten en drie lijnen waarbij elk punt incident is met elke lijn.
Voor is een (dikke) gegeneraliseerde -hoek een incidentiemeetkunde met de verzameling punten, de verzameling lijnen en de incidentierelatie zodat:
- Er zijn geen gewone -hoeken voor .
- Elke twee elementen van zijn bevat in een gewone -hoek.
- Er is een gewone -hoek.
Indien enkel aan de eerste twee voorgaande eigenschappen voldaan is, spreekt men ook wel van een dunne gegeneraliseerde -hoek. Dit kan equivalent uitgedrukt worden aan de hand van de volgende twee eigenschappen die meer zeggen over de incidentiegraaf:
- De diameter van de incidentiegraaf is en de taille (lengte kleinste cykel) is .
- Elk element van is incident met minstens 2 elementen.
Het bestaan van een gewone -hoek kan men in de definitie ook vervangen door de eis dat elk element van incident is met minstens drie elementen.
Gewone veelhoeken zijn eenvoudige voorbeelden van dunne gegeneraliseerde veelhoeken. Er zijn punten en lijnen, de orde, hieronder gedefinieerd, is .
Eigenschappen
bewerkenMen kan aantonen dat elke dikke gegeneraliseerde -hoek een orde heeft zodat elk lijn incident is met punten en elk punt incident is met lijnen. Hierbij kunnen en ook oneindige kardinalen zijn.
De duale van een gegeneraliseerde veelhoek is steeds opnieuw een gegeneraliseerde veelhoek.
Restricties en Parameters
bewerkenWalter Feit en Graham Higman bewezen[2] dat eindige dikke gegeneraliseerde -hoeken enkel kunnen bestaan voor .
- Gegeneraliseerde driehoeken zijn precies de projectieve vlakken dus .
- 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
bewerkenReferenties
bewerken- ↑ H. van Maldeghem (2011). Generalized polygons, Basel. ISBN 978-3-0348-0271-0.
- ↑ The nonexistence of certain generalized polygons. Journal of Algebra (1964), Pages 114-131. Gearchiveerd op 21 februari 2022.