Projectief vlak

In de wiskunde is een projectief vlak een meetkundige structuur die het begrip vlak uitbreidt. Twee lijnen snijden elkaar volgens de regels van de euclidische meetkunde in één bepaald punt, hun snijpunt, maar er zijn ook paren van lijnen, namelijk evenwijdige lijnen, die elkaar niet snijden. Een projectief vlak kan als een gewoon vlak worden beschouwd, waaraan extra 'punten op oneindig' zijn toegevoegd, waar evenwijdige lijnen elkaar snijden. Ieder tweetal lijnen in een projectief vlak snijdt elkaar dus in precies één punt.

De basis voor dit wiskundige onderwerp werd in de renaissance door kunstenaars gelegd, die zich met de ontwikkeling bezighielden van technieken om in perspectief te kunnen tekenen.

Het typische voorbeeld is het reële projectieve vlak, dat ook wel bekendstaat als het uitgebreide euclidische vlak, maar er bestaan er meer, zowel oneindige, zoals het complexe projectieve vlak als eindige, zoals het Fano-vlak. Het reële projectieve vlak is, steeds in iets andere gedaante, belangrijk in de algebraïsche meetkunde, de topologie en de projectieve meetkunde en wordt in deze deelgebieden van de wiskunde aangeduid met of Een projectief vlak is een tweedimensionale projectieve ruimte, maar niet alle projectieve vlakken kunnen worden ingebed in driedimensionale projectieve ruimten. De inbeddingseigenschap is een gevolg van een resultaat dat bekendstaat als de stelling van Desargues.


Projectieve vlakken vormen een deelverzameling van veralgemeende veelhoeken als veralgemeende driehoeken.

DefinitieBewerken

Een projectief vlak bestaat uit een verzameling lijnen, een verzameling punten en een relatie tussen deze punten en lijnen. De relatie bepaalt dat twee punten daaruit op een lijn liggen.[1]

  1. Gegeven enig paar van twee verschillende punten bestaat er precies één lijn die door deze twee punten gaat.
  2. Gegeven enig paar van twee verschillende lijnen, dan hebben zij precies één snijpunt.
  3. Er zijn vier punten zodanig dat er geen enkele lijn is, die door meer dan twee van deze punten gaat.

De tweede voorwaarde houdt in dat er geen evenwijdige lijnen zijn. De laatste voorwaarde sluit de zogenaamde 'ontaarde' gevallen uit. De relatie tussen punten en lijnen is symmetrische van aard.

Verschillend per deelgebiedBewerken

Er zijn verschillende mogelijkheden om het projectieve vlak te definiëren, die per deelgebied van de wiskunde verschillen. In de lineaire algebra definieert men een projectief vlak bijvoorbeeld zodanig dat het gemakkelijk vlakken produceert, die tevens homogene ruimten voor enkele van de klassieke groepen zijn, dit met inbegrip van het reëel projectieve vlak  .

Men gebruikt in de eindige meetkunde een projectief vlak om daarmee te bestuderen welke eigenschappen binnen de euclidische meetkunde de genoemde relaties hebben.