Logi he

(1)

Logi

^he

^& ^Derech

^eu

^bar ^hat

6. Vor le song

21.11.18

Steffen Reith

(2)

Defy

^:

^Sind

^{( Knx}

⁾

^and

⁽

^Kaur ^x

⁾

^Klaus ^elu ^and

①

haunt in ( Kev Kz

)

^heine ^Variable

_hegiert

^und

uuuegiot

^von ^,

sohu.pt

^C

^Keuka ⁾ Resolvent

von ( Kau ^x

)

^and _{( kzvzx}

)

.

Bsp _n _EE RE

Sei H ^-^- ( ^x

ugh

^l ^ng

⁾

ⁿ ^tix ^vz

⁾

^a ⁽ _xvrg ^vz ⁾ ^r

ly

^viz ⁾

Kb ⁼ ⁽ ^x) ^ist Resolvent ^von ke ^and ka ka ^-^-

(

_got ⁾ ^- ^H ^- _kn ^and _kg

kg

⁼

(

x vz

)

^- ^H ^- ke ^and

Ky

kg

⁼ ^Gz ⁾ ^- ^" ^-

ka

^und ^Ksr

kno ⁼

try

^uz

⁾

^- ^il ^-

^kg

^and ^Ky

Ran ⁼ ( ^2X ^v y

)

^- ^H ^- ^Us ^und ^Ks

(3)

Bee

^. ^Do

^Resolvent

^oou ^C ^x

⁾

^and ^tix ⁾ ^ist ^die

②

lure Nauset . Es

gilt ^fai fide Interpretation

^I

- . - - in xn ^.^. ^. .mx Ill ⁾

)

⁼ ^O ^.

µ ^Def

^:

^{P heist}

^Hillen

^operator

^, ^wean ^a ^die ^drei

¥ folgeuku

Cigeuschafteu ^hat

benefit

^bar

Sei A eine Menge ^,

dawn gift

i, A ^E MA

)

A

•

ⁱⁱ ^, ^Sei ^B êine ^Menge ând Â ÊB ^, ^daun

^MAI

^E

MB )

iii _,

MMA ⁾ )

⁼

f

^' ^CA

)

(4)

MA)

heist

^Hike ^vow ^A

( Agl

^. ^P ⁾ ^.

^③

Def

^: ^Sei Ît ^line ^kN Î ^- ^Formel ând ^Re^, ^Rai^. ^.^. ^, ^Run alley Resolveûku

vow Klausen ⁱⁿ It _, die nicht Schou Klaus du ⁱⁿ ^{H sind} _,

dawn ist

ResCH) ^-^- _def ^He ^Re ⁿ Ree ^. ^.^. ^a ^Run

Bsf

^: ^tiiir ^Haus ^{dear teh}^. ^tea

^Bsp gilt

^:

/

^Res^* ^CHI

• ResLHla Hr Konkan ^. ^. ^. ^r ^Kee ^.

!

-

"

Defy

^: ^Wir

definiveu fai

êine ^KNF ^- ^Formel Ît îuduhtiv

H

Resch ^• Res _. ^CH ) ⁼_{def H}

i Res .

. . Res _µ _, ( H

) reef

_Res

₍

_Res

u l H

) )

(5)

Bsf

^: ^Aos ^dem ^teh^. ^ku ^Bei

^spiel ④

• Res _. _CH₎ ^-^- _It

. These CH) ⁼ Hakon ^{. .}^. ⁿ ^ku

a

Reseat )

⁼ ^Res, CH) ⁿ Kun ^. ^.^. ^r ^Kes

Kaz ⁼ Cy ) ^ist ^Resolvent ^von ^k ^. ^and ^Ken

Key ⁼ ⁽ ^Z ) ^- ^H ^- _Kz ^und kz

key

⁼ ⁽ ^rx

)

^- ^u ^- _Uz ^lend Ker

Kas ^-^- ( _xvry

)

^- ^H ^- _Ky ^and

_kg

. Res _, CH

)

⁼

Resat

^It⁾ ⁿ

Kun

^kit

keg ⁼

( )

^ist ^Resolvent ^von _Uz und Kaz

Up^. ⁼ ( ^X ^viz

)

