Linearer Raum (Geometrie)

Ein linearer Raum, manchmal auch als Inzidenzraum bezeichnet, ist eine grundlegende Struktur in der endlichen Geometrie. Als eigenständiger Begriff wurde er 1964 von Paul Libois eingeführt. Außer in Trivialfällen (bei höchstens eindimensionalen Räumen) kann man lineare Räume als Verallgemeinerung der schwach affinen Räume ansehen, die wiederum eine Verallgemeinerung der affinen Räume sind. Gleichzeitig stellen lineare Räume auch eine Verallgemeinerung der mindestens zweidimensionalen projektiven Räume dar. Endliche lineare Räume wiederum können als Verallgemeinerung von 2-<math>(v,k,1)</math> Blockplänen angesehen werden, bei der man darauf verzichtet, dass auf jeder Geraden (=Block) die gleiche Anzahl von Punkten liegt.

Definitionen

Linearer Raum

Sei <math>L=(P,G,I)</math> eine Inzidenzstruktur, bei der man die Elemente von <math> P</math> als Punkte und die Elemente von <math>G</math> als Geraden (oder Blöcke) bezeichnet. Weiterhin verwendet man für die Inzidenzrelation auch die Sprechweisen ein Punkt <math>p</math> liegt auf einer Geraden <math>g</math> (<math>p\, I\, g</math> mit <math> p\in P,g\in G </math>) und eine Gerade <math>g</math> geht durch einen Punkt <math>p</math> (<math>g\, I\, p </math> mit <math> p\in P, g\in G </math>). Die Inzidenzstruktur <math> L </math> wird als linearer Raum bezeichnet, wenn die folgenden 3 Axiome erfüllt sind:

(L1) Durch 2 Punkte geht genau eine Gerade.
(L2) Auf jeder Geraden liegen mindestens 2 Punkte.
(L3) L besitzt mindestens 2 Geraden.

Gelegentlich wird das Axiom L3 in der Literatur nicht gefordert, in einem solchen Fall bezeichnet man diejenigen linearen Räume, die es dennoch erfüllen, als nicht triviale lineare Räume. Besitzt der lineare Raum eine endliche Anzahl von Punkten, so spricht man auch kurz von einem endlichen linearen Raum.

Es werden fast immer nur endliche lineare Räume untersucht. Wie bei Blockplänen wird dann die Anzahl der Punkte in der Regel mit <math>v</math>, die Anzahl der Geraden mit <math>b</math> bezeichnet.

Partieller linearer Raum

Gelten für eine Inzidenzstruktur die Axiome (L2) und (L3), aber an Stelle von (L1) nur das schwächere Axiom<ref name="Metsch1">Metsch (1991), Kap. 1: Definitions and basic properties of linear spaces</ref>

(L1p) „Durch 2 Punkte geht höchstens eine Gerade.“,

so spricht man von einem partiellen linearen Raum (eng. partial linear space).

Entarteter linearer Raum, near-pencil

Einen linearen Raum mit <math>n</math> Punkten, der eine Gerade mit <math>n-1</math> Punkten besitzt, bezeichnet man als degenerierten linearen Raum (degenerate linear space oder near-pencil).<ref name="Metsch1" /> Alle anderen linearen Räume bezeichnet man als nichtdegenerierte lineare Räume.
Die Klasse der projektiven Ebenen wird mit der Klasse der degenerierten linearen Räume zusammengefasst zur Klasse der verallgemeinerten projektive Ebene.<ref name="Metsch1" />

