12

== Ziel der Ausführungen bzw. der Veranstaltung ==
Es gibt grundlegende Begriffe, die man im Mathematikunterricht und auch im alltäglichen Sprachgebrauch ständig verwendet, ohne sich bis ins letzte Detail Gedanken über den Begriff selbst zu machen. Mitunter braucht man es dann doch genauer und es stellen sich Fragen, die gar nicht so einfach zu beantworten sind:

#Was ist eigentlich eine natürliche Zahl?
#Was ist ein Bruch, was ist eine Bruchzahl, was ist eine gebrochene Zahl und ist das eigentlich alles dasselbe?
#Was ist eine Richtung?
#Was ist der Richtungssinn?
#Meint 3. und 4. dasselbe?
#Was ist ein Pfeil und was sind Pfeilklassen?

Man kann eine ganze Zeit lang Mathematik betreiben, ohne obige Fragen explizit zu beantworten:

# Natürliche Zahlen kennt doch jedes Kind, es sind die Zahlen 1, 2, 3, 4, 5 usw., sie sind offenbar gottgegeben.
# Was interessiert es mich, ob es Bruch, gebrochene Zahl oder Bruchzahl heißt, wenn ich etwa <math>\frac{3}{5} + \frac{7}{12}</math> rechnen soll, dann rechne ich halt <math>\frac{36}{60} +\frac{35}{60}</math> und erhalte<math>\frac{71}{60}</math>.
:3. bis 6.
{| class="wikitable" 
|- 
|[[Bild:Vektorrechnung_01.svg|200px]] || Was interessiert es mich, ob es Pfeil oder Pfeilklasse heißt, wenn ich etwa <math>\vec{AB} + \vec{CD}</math> bestimmen soll, dann rechne ich halt <math>\vec{AB} + \vec{BE}</math> und erhalte <math>\vec{AE}</math>
|}

Irgendwie bleibt bei näherer Betrachtung der Dinge jedoch ein wenig Unsicherheit, die, je mehr man darüber nachdenkt, immer stärker wird:
Wir haben nicht wirklich die Brüche <math>\frac{3}{5}</math> und <math>\frac{7}{12}</math> addiert, sondern die Brüche <math>\frac{36}{60}</math> und <math>\frac{35}{60}</math>. Irgendwie ist das sicherlich dasselbe, irgendwie aber auch nicht: <math>\frac{3}{5}</math> einer Pizza sind wunderschöne Stücke (Schließlich hat m.g. 10 Jahre das Rezept für seinen Teig optimiert.). <math>\frac{36}{60}</math> derselben Pizza ist Matsch und nicht wirklich genießbar (eventuell noch für zahnlose Hunde).

Irgendwie passt es schon, dass wir anstelle von <math>\vec{CD}</math> <math>\vec{BE}</math> zu <math>\vec{AB}</math> addiert haben. Bei näherer Betrachtung ist der Pfeil <math>\vec{BE}</math> aber auch ein von <math>\vec{CD}</math> verschiedener Pfeil unserer Ebene.

Dieses ''Irgendwie'' und ''passt schon'' sollten wir präzieren. Zentraler Punkt dieser Präzisierung sind die Begriffe ''Äquivalenzrelation'' und ''Klasseneinteilung''.

== Klasseneinteilungen ==

=== Beispiele und Gegenbeispiele ===

==== Kleine Bemerkung aus didaktischer Sicht zur Erarbeitung des Begriffs Klasseneinteilung====
Die Ausbildung von Lehrern an einer Hochschule oder Universität läuft häufig Gefahr, sich selbst ad absurdum zu führen. Auf der einen Seite fordert man vom zukünftigen Lehrer, dass dieser sich im Praktikum seines didaktischen Know-How's bedienen möge, während man in den eigenen Lehrveranstaltungen den didaktischen Aspekt stark vernachlässigt.
Nun wird es rein aus Zeitgründen nicht immer möglich sein, sich in einer Hoschschullehrveranstaltung der Methoden eines Unterricht allgeinbildender Schulen zu bedienen, zumindest exemplarisch sollte es jedoch möglich sein, den stark dozierenden Stil der Hochschullehrveranstaltung zu durchbrechen.
Hier und jetzt wollen wir dieses tun:
Der Begriff der Klasseneinteilung soll induktiv erarbeitet werden. Hierzu werden wir verschiedene Beispiele und prägnante Gegenbeispiele bezüglich des Begriffes der Klasseneinteilung untersuchen um dann die Idee des Begriffs ''Klasseneinteilung'' herauszuarbeiten.

