Hi Leute,

lese mir momentan das Skript von F2 durch und nach Defintion 2.16 ist R+ der transitive Abschluss und R* der reflexive, transitive Abschluss von R, R* := R+ u IdA

In Beispiel 2.17 ist eine Quasiordnung(refelxiv, transitiv) gegeben und eine erzeugende Relation Re.

Warum wird Re+ = R*e = Rc gleichgestellt?
Sollte die Gleichung nicht R*e = Re+ u IdA lauten?

Warum wird Re+ = R*e = Rc gleichgestellt?

Bilden Sie Re+ und nennen Sie dies A
Bilden Sie Re* und nennen Sie dies B
Wenn Sie nachsehen, entdecken Sie, dass
A, B und Rc die gleichen Mengen sind!
DAHER die Gleichheit Re+ = R*e = Rc!