Quelltext der Seite Definitionen

== Definitionen ==


===== Definition des Begriffs der Relation: =====
:<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.

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

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

===== Definition II.1: (Abstand) =====
:Der Abstand zweier Punkte <math>\ A</math> und <math>\ B</math> ist die Zahl, die nach dem Abstandsaxiom den Punkten <math>\ A</math> und <math>\ B</math> zugeordnet werden kann. <br />Schreibweise: <math>d = \left| AB \right|</math>.

===== Definition II.2: (Zwischenrelation) =====
:Ein Punkt <math>\ B</math> liegt zwischen zwei Punkten <math>\ A</math> und <math>\ C</math>, wenn <math> \left| AB \right| + \left| BC \right| = \left| AC \right| </math> gilt und der Punkt <math>\ B</math> sowohl von <math>\ A</math> als auch von <math>\ C</math> verschieden ist.
:Schreibweise: <math> \operatorname{Zw} \left( A, B, C \right) </math>

===== Definition II.3: (Strecke, Endpunkte einer Strecke) =====
:::Es seien <math>\ A</math> und <math>\ B</math> zwei verschiedene Punkte. Die Punktmenge, die <math>\ A</math> und <math>\ B</math> sowie alle Punkte, die zwischen <math>\ A</math> und <math>\ B</math> liegen, enthält,  heißt Strecke <math>\overline{AB}</math>. Stimmt das? --[[Benutzer:Sternchen|Sternchen]] 13:07, 5. Jun. 2010 (UTC)

===== Definition II.4: (Länge einer Strecke) =====
:::Es seien <math>\ A</math> und <math>\ B</math> zwei verschiedene Punkte. Der Abstand <math>\vert AB \vert</math> heißt Länge der Strecke <math>\overline{AB}</math>. OK? --[[Benutzer:Sternchen|Sternchen]] 13:09, 5. Jun. 2010 (UTC)

===== Definition II.5: (Halbgerade, bzw. Strahl) =====

:[[Lösung_von_Aufgabe_6.5]]


::Eine informelle Definition:

::<u>Definition: Halbgerade <math>AB^+</math></u>
::::Gegeben seien zwei verschiedene Punkte <math>\ A</math> und <math>\ B</math>. Unter dem Strahl bzw. der Halbgeraden <math>\ AB^+</math> versteht man die Strecke <math>\overline{AB}</math> vereinigt mit der Menge aller der Punkte, die man erhält, wenn man <math>\overline{AB}</math> über <math>\ B</math> hinaus verlängert.

::Formulieren Sie eine mathematisch korrekte Definition des Begriffs Halbgerade <math>\ AB^+</math>.
<br />
::<u>Definition: Halbgerade <math>AB^+</math></u>
:::<math>AB^+ := \{ P \mid \operatorname{Zw}(A,P,B) \lor \operatorname{Zw}(A,B,P) \} \cup \{ A,B \}</math>

::diese Lösung ist richtig!--[[Benutzer:Schnirch|Schnirch]] 12:48, 16. Jun. 2010 (UTC)


:[[Lösung_von_Aufgabe_6.6]]


::Gegeben seien zwei nicht identische Punkte <math>\ A</math> und <math>\ B</math>. Unter <math>\ AB^-</math> wollen wir die Menge aller Punkte <math>\ P</math> verstehen, die man erhält, wenn man <math>\overline{A B}</math> über <math>\ A</math> hinaus verlängert. Geben Sie eine mathematisch korrekte Definition für die Menge dieser Punkte <math>\ P</math> an.

::Lösung: Ergänzen Sie einfach die folgende Mengenschreibweise:

::<math>AB^-:=\left \{ P|Zw(P,A,B)\right \}\cup \left \{A \right \}</math>

::diese Lösung ist richtig! --[[Benutzer:Schnirch|Schnirch]] 12:49, 16. Jun. 2010 (UTC)