==== Ein Beispiel für eine Klasseneinteilung ====
Die übliche morgendliche Hektik an der „Maier-Vorwiesener“ Grund- und Hauptschule:
Frau Schulze-Mackenroth zog es für heute vor, ihr Burnout-Syndrom mit Tannenzäpfle und Ouzo zu pflegen,  weshalb sie sich  kurz vor knapp  bei Rektor Pollenwein telefonisch krank gemeldet hat.
In ihrer Grundschulklasse geht es derweilen drunter und drüber. Xulio-Dävid hat seine überforderte, allein erziehende Mutter ausgetrickst und das Methylphenidat nicht genommen. Jetzt lässt er seine ADHS hemmungslos an seinen Klassenkameraden aus.

Zu Hause bei Lehrer Steiner gab es ein weiteres mal Stress wegen der jungen blonden Referendarin, die Steiner betreut. Er flüchtet deshalb und kommt eine Stunde früher. Erleichtert sieht ihn Rektor Gendarm beim Anmarsch auf die Schule. Aus dem Rektoratsfenster ruft er Steiner zu: „Du musst ganz schnell in die Klasse von Xulio-Dävid. Es brennt mal wieder!“

Damit ist eindeutig geklärt, in welche Klasse Herr Steiner gehen muss. Rein formal hätte Rektor Gendarm natürlich auch die Namen von anderen Schülern nennen können, die mit Xulio-Dävid in dieselbe Klasse gehen. An der klassischen Grund- und Hauptschule geht jeder Schüler in genau eine Klasse. Ihre Klassen sind ein Beispiel dafür, was der Mathematiker unter einer Klasseneinteilung versteht.

==== Ein Gegenbeispiel für den Begriff der Klasseneinteilung ====
10 Jahre ist Sportsfreund Holzkugel nun Vorsitzender des örtlichen Kegelvereins. Es waren bewegte 10 Jahre. Vor 5 Jahren gelang ihm das, woran schon viele Vorsitzende des Vereins scheiterten: Die Öffnung des Vereins für den Bowlingsport. Die Gegner des Bowling verwiesen immer wieder auf den Namen des Vereins: "Alle Neune Wilhelmsfeld". Schließlich konnte man sich aber doch auf eine Umbennung in "Gut Holz Wilhelmsfeld" einigen, was die Gründung der Sektion Bowling ermöglichte. Heute gehört <math>\frac {1}{3}</math> aller Mitglieder von "Gut Holz Wilhelmsfeld" sowohl der Sektion Kegeln als auch der Sektion Bowling an. Die beiden Sektionen  bilden damit keine Klasseneinteilung des Vereins "Gut Holz Wilhelmsfeld".


==== Identifizieren von Klasseneinteilungen ====
<quiz>
{ Setzen Sie ein Häckchen, wenn es sich nach Ihrer Meinung um eine Klasseneinteilung der angegebenen  Grundmenge handelt.}
- Einteilung der Menge aller Dreiecke in gleichseitige, gleichschenklige und in Dreiecke bei denen keine zwei Seiten gleichlang sind.
|| Ein gleichseitiges Dreieck ist gleichzeitig ein gleichschenklig.
+ Einteilung der Menge aller Vierecke in konvexe und konkave Vierecke.
|| Ein beliebiges Viereck ist entweder konvex oder nicht konvex und damit konkav. Es gibt kein Viereck, das weder konvex noch konkav ist. Die Menge aller Vierecke wird damit in  genau zwei Klassen eingeteilt. Die eine Menge ist die Menge aller konvexen Vierecke, die andere Menge ist die Menge aller nicht konvexen und damit konkaven Vierecke.
+ Unter <math>\mathcal{M}</math> wollen wir die Menge aller Mengen ohne die leere Menge verstehen. Wir teilen <math>\mathcal{M}</math> nun in unendlich viele Teilmengen ein:<math> M_1,\ M_2,\ M_3,\ M_4,\ ...,\ M_n,\ ... </math>, wobei wir  unter <math>M_1\ </math> die Menge aller Mengen mit genau einem Element, unter <math>M_2\ </math> die Menge aller Mengen mit genau zwei Elementen, unter <math>M_n\ </math> die Menge aller Mengen mit genau n Elementen etc. verstehen wollen.
||Jede Menge (außer der leeren Menge) gehört zu genau einer der Teilmengen von <math>\mathcal{M}</math>. Alle Teilmengen vereinigt bilden die Menge <math>\mathcal{M}</math>.
- Herr Markwitz ist Rektor der Wiesengrund-Hauptschule. Früher war die Wiesengrund-Hauptschule zweizügig. Es gibt damit die Klassen 6a, 6b, 7a, 7b, 8a, 8b, 9a und 9b. Im Schuljahr 2009/2010 reichte es dann nicht mehr. Eigentlich dürfte es nur die Klasse 5a geben. In diese Klasse gehen auch alle Schüler des entsprechenden Jahrgangs. Um den Fortbestand seiner Schule zu sichern, greift Rektor Markwitz zu einem Trick. Er führt fiktiv die Klasse 5b, die allerdings keine Schüler hat.
|| Das konnten Sie noch nicht wissen: sollen die Teilmengen einer Menge eine Klasseneinteilung der Grundmenge bilden, do darf keine der Teilmengen leer sein. Läßt Herr Markwitz die fiktive Klasse weg, so hat er natürlich wieder eine saubere Einteilung der Menge aller Schüler seiner Schule in Klassen.

