Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Prüfen Reflexivität, Symmetrie und Transitivität

Prüfen Reflexivität, Symmetrie und Transitivität

Universität / Fachhochschule

Relationen

Tags: Relation.

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
floh2209

floh2209 aktiv_icon

01:29 Uhr, 28.04.2015

Antworten
Halli Hallo,
ich soll grad prüfen ob die "Auf den positiven ganzen Zahlen definierte Relation
mRn : alle Teiler von m sind Teiler von n " reflexiv, symmetrisch und transitiv ist.

Ich würde gerne von euch überprüfen lassen ob meine Überlegungen richtig sind und
wie ich das ganze formell aufschreiben kann, mach das grad zum 1. mal.

Also:

Reflexivität prüfen:
Alle m:mRm
Stimmt, da eine Zahl die gleichen Teiler hat wie sie selbst.

Symmetrie prüfen:
Alle m,n:mRnnRm
Stimmt: wenn n den gleichen Teiler wie m hat muss auch m den Gleichen wie n haben...

Transitivität prüfen:
Alle m,n,o:mRn und nRomRo
Stimmt auch? Hab mich grad selbst verunsichert.

Vielen Dank schonmal


Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Hierzu passend bei OnlineMathe:
Symmetrie (Mathematischer Grundbegriff)
Online-Nachhilfe in Mathematik
Antwort
Bummerang

Bummerang

06:24 Uhr, 28.04.2015

Antworten
Hallo,

das mit der Symmetrie stimmt nicht! Es heisst für die Relation: Alle Teiler von m sind auch Teiler von n. Dieser Forderung genügt jedes Paar (1;n), da die 1 nue den Teiler 1 hat und jede Zahl durch 1 teilbar ist. Aber umgekehrt ist nicht jedes Paar (m,1) in der Relation, da für m>1 die Zahl m selbst ein Teiler von m ist, aber kein Teiler von 1! Es gilt hier, dass aus mRn und nRm folgt, dass m=n ist!
floh2209

floh2209 aktiv_icon

10:57 Uhr, 28.04.2015

Antworten
Achso na klar, hab ich ganz übersehen.

Wie steht es denn mit transitivität?
Antwort
Bummerang

Bummerang

11:52 Uhr, 28.04.2015

Antworten
Hallo,

die Definition der Relation sagt, dass jeder Teiler von m auch ein Teiler von n ist. Damit ist die Menge aller Teiler von m eine Teilmenge der Menge aller Teiler von n. Analog ist diese letzte Menge wieder eine Teilmenge der Menge aller Teiler von o. Wegen der bereits bewiesenen (hoffe ich jedenfalls!) Transitivität der Teilmengenbeziehung ist damit die Menge aller Teiler von m eine Teilmenge aller Teiler von o und damit ist jeder Teiler von m auch wieder Teiler von o und es ist mRo.
Frage beantwortet
floh2209

floh2209 aktiv_icon

12:02 Uhr, 28.04.2015

Antworten
Alles klar, danke