Benutzer:Marco.Bakera/Uni/Fuzzy

2.1

Zu zeigen:

Kein Element aus $Cut_{c}({\overline {F}})$ liegt in $Cut_{1-c}'(F)$ und umgekehrt.

Da in $Cut_{c}({\overline {F}})$ nur Elemente liegen können, für die gilt: 1-F(x)≥c; aber in $Cut_{1-c}'(F)$ nur Elemente liegen können, für die gilt: F(x)>1-c $\Rightarrow$1-F(x)<c, folgt die Behauptung.

2.2

a)

$x\approx y=_{def}xRy{\mbox{ und }}yRx$ ist Äquivalenzrelation, da gilt:

1. $\approx$ ist reflexiv

zu zeigen: $x\approx x$

Da R reflexiv folgt dies direkt aus der Anwendung der Definition von $\approx$

2. $\approx$ ist transitiv

zu zeigen: $x\approx y\wedge y\approx z\Rightarrow x\approx z$

Es gilt also:

$\left.{\begin{matrix}x\approx y\Rightarrow xRy\wedge yRx\Rightarrow xRy\\y\approx z\Rightarrow yRz\wedge zRy\Rightarrow yRz\end{matrix}}\right\}\Rightarrow xRz{\mbox{ , da R transitiv}}$

3. $\approx$ ist symmetrisch

zu zeigen:$x\approx y\Rightarrow y\approx x$

Es gilt: $x\approx y=_{def}xRy\wedge yRx=yRx\wedge xRy=y\approx x$

b)

$(M/\approx ,\geq )$ ist Halbordnung, denn es gilt:

1. ist reflexiv
2. ist transitiv
3. ist antisymmetrisch

Seien $J,K,L\in M/\approx$.

zu 1.
zu zeigen $K\leq K$

$K\leq K=_{def}\exists x\exists y:x\in K,y\in K,xRy$

Wähle nun x,y∈K. Da $K\in M/\approx$, gilt:

$x\approx y=xRy\wedge yRx$.

Also auch $\exists x\exists y:x\in K,y\in K,xRy$

zu 2.
zu zeigen: $J\leq K\wedge K\leq L\Rightarrow J\leq L$

Es gilt:

$J\leq K\Rightarrow \exists x\exists y:x\in J\wedge y\in K\wedge xRy$
$k\leq L\Rightarrow \exists x'\exists y':x'\in K\wedge y'\in L\wedge x'Ry'$

Da $x',y\in K\in M/\approx$:

$x'\approx y\Rightarrow x'Ry\wedge yRx'$

Insgesamt gilt also:

$\exists x\exists x'\exists y\exists y':x\in J\wedge x',y\in K\wedge y'\in L\wedge xRy\wedge yRx'\wedge x'Ry'\Rightarrow$

$\exists x\exists y':x\in J\wedge y'\in L\wedge xRy'\Rightarrow J\leq L$