</quiz>

=== Definition des Begriffs Klasseneinteilung ===
<u>Bemerkung</u><br />
<u>Definition: (Klasseneinteilung eine Menge)</u>
::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

:(1) <math>T_n \cap T_m =\left\{ {\phi} \right\}  </math>  Jede belibige Teilmenge gschnitten mit einer belibigen anderen Teilmenge die leere Menge ergibt, d.h. Jedes Element kommt nur in einer Teilmenge vor.<br />
::
:(2) <math>M=\left\{ {T_1 \cup T_2\cup T_3\cup ...T_n} \right\} </math> Alle Teilmengen vereinigt die Menge M ergeben.<br />
::
:(3) <math>T_n\neq   \left\{ {\phi } \right\}</math> keine der Teilmengen die leere Menge ist.<br />--[[Benutzer:RicRic|RicRic]] 21:09, 1. Nov. 2011 (CET)
::

== Relationen ==

=== Beispiele ===

==== Halt dich senkrecht====

[[File:Flag of Switzerland (Pantone).svg|thumb|Flag of Switzerland (Pantone)]]<br />
Im Schulpraktikum war der Begriff der Senkrechten zu behandeln. Der Praktikant hatte ein Bild der Schweizer Nationalflagge auf eine Folie gedruckt und fragte die Schüler, welche Linien Senkrechte wären. Bei den Schülern stellte sich nach den ersten Antworten leichte Unsicherheit ein. <br />Der Grund für diese Unsicherheit: Die Frage des Praktikanten war völlig unsinnig. Eine Antwort wie ''Gerade <math>a</math> steht senkrecht'' ist lediglich eine Aussageform, der kein Wahrheitswert zuzuordnen ist. Erst wenn man die Lage von <math>a</math> bezüglich einer anderen Geraden <math>b</math> (Ebene, Strahl, Strecke) betrachtet, ist es sinnvoll davon zu sprechen, dass <math>a</math> eine Senkrechte ist.<br />'''Die Relation Gerade <math>a</math> steht senkrecht auf Gerade <math>b</math> ist zweistellig.'''

====Eine klassische Dreiecksbeziehung====
Tom ist der Liebhaber von Gabi. Zu der Ehre der Liebhabereigenschaft kommt er durch die Existenz von Frank, dem Ehemann von Gabi. Tom, Gabi und Frank stehen in einer dreistelligen Relation zueinander, der klassischen Dreiecksbeziehung.<br />Wir könnten diese Relation auch so formulieren: Gabi steht zwischen zwei Männern.
==== Beispiel 3 ====
Trauen Sie sich: Präsentieren Sie hier ein eigenes Beispiel.

Beispiel Frühstücksei:<br />
Hier stehen in Relation, die Größe des Ei mit der Kochzeit um eim ideales weichgekochtes Ei zu erhalten.<br />
Ist es also mein Ziel ein ideals Frühstückei zu erhalten, muss ich die Ralation zwischend der Größe des Ei und der Kochzeit beachten.--[[Benutzer:RicRic|RicRic]] 21:14, 1. Nov. 2011 (CET)

