Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Bestimmung der Eigenschaften von Relationen

Bestimmung der Eigenschaften von Relationen

Universität / Fachhochschule

Relationen

Tags: Relation Eigenschaften linkseindeutig rechtseindeutig linkstotal rechtstotal

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
zimme

zimme aktiv_icon

22:39 Uhr, 01.01.2016

Antworten
Hallo zusammen,

zuerst wünsche ich euch natürlich ein frohes neues Jahr. :-)

Ich bereite mich gerade auf eine Prüfung vor und hänge tatsächlich bei den Eigenschaften zu Relationen. Probleme habe ich beim Beweisen der Links- bzw. Rechtseindeutigkeit sowie der Links- und Rechtstotalität.

Als Beispiel würde ich gerne folgende Relation nennen.

Rel ={(x,y)εN×N|x2-y=6}

Ich weiß, dass diese Relation, linkseindeutig, rechtseindeutig und weder linkstotal noch rechtstotal ist.

Die Prädikatenlogik der Relation kann ich mir ebenfalss herleiten, allerdings weiß ich nicht, was es bedeutet bzw. wie ich vorgehen muss, damit ich die Behauptungen auch beweisen kann.

Mir würde es helfen, wenn mir jemand eine "Beweisführung" liefern könnte, wozu ich noch Fragen stellen darf.

Ich danke euch schon einmal für eine Rückmeldung.

PS: Ich habe das Zeichen für Element leider nicht gefunden.
PPS: Gerne darf auch an Hand eines anderen Beispiels erklärt werden, da es mir wirklich ums Begreifen geht.






Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
Roman-22

Roman-22

01:18 Uhr, 02.01.2016

Antworten
Wo genau scheiterst du.
Beim Zeigen aller vier Eigenschaften oder bei einer bestimmten.
Oder ist dir eine Definition nicht ganz klar.

Zum Beispiel: "Rechtseindeutigkeit"
Diese Eigenschaft bedeutet, dass es zu jedem y-Wert maximal einen x-Wert geben darf.
Nehmen wir an, diese Eigenschaft wäre nicht erfüllt. Dann müsste es zwei unterschiedliche x-Werte x1 und x2, die beide zum gleichen y-Wert y0 in Relation stehen.
Anders ausgedrückt müsste x12-6=x22-6=y0 gelten. Das wäre aber nur möglich, wenn wir zwei verschiedene x-Werte finden könnten, die beide quadriert den gleiche Wert ergeben. Da es sich aber um eine Relation aus × handelt, ist die Gleichung x2=K entweder nicht, oder eindeutig lösbar (es sind keine negativen Werte zugelassen.
Anders ausgedrückt. Wenn die Relation nicht rechtseindeutig wäre, dann müsste es mindestens ein y0 geben, für das die Gleichung x2=y0+6 mehr als eine Lösung in hat.
Nun sind aber die Lösungen dieser Gleichung x1=+y0+6 und x2=-y0+6.
Wegen x2<0 gilt aber sicher x2.
Daher ist die Relation rechtseindeutig.

R

zimme

zimme aktiv_icon

21:46 Uhr, 02.01.2016

Antworten
Hallo Roman_22,

tausend Dank für deine Antwort. Das hat mir schon einmal weitergeholfen. Gefehlt hat mir das Verständnis für die Berechnung, was jetzt aber logisch erscheint. Ich werde mir morgen noch entsprechende Aufgaben zusammensuchen und beweisen, da mir heute leider die Zeit gefehlt hat. Dann würde ich auch gerne noch einmal ein kurzes FB geebn.

Bisher hat es an der Umsetzung der Beweisführung der 4 Eigenschaften geharpert. Dank deiner ausführlichen Darstellung hoffe ich aber, die anderen Eigenschaften entsprechend beweisen zu können.

Seltsamerweise habe ich mit all den anderen Eigenschaften von Relationen (Reflexivität, Symmetrie, usw.) keine Probleme.

Vielen Dank noch einmal.

Viele Grüße
zimme


Frage beantwortet
zimme

zimme aktiv_icon

22:04 Uhr, 03.01.2016

Antworten
Hallo Roman_22,

ich denke, ich habe es nun verinnerlicht.

Vielen Dank noch einmal.

Viele Grüße
zimme