formaler Kontext, Beweis < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:11 Mi 08.11.2006 | | Autor: | Franzie |
| Aufgabe | Es sei K:=(G,M,I) ein formaler Kontext, [mm] A,A_1,A_2 \subseteq [/mm] G Mengen von Gegenständen und [mm] B,B_1,B_2 \subseteq [/mm] M Mengen von Merkmalen. Zeigen Sie die folgenden Aussagen:
a) A [mm] \subseteq [/mm] B' gdw. A [mm] \times [/mm] B [mm] \subseteq [/mm] I gdw. B [mm] \subseteq [/mm] A'
b) [mm] A_1 \subseteq A_2, [/mm] dann A'_2 [mm] \subseteq [/mm] A'_1
c) A [mm] \subseteq [/mm] A''
d) A'=A''' |
Hallöchen Leute!
Bräuchte mal ein bisschen Hilfe bei den obigen Beweisen. Also Aufgabe d) hab ich komplett fertig und bei a) fehlt mir nur die Äquivalenz von A [mm] \subseteq [/mm] B' gdw. A [mm] \times [/mm] B, von A [mm] \subseteq [/mm] B' nach gdw. B [mm] \subseteq [/mm] A'
hab ich schon. Aber hier fehlt mir der Ansatz.
Bei b) und c) hab ich leider keine Ausgangsidee. Könntet ihr mir vielleicht nur einen winzigen Ansatz geben? Hab schon versucht, das analog zu Galoisverbindungen zu machen, aber hab dazu leider nichts gefunden.
liebe Grüße
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:21 Mo 13.11.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