==== Ein Quiz zwischendurch ====
<quiz>
{Setzen Sie ein Häckchen, wenn es sich um eine <u>zweistellige</u> Relation handelt}
+ Eine Ebene <math>\alpha</math> steht senkrecht zu einer Ebene <math>\beta</math>.
|| klar, wie bei Beispiel 1 für Geraden
- Der Punkt <math>B</math> liegt zwischen den Punkten <math>A</math> und <math>C</math>.
|| dreistellig
+ Von zwei Punkten ein und derselben Geraden liegt einer vor dem anderen.
|| Jetzt werden nur zwei Punkte verglichen.
</quiz>
=== Die Idee der Relation aus abstrakter Sicht ===

====Jeder mit Jeder?====
Von Anfang an war Kommissar Schätzerle dieses Dorf, dass man weder dem Ländle noch dem Nachbarn Bayern so recht zuordnen kann, nicht ganz geheuer gewesen.<br />Ist nun der schöne Anton der Vater von der Lisa oder doch Stavros, der Grieche, der irgendwann im Dorf auftauchte und seitdem bei der feschen Wirtin wohnt. Wer ist eigentlich der Vater vom Klaus, den man hier immer noch politisch unkorrekt den Dorfdeppen nennt. Und was ist mit Dorothea, deren Zeugung mit Sicherheit nicht die unbefleckte Empfängnis war, alle im Dorf aber so tun, als wenn es so gewesen wäre.<br />Eins wurde Schätzerle immer klarer: Er konnte den aktuellen Fall nur lösen, indem er alle Vaterschaften des Ortes gnadenlos aufklärte. An die DNS aller in Frage kommender Männer heranzukommen war leicht. Ein abendlicher Besuch bei der feschen Wirtin reichte aus. Schwieriger war es bei den Kindern. Um das Gerichtsverfahren nicht zu gefährden, sei dem Chronisten diesbezügliches Stillschweigen gestattet. Wie auch immer, irgendwann hatte sich Schätzerle auch die noch fehlende DNS von Maria besorgt und schickte alles den Kollegen in Stuttgart zum Zwecke des DNA-Abgleichs.<br />Mit der Bitte um Kennzeichnung jeweiliger Vaterschaften durch ein Ausrufezeichen schickte er die folgende tabellarische Übersicht mit:<br />