Eigenschaften {{#invoke:Vorlage:Anker|f |errCat=Wikipedia:Vorlagenfehler/Vorlage:Anker |errHide=1}}

Jeder lineare Raum ist eine einfache Inzidenzstruktur, das heißt, eine Gerade ist durch die mit ihr inzidierenden Punkte eindeutig bestimmt, kann also als Menge ihrer Punkte aufgefasst werden.<ref name="Metsch1" />
Für endliche lineare Räume ist die Anzahl <math>b</math> der Geraden nie kleiner als die Anzahl <math>v</math> der Punkte, es gilt also stets <math>b\geq v</math>. Das ist die Aussage eines Satzes von de Bruijn und Erdős (Satz von de Bruijn-Erdős (Inzidenzgeometrie)).<ref name="BruijnErd">{{#invoke:Vorlage:Literatur|f}}</ref>

Gleichheit <math>b=v</math> gilt genau dann, wenn der lineare Raum eine verallgemeinerte projektive Ebene ist, also entweder eine projektive Ebene oder ein near-pencil.<ref name="BruijnErd" />
Die maximal mögliche Anzahl an Geraden bei gegebener Punktzahl <math>v</math> ist <math>b={v\choose 2 }</math>. Der lineare Raum ist dann der vollständige Graph auf v Knoten.<ref name="Metsch1" />

Beispiele

Die normale euklidische Ebene bildet einen unendlichen linearen Raum.
Etwas allgemeiner sind alle affinen und projektiven Räume, deren Dimension größer oder gleich 2 ist, und damit insbesondere auch projektive Ebenen, etwa die Fano-Ebene, (nicht triviale) lineare Räume.
Eine punktierte projektive Ebene entsteht aus einer projektiven Ebene durch Weglassen genau eines Punktes: Eine solche Ebene bildet stets einen linearen Raum.<ref name="Metsch1" />
Eine affine Ebene mit einem Fernpunkt entsteht aus einer affinen Ebene durch Hinzufügen genau eines Fernpunktes als Schnittpunkt genau einer fest gewählten Parallelenschar der Ebene. Auch diese Ebenen bilden stets einen linearen Raum.<ref name="Metsch1" />

Im Folgenden sind alle vier linearen Räume mit fünf Punkten (<math>v=5</math>) aufgelistet. Hierbei ist es üblich, in der graphischen Darstellung alle Geraden mit nur zwei Punkten aus Gründen der Übersicht nicht zu zeichnen.

Datei:Linear space1.png	Datei:Linear space2.png	Datei:Linear space3.png	Datei:Linear space4.png
10 Geraden: Vollständiger Graph auf 5 Knoten.	8 Geraden	6 Geraden: die affine Ebene <math>AG(2,2)</math> mit einem Fernpunkt.	5 Geraden: der near-pencil mit 5 Punkten.

Datei:Linear space near pencil.png
near pencil mit 10 Punkten (10 Geraden)

Literatur

{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}
{{#invoke:Vorlage:Literatur|f}}

Weblinks

Geometrieskript auf math.uni-hamburg.de (PDF-Datei; 326 kB)
<templatestyles src="Webarchiv/styles.css" />{{#if:20120206073840

      | {{#ifeq: 20120206073840 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Skript zur Inzidenzgeometrie | {{#invoke:WLink|getEscapedTitle|Skript zur Inzidenzgeometrie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20120206073840}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Skript zur Inzidenzgeometrie | {{#invoke:WLink|getEscapedTitle|Skript zur Inzidenzgeometrie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20120206073840}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Skript zur Inzidenzgeometrie | {{#invoke:WLink|getEscapedTitle|Skript zur Inzidenzgeometrie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Skript zur Inzidenzgeometrie | {{#invoke:WLink|getEscapedTitle|Skript zur Inzidenzgeometrie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Skript zur Inzidenzgeometrie | {{#invoke:WLink|getEscapedTitle|Skript zur Inzidenzgeometrie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Skript zur Inzidenzgeometrie | {{#invoke:WLink|getEscapedTitle|Skript zur Inzidenzgeometrie}} | {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20120206073840|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Skript zur Inzidenzgeometrie
    | {{#if: {{#invoke:WLink|isBracketedLink|Skript zur Inzidenzgeometrie}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.mathematik.uni-tuebingen.de/ab/Geometrie.alt/Inzidenzgeometrie.ps }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }} auf mathematik.uni-tuebingen.de

Einzelnachweise