Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Eigenschaften von Elementen der leeren Menge ???

Eigenschaften von Elementen der leeren Menge ???

Universität / Fachhochschule

Sonstiges

Tags: Sonstiges

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
youngster

youngster aktiv_icon

10:36 Uhr, 24.05.2012

Antworten
Hallo,

da doofe Fragen erlaubt sind, kann mir jemand eine Begründung geben für folgende Sätze in meinem Mathe-Buch:

a) Auch die leere Menge ist eine Relation (d.h. eine Paarmenge); denn es gilt: Jedes Element der leeren Menge ist ein Paar.
b) Auch die leere Mange ist eine Funktion f(d.h. eine Paarmenge f für die gilt:
(x,y)f und (x,z)fy=z),
denn (x,y) und (x,z)y=z.

youngster





Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich benötige bitte nur das Ergebnis und keinen längeren Lösungsweg."
Online-Nachhilfe in Mathematik
Antwort
michaL

michaL aktiv_icon

11:37 Uhr, 24.05.2012

Antworten
Hallo,

zeig mir ein Element, für das das NICHT so ist!

Mfg Michael
Antwort
hagman

hagman aktiv_icon

11:47 Uhr, 24.05.2012

Antworten
Das ist zutreffend. Jedes Element der leeren Menge hat grüne Augen und starken Mundgeruch.
Die leere Menge ist Teilmenge jeder Menge und als Teilmeng von z.B. A×A ist auch eine zweistellige Relation auf A.

Für jede Menge A gibt es genau eine Abbildung A, denn man hat die Aufgabenstellung, für ejdes Element von ein passendes Element von A anzugeben ja quasi bereits vollständig erledigt, bevor man anfängt. Formaler: Der Graph Gf einer Funktion f:A ist ja eine Teilmenge Gf×A it den zusätzlichen Eigenschaften
xyA:(x,y)Gf
(x,y)Gf(x,y')Gfy=y'
Wegen ×A= muss notwendigerweise Gf= sein (d.h. es gibt höchstens eine Abbildung A), aber andererseit sind beide obigen Bedingungen trivialerweise erfüllt, da die Voraussetzung x bzw. (x,y)Gf nicht erfüllbar ist (es falsum quodlibet).

Dagegen gibt es umgekehrt, wenn A ist, keine einzige Abbildung A.
Denn hier hieße die erste Bedingng an Gf ja
xAy:(x,y)Gf
Hier ist die Folgerung falsch, aber die Voraussetzung erfüllbar, also die Aussage insgesamt falsch. (Nur wenn A=, ist die Voraussetzung auch unerfüllbar)
Frage beantwortet
youngster

youngster aktiv_icon

15:18 Uhr, 24.05.2012

Antworten
Hallo, Michal, hallo hagmann,

zu Michal: Zeig mir ein Element, für das das der Fall ist.

zu hagmann:
Im normalen Sprachgebrauch würde man Aussagen wie "Wenn Berlin in NRW liegt, dann liegt Köln in Hessen" - oder auch - " ... liegt nicht in Hessen" als Aussagen werten, die man wohl weder als "wahr" noch als "falsch", eher als "unsinnig" bezeichnen würde. In Mathe aber sollen die beiden Aussagen wahr sein ? Das meinst du doch mit deinem "ex falso (bitte Ablativ und nicht Akkusativ!) qodlibet"? Da kann man verstehen, weshalb Mathe manchmal so schwer verständlich ist.

Euch beiden herzlichen Dank !

Youngster


Antwort
michaL

michaL aktiv_icon

20:02 Uhr, 24.05.2012

Antworten
Hallo,

du schriebst:

> zu Michal: Zeig mir ein Element, für das das der Fall ist.

Muss ich nicht. Du ziehst in Zweifel, dass die Aussage gilt. Ich behaupte ja nicht, dass es ein Element in gibt, dass die Eigenschaften hat.
Wenn ich dass behauptete, dann müsste ich dir eines zeigen.
Ich behaupte aber, dass ALLE Elemente IN diese Eigenschaften haben.
Man könnte auch formulieren:
Wenn ein Element in liegt, dann hat es die gegebene Eigenschaft.

Eine Frage der Quantoren - letztlich eine der Logik!

Mfg Michael