===== Definition III.1: (Mittelpunkt einer Strecke) =====
:Wenn ein Punkt <math>\ M</math> der Strecke <math>\overline{AB}</math> zu den Endpunkten <math>\ A</math> und <math>\ B</math> jeweils den selben Abstand hat, dann ist er der Mittelpunkt der Strecke <math>\overline{AB}</math>.

===== Definition IV.1: (offene Halbebene)=====
:::Es sei <math>\ \Epsilon</math> eine Ebene in der die Gerade <math>\ g</math> liegen möge. Ferner sei <math>\ Q</math> ein Punkt der Ebene <math>\ \Epsilon</math>, der nicht zur Geraden <math>\ g</math>  gehört.<br /> Unter den offenen Halbebenen <math>\ gQ^{+}</math> und <math>\ gQ^{-}</math> bezüglich der Trägergeraden <math>\ g</math> versteht man die folgenden Punktmengen:
::::<math>\ gQ^{+}:= \{P| \neg\exists S \,\{S\}=g\cap\overline {PQ} \}</math>
::::<math>\ gQ^{-}:= \{P| \exists S \,\{S\}=g\cap\overline {PQ} \}</math>


muss es nicht heißen: <math>\ gQ^{-}:= \exists S \, \{S\}=g\cap\overline {PQ} \} </math> \ g

da es sich um eine offene Halbebene handelt, darf g doch nicht enthalten sein, oder?
--[[Benutzer:Frühling|Frühling]] 15:10, 28. Jun. 2010 (UTC)

===== Definition IV.2: (Halbebene) =====
::::<math>\ gQ^{+}:= \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ} \} \cup  \{g\}</math>
::::<math>\ gQ^{-}:= \{P| \exists S\,\{S\}=g\cap\overline {PQ} \}</math>


::Es sei <math>\ g</math> eine Gerade der Ebene <math>\ \Epsilon</math>. <math>\ gQ^+</math> und <math>\ gQ^-</math> seien die beiden offenen Halbebenen von <math>\ \Epsilon</math> bezüglich  <math>\ g</math>. Unter den (geschlossenen) Halbebenen von  <math>\ \Epsilon</math> bezüglich <math>\ g</math> versteht die beiden Punktmengen, die durch die Vereinigung jeder dieser beiden offenen Halbebene von <math>\ \Epsilon</math> bezüglich der Geraden <math>\ g</math> mit jeweils dieser Geraden <math>\ g</math> entstehen.

::::<math>\ gQ^{+}:= \{P| \neg\exists S\,\{S\}=g\cap\overline {PQ} \} \cup  \{g\}</math>
::::<math>\ gQ^{-}:= \{P| \exists S\,\{S\}=g\cap\overline {PQ} \}</math>


Fehlt dann bei der Definition von gQ- nicht die Trägergerade g? g gehört doch im Falle der geschlossenen Halbebenen zu beiden HE dazu?


::Bemerkung: Für die formale Beschreibung von offenen und geschlossenen Halbebenen wird jeweils dieselbe Bezsichnung verwendet: offene Halbebene: <math>\ g Q^+</math>, (geschlossene) Halbebene: <math>\ g Q^+</math>. Derr weitere Gebrauch der Sprache kennzeichnet, ob es sich um eine offene oder um die geschlossene Halbene handeln soll. Aus Gründen der Vereinfachung sei vereinbart, dass <math>\ g Q^+</math> bzw. <math>\ g Q^-</math> immer die geschlossene Halbebene meint. Soll die offene Halbebene gemeint sein, so ist dieses durch den Zusatz "offen" zu kennzeichnen.
::--[[Benutzer:*m.g.*|*m.g.*]] 21:50, 23. Jun. 2010 (UTC)

Dies habe ich aus dem Skript kopiert. --[[Benutzer:Rakorium|Rakorium]] 11:43, 7. Jul. 2010 (UTC)