^- ^H ^- _Us ^ud Urs

(6)

. Result ⁾ ⁼ ^Res_, Citi

) ⑤

• Ress CHI ⁼ ^Res , CH

)

•

Ress

^CH) ⁼

Ress

^- ^CH

)

Leeman^: ^Fir

je

^de ^UNF ^- ^Formel ^H

gilt

^:

i, Es

gibt

^ein ^Kuo ^wit ^Res ^ate

⁽

^H

⁾

^-^- ^Result

⁾

(

_a

Fixpuukt

^"

⁾

ii, Aus Res _a CH

)

^-^- Resaca ^CH

) folgt

^Resatⁱ ^CHI ^-

Result ⁾ f.

^a ^. ^ixo ^.

Bennis

^Bei

je

^dem ^Schnitt ^von ^{Rega l} ^H

⁾

^nach ^Res ^ate ^CH ⁾

Hammen houchsbeus klauselu ^hiuzu ^. Bei u Variable u

gibes

³ ^" voschiedeueklause.lu _, dean

je

^de ^Variable

(7)

Kaun ⁱⁿ einer Nauset _nicht _vor _homme u

,

uuuegivt

^vor ^-

⑥

Hammen ^odo

hegicrt

^vorkouuueu ^.

⇒ D. ^h. es

gibt

^max ^. ³ ^" uerschiede.ae k wit Res_a CHI ^'t

Resat

_. CH) _.

⇒ Es

gibt

^ein ^k ^wit ^Resh ^CH⁾ ⁼ ^Res ^we ^CH⁾ ^.

Zu ⁱ "

(

^IA⁾ ⁱ ^- ^o ^Res _mo ^CH⁾ ⁼

Result

⁾ ^⇒ CA⁾ ^ist

erfiettt (

^M Cs gibt ^ein ^k ^, ^so ^dass

f.

^a ^. ^ixo

gift

Res wi CH) ⁼ Resh ^C^H

) (b)

ⁱ ^→ ^ith

Res _ai _ein _, CH

)

⁼ Res

(

Res _mi L

HD

^I ^Res

⁽ Result

⁾

)

(8)

⑦

= Resat_, ^CH

)

^E ^Res u CH

)

^.

^#

Def

^: ^Fir ^die ^KNF ^- ^Formel ^It ^sei ^kit ^das ^hleiusk ^k ^wit

Res _a ^CHI ⁼ Rescue ^CH

)

Res

_* _CHI _reef _These

.

(

^H

)

Lemmai

^Sei ^H ^, ^ke ând ^Kz ^Formel û ûnd îst ^x ^line _Aussageu ^-

variable _, dawn

gilt

Hr ( kn ^Vx

)

^s ⁽ _kzvrx

)

Î Hr (_kn ^vx ) â ⁽ kzvzx ) r (kn û ka

)

Beads

^:

Logi he

Logi

& Derech

bar hat

6. Vor le song

Defy

Sind

)

(

)

①

)

hegiert

uuuegiot

sohu.pt

Keuka ) Resolvent

)

)

Bsp n EE RE

ugh

)

)

ly

(

kg

(

)

Ky

kg

ka

try

)

kg

)

Bee

Resolvent

)

②

gilt fai fide Interpretation

)

µ Def

P heist

operator

¥ folgeuku

benefit

dawn gift

)

•

MAI

MB )

MMA ) )

f

)

heist

( Agl

③

Def

Bsf

Bsp gilt

/

Defy

definiveu fai

) reef

(

) )

Bsf

spiel ④

Reseat )

key

)

)

kg

)

Resat

Kun

( )

)

) ⑤

)

Ress

^& ^Derech

^bar ^hat

^Sind

⁾

⁽

⁾

_hegiert

^Keuka ⁾ Resolvent

Bsp _n _EE RE

⁾

⁾

⁾

^kg

^Resolvent

⁾

gilt ^fai fide Interpretation

µ ^Def

^{P heist}

^operator

^MAI

MMA ⁾ )

^③

^Bsp gilt

₍

^spiel ④

_kg

⁽

⁾

⁾

⁾

Result ⁾ f.

⁾

⁽ Result

^#