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).

Definitie[1]Bewerken

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:

  1. Er zijn geen gewone  -hoeken voor  .
  2. Elke twee elementen van   zijn bevat in een gewone  -hoek.
  3. 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:

  1. De diameter van de incidentiegraaf is   en de taille (lengte kleinste cykel) is  .
  2. 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  .

EigenschappenBewerken

Men 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 ParametersBewerken

Walter 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 ookBewerken

ReferentiesBewerken

  1. H. van Maldeghem, Generalized polygons, Basel (2011). ISBN 978-3-0348-0271-0.
  2. The nonexistence of certain generalized polygons. Journal of Algebra (1964), Pages 114-131.