=====Definition IV.3: (konvexe Punktmenge)=====
::Eine Menge <math>\ M</math> von Punkten heißt konvex, wenn mit je zwei Punkten <math>\ A</math> und <math>\ B</math> dieser Menge die gesamte Strecke <math>\overline{AB}</math> zu <math>\ M</math> gehört.

===== Definition V.1: (Winkel)=====

:: Ein Winkel heißt die Vereinigungsmenge zweier Strahlen p und q, die einen gemeinsamen Anfangspunkt S haben. 

oder

:: Ein Winkel ist ein Paar Halbgeraden p, q mit gemeinsamen Anfangspunkt S.

===== Definition V.2: (Inneres eines Winkels) =====
::Das Innere eines Winkels <math>\angle ASB</math> ist der Schnitt ...der beiden Halbebenen <math>\ SA,B^+</math> und <math>\ SB,A^+</math>

===== Definition V.3: (Scheitelwinkel) =====
::Die Winkel <math>\angle SA^+,SB^+</math> und <math>\angle SA^-,SB^-</math> sind Scheitelwinkel.


Zwei Winkel sind Scheitelwinkel, wenn ihre Schenkel ein Paar sich schneidender Geraden bilden. 
--[[Benutzer:Gänseblümchen|Gänseblümchen]] 09:10, 28. Jul. 2010 (UTC)

===== Definition V.4: (Nebenwinkel) =====
::Die Winkel <math>\angle SA^+,SB^+</math> und <math>\angle SA^-,SB^+</math> sind Nebenwinkel.

Zwei Winkel sind Nebenwinkel, wenn sie einen gemeinsamen Schenkel haben und die anderen 2 Schenkel eine Gerade bilden.
--[[Benutzer:Gänseblümchen|Gänseblümchen]] 09:14, 28. Jul. 2010 (UTC)

===== Definition V.5: (Größe eines Winkels) =====
:: Die Zahl <math>\ \omega</math>, die entsprechend des Winkelmaßaxioms einem jeden Winkel <math>\ \alpha</math> eindeutig zugeordnet werden kann, wird die Größe oder  das Maß von <math>\ \alpha</math> genannt.<br />In Zeichen: <math>\omega = \left| \alpha \right|</math>.

===== Definition V.6 : (Rechter Winkel) =====
::Wenn ein Winkel die selbe Größe wie einer seiner Nebenwinkel hat, so ist er ein rechter Winkel.

===== Definition V.7 : (Supplementärwinkel) =====
:: Zwei Winkel heißen genau dann supplementär, wenn die Summe ihrer Größen 180 beträgt.

===== Definition V.8 : (Relation senkrecht auf der Menge der Geraden) =====
:: Es seien <math>\ g</math> und <math>\ h</math> zwei Geraden. Wenn sich <math>\ g</math> und <math>\ h</math> schneiden und bei diesem Schnitt rechte Winkel entstehen, dann stehen die Geraden <math>\ g</math> und <math>\ h</math> senkrecht aufeinader.

:: In Zeichen: <math>\ g \perp \ h</math> (in der Formelbeschreibungssprache Tex: \perp , läßt sich gut merken, von perpendicular)

===== Definition V.9 : (noch mehr Senkrecht) =====
:: Eine Gerade <math>\ g</math> und eine Strecke <math>\overline{AB}</math> stehen senkrecht aufeinander, wenn die <math>\ g</math> und die Gerade <math>\ AB</math> senkrecht aufeinander stehen.<br />
Ergänzen Sie:
:: Eine Strecke <math>\ \overline{AB}</math> und eine Strecke <math>\ \overline{CD}</math> stehen senkrecht aufeinander, wenn ... die Gerade AB und die Gerade CD senkrecht aufeinander stehen??? --[[Benutzer:Maude001|Maude001]] 11:45, 27. Jun. 2010 (UTC)

