|
|
| (14 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) |
| Zeile 1: |
Zeile 1: |
| == Formatierungshilfen und -erinnerungen == | | :::::<math>\star</math><br /> |
| | [[Datei:Sternchen blau.png]] |
| | |
| | |
| | == Formatierungshilfen == |
| [http://wiki.zum.de/Hilfe:TeX Hilfe zu LaTeX]<br /> | | [http://wiki.zum.de/Hilfe:TeX Hilfe zu LaTeX]<br /> |
| | <math>\varphi</math> (dieses kleine phi heißt \varphi) |
|
| |
|
| | | {| class="wikitable " |
| {| class="wikitable" | | |+ Beweis |
| |- | | ! Nr. |
| | '''Schritt''' || '''Begründung'''
| | ! Beweisschritt |
| |- | | ! Begründung |
| |1) | | |- |
| ||Voraussetzung | | ! style="background: #FFDDDD;"|(I) |
| |- | | | Element |
| |2)
| | | Voraussetzung |
| ||(1)
| | |- |
| |- | | ! style="background: #FFDDDD;"|(II) |
| |3) | | | Element |
| ||
| | | Element |
| |- | | |- |
| |4) | | ! style="background: #FFDDDD;"|(III) |
| || | | | Element |
| |- | | | Element |
| |5) | | |- |
| || | | ! style="background: #FFDDDD;"|(IV) |
| |- | | | Element |
| |6) | | | Element |
| || | | |- |
| | ! style="background: #FFDDDD;"|(V) |
| | | Element |
| | | Element |
| |} | | |} |
| <br />
| |
|
| |
| == Eine kleine Zusammenfassung ==
| |
| === Klasseneinteilung ===
| |
| :Es sei <math>M</math> eine Menge und <math>K=\{ T_1, T_2, T_3, ..., T_n, ...\} </math> eine Menge von Teilmengen von <math>M</math>.
| |
| :<math>K</math> ist eine Klasseneinteilung von <math>M</math>, wenn gilt:
| |
| :# notwendige Bedingung 1: Keine der Teilmengen ist die leere Menge.
| |
| :# notwendige Bedingung 2: Je zwei Teilmengen sind disjunkt.
| |
| :# notwendige Bedingung 3: Die Vereinigung aller Teilmengen ergibt wieder die Menge <math>M</math>.
| |
| ::Mengen sind disjunkt, wenn die Schnittmenge dieser Mengen die leere Menge ist, bzw. die Mengen keine gemeinsamen Objekte besitzen.<br />
| |
| === Relationen ===
| |
| <u>Definition: (n-stellige Relation)</u>
| |
| :Es seien <math> M_1,\ M_2,\ M_3,\ ...,\ M_n\ n</math> Mengen, wobei keine dieser Mengen die leere Menge ist. Jede Teilmenge aus <math> M_1 \times M_2 \times M_3 ...\times M_n </math> ist eine <math>\ n-</math>stellige Relation.<br />
| |
| <u>Definition: (Äquivalenzrelation)</u>
| |
| :Eine Relation <math>\ R</math> in einer Menge <math>\ M</math> heißt ''Äquivalenzrelation'', wenn sie reflexiv, symmetrisch und transitiv ist.<br />
| |
| === Axiomatik ===
| |
| ==== Axiome ====
| |
| =====AXIOM I/0=====
| |
| :Geraden und Ebenen sind Punktmengen.
| |
| =====AXIOM I/1(Axiom von der Geraden)=====
| |
| :Zu zwei beliebigen verschiedenen Punkten gibt es genau eine Gerade, die die beiden Punkte enthält.
| |
| =====AXIOM I/2=====
| |
| :Zu jeder Geraden gibt es wenigstens zwei Punkte, die dieser Geraden angehören.
| |
| =====AXIOM I/3=====
| |
| :Es gibt wenigstens 3 Punkte, die nicht kollinear sind.
| |
| =====Axiom I/4=====
| |
| :Zu je drei nichtkollinearen Punkten gibt es genau eine Ebene, die diese drei Punkte enthält. Jede Ebene enthält (wenigstens) einen Punkt.
| |
| =====Axiom I/5=====
| |
| :Wenn zwei Punkte einer Geraden ''g'' in einer Ebene ''E ''liegen, so gehört g zu ''E''.
| |
| =====Axiom I/6=====
| |
| :Wenn zwei Ebenen einen Punkt gemeinsam haben, so haben sie noch mindestens einen weiteren Punkt gemeinsam.
| |
| =====Axiom I/7=====
| |
| :Es gibt vier Punkte, die nicht komplanar sind.
| |
| ==== Definitionen ====
| |
| =====Definition I/2: (kollinear)=====
| |
| :Eine Menge von Punkten heißt kollinear, wenn es eine Gerade gibt, die alle Punkte der Menge enthält.
| |
| :Schreibweise: koll(''A, B, C,'' ...) Sollten die Punkte ''A, B, C'' einer Menge nicht kollinear sein, so schreibt man:nkoll(''A, B, C)''
| |
| =====Definition I/3: (Inzidenz Punkt Ebene)=====
| |
| :Ein Punkt ''P'' inzidiert mit einer Ebene ''E'', wenn ''P'' ein Element der Ebene ''E'' ist.
| |
| =====Definition I/4: (Inzidenz Gerade Ebene)=====
| |
| :Eine Gerade ''g'' gehört zu einer Ebene ''E'', wenn jeder Punkt von ''g'' zu ''E'' gehört.
| |
| =====Definition I/5: (Raum)=====
| |
| :Die Menge aller Punkte P wird Raum genannt.
| |
| =====Definition I/6: (komplanar)=====
| |
| :Eine Menge von Punkten heißt komplanar, wenn es eine Ebene gibt, die alle Punkte der Menge enthält. Schreibweise: komp(''A'', ''B'', ''C, D, ...'') (analog nkomp(..) für nicht komplanar)
| |
| =====Definition I/7: (komplanar für Geraden)=====
| |
| :Zwei Geraden'' g ''und ''h'' sind komplanar, wenn es eine Ebene gibt, in der beide Geraden vollständig liegen.
| |
| :Schreibweise: komp(g, h)
| |
| =====Definition I/8: (Geradenparallelität)=====
| |
| :Zwei Geraden ''g'' und ''h'' sind parallel, wenn sie identisch oder komplanar und schnittpunktfrei sind.
| |
| :In Zeichen: ''g''||''h''.
| |
| =====Definition I/9: (windschief )=====
| |
| :Zwei Geraden ''g'' und ''h'' sind windschief, wenn sie schnittpunktfrei und nicht parallel sind.
| |
| =====Definition I/10: (parallel für Ebenen)=====
| |
| :Zwei Ebene ''E''<sub>1</sub> und ''E''<sub>2</sub> sind parallel, wenn sie keinen Punkt gemeinsam haben.
| |
| ==== Sätze ====
| |
| =====Satz I.1=====
| |
| :Es seien ''g'' und ''h'' zwei Geraden. Wenn ''g'' und ''h'' nicht identisch sind, haben sie höchstens einen Punkt gemeinsam.
| |
| =====Satz I.2: (Kontraposition von Satz I.1)=====
| |
| :Es seien ''g'' und ''h'' zwei Geraden.
| |
| :Wenn ''g'' und ''h'' mehr als einen Punkt gemeinsam haben, so sind ''g'' und ''h'' identisch.
| |
| ===== Satz I.3: (Existenz von drei Geraden)=====
| |
| :Es existieren mindestens drei paarweise verschiedene Geraden.
| |
| =====Satz I.5:=====
| |
| :Zwei voneinander verschiedene Ebenen haben entweder keinen Punkt oder eine Gerade gemeinsam, auf der alle gemeinsamen Punkte beider Ebenen liegen.
| |
| =====Satz I.6:=====
| |
| :Eine Ebene und eine nicht in ihr liegende Gerade haben höchstens einen Punkt gemeinsam.
| |
| =====Satz I.7:=====
| |
| :Jede Ebene enthält (wenigstens) drei Punkte.
| |
- $ \star $
Formatierungshilfen
Hilfe zu LaTeX
$ \varphi $ (dieses kleine phi heißt \varphi)
Beweis
| Nr.
|
Beweisschritt
|
Begründung
|
| (I)
|
Element
|
Voraussetzung
|
| (II)
|
Element
|
Element
|
| (III)
|
Element
|
Element
|
| (IV)
|
Element
|
Element
|
| (V)
|
Element
|
Element
|
