Homomorphismenbeweis auf vorde < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Aufgabe 1 | Beweise oder widerlege: Es gibt einen Sigma 3-Homomorphismus f1 : E -> D.
[Dateianhang nicht öffentlich]
|
| Aufgabe 2 | Beweise oder widerlege: Es gibt einen S3-Homomorphismus f1 : D -> E.
|
Wir haben die OP-Verträglichkeit von error und empty zeigen können, dies passt auch soweit..
Bei den anderen OP's konnten wir allerdings einen solchen Beweis nicht zeigen, da wir nicht wissen wie wir mit den geg. OP's umgehen sollen, bzw. dort die Abbildung definiert ist. Ist für viele wahrscheinlich recht einfach, aber leider steigen wir da nicht durch...
Für Lösungsansätze wären wir sehr dankbar.. unser Hauptproblem liegt auch darin, dass wir nicht wissen wie wir mit den Domänen und Codomänen umgehen sollen, weil sie halt doch sehr komisch definiert sind.
Das Kästchen in der Menge E-Alpha ist dabei ein Platzhalter für beliebige Elemente...
Vielen Dank im Vorraus
mfg, Lunatikz
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Dateianhänge:
Anhang Nr. 1 (Typ: jpg) [nicht öffentlich]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Mi 10.12.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
