Ana an der LMU München

Rechts wenn f*g =ID(B)

Links             g*f = ID(A).

Ist g rechts und Linksinverses (bzw invers) ist g(x) = f^-1(x)

Wenn auch Betrags-reihe konv..

xRx

(xRy (log.)und yRx) => x=y 

Eine Rel. ist Äqu.rel. gdw

antisym., reflexiv, und transitiv

Inj.

tot. Ord. ist eine totale Halbordung.

Halbordnung ist reflexiv, antisym, transitiv

GDW es f:A-->B gibt, die bij.

Bijektion zw. nat.Zahlen und A existiert --> abzählbar

Endlich wenn eine Bijektion zw. 

A und {1,2,..., n} exitsiert. #A ist nun genau n. Wenn nicht --> A unendl. 

a+b = (Rea + Reb, Ima + Imb)

a-b = a + (-b) = (Rea, Ima) +(-Reb, -Imb)

xRy => yRx