Äquivalenzhülle < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 11:27 Mi 07.11.2007 | | Autor: | Thommi |
| Aufgabe | Sei S [mm] \subseteq [/mm] M [mm] \times [/mm] M eine Relation in einer Menge M und [mm] \overline{S} [/mm] die Äquivalenzhülle von S. Dann gilt für x, y [mm] \subseteq [/mm] M:
(x,y) [mm] \in \overline{S} \gdw [/mm] (x=y oder [Dateianhang nicht öffentlich](n [mm] \in \IN\ [/mm] {1})[ [Dateianhang nicht öffentlich][mm] ((x_{k})_{1 \le k \le n} \in M^{n})[x_{1} [/mm] = x, [mm] x_{n} [/mm] = y und [Dateianhang nicht öffentlich] [mm] (x_{i}, x_{i+1}) \in [/mm] S [mm] \cup S^{\*}]]) [/mm] |
Hallo,
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Ich soll obigen Satz beweisen, habe aber leider absolut keine Ahnung wie ich das angehen soll. Könnt ihr mir vielleicht ein paar Tips geben?
Gruß,
Thommi
Dateianhänge:
Anhang Nr. 1 (Typ: gif) [nicht öffentlich]
Anhang Nr. 2 (Typ: gif) [nicht öffentlich]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:20 Mi 14.11.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
