|
---|
Gem. der Defintion einer leeren Abbildung gilt, dass ∅:∅→Y eine leere Abbildung ist, (Nichts wird auf etwas abgebildet). Ist denn gleichermaßen ∅:X→∅ eine leere Abbildung ( etwas wird auf nichts abgebildet)? |
Hierzu passend bei OnlineMathe: Funktion (Mathematischer Grundbegriff) Online-Übungen (Übungsaufgaben) bei unterricht.de: |
|
Hallo, eine Abbildung ist eine linkstotale, rechtseindeutige Relation . Zwar ist eine Relation . Diese ist aber nicht linkstotal, wenn ist, ist also dann keine Abbildung . Gruß ermanus |
|
Hallo Ermanus, Linkstotal ist : jedem Element aus dem Definitionsbereich wird ein Element aus dem Zielbereich zugeordnet. Wenn aber eine Abbildung ist , dann liegt doch eine linkseindeutigkeit nicht vor , da 0 keine Elemente hat die dem Zielbereich zugeordnet werden kann. Selbiges gilt für |
|
Du meinst wohl: dann liegt eine Linkstotalität ! nicht vor? Doch: für jedes Element der leeren Menge gibt es ein in , so dass in liegt. |
|
Aber ist nicht Element der leeren Menge |
|
Also ist die Implikation wahr (Ex falso quodlibet). |
|
Die Implikation ist zwar wahr , aber das heißt ja nicht dass die jeweiligen Aussagen wahr sind. |
|
Eine Relation ist linkstotal, wenn folgende Implikation wahr ist: . Wenn die Prämisse unerfüllbar ist, ist diese Implikation immer wahr, also linkstotal. |
|
Hallo Ermanus, Super, mittels der Erläuterung durch Implikation kann ich es nachvollziehen: ∅:∅→Y x∈∅ → y∈Y wahre Implikation (Aus falschem richtigen folgern) ∅:X→∅ x∈X → y∈∅ falsche Implikation (Aus richtigem falsches folgern) ∅:∅→∅ x∈∅ → y∈∅ wahre Implikation ( Aus falschem, falsches folgern) |