{| class="wikitable center"
|-
!  
! der schöne Anton
! Stavros, der Grieche
! der Pfarrer
! der Gärtner
|-
| Lisa
| ?
| ?
| ?
| ?
|-
| Klaus
| ?
| ?
| ?
| ?
|-
| Dorothea
| ?
| ?
| ?
| ?
|-
| Maria
| ?
| ?
| ?
| ?
|-
| Karl - Theodor
| ?
| ?
| ?
| ?
|-
| Hans
| ?
| ?
| ?
| ?
|}
Das LKA Stuttgart schickte die Tabelle in folgender Form zurück:
{| class="wikitable center"
|-
!  
! der schöne Anton
! Stavros, der Grieche
! der Pfarrer
! der Gärtner
|-
| Lisa
| ?
| ?
| ?
| '''!'''
|-
| Klaus
| '''!'''
| ?
| ?
| ?
|-
| Dorothea
| ?
| ?
| '''!'''
| ?
|-
| Maria
| ?
| '''!'''
| ?
| ?
|-
| Karl - Theodor
| ?
| ?
| ?
| '''!'''
|-
| Hans
| ?
| ?
| ?
| '''!'''
|}
Der einzige, der sich über das Ergebnis aus Stuttgart freute, war der schöne Anton. Es hielt sich nämlich hartnäckig das Gerücht, dass der Anton zwar recht nett anzusehen sei, andererseits aber struntzdumm und vom Gebrauch der Anabolika, naja sie wissen schon ... .
Für Schätzerle wurde allerdings klar: Der Mörder war wieder der Gärtner.
[[Bild:060520111038.jpg|800px]]<br />
Alle geordneten Paare: (potentieller Vater, potentielles Kind) aus den Veranstaltungen vom 6.5.11. --[[Benutzer:*m.g.*|*m.g.*]] 11:52, 7. Mai 2011 (CEST)
[[Bild:060520111040.jpg|800px]]<br />
Nach dem DNA-Abgleich: Alle geordneten Paare (Vater, leibliches Kind) wurden aus dem obigen Kreuzprodukt herausgenommen. Also: Die Relation ''<math>\ R</math>: v ist Vater von k'' repräsentiert sich als eine Menge von geordneten Paaren aus dem Kreuzprodukt <math>V \times K</math>. Anders  ausgedrückt: <math>R \subseteq  V \times K</math>
===Das Remake WS2011/12: Vaterschaften im schwäbischen Dorf===
{{#ev:youtube|wv_Z9jRxWVM}}

==== Du hast den Farbfilm vergessen ... ====
Wir wollen davon ausgehen, dass Sie diesen Text an einem Computermonitor <math>M</math> lesen. Ferner möge es sich bei <math>M</math> um einen Monitor handeln, der <br /> <math>\quad 256^3=16.777.216</math> <br /> verschiedene Farben darstellen kann. Weil Bilder, für deren Darstellung auf dem Bildschirm <math>16.777.216</math> verschiedene Farben zur Verfügung stehen, recht natürlich auf das menschliche Auge wirken, bezeichnet man die Farbtiefe von <math>256^3</math> Farben auch als ''True Color''.
Da das Display von <math>M</math> selbst leuchtet, erfolgt die Farbdarstellung auf ihm entsprechend des Prinzips der ''additiven Farbmischung'': Die Farbe eines jeden Pixels wird durch das Mischen der drei Grundfarben ''Rot'', ''Grün'' und ''Blau'' generiert (RGB).
Für jede der drei Farben stehen jeweils 256 verschiedene Farbtiefen zur Verfügung, d.h. im Farbraum von <math>M</math>  gibt es 256 verschiedene Rottöne, 256 verschiedene Grüntöne und schließlich 256 verschiedene Blautöne. Jeder der Farbtöne wird durch eine natürliche Zahl <math>f</math> mit <math>0 \le f \le 255</math> codiert. Der Code einer beliebigen Farbe des Farbraumes von <math> M </math> ist damit ein geordnetes Tripel <math> \left( f_r, f_g, f_b \right) </math>, wobei <math> f_r, \quad  f_g </math> und <math> \quad f_b </math> jeweils natürliche Zahlen zwischen <math>\quad 0</math> und <math> \quad 255 </math> sind und die jeweilige Farbtiefe der Grundfarben Rot, Grün und Blau codieren.

<iframe src="http://www.ph-heidelberg.de/wp/gieding/flashz/Farbregler_01.swf" width="600" height="400" frameborder="2"></iframe>

Aus der abstrakten Sicht des Mathematikers ist unser RGB-Farbraum das Kreuzprodukt <math> \ \mathcal{F} \times \mathcal{F} \times \mathcal{F}</math>, wobei unter <math> \mathcal{F}</math> die Menge der natürlichen Zahlen von 0 bis 255 zu verstehen ist.

Nun möge es sich zugetragen haben, dass wir des Auftrages zur Generierung eines computergestützten Videos anheischig wurden. Als Auftraggeber zeichnet niemand geringeres als Nina Hagen zuständig. Zum 56. Geburtstag der Punk-Diva soll ''Du hast den Farbfilm vergessen (mein Michael)'' als Video fröhliche Urständ feiern.

Was liegt bei dem Titel ''Du hast den Farbfilm vergessen'' näher, als ein Video in Schwarz/Weiß oder genauer ausgedrückt ein Video , das nur Grautöne verwendet. Der RGB-Farbraum enthält auch Grautöne. Diesbezüglich definieren wir uns eine dreistellige Relation mit dem Namen <math>\ grau</math> auf der Menge aller geordneten Tripel aus <math> \ \mathcal{F} \times \mathcal{F} \times \mathcal{F}</math>: Die Komponenten <math> f_r, \quad  f_g </math> und <math> \quad f_b </math> eines Tripels <math> \left( f_r, f_g, f_b \right) </math> mögen genau dann in der Relation <math>\ grau</math> zueinander stehen, wenn das Tripel <math> \left( f_r, f_g, f_b \right) </math> der Code für einen Grauwert ist.

Es wäre interessant zu untersuchen, welche Tripel aus  <math> \ \mathcal{F} \times \mathcal{F} \times \mathcal{F}</math> so beschaffen sind, dass ihre jeweiligen Komponenten in der Relation <math>\ grau</math> zueinander stehen. Bei dieser Formulierung bricht man sich fast die Zunge. Formulieren wir doch einfacher: Wir wollen untersuchen, welche geordneten Tripel aus <math> \ \mathcal{F} \times \mathcal{F} \times \mathcal{F}</math> zur Relation <math>\ grau</math> gehören.

Für diese Untersuchung stellen wir uns ausnahmsweise ganz dumm und gehen mittels einer ''Brutal Force''- Methode vor:
Beginnend mit dem Tripel <math> \ (0, 0, 0) </math> danach die Tripel <math> \ (0, 0, 1) </math> und <math> \ (0, 0, 2) </math> testend probieren wir systematisch alle <math>256^3</math> Tripel bis zum Tripel <math> \ (255, 255, 255) </math> aus, ob sie der Code für einen Grauwert sind oder nicht, bzw. zu unserer Relation <math>\ grau</math> gehören oder nicht. Aus allen potentiell möglichen Tripeln haben wir die Tripel herausgesucht, die zu unserer Relation <math>\ grau</math> gehören. Anders ausgedrückt: Auf der Suche nach allen geordneten Tripeln, die einen Grauwert codieren, haben wir eine Teilmenge unserer Grundmenge <math> \ \mathcal{F} \times \mathcal{F} \times \mathcal{F}</math> gebildet. Diese Teilmenge ist letztlich unsere Relation.

Die Untersuchungen ergaben (Der Leser überzeuge sich mittels [http://www.ph-heidelberg.de/wp/gieding/Lehre/Medieninformatik/Bildbearbeitung/excel/farbumrechnung.xls].), dass immer dann ein Grauwert codiert wird, wenn die Komponenten des geordneten Tripels <math> \left( f_r, f_g, f_b \right) </math> identisch sind: <math> \ (0, 0, 0) </math>, <math> \ (1, 1, 1) </math>, ..., <math> \ (255, 255, 255) </math>. Unsere Relation <math>\ grau</math> ist damit eine Teilmenge aus <math> \ \mathcal{F} \times \mathcal{F} \times \mathcal{F}</math>, die 256 geordnete Tripel enthält.<br />

<iframe src="http://www.ph-heidelberg.de/wp/gieding/flashz/Farbregler_grau.swf" width="600" height="400" frameborder="2"></iframe>
<br />

Als Quintessenz unserer Überlegungen können wir unser Relation <math>\ grau</math> wie folgt präzisieren:

# Definition: (<math>\ grau</math>)<br /><math> grau := \left\{ \left( f_r, f_g, f_b \right)|\left( f_r, f_g, f_b \right)\in  \mathcal{F} \times \mathcal{F} \times \mathcal{F} \wedge f_r=f_g=f_b \right\}</math><br />oder
# Definition: (<math>\ grau</math>)<br /><math>\left( f_r, f_g, f_b \right)\in grau :\Longleftrightarrow \left( f_r, f_g, f_b \right)\in  \mathcal{F} \times \mathcal{F} \times \mathcal{F} \wedge f_r=f_g=f_b</math>

==== Alles verstanden? ====
Hier ein kleines Quiz zur Überprüfung Ihres Verständnisses für den Abschnitt mit dem Farbfilm.

Wir legen den folgenden Überlegungen ein kartesisches <math>\ x -  y -  z-</math>Koordinatensystem zugrunde. Jedem Farbwert <math> \left( f_r, f_g, f_b \right)</math> wird genau ein Punkt <math>\ P</math> des <math>\mathbb{R}^3</math> zugeordnet, wobei die <math>\  x-</math>Koordinate von <math>\ P</math> dem Rotwert <math>\ f_r</math>, die <math>\ y-</math>Koordinate von <math>\ P</math> dem Grünwert <math>\ f_g</math> und die <math>\ z-</math>Koordinate von <math>\ P</math> dem Blauwert <math>\ f_b</math> entsprechen.[http://www.math.hu-berlin.de/~filler/3D/videos/farbwurfel.html] Wir wollen die Menge dieser Punkte als RGB-Farbraum bezeichnen. Alle die Punkte, die einem Grauwert entsprechen, sollen im folgenden die Grauwerte genannt werden.

<quiz>
{Welche der folgenden Aussagen ist richtig?}
- Bezüglich unseres Koordinatensystems ist der RGB-Farbraum ein Würfel <math>\ W </math> mit der Kantenlänge <math>\ 255 LE</math>.
|| Unter einem Würfel würden wir nur die Vereinigungsmenge der Seitenflächen verstehen.
- Bezüglich unseres Koordinatensystems ist der RGB-Farbraum das Innere von <math>\ W </math>.
|| Schon der Würfel und natürlich auch sein Inneres beinhalten unendlich (überabzählbar) viele Punkte. Die <math>\ 256^3</math> Punkte dieser menge, deren Koordinaten natürliche Zahlen zwischen 0 und 255 sind dagegen nur eine endliche Teilmenge der menge der Punkte des Würfelinneren.
+Bezüglich unseres Koordinatensystems liegt der RGB-Farbraum im Inneren von <math>\ W </math>.
|| Nach den Bemerkungen zu den vorangegangenen Fragen dürfte das klar sein.
- Die Grauwerte sind eine Raumdiagonale von <math>\ W </math>.
|| Können 256 Punkte eine Diagonale sein?
+ Die Grauwerte liegen auf der Raumdiagonalen <math>\overline{AG}</math> von <math>\ W </math>, wobei <math>A=\begin{pmatrix} 0  \\ 0 \\ 0 \end{pmatrix} </math> und <math>G=\begin{pmatrix} 255  \\ 255 \\ 255 \end{pmatrix} </math> gilt.
|| korrekt
- Die Grauwerte liegen auf der Raumdiagonalen <math>\overline{CE}</math> von <math>\ W </math>, wobei <math>C=\begin{pmatrix} 255  \\ 255 \\ 0 \end{pmatrix} </math> und <math>E=\begin{pmatrix} 0  \\ 0 \\ 255 \end{pmatrix} </math> gilt.
|| Da die Endpunkte dieser diagonalen keine Grauwerte repräsentieren ... .
+ Die Relation <math>\ grau</math> aus dem vorangegangenen Abschnitt läßt sich grafisch als eine Menge von Punkten darstellen, die auf der Raumdiagonalen <math>\overline{AG}</math> von <math>\ W </math> liegen.
|| Für diese Erkenntnis wurde dieses Quiz organisiert.
</quiz>
==== 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.

==Äquivalenzrelationen==
===Beispiele===
==== Beispiel 1: „Maier-Vorwiesener“ Grund- und Hauptschule====
Unter 2.1.2 wurde bereits die Einteilung einer traditionellen GHS in Klassen angesprochen.
Auf der Grundlage einer solchen Einteilung der Menge aller Schüler einer Schule in Klassen können wir eine Relation ''A geht mit B in dieselbe Klasse'' definieren:

Definition: Es seien <math>\ A</math> und <math>\ B</math> zwei Schüler ein und derselben Schule <math>\ S</math> . <math>A \triangle B :=</math> <math>\ A</math> und <math>\ B</math> gehen in dieselbe Klasse.

Diese Definition erfüllt alle Anforderungen, die an eine sogenannte Äquivalenzrelation gestellt werden:

# <math>\ R</math> ist reflexiv: <math>\forall C \in  S: C  \triangle C</math>
# <math>\ R</math> ist symmetrisch:  <math>\forall A, B \in S: A \triangle B \Rightarrow B \triangle A</math>
# <math>\ R</math> ist transitiv:<math>\forall A, B, C \in S: A \triangle B \wedge B \triangle C \Rightarrow A \triangle C</math>

Müsste bei der Relation "symmetrisch" nicht ein A anstelle eines C stehen in der Implikation?--[[Benutzer:Miriam|Miriam]] 23:03, 10. Nov. 2011 (CET)

Übungsaufgabe: Formulieren Sie 1. bis 3. umgangsprachlicher. 

==== Beispiel 2: Parallelität auf der Menge der Geraden der Ebene ====

Die Parallelität auf der Menge der Geraden der Ebene ist eine Äquivalenzrelation:


# Jede Gerade der Ebene ist trvialerweise zu sich selbet parallel.
# Wenn eine Gerade <math>\ a</math> zu einer Geraden <math>\ b</math> parallel ist, dann ist auch die Gerade <math>\ b</math> zur Geraden <math>\ a</math> parallel.
# Wenn eine Gerade <math>\ a</math> zur Geraden <math>\ b</math> parallel ist und die Gerade <math>\ b</math> parallel zur Geraden <math>\ c</math> ist, dann ist auch die Gerade <math>\ a</math> zur Geraden <math>\ c</math> parallel.
<iframe src="http://www.ph-heidelberg.de/wp/gieding/flashz/Beweis_01.swf" width="1000" height="600" frameborder="2"></iframe><br /><br />
[[Category:Einführung_Geometrie]]