spieleprogrammierer.de - Forum und Wiki zur Spieleprogrammierung und Spieleentwicklung

Ich kann das nicht nachvollziehen. Die Definition einer reflexiven Relation ist doch folgende:

Für alle x € M : (x,x) € R
Wenn R über M gebildet wurde.

Meine Relation R ist über der Menge P gebildet, die u.a. die leere Menge enthält.
So, die Relationsbedingung schließt die leere Menge aus, aber das ist genau der Grund, warum sie nicht reflexiv ist.
Sie ist nämlich nicht reflexiv, wenn mindestens ein Tupel (x,x) aus M X M (hier: P X P) nicht in der Relation enthalten ist.
Und das ist das Tupel ({},{}) nicht.

Die Begründung die du lieferst, ist die die auch die anderen liefern, aber wie gesagt ich kann das nicht nachvollziehen.
Ich versuche hier überhaupt nicht einen falschen Gegenbeweis zu führen.

Die Definition sagt klipp und klar alle x aus M. M ist in dem Fall P und P enthält die leere Menge, da kann die Relation nicht viel ändern.
Sie sagt nur aus welche (a,b) € P X P enthalten sind und welche nicht. Und darum geht es doch bei der Reflexivität, dass nämlich alle (x,x) enthalten sein müssen.

Du versuchst mir glaube ich zu erklären, dass die leere Menge nicht in der Relation ist (wegen der Bedingung) und daher nicht für die Reflexivität herangezogen werden kann.
So eine Beweisführung ist z.B. bei der Symmetrie möglich, denn dort heißt es:
Wenn (x,y) enthalten ist, dann ist auch (y,x) enthalten. Nicht, dass alle (x,y) enthalten sein müssen.

Bei der Reflexivität allerdings, heißt es: Alle reflexiven Paare (x,x) aus der Ausgangsmenge M (hier: P) müssen enthalten sein, sonst keine Reflexivität.

Ich hoffe das versteht jemand.

Nicht ganz:
Es geht um Reflexiv: Das heißt nicht {} und {1}, sondern {} und {}.
Das fliegt raus und damit ist die Reflexivität nicht erfüllt, nämlich dass für alle x aus P gilt, dass (x,x) Teil der Relation sind.
Gilt für alle außer halt ({},{}).

Achso: Auch manche anderen Tutoren halten die Relation für reflexiv, das scheint grad so eine heiße Diskussion zu sein. Ich musste mich der Mehrheit beugen. Ich werde auf jeden Fall mit dem Prof reden nach der Vorlesung.
Und ich glaub nicht dass die eine vorgefertigte Lösung haben, weil denen beim bewerten oft Fehler unterlaufen, die mit einer Lösung nicht passieren sollten.

Lel, Donnerstag? Nicht zufällig Uni Stuttgart? Never mind.