::Eine Gerade <math>\ g</math> und eine Ebene <math>\epsilon</math> stehen senkrecht aufeinander, wenn es in <math>\epsilon</math> ... zwei Geraden gibt, die nicht parallel oder identisch sind und vollständig in <math>\epsilon</math> liegen und auf die <math> g </math> senkrecht steht. --[[Benutzer:Löwenzahn|Löwenzahn]] 15:18, 2. Jul. 2010 (UTC)

===== Definition VI.1: (Mittelsenkrechte) =====
::Es sei <math>\ m</math> eine Gerade und <math>\overline{AB}</math> eine Strecke, die durch <math>\ m</math> im Punkt <math>\ M</math> geschnitten wird. <math>\ m</math> ist die Mittelsenkrechte von <math>\overline{AB}</math>, wenn 

::# <math>m \perp AB</math>
::# <math>\left| AM \right| = \left| MB \right|</math>

===== Definition VI.2 =====
:: Es seien <math>\ p</math>,<math>\ w</math> und <math>\ q</math> drei Halbgeraden ein und derselben Ebene mit dem gemeinsamen Anfangspunkt <math>\ S</math>. Die Halbgerade <math>\ w</math> ist die Winkelhalbierende des Winkels <math>\angle pq</math>, wenn <math>\ w</math> im Inneren von  <math>\angle pq</math> liegt und die beiden Winkel <math>\angle pw</math> und <math>\angle wq</math> dieselbe Größe haben.

===== Definition VII.1: (Streckenkongruenz) =====
:: Zwei Strecken sind kongruent, wenn sie dieselbe Länge haben.<br />
:: In Zeichen <math>\overline{AB} \cong \overline{CD} := |\overline{AB}| = |\overline{CD}|</math>

===== Definition VII.2 : (Winkelkongruenz) =====
::Zwei Winkel die dieselbe Größe haben heißen kongruent zueinander.<br />
::In Zeichen: <math>\alpha \cong \beta := | \alpha | = | \beta |</math>

===== Definition VII.3: (Dreieckskongruenz) =====
::Wenn für zwei Dreiecke <math>\overline{ABC}</math> und <math>\overline{DEF}</math> die folgenden  6 Kongruenzen 

:::# <math>\overline{AB} \cong \overline{DE}</math>
:::# <math>\overline{BC} \cong \overline{EF}</math>
:::# <math>\overline{AC} \cong \overline{DF}</math>
:::# <math>\angle CAB \cong \angle FDE</math>
:::# <math>\angle ABC \cong \angle DEF</math>
:::# <math>\angle ACB \cong \angle DFE</math>
::gelten,<br />
:: dann sind die beiden Dreiecke <math>\overline{ABC}</math> und <math>\overline{DEF}</math>  kongruent zueinander.

===== Definition VII.4 : (gleichschenkliges Dreieck) =====
as können sie selbst. Bringen Sie in der Definition die Begriffe Basis, Basiswinkel und Schenkel eines gleichschenkligen Dreiecks unter.

[[Übung_11#Aufgabe_11.1| Übung 11 Aufgabe 1]]

Ein Dreieck mit zwei zueinanderkongruenten Seiten heißt gleichschenkliges Dreieck. Die beiden zueinander kongruenten Seiten heißen Schenkel des gleichseitigen Dreiecks. Die dritte Seite des gleichschenkligen Dreiecks heißt Basis. Die Innenwinkel eines gleichschenkligen Dreiecks, dessen Scheitelpunkte die Eckpunkte der Basis sind heißen Basiswinkel des gleichschenkligen Dreiecks.

--[[Benutzer:Rakorium|Rakorium]] 07:24, 8. Jul. 2010 (UTC)

===== Definition VII.4 : (Peripheriewinkel) =====
Ein Winkel heißt Peripheriewinkel, wenn der Scheitel des Winkel Element eines Kreises ist, und die beiden Schenkel den Kreis jeweils in genau einem Punkt schneiden.
--[[Benutzer:Gänseblümchen|Gänseblümchen]] 09:42, 28. Jul. 2010 (UTC)