rs rt srt - PowerPoint PPT Presentation

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ▲✐♥❡❛r✴◆♦♥✲▲✐♥❡❛r ♠♦❞❡❧s ❆ ▲✐♥❡❛r✴◆♦♥✲▲✐♥❡❛r ✭▲◆▲✮ ♠♦❞❡❧ ❛s ❞❡s❝r✐❜❡❞ ❜② ❇❡♥t♦♥ ✐s ❣✐✈❡♥ ❜② t❤❡ ❢♦❧❧♦✇✐♥❣ ❞❛t❛✿ • ❆ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✳ • ❆ s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❈ ✳ • ❆ s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❛❞❥✉♥❝t✐♦♥✿ F ❱ ❈ ⊢ G ❘❡♠❛r❦ ❆♥ ▲◆▲ ♠♦❞❡❧ ✐s ❛ ♠♦❞❡❧ ♦❢ ■♥t✉✐t✐♦♥✐st✐❝ ▲✐♥❡❛r ▲♦❣✐❝✳ ◆✐❝❦ ❇❡♥t♦♥✳ ❆ ♠✐①❡❞ ❧✐♥❡❛r ❛♥❞ ♥♦♥✲❧✐♥❡❛r ❧♦❣✐❝✿ Pr♦♦❢s✱ t❡r♠s ❛♥❞ ♠♦❞❡❧s ✳ ❈❙▲✬✾✹ ✼ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ▼♦❞❡❧s ♦❢ t❤❡ ❊♥r✐❝❤❡❞ ❊✛❡❝t ❈❛❧❝✉❧✉s ❆ ♠♦❞❡❧ ♦❢ t❤❡ ❊♥r✐❝❤❡❞ ❊✛❡❝t ❈❛❧❝✉❧✉s ✭❊❊❈✮ ✐s ❣✐✈❡♥ ❜② t❤❡ ❢♦❧❧♦✇✐♥❣ ❞❛t❛✿ • ❆ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✱ ❡♥r✐❝❤❡❞ ♦✈❡r ✐ts❡❧❢✳ • ❆ ❱ ✲❡♥r✐❝❤❡❞ ❝❛t❡❣♦r② ❈ ✇✐t❤ ♣♦✇❡rs✱ ❝♦♣♦✇❡rs✱ ✜♥✐t❡ ♣r♦❞✉❝ts ❛♥❞ ✜♥✐t❡ ❝♦♣r♦❞✉❝ts✳ • ❆ ❱ ✲❡♥r✐❝❤❡❞ ❛❞❥✉♥❝t✐♦♥✿ F ❱ ❈ ⊢ G ❚❤❡♦r❡♠ ❊✈❡r② ▲◆▲ ♠♦❞❡❧ ✇✐t❤ ❛❞❞✐t✐✈❡s ❞❡t❡r♠✐♥❡s ❛♥ ❊❊❈ ♠♦❞❡❧✳ ❊❣❣❡r✱ ▼ø❣❡❧❜❡r❣✱ ❙✐♠♣s♦♥✳ ❚❤❡ ❡♥r✐❝❤❡❞ ❡✛❡❝t ❝❛❧❝✉❧✉s✿ s②♥t❛① ❛♥❞ s❡♠❛♥t✐❝s ✳ ❏♦✉r♥❛❧ ♦❢ ▲♦❣✐❝ ❛♥❞ ❈♦♠♣✉t❛t✐♦♥ ✷✵✶✷ ✽ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆♥ ❛❜str❛❝t ♠♦❞❡❧ ❢♦r ❊❈▲◆▲ ❆ ♠♦❞❡❧ ♦❢ ❊❈▲◆▲ ✐s ❣✐✈❡♥ ❜② t❤❡ ❢♦❧❧♦✇✐♥❣ ❞❛t❛✿ ✶✳ ❆ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ t♦❣❡t❤❡r ✇✐t❤ ✐ts s❡❧❢✲❡♥r✐❝❤♠❡♥t V ✱ s✉❝❤ t❤❛t V ❤❛s ✜♥✐t❡ ❱ ✲❝♦♣r♦❞✉❝ts✳ ✷✳ ❆ ❱ ✲s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞ ❝❛t❡❣♦r② C ✇✐t❤ ✉♥❞❡r❧②✐♥❣ ❝❛t❡❣♦r② ❈ s✉❝❤ t❤❛t C ❤❛s ✜♥✐t❡ ❱ ✲❝♦♣r♦❞✉❝ts✳ − ⊙ I ✸✳ ❆ ❱ ✲s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❛❞❥✉♥❝t✐♦♥✿ V C , ⊢ C ( I , − ) ✇❤❡r❡ ( − ⊙ I ) ❞❡♥♦t❡s t❤❡ ❱ ✲❝♦♣♦✇❡r ♦❢ t❤❡ t❡♥s♦r ✉♥✐t ✐♥ C ✳ ✹✳ ❆ s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❝❛t❡❣♦r② ▼ ❛♥❞ ❛ str♦♥❣ s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❢✉♥❝t♦r E : ▼ → ❈ . ❚❤❡♦r❡♠✿ ■❣♥♦r♥✐♥❣ ❝♦♥❞✐t✐♦♥ ✹✱ ❛♥ ▲◆▲ ♠♦❞❡❧ ❝❛♥♦♥✐❝❛❧❧② ✐♥❞✉❝❡s ❛ ♠♦❞❡❧ ♦❢ ❊❈▲◆▲✳ ✾ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♣②✐♥❣ ❛♥❞ ❞✐s❝❛r❞✐♥❣ ♦❢ ✐♥t✉✐t✐♦♥✐st✐❝ t②♣❡s − ⊙ I V C ⊢ C ( I , − ) ■♥ P◗▼✱ ❛♥② t②♣❡ A ✐s ✐♥t❡r♣r❡t❡❞ ❛s ❛♥ ♦❜❥❡❝t � A � ✐♥ t❤❡ ✉♥❞❡r❧②✐♥❣ ❝❛t❡❣♦r② ❈ . ❚❡r♠s ❛r❡ ✐♥t❡r♣r❡t❡❞ ❛s ♠♦r♣❤✐s♠s ✐♥ ❈ ✳ ❚❤❡♦r❡♠ ❋♦r ❛♥② ✐♥t✉✐t✐♦♥✐st✐❝ t②♣❡ P ✱ t❤❡r❡ ❡①✐sts ❛ ❝❛♥♦♥✐❝❛❧ ✐s♦♠♦r♣❤✐s♠ α P : � P � → F � P � . ◆❡①t✱ ❞❡✜♥❡ ❝♦♣② ❛♥❞ ❞✐s❝❛r❞ ♠♦r♣❤✐s♠s ❢♦r ❡❛❝❤ ✐♥t✉✐t✐♦♥✐st✐❝ t②♣❡ P ✿ ∼ → F � P � F ✶ = α P ⋄ P := � P � − − − → F ✶ − → I α − ✶ P ⊗ α − ✶ ∼ F � id , id � = α P P ∆ P := � P � − − → F � P � − − − − − → F ( � P � × � P � ) − → F � P � ⊗ F � P � − − − − − − → � P � ⊗ � P � ✶✵ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❙♦✉♥❞♥❡ss ❚❤❡♦r❡♠ ✭❙♦✉♥❞♥❡ss✮ ❊✈❡r② ❛❜str❛❝t ♠♦❞❡❧ ♦❢ ❊❈▲◆▲ ✐s ❝♦♠♣✉t❛t✐♦♥❛❧❧② s♦✉♥❞✳ ✶✶ ✴ ✺✺

❆ s✐♠♣❧❡r ♠♦❞❡❧ ❢♦r ▼ ♦♣ ❙❡t t❤❡ s❛♠❡ ❧❛♥❣✉❛❣❡ ✐s ❣✐✈❡♥ ❜②✿ ✇❤❡r❡ ✐♥ ❜♦t❤ ❝❛s❡s ❈ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥❝r❡t❡ ♠♦❞❡❧s ♦❢ ❊❈▲◆▲ ❚❤❡ ♦r✐❣✐♥❛❧ Pr♦t♦✲◗✉✐♣♣❡r✲▼ ♠♦❞❡❧ ✐s ❣✐✈❡♥ ❜② t❤❡ ▲◆▲ ♠♦❞❡❧✿ ✷ ✷ ❚❤❛♥❦s t♦ ❙❛♠ ❙t❛t♦♥ ❢♦r ❛s❦✐♥❣ ✇❤② ❞♦ ✇❡ ♥❡❡❞ t❤❡ ❋❛♠ ❝♦♥str✉❝t✐♦♥ ❢♦r t❤✐s✳ ✶✷ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥❝r❡t❡ ♠♦❞❡❧s ♦❢ ❊❈▲◆▲ ❚❤❡ ♦r✐❣✐♥❛❧ Pr♦t♦✲◗✉✐♣♣❡r✲▼ ♠♦❞❡❧ ✐s ❣✐✈❡♥ ❜② t❤❡ ▲◆▲ ♠♦❞❡❧✿ ✷ ❆ s✐♠♣❧❡r ♠♦❞❡❧ ❢♦r t❤❡ s❛♠❡ ❧❛♥❣✉❛❣❡ ✐s ❣✐✈❡♥ ❜②✿ ✇❤❡r❡ ✐♥ ❜♦t❤ ❝❛s❡s ❈ = [ ▼ ♦♣ , ❙❡t ] . ✷ ❚❤❛♥❦s t♦ ❙❛♠ ❙t❛t♦♥ ❢♦r ❛s❦✐♥❣ ✇❤② ❞♦ ✇❡ ♥❡❡❞ t❤❡ ❋❛♠ ❝♦♥str✉❝t✐♦♥ ❢♦r t❤✐s✳ ✶✷ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥❝r❡t❡ ♠♦❞❡❧s ♦❢ t❤❡ ❜❛s❡ ❧❛♥❣✉❛❣❡ ✭❝♦♥t❞✳✮ ❋✐① ❛♥ ❛r❜✐tr❛r② s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❝❛t❡❣♦r② ▼ ✳ ❊q✉✐♣♣✐♥❣ ▼ ✇✐t❤ t❤❡ ❢r❡❡ ❈P❖ ✲❡♥r✐❝❤♠❡♥t ②✐❡❧❞s ❛♥♦t❤❡r ❝♦♥❝r❡t❡ ✭♦r❞❡r✲❡♥r✐❝❤❡❞✮ ❊❈▲◆▲ ♠♦❞❡❧✿ ✇❤❡r❡ ❈ = [ ▼ ♦♣ , ❈P❖ ] . ✶✸ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❘❡❝✉rs✐♦♥ ❊①t❡♥❞ t❤❡ s②♥t❛①✿ Φ , x :! A ; ∅ ⊢ m : A ✭r❡❝✮ Φ; ∅ ⊢ r❡❝ x ! A m : A ❊①t❡♥❞ t❤❡ ♦♣❡r❛t✐♦♥❛❧ s❡♠❛♥t✐❝s✿ ( C , m [ ❧✐❢t r❡❝ x ! A m / x ]) ⇓ ( C ′ , v ) ( C , r❡❝ x ! A m ) ⇓ ( C ′ , v ) ✶✹ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆❜str❛❝t ♠♦❞❡❧ ✇✐t❤ r❡❝✉rs✐♦♥❄ ❉❡✜♥✐t✐♦♥ ❆♥ ❡♥❞♦❢✉♥❝t♦r T : ❈ → ❈ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t ✱ ✐❢ ❢♦r ❡✈❡r② A ∈ ❖❜ ( ❈ ) ✱ t❤❡ ❡♥❞♦❢✉♥❝t♦r A ⊗ T ( − ) ❤❛s ❛♥ ✐♥✐t✐❛❧ ❛❧❣❡❜r❛ ❛♥❞ ❛ ✜♥❛❧ ❝♦❛❧❣❡❜r❛ ✇❤♦s❡ ❝❛rr✐❡rs ❝♦✐♥❝✐❞❡✳ ❚❤❡♦r❡♠ ❆ ❝❛t❡❣♦r✐❝❛❧ ♠♦❞❡❧ ♦❢ ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❧❛♠❜❞❛ ❝❛❧❝✉❧✉s ❡①t❡♥❞❡❞ ✇✐t❤ r❡❝✉rs✐♦♥ ✐s ❣✐✈❡♥ ❜② ❛♥ ▲◆▲ ♠♦❞❡❧✿ F ❱ ❈ ⊢ G ✇❤❡r❡ FG ✭♦r ❡q✉✐✈❛❧❡♥t❧② GF ✮ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t ✸ ✳ ✸ ❇❡♥t♦♥ ✫ ❲❛❞❧❡r✳ ▲✐♥❡❛r ❧♦❣✐❝✱ ♠♦♥❛❞s ❛♥❞ t❤❡ ❧❛♠❜❞❛ ❝❛❧❝✉❧✉s ✳ ▲✐❈❙✬✾✻✳ ✶✺ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❊❈▲◆▲ ❡①t❡♥❞❡❞ ✇✐t❤ ❣❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❉❡✜♥✐t✐♦♥ ❆ ❝❛t❡❣♦r✐❝❛❧ ♠♦❞❡❧ ♦❢ ❊❈▲◆▲ ❡①t❡♥❞❡❞ ✇✐t❤ ❣❡♥❡r❛❧ r❡❝✉rs✐♦♥ ✐s ❣✐✈❡♥ ❜② ❛ ♠♦❞❡❧ ♦❢ ❊❈▲◆▲✱ ✇❤❡r❡ ✐♥ ❛❞❞✐t✐♦♥✿ ✺✳ ❚❤❡ ❝♦♠♦♥❛❞ ❡♥❞♦❢✉♥❝t♦r✿ − ⊙ I V C , ⊢ C ( I , − ) ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t✳ ✶✻ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❙♦✉♥❞♥❡ss ❚❤❡♦r❡♠ ✭❙♦✉♥❞❡ss✮ ❊✈❡r② ♠♦❞❡❧ ♦❢ ❊❈▲◆▲ ❡①t❡♥❞❡❞ ✇✐t❤ r❡❝✉rs✐♦♥ ✐s ❝♦♠♣✉t❛t✐♦♥❛❧❧② s♦✉♥❞✳ ✶✼ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥❝r❡t❡ ♠♦❞❡❧ ♦❢ ❊❈▲◆▲ ❡①t❡♥❞❡❞ ✇✐t❤ r❡❝✉rs✐♦♥ ▲❡t ▼ ∗ ❜❡ t❤❡ ❢r❡❡ ❈P❖ ⊥ ! ✲❡♥r✐❝❤♠❡♥t ♦❢ ▼ ❛♥❞ ▼ ∗ = [ ▼ ♦♣ ∗ , ❈P❖ ⊥ ! ] ❜❡ t❤❡ ❛ss♦❝✐❛t❡❞ ❡♥r✐❝❤❡❞ ❢✉♥❝t♦r ❝❛t❡❣♦r②✳ − ⊙ I ❈P❖ ⊥ ! ⊥ ▼ ∗ ▼ ∗ ( I , − ) ⊣ ⊣ L U L U − ⊙ I ⊥ ❈P❖ ▼ ▼ ( I , − ) ❘❡♠❛r❦ ■❢ ▼ = ✶ ✱ t❤❡♥ t❤❡ ❛❜♦✈❡ ♠♦❞❡❧ ❞❡❣❡♥❡r❛t❡s t♦ t❤❡ ❧❡❢t ✈❡rt✐❝❛❧ ❛❞❥✉♥❝t✐♦♥✱ ✇❤✐❝❤ ✐s ❛ ♠♦❞❡❧ ♦❢ ❛ ▲◆▲ ❧❛♠❜❞❛ ❝❛❧❝✉❧✉s ✇✐t❤ ❣❡♥❡r❛❧ r❡❝✉rs✐♦♥✳ ✶✽ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♠♣✉t❛t✐♦♥❛❧ ❛❞❡q✉❛❝② ❚❤❡♦r❡♠ ❚❤❡ ❢♦❧❧♦✇✐♥❣ ▲◆▲ ♠♦❞❡❧✿ ⊥ ❈P❖ ❈P❖ ⊥ ! , ⊢ U ✐s ❝♦♠♣✉t❛t✐♦♥❛❧❧② ❛❞❡q✉❛t❡ ❛t ✐♥t✉✐t✐♦♥✐st✐❝ t②♣❡s ❢♦r t❤❡ ❝✐r❝✉✐t✲❢r❡❡ ❢r❛❣♠❡♥t ♦❢ ❊❈▲◆▲✳ ✶✾ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❘❡❝✉rs✐✈❡ t②♣❡s • ❚❤❡ ♠♦❞❡❧s ❢♦r Pr♦t♦✲◗✉✐♣♣❡r✲▼ ✐♥ t❤❡ ♣r❡✈✐♦✉s ♣❛rt s❡❡♠ t♦ s✉♣♣♦rt r❡❝✉rs✐✈❡ t②♣❡s✳ • ▼❛✐♥ ❞✐✣❝✉❧t② ✐s ♦♥ t❤❡ ❞❡♥♦t❛t✐♦♥❛❧ s✐❞❡✳ • ❍♦✇ ❝❛♥ ✇❡ ❝♦♣②✴❞✐s❝❛r❞ ✐♥t✉✐t✐♦♥✐st✐❝ r❡❝✉rs✐✈❡ t②♣❡s❄ • ❆ ❧✐st ♦❢ q✉❜✐ts s❤♦✉❧❞ ❜❡ ❧✐♥❡❛r ✕ ❝❛♥♥♦t ❝♦♣②✴❞✐s❝❛r❞✳ • ❆ ❧✐st ♦❢ ♥❛t✉r❛❧ ♥✉♠❜❡rs s❤♦✉❧❞ ❜❡ ✐♥t✉✐t✐♦♥✐st✐❝ ✕ ❝❛♥ ✐♠♣❧✐❝✐t❧② ❝♦♣②✴❞✐s❝❛r❞✳ • ❋♦r t❤❡ r❡st ♦❢ t❤❡ t❛❧❦ ✇❡ ❢♦❝✉s ♦♥ t❤❡ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r t②♣❡ str✉❝t✉r❡✳ • ❘❡❝❛❧❧ ❋P❈✱ ❛ ❧❛♥❣✉❛❣❡ ✇✐t❤ ❝♦♣r♦❞✉❝ts✱ ♣r♦❞✉❝ts✱ ❡①♣♦♥❡♥t✐❛❧s✱ ❛♥❞ r❡❝✉rs✐✈❡ t②♣❡s✳ ❍♦✇ ❞♦ ✇❡ ❞❡s✐❣♥ ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❋P❈❄ ✷✵ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆❞❞✐♥❣ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❚②♣❡ ❱❛r✐❛❜❧❡s X , Y ❚②♣❡s A , B ✿✿❂ X ⑤ α ⑤ A + B ⑤ ■ ⑤ A ⊗ B ⑤ A ⊸ B ⑤ ! A ⑤ µ X . A ■♥t✉✐t✐♦♥✐st✐❝ t②♣❡s P , R ✿✿❂ X ⑤ P + R ⑤ ■ ⑤ P ⊗ R ⑤ ! A ⑤ µ X . P ❘❡♠❛r❦ • ❚❤❡s❡ t②♣❡s ❛r❡ ❛❝❝♦♠♣❛♥✐❡❞ ❜② s♦♠❡ ❢♦r♠❛t✐♦♥ r✉❧❡s✱ ✇❤✐❝❤ ✇❡ ♦♠✐t✳ • ❲❡ ✉s❡ t❤❡ s❛♠❡ t②♣❡ ✈❛r✐❛❜❧❡ ❢♦r ❜♦t❤ ✐♥t✉✐t✐♦♥✐st✐❝ ❛♥❞ ❣❡♥❡r❛❧ ✭❜♦t❤ ❧✐♥❡❛r ❛♥❞ ✐♥t✉✐t✐♦♥✐st✐❝✮ t②♣❡s✳ ✷✶ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❙♦♠❡ ✉s❡❢✉❧ r❡❝✉rs✐✈❡ t②♣❡s ❊①❛♠♣❧❡ ◆❛t ≡ µ X . I + X ✭✐♥t✉✐t✐♦♥✐st✐❝✮ ❊①❛♠♣❧❡ ▲✐st ◆❛t ≡ µ X . I + X ⊗ ◆❛t ✭✐♥t✉✐t✐♦♥✐st✐❝✮ ❊①❛♠♣❧❡ ▲✐st ◗✉❜✐t ≡ µ X . I + X ⊗ ◗✉❜✐t ✭❧✐♥❡❛r✮ ❊①❛♠♣❧❡ ❙tr❡❛♠ ◗✉❜✐t ≡ µ X . I ⊸ ( X ⊗ ◗✉❜✐t ) ✭❧✐♥❡❛r✮ ❊①❛♠♣❧❡ ❙tr❡❛♠ ◆❛t ≡ µ X . !( X ⊗ ◆❛t ) ✭✐♥t✉✐t✐♦♥✐st✐❝✮ ✷✷ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❘❡❝❛❧❧ ❲❡ ♣r❡✈✐♦✉s❧② ❡①t❡♥❞❡❞ P◗▼ ✇✐t❤ ❛ r❡❝✉rs✐♦♥ ♦♣❡r❛t♦r✿ Φ , x :! A ; ∅ ⊢ m : A ✭r❡❝✮ Φ; ∅ ⊢ r❡❝ x ! A m : A ▼♦r❡♦✈❡r✱ ✇❡ ❡①t❡♥❞❡❞ t❤❡ ♦♣❡r❛t✐♦♥❛❧ s❡♠❛♥t✐❝s✿ ( C , m [ ❧✐❢t r❡❝ x ! A m / x ]) ⇓ ( C ′ , v ) ( C , r❡❝ x ! A m ) ⇓ ( C ′ , v ) ✷✸ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❡r♠ ❧❡✈❡❧ r❡❝✉rs✐♦♥ ■♥ ❋P❈✱ ❛ t❡r♠✲❧❡✈❡❧ r❡❝✉rs✐♦♥ ♦♣❡r❛t♦r ♠❛② ❜❡ ❞❡✜♥❡❞ ✉s✐♥❣ ❢♦❧❞✴✉♥❢♦❧❞ ♠❛♣s✳ ❚❤❡ s❛♠❡ ✐s tr✉❡ ❢♦r ♦✉r ❧❛♥❣✉❛❣❡✳ ❚❤❡♦r❡♠ ❚❤❡ t❡r♠✲❧❡✈❡❧ r❡❝✉rs✐♦♥ ♦♣❡r❛t♦r ❢♦r P◗▼ ✹ ✐s ♥♦✇ ❛ ❞❡r✐✈❡❞ r✉❧❡✳ ❋♦r ❛ ❣✐✈❡♥ t❡r♠ Φ , z :! A ⊢ m : A ✱ ❞❡✜♥❡✿ m ≡ ❧✐❢t ❢♦❧❞ λ x ! µ X . (! X ⊸ A ) . ( λ z ! A . m )( ❧✐❢t ( ✉♥❢♦❧❞ ❢♦r❝❡ x ) x ) α z r❡❝ z ! A . m ≡ ( ✉♥❢♦❧❞ ❢♦r❝❡ α z m ) α z m ✹ ❇❡rt ▲✐♥❞❡♥❤♦✈✐✉s✱ ▼✐❝❤❛❡❧ ▼✐s❧♦✈❡✱ ❱❧❛❞✐♠✐r ❩❛♠❞③❤✐❡✈✿ ❊♥r✐❝❤✐♥❣ ❛ ▲✐♥❡❛r✴◆♦♥✲❧✐♥❡❛r ▲❛♠❜❞❛ ❈❛❧❝✉❧✉s✿ ❆ Pr♦❣r❛♠♠✐♥❣ ▲❛♥❣✉❛❣❡ ❢♦r ❙tr✐♥❣ ❉✐❛❣r❛♠s✳ ▲■❈❙ ✷✵✶✽ ✷✹ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❊♠❜❡❞❞✐♥❣✲♣r♦❥❡❝t✐♦♥ ♣❛✐rs Pr♦❜❧❡♠✿ ❍♦✇ ❞♦ ✇❡ ✐♥t❡r♣r❡t r❡❝✉rs✐✈❡ t②♣❡s ✇❤✐❝❤ ❛❧s♦ ❝♦♥t❛✐♥ ! ❛♥❞ ⊸ ❄ ❚❡①t❜♦♦❦ ❙♦❧✉t✐♦♥✿ ❈P❖ ✲❡♥r✐❝❤♠❡♥t ❛♥❞ ❡♠❜❡❞❞✐♥❣✲♣r♦❥❡❝t✐♦♥ ♣❛✐rs✳ ❉❡✜♥✐t✐♦♥ ●✐✈❡♥ ❛ ❈P❖ ✲❡♥r✐❝❤❡❞ ❝❛t❡❣♦r② ❈ ✱ ❛♥ ❡♠❜❡❞❞✐♥❣✲♣r♦❥❡❝t✐♦♥ ♣❛✐r ✐s ❛ ♣❛✐r ♦❢ ♠♦r♣❤✐s♠s e : A → B ❛♥❞ p : B → A ✱ s✉❝❤ t❤❛t p ◦ e = ✐❞ ❛♥❞ e ◦ p ≤ ✐❞✳ ❚❤❡♦r❡♠ ■❢ e ✐s ❛♥ ❡♠❜❡❞❞✐♥❣✱ t❤❡♥ ✐t ❤❛s ❛ ✉♥✐q✉❡ ♣r♦❥❡❝t✐♦♥✱ ✇❤✐❝❤ ✇❡ ❞❡♥♦t❡ e ∗ ✳ ❉❡✜♥✐t✐♦♥ ❚❤❡ s✉❜❝❛t❡❣♦r② ♦❢ ❈ ✇✐t❤ t❤❡ s❛♠❡ ♦❜❥❡❝ts✱ ❜✉t ✇❤♦s❡ ♠♦r♣❤✐s♠s ❛r❡ ❡♠❜❡❞❞✐♥❣s ✐s ❞❡♥♦t❡❞ ❈ e ✳ ✷✺ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ■♥t❡r♣r❡t❛t✐♦♥ ♦❢ r❡❝✉rs✐✈❡ t②♣❡s ■♥ P◗▼✱ ❛♥② t②♣❡ A ✐s ✐♥t❡r♣r❡t❡❞ ❛s ❛♥ ♦❜❥❡❝t � A � ∈ ❈ . ■❢ ✇❡ ❡q✉✐♣ t❤❡ ❧❛♥❣✉❛❣❡ ✇✐t❤ r❡❝✉rs✐✈❡ t②♣❡s✱ ❡①♣r❡ss✐♦♥s ❛s Θ ⊢ A ✇✐❧❧ ❜❡ ✐♥t❡r♣r❡t ❛s ❢✉♥❝t♦rs � Θ ⊢ A � : ❈ n → ❈ ❢♦r s♦♠❡ s✉✐t❛❜❧❡ ❝❛t❡❣♦r② ❈ ✳ ■♥t❡r♣r❡t✐♥❣ ✭❝❧♦s❡❞✮ r❡❝✉rs✐✈❡ t②♣❡s ❛♠♠♦✉♥ts t♦ ✜♥❞✐♥❣ ✐♥✐t✐❛❧ ✭✜♥❛❧✮ ✭❝♦✮❛❧❣❡❜r❛s ♦❢ ❡♥❞♦❢✉♥❝t♦rs ✐♥❞✉❝❡❞ ❜② t❤❡s❡ ❢✉♥❝t♦rs✳ ▲❡♠♠❛ ✭❆❞á♠❡❦✮ ▲❡t ❈ ❜❡ ❛ ❝❛t❡❣♦r② ✇✐t❤ ❛♥ ✐♥✐t✐❛❧ ♦❜❥❡❝t ∅ ❛♥❞ ❧❡t T : ❈ → ❈ ❜❡ ❛♥ ❡♥❞♦❢✉♥❝t♦r✳ ❆ss✉♠❡ ❢✉rt❤❡r t❤❛t t❤❡ ❢♦❧❧♦✇✐♥❣ ω ✲❞✐❛❣r❛♠ → T ✷ ∅ T ✷ ι → T ∅ T ι ∅ ι − − − − → · · · ❤❛s ❛ ❝♦❧✐♠✐t ❛♥❞ T ♣r❡s❡r✈❡s ✐t✳ ❚❤❡♥✱ t❤❡ ✐♥❞✉❝❡❞ ✐s♦♠♦r♣❤✐s♠ ✐s t❤❡ ✐♥✐t✐❛❧ T ✲❛❧❣❡❜r❛✳ ❈♦r♦❧❧❛r② ■♥ ❛ s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞ ❝❛t❡❣♦r② ✇✐t❤ ✜♥✐t❡ ❝♦♣r♦❞✉❝ts ❛♥❞ ω ✲❝♦❧✐♠✐ts✱ ❛♥② ❡♥❞♦❢✉♥❝t♦r ❝♦♠♣♦s❡❞ ❢r♦♠ ❝♦♥st❛♥ts✱ ⊗ ❛♥❞ + ❤❛s ❛♥ ✐♥✐t✐❛❧ ❛❧❣❡❜r❛✳ ✷✻ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ■♥t❡r♣r❡t❛t✐♦♥ ♦❢ r❡❝✉rs✐✈❡ t②♣❡s ✭❝♦♥t❞✳✮ ❚❤❡♦r❡♠ ✭❙♠②t❤ ❛♥❞ P❧♦t❦✐♥✮ ■❢ T : ❈ → ❉ ✐s ❛ ❈P❖ ✲❡♥r✐❝❤❡❞ ❢✉♥❝t♦r ❛♥❞ ❈ ❤❛s ω ✲❝♦❧✐♠✐ts✱ t❤❡♥ T ♣r❡s❡r✈❡s ω ✲❝♦❧✐♠✐ts ♦❢ ❡♠❜❡❞❞✐♥❣s✳ ■♥ ♦t❤❡r ✇♦r❞s✱ t❤❡ r❡str✐❝t✐♦♥ T e : ❈ e → ❉ e ✐s ω ✲❝♦♥t✐♥✉♦✉s✳ ❚❤❡♦r❡♠ ■♥ ♦✉r ❝❛t❡❣♦r✐❝❛❧ ♠♦❞❡❧✱ ❛♥② ❈P❖ ✲❡♥❞♦❢✉♥❝t♦r T : ❈ → ❈ ❤❛s ❛♥ ✐♥✐t✐❛❧ T ✲❛❧❣❡❜r❛✱ ✇❤♦s❡ ✐♥✈❡rs❡ ✐s ❛ ✜♥❛❧ T ✲❝♦❛❧❣❡❜r❛✳ ❘❡♠❛r❦ ❚❤❡ ❛❜♦✈❡ t❤❡♦r❡♠ ❢♦❧❧♦✇s ❞✐r❡❝t❧② ❢r♦♠ r❡s✉❧ts ✐♥ ❋✐♦r❡✬s P❤❉ t❤❡s✐s✳ ✷✼ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❈P❖ ✲❡♥r✐❝❤❡❞ ♠♦❞❡❧ ✶✳ ❆ ❈P❖ ✲s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❈ s✉❝❤ t❤❛t ❈ ❤❛s ✜♥✐t❡ ❈P❖ ✲❝♦♣r♦❞✉❝ts✳ ✷✳ ❆ ❈P❖ ✲s②♠♠❡tr✐❝ ♠♦♥♦✐❞❛❧ ❛❞❥✉♥❝t✐♦♥✿ F ❈P❖ ❈ , ⊢ ❈ ( I , − ) ✸✳ ❚❤❡ ❝❛t❡❣♦r② ❈ ✐s ❈P❖ ⊥ ! ✲❡♥r✐❝❤❡❞ ❛♥❞ ❤❛s ω ✲❝♦❧✐♠✐ts✳ ❘❡♠❛r❦ ✶✳ ❛♥❞ ✸✳ ✐♠♣❧② ❈ ❤❛s ❛ ③❡r♦ ♦❜❥❡❝t ❛♥❞ ✇❡ ❝❛♥ s♦❧✈❡ r❡❝✉rs✐✈❡ ❞♦♠❛✐♥ ❡q✉❛t✐♦♥s✳ ✷✽ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❘❡❝✉rs✐✈❡ t②♣❡s ❢♦r P◗▼ ❯s✐♥❣ t❤❡ ❞❛t❛ ❢r♦♠ ♦✉r ❝❛t❡❣♦r✐❝❛❧ ♠♦❞❡❧✿ F ❈P❖ ❈ ⊢ G ✇❡ ♠❛② s♦❧✈❡ ❛❧❧ r❡q✉✐r❡❞ r❡❝✉rs✐✈❡ ❞♦♠❛✐♥ ❡q✉❛t✐♦♥s ❛♥❞ ✐♥t❡r♣r❡t ❛❧❧ r❡q✉✐r❡❞ t②♣❡ ❡①♣r❡ss✐♦♥s Θ ⊢ A ❛s ❢✉♥❝t♦rs � Θ ⊢ A � : ❈ n e → ❈ e ✳ ❘❡♠❛r❦ ❚❤✐s ❢♦❧❧♦✇s ❡❛s✐❧② ✉s✐♥❣ ✇❡❧❧✲❦♥♦✇♥ r❡s✉❧ts ❢r♦♠ t❤❡ ❧✐t❡r❛t✉r❡✳ Pr♦❜❧❡♠✿ ❍♦✇ ❞♦ ✇❡ ❝♦♣②✴❞✐s❝❛r❞ t❤❡ ✭r❡❝✉rs✐✈❡✮ ✐♥t✉✐t✐♦♥✐st✐❝ t②♣❡s❄ ✷✾ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ Pr❡✲❡♠❜❡❞❞✐♥❣s ❉❡✜♥✐t✐♦♥ ●✐✈❡♥ t✇♦ ❈P❖ ✲❡♥r✐❝❤❡❞ ❝❛t❡❣♦r✐❡s ❈ ❛♥❞ ❉ ❛♥❞ ❛ ❈P❖ ✲❢✉♥❝t♦r T : ❈ → ❉ , ❛ ♣r❡✲❡♠❜❡❞❞✐♥❣ ✐♥ ❈ ✇✳r✳t T ✐s ❛ ♠♦r♣❤✐s♠ f ∈ ❈ ✱ s✳t✳ Tf ✐s ❛♥ ❡♠❜❡❞❞✐♥❣ ✐♥ ❉ ✳ ❉❡✜♥✐t✐♦♥ ▲❡t ❈P❖ pe ❜❡ t❤❡ s✉❜❝❛t❡❣♦r② ♦❢ ❈P❖ ✇✐t❤ t❤❡ s❛♠❡ ♦❜❥❡❝ts✱ ❜✉t ✇❤♦s❡ ♠♦r♣❤✐s♠s ❛r❡ ♣r❡✲❡♠❜❡❞❞✐♥❣s ✇✳r✳t F ✐♥ ♦✉r ♠♦❞❡❧✳ ❊①❛♠♣❧❡ ❊✈❡r② ❡♠❜❡❞❞✐♥❣ ✐♥ ❈P❖ ✐s ❛ ♣r❡✲❡♠❜❡❞❞✐♥❣✱ ❜✉t ♥♦t ✈✐❝❡ ✈❡rs❛✳ ❚❤❡ ❡♠♣t② ♠❛♣ ι : ∅ → X ✐s ❛ ♣r❡✲❡♠❜❡❞❞✐♥❣ ✭✇✳r✳t t♦ F ✐♥ ♦✉r ♠♦❞❡❧✮✱ ❜✉t ♥♦t ❛♥ ❡♠❜❡❞❞✐♥❣✳ ✸✵ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♣②✐♥❣ ❛♥❞ ❞✐s❝❛r❞✐♥❣❄ ❘❡❝❛❧❧ t❤❛t ✐♥ P◗▼ ✇✐t❤ ❜❛s✐❝ t②♣❡s✱ t❤❡ ❜❛s✐s ❢♦r ❝♦♣②✐♥❣ ❛♥❞ ❞✐s❝❛r❞✐♥❣ ✐s ❣✐✈❡♥ ❜② t❤❡ ❝❛♥♦♥✐❝❛❧ ✐s♦ ✭❢♦r P ✐♥t✉✐t✐♦♥✐st✐❝✮✿ ∼ = α P : � P � − → F � P � Pr♦❜❧❡♠✿ ❍♦✇ ❞♦ ✇❡ ❣❡♥❡r❛❧✐s❡ t❤✐s t♦ ✇♦r❦ ✇✐t❤ r❡❝✉rs✐✈❡ t②♣❡s✱ ✇❤❡r❡ t❤❡ ✐♥t❡r♣r❡t❛t✐♦♥ ♦❢ ❛ t②♣❡ ✐s ♥♦✇ ❛ ❢✉♥❝t♦r❄ ✸✶ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ■♥t❡r♣r❡t✐♥❣ ✐♥t✉✐t✐♦♥✐st✐❝ t②♣❡s ❚❤❡♦r❡♠ ❋♦r ❛♥② ✐♥t✉✐t✐♦♥✐st✐❝ t②♣❡ Θ ⊢ P ✇✐t❤ n = | Θ | ✱ ✇❡ ❝❛♥ ✜♥❞ ❛♥ ω ✲❝♦♥t✐♥✉♦✉s ❢✉♥❝t♦r � Θ ⊢ P � : ❈P❖ n pe → ❈P❖ pe ✱ ❛♥❞ ♠♦r❡♦✈❡r ❛ ♥❛t✉r❛❧ ✐s♦♠♦r♣❤✐s♠ α Θ ⊢ P : � Θ ⊢ P � ◦ F × n = ⇒ F ◦ � Θ ⊢ P � ❞✐❛❣r❛♠♠❛t✐❝❛❧❧② ✭✇✐t❤ ✉♣♣❡r ❧❡❢t ❝♦r♥❡r ❈ n e ✱ ❛♥❞ ✉♣♣❡r r✐❣❤t ❝♦r♥❡r ❈ e ✮✿ � Θ ⊢ P � ❈ n ❈ e e F × n F = ⇒ ❈P❖ n ❈P❖ pe pe � Θ ⊢ P � ✸✷ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥❝r❡t❡ ♠♦❞❡❧ ▲❡t ▼ ∗ ❜❡ t❤❡ ❢r❡❡ ❈P❖ ⊥ ! ✲❡♥r✐❝❤♠❡♥t ♦❢ ▼ ❛♥❞ ▼ ∗ = [ ▼ ♦♣ ∗ , ❈P❖ ⊥ ! ] ❜❡ t❤❡ ❛ss♦❝✐❛t❡❞ ❡♥r✐❝❤❡❞ ❢✉♥❝t♦r ❝❛t❡❣♦r②✳ − ⊙ I ❈P❖ ⊥ ! ⊥ ▼ ∗ ▼ ∗ ( I , − ) L ⊣ U ⊣ L U − ⊙ I ❈P❖ ⊥ ▼ ▼ ( I , − ) ❘❡♠❛r❦ ■❢ ▼ = ✶ ✱ t❤❡♥ t❤❡ ❛❜♦✈❡ ♠♦❞❡❧ ❞❡❣❡♥❡r❛t❡s t♦ t❤❡ ❧❡❢t ✈❡rt✐❝❛❧ ❛❞❥✉♥❝t✐♦♥✱ ✇❤✐❝❤ ✐s ❛ ♠♦❞❡❧ ♦❢ ❋P❈✳ ✸✸ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♠♣✉t❛t✐♦♥❛❧ s♦✉♥❞♥❡ss ❛♥❞ ❛❞❡q✉❛❝② ❚❤❡♦r❡♠ ❚❤❡ ♣r♦♣♦s❡❞ ♠♦❞❡❧ ✐s ❝♦♠♣✉t❛t✐♦♥❛❧❧② s♦✉♥❞✳ ❚❤❡♦r❡♠ ❚❤❡ ♣r♦♣♦s❡❞ ♠♦❞❡❧ ✐s ❝♦♠♣✉t❛t✐♦♥❛❧❧② ❛❞❡q✉❛t❡ ❛t ✐♥t✉✐t✐♦♥✐st✐❝ t②♣❡s✳ ✸✹ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ■ss✉❡s✴❢✉t✉r❡ ✇♦r❦ • ■s ✐t ♣♦ss✐❜❧❡ t♦ ✇♦r❦ ❛❜str❛❝t❧② ✐♥st❡❛❞ ♦❢ ❡♥r✐❝❤✐♥❣ ♦✈❡r ❝♣♦✬s❄ • ❉❡♣❡♥❞❡♥t t②♣❡s❄ • ◆♦ r❡❝✉rs✐✈❡ t②♣❡s ②❡t ❢♦r t❤❡ ❧❛♥❣✉❛❣❡ ✇✐t❤ ❝✐r❝✉✐ts❀ • ❙♦✉♥❞♥❡ss ✐s ❧✐❦❡❧② ♥♦t ❛ ♣r♦❜❧❡♠✱ ❜✉t ❛❞❡q✉❛❝② ✐s❀ • ■ss✉❡ ❧✐❡s ✐♥ t❤❛t t❤❡ t❡♥s♦r ♣r♦❞✉❝t ❞♦❡s ♥♦t r❡✢❡❝t t❤❡ ♦r❞❡r❀ • ❋✉♥❞❛♠❡♥t❛❧ ✐ss✉❡ t❤❛t ♦✉r ♠❡t❤♦❞ ❞♦❡s ♥♦t ✇♦r❦ ✐❢ ▼ ❤❛s ♠♦r❡ t❤❛♥ ♦♥❡ s❝❛❧❛r❀ • ❲♦r❦✐♥❣ ✇✐t❤ t❤❡ ❉❛② t❡♥s♦r ❞♦❡s ♥♦t ♠❛❦❡ ❧✐❢❡ ❡❛s✐❡r✳ ✸✺ ✴ ✺✺

◆♦ ❧♦♥❣❡r ❞❡❛❧✐♥❣ ✇✐t❤ t❤❡ ❉❛② t❡♥s♦r✱ ✇❤✐❝❤ ✐s ❝♦♠♣❧✐❝❛t❡❞❀ ❆ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ❛❞❞✐♥❣ ❞②♥❛♠✐❝ ❧✐❢t✐♥❣✱ ✐✳❡✳✱ ✐♥❝❧✉❞✐♥❣ t❤❡ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ q✉❛♥t✉♠ ❝✐r❝✉✐ts❀ ❲❤✐❝❤ ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ✉s❡ ❛ ❞✐✛❡r❡♥t ❝♦♥❝❡♣t ♦❢ ❛❞❡q✉❛❝②✱ ♥❛♠❡❧② ❛ ♣r♦❜❛❜✐❧✐st✐❝ ✈❡rs✐♦♥ ❢♦r t❤❡ ❧❛♥❣✉❛❣❡ ✇✐t❤ ❝✐r❝✉✐ts❀ ❙✉❝❤ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧s♦ s✉♣♣♦rt s✉❜t②♣✐♥❣✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥s✐❞❡r t❤❡ ❢r❛♠❡✇♦r❦ ♦❢ ❛ ♠♦❞❡❧ ❢♦r P◗▼ ✇✐t❤ ▼ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ✿ − ⊙ I ❱ ❈ ⊢ ❈ ( I , − ) ❲❡ ❛✐♠ t♦ ✜♥❞ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ❈ ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✐♥ t❡r♠s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ ❢♦r t❤❡ ❢♦❧❧♦✇✐♥❣ r❡❛s♦♥s✿ • ❖♣❡r❛t♦rs ♦♥ ❍✐❧❜❡rt s♣❛❝❡s ❛r❡ ✉s❡❞ ❜② ♣❤②s✐❝✐sts t♦ ✐♥t❡r♣r❡t q✉❛♥t✉♠ ♣❤②s✐❝s❀ ✸✻ ✴ ✺✺

❆ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ❛❞❞✐♥❣ ❞②♥❛♠✐❝ ❧✐❢t✐♥❣✱ ✐✳❡✳✱ ✐♥❝❧✉❞✐♥❣ t❤❡ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ q✉❛♥t✉♠ ❝✐r❝✉✐ts❀ ❲❤✐❝❤ ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ✉s❡ ❛ ❞✐✛❡r❡♥t ❝♦♥❝❡♣t ♦❢ ❛❞❡q✉❛❝②✱ ♥❛♠❡❧② ❛ ♣r♦❜❛❜✐❧✐st✐❝ ✈❡rs✐♦♥ ❢♦r t❤❡ ❧❛♥❣✉❛❣❡ ✇✐t❤ ❝✐r❝✉✐ts❀ ❙✉❝❤ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧s♦ s✉♣♣♦rt s✉❜t②♣✐♥❣✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥s✐❞❡r t❤❡ ❢r❛♠❡✇♦r❦ ♦❢ ❛ ♠♦❞❡❧ ❢♦r P◗▼ ✇✐t❤ ▼ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ✿ − ⊙ I ❱ ❈ ⊢ ❈ ( I , − ) ❲❡ ❛✐♠ t♦ ✜♥❞ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ❈ ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✐♥ t❡r♠s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ ❢♦r t❤❡ ❢♦❧❧♦✇✐♥❣ r❡❛s♦♥s✿ • ❖♣❡r❛t♦rs ♦♥ ❍✐❧❜❡rt s♣❛❝❡s ❛r❡ ✉s❡❞ ❜② ♣❤②s✐❝✐sts t♦ ✐♥t❡r♣r❡t q✉❛♥t✉♠ ♣❤②s✐❝s❀ • ◆♦ ❧♦♥❣❡r ❞❡❛❧✐♥❣ ✇✐t❤ t❤❡ ❉❛② t❡♥s♦r✱ ✇❤✐❝❤ ✐s ❝♦♠♣❧✐❝❛t❡❞❀ ✸✻ ✴ ✺✺

❲❤✐❝❤ ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ✉s❡ ❛ ❞✐✛❡r❡♥t ❝♦♥❝❡♣t ♦❢ ❛❞❡q✉❛❝②✱ ♥❛♠❡❧② ❛ ♣r♦❜❛❜✐❧✐st✐❝ ✈❡rs✐♦♥ ❢♦r t❤❡ ❧❛♥❣✉❛❣❡ ✇✐t❤ ❝✐r❝✉✐ts❀ ❙✉❝❤ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧s♦ s✉♣♣♦rt s✉❜t②♣✐♥❣✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥s✐❞❡r t❤❡ ❢r❛♠❡✇♦r❦ ♦❢ ❛ ♠♦❞❡❧ ❢♦r P◗▼ ✇✐t❤ ▼ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ✿ − ⊙ I ❱ ❈ ⊢ ❈ ( I , − ) ❲❡ ❛✐♠ t♦ ✜♥❞ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ❈ ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✐♥ t❡r♠s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ ❢♦r t❤❡ ❢♦❧❧♦✇✐♥❣ r❡❛s♦♥s✿ • ❖♣❡r❛t♦rs ♦♥ ❍✐❧❜❡rt s♣❛❝❡s ❛r❡ ✉s❡❞ ❜② ♣❤②s✐❝✐sts t♦ ✐♥t❡r♣r❡t q✉❛♥t✉♠ ♣❤②s✐❝s❀ • ◆♦ ❧♦♥❣❡r ❞❡❛❧✐♥❣ ✇✐t❤ t❤❡ ❉❛② t❡♥s♦r✱ ✇❤✐❝❤ ✐s ❝♦♠♣❧✐❝❛t❡❞❀ • ❆ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ❛❞❞✐♥❣ ❞②♥❛♠✐❝ ❧✐❢t✐♥❣✱ ✐✳❡✳✱ ✐♥❝❧✉❞✐♥❣ t❤❡ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ q✉❛♥t✉♠ ❝✐r❝✉✐ts❀ ✸✻ ✴ ✺✺

❙✉❝❤ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧s♦ s✉♣♣♦rt s✉❜t②♣✐♥❣✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥s✐❞❡r t❤❡ ❢r❛♠❡✇♦r❦ ♦❢ ❛ ♠♦❞❡❧ ❢♦r P◗▼ ✇✐t❤ ▼ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ✿ − ⊙ I ❱ ❈ ⊢ ❈ ( I , − ) ❲❡ ❛✐♠ t♦ ✜♥❞ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ❈ ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✐♥ t❡r♠s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ ❢♦r t❤❡ ❢♦❧❧♦✇✐♥❣ r❡❛s♦♥s✿ • ❖♣❡r❛t♦rs ♦♥ ❍✐❧❜❡rt s♣❛❝❡s ❛r❡ ✉s❡❞ ❜② ♣❤②s✐❝✐sts t♦ ✐♥t❡r♣r❡t q✉❛♥t✉♠ ♣❤②s✐❝s❀ • ◆♦ ❧♦♥❣❡r ❞❡❛❧✐♥❣ ✇✐t❤ t❤❡ ❉❛② t❡♥s♦r✱ ✇❤✐❝❤ ✐s ❝♦♠♣❧✐❝❛t❡❞❀ • ❆ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ❛❞❞✐♥❣ ❞②♥❛♠✐❝ ❧✐❢t✐♥❣✱ ✐✳❡✳✱ ✐♥❝❧✉❞✐♥❣ t❤❡ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ q✉❛♥t✉♠ ❝✐r❝✉✐ts❀ • ❲❤✐❝❤ ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ✉s❡ ❛ ❞✐✛❡r❡♥t ❝♦♥❝❡♣t ♦❢ ❛❞❡q✉❛❝②✱ ♥❛♠❡❧② ❛ ♣r♦❜❛❜✐❧✐st✐❝ ✈❡rs✐♦♥ ❢♦r t❤❡ ❧❛♥❣✉❛❣❡ ✇✐t❤ ❝✐r❝✉✐ts❀ ✸✻ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❈♦♥s✐❞❡r t❤❡ ❢r❛♠❡✇♦r❦ ♦❢ ❛ ♠♦❞❡❧ ❢♦r P◗▼ ✇✐t❤ ▼ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ✿ − ⊙ I ❱ ❈ ⊢ ❈ ( I , − ) ❲❡ ❛✐♠ t♦ ✜♥❞ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ❈ ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✐♥ t❡r♠s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ ❢♦r t❤❡ ❢♦❧❧♦✇✐♥❣ r❡❛s♦♥s✿ • ❖♣❡r❛t♦rs ♦♥ ❍✐❧❜❡rt s♣❛❝❡s ❛r❡ ✉s❡❞ ❜② ♣❤②s✐❝✐sts t♦ ✐♥t❡r♣r❡t q✉❛♥t✉♠ ♣❤②s✐❝s❀ • ◆♦ ❧♦♥❣❡r ❞❡❛❧✐♥❣ ✇✐t❤ t❤❡ ❉❛② t❡♥s♦r✱ ✇❤✐❝❤ ✐s ❝♦♠♣❧✐❝❛t❡❞❀ • ❆ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ❛❞❞✐♥❣ ❞②♥❛♠✐❝ ❧✐❢t✐♥❣✱ ✐✳❡✳✱ ✐♥❝❧✉❞✐♥❣ t❤❡ ❡①❡❝✉t✐♦♥ ♦❢ t❤❡ q✉❛♥t✉♠ ❝✐r❝✉✐ts❀ • ❲❤✐❝❤ ♠✐❣❤t ❛❧❧♦✇ ✉s t♦ ✉s❡ ❛ ❞✐✛❡r❡♥t ❝♦♥❝❡♣t ♦❢ ❛❞❡q✉❛❝②✱ ♥❛♠❡❧② ❛ ♣r♦❜❛❜✐❧✐st✐❝ ✈❡rs✐♦♥ ❢♦r t❤❡ ❧❛♥❣✉❛❣❡ ✇✐t❤ ❝✐r❝✉✐ts❀ • ❙✉❝❤ ❛ ❝♦♥❝r❡t❡ ❝❛t❡❣♦r② ♠✐❣❤t ❛❧s♦ s✉♣♣♦rt s✉❜t②♣✐♥❣✳ ✸✻ ✴ ✺✺

✭▼✐①❡❞✮ st❛t❡s ♦❢ q✉❜✐ts ❝♦rr❡s♣♦♥❞ t♦ ❞❡♥s✐t② ♠❛tr✐❝❡s ✐♥ ▼ ✷ ❀ ❖❜s❡r✈❛❜❧❡s ❝♦rr❡s♣♦♥❞ t♦ ❤❡r♠✐t✐❛♥ ♠❛tr✐❝❡s ✐♥ ▼ ✷ ❀ ❚❤✐s s✉❣❣❡st t♦ ❛ss✐❣♥ ▼ ✷ t♦ t❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t • P✉r❡ st❛t❡s✿ α | ✵ � + β | ✶ � ✇✐t❤ α, β ∈ C ❛♥❞ ✇❤❡r❡ {| ✵ � , | ✶ �} ✐s ❛♥ ♦rt❤♦♥♦r♠❛❧ ❜❛s✐s ❢♦r C ✷ ❀ ✸✼ ✴ ✺✺

❖❜s❡r✈❛❜❧❡s ❝♦rr❡s♣♦♥❞ t♦ ❤❡r♠✐t✐❛♥ ♠❛tr✐❝❡s ✐♥ ▼ ✷ ❀ ❚❤✐s s✉❣❣❡st t♦ ❛ss✐❣♥ ▼ ✷ t♦ t❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t • P✉r❡ st❛t❡s✿ α | ✵ � + β | ✶ � ✇✐t❤ α, β ∈ C ❛♥❞ ✇❤❡r❡ {| ✵ � , | ✶ �} ✐s ❛♥ ♦rt❤♦♥♦r♠❛❧ ❜❛s✐s ❢♦r C ✷ ❀ • ✭▼✐①❡❞✮ st❛t❡s ♦❢ q✉❜✐ts ❝♦rr❡s♣♦♥❞ t♦ ❞❡♥s✐t② ♠❛tr✐❝❡s ✐♥ ▼ ✷ ( C ) ❀ ✸✼ ✴ ✺✺

❚❤✐s s✉❣❣❡st t♦ ❛ss✐❣♥ ▼ ✷ t♦ t❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t • P✉r❡ st❛t❡s✿ α | ✵ � + β | ✶ � ✇✐t❤ α, β ∈ C ❛♥❞ ✇❤❡r❡ {| ✵ � , | ✶ �} ✐s ❛♥ ♦rt❤♦♥♦r♠❛❧ ❜❛s✐s ❢♦r C ✷ ❀ • ✭▼✐①❡❞✮ st❛t❡s ♦❢ q✉❜✐ts ❝♦rr❡s♣♦♥❞ t♦ ❞❡♥s✐t② ♠❛tr✐❝❡s ✐♥ ▼ ✷ ( C ) ❀ • ❖❜s❡r✈❛❜❧❡s ❝♦rr❡s♣♦♥❞ t♦ ❤❡r♠✐t✐❛♥ ♠❛tr✐❝❡s ✐♥ ▼ ✷ ( C ) ❀ ✸✼ ✴ ✺✺

❚❤✐s s✉❣❣❡st t♦ ❛ss✐❣♥ ▼ ✷ t♦ t❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t • P✉r❡ st❛t❡s✿ α | ✵ � + β | ✶ � ✇✐t❤ α, β ∈ C ❛♥❞ ✇❤❡r❡ {| ✵ � , | ✶ �} ✐s ❛♥ ♦rt❤♦♥♦r♠❛❧ ❜❛s✐s ❢♦r C ✷ ❀ • ✭▼✐①❡❞✮ st❛t❡s ♦❢ q✉❜✐ts ❝♦rr❡s♣♦♥❞ t♦ ❞❡♥s✐t② ♠❛tr✐❝❡s ✐♥ ▼ ✷ ( C ) ❀ • ❖❜s❡r✈❛❜❧❡s ❝♦rr❡s♣♦♥❞ t♦ ❤❡r♠✐t✐❛♥ ♠❛tr✐❝❡s ✐♥ ▼ ✷ ( C ) ❀ ✸✼ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t • P✉r❡ st❛t❡s✿ α | ✵ � + β | ✶ � ✇✐t❤ α, β ∈ C ❛♥❞ ✇❤❡r❡ {| ✵ � , | ✶ �} ✐s ❛♥ ♦rt❤♦♥♦r♠❛❧ ❜❛s✐s ❢♦r C ✷ ❀ • ✭▼✐①❡❞✮ st❛t❡s ♦❢ q✉❜✐ts ❝♦rr❡s♣♦♥❞ t♦ ❞❡♥s✐t② ♠❛tr✐❝❡s ✐♥ ▼ ✷ ( C ) ❀ • ❖❜s❡r✈❛❜❧❡s ❝♦rr❡s♣♦♥❞ t♦ ❤❡r♠✐t✐❛♥ ♠❛tr✐❝❡s ✐♥ ▼ ✷ ( C ) ❀ ❚❤✐s s✉❣❣❡st t♦ ❛ss✐❣♥ ▼ ✷ ( C ) t♦ t❤❡ t②♣❡ ♦❢ ❛ q✉❜✐t✳ ✸✼ ✴ ✺✺

❍❡♥❝❡ ❛ ❝❛t❡❣♦r② ▼ ✇❤♦s❡ ♦❜❥❡❝ts ❛r❡ t❤❡ q✉❛♥t✉♠ t②♣❡s s❤♦✉❧❞ ❝♦♥t❛✐♥ t❤❡ ❝♦♠♣❧❡① ♠❛tr✐① ❛❧❣❡❜r❛s❀ ❚②♣❡ ♦❢ ❝♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ♦❢ s②st❡♠s ✇✐t❤ t②♣❡s ❛♥❞ ✿ t❤❡ ❞✐r❡❝t s✉♠ ✳ ❍❡♥❝❡ ✐t ✐s r❡❛s♦♥❛❜❧❡ t♦ t❛❦❡ ▼ t♦ ❜❡ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s✳ ▼ ✐s ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞✳ ❨❡t ✇❡ ❞♦ ♥♦t ✇❛♥t t♦ t❛❦❡ ❈ ▼ ✱ ❜❡❝❛✉s❡ ▼ ❤❛s ♥♦ ✐♥✜♥✐t❡ t②♣❡s s✉❝❤ ❛s ♥❛t✉r❛❧ ♥✉♠❜❡r t②♣❡❀ str❡❛♠s✳ ▼♦r❡♦✈❡r✱ t❤❡r❡ ❞♦❡s ♥♦t s❡❡♠ t♦ ❜❡ ❛♥ ❛❞❥✉♥❝t✐♦♥ ❜❡t✇❡❡♥ ❙❡t ❛♥❞ ▼ ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❋✐♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s i = ✶ ▼ ✷ ( C ) ∼ • ❚❤❡ t②♣❡ ♦❢ ❛ ❝♦♠❜✐♥❡❞ s②st❡♠ ♦❢ n q✉❜✐ts ✐s � n = ▼ ✷ n ( C ) ❀ ✸✽ ✴ ✺✺

❚②♣❡ ♦❢ ❝♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ♦❢ s②st❡♠s ✇✐t❤ t②♣❡s ❛♥❞ ✿ t❤❡ ❞✐r❡❝t s✉♠ ✳ ❍❡♥❝❡ ✐t ✐s r❡❛s♦♥❛❜❧❡ t♦ t❛❦❡ ▼ t♦ ❜❡ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s✳ ▼ ✐s ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞✳ ❨❡t ✇❡ ❞♦ ♥♦t ✇❛♥t t♦ t❛❦❡ ❈ ▼ ✱ ❜❡❝❛✉s❡ ▼ ❤❛s ♥♦ ✐♥✜♥✐t❡ t②♣❡s s✉❝❤ ❛s ♥❛t✉r❛❧ ♥✉♠❜❡r t②♣❡❀ str❡❛♠s✳ ▼♦r❡♦✈❡r✱ t❤❡r❡ ❞♦❡s ♥♦t s❡❡♠ t♦ ❜❡ ❛♥ ❛❞❥✉♥❝t✐♦♥ ❜❡t✇❡❡♥ ❙❡t ❛♥❞ ▼ ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❋✐♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s i = ✶ ▼ ✷ ( C ) ∼ • ❚❤❡ t②♣❡ ♦❢ ❛ ❝♦♠❜✐♥❡❞ s②st❡♠ ♦❢ n q✉❜✐ts ✐s � n = ▼ ✷ n ( C ) ❀ • ❍❡♥❝❡ ❛ ❝❛t❡❣♦r② ▼ ✇❤♦s❡ ♦❜❥❡❝ts ❛r❡ t❤❡ q✉❛♥t✉♠ t②♣❡s s❤♦✉❧❞ ❝♦♥t❛✐♥ t❤❡ ❝♦♠♣❧❡① ♠❛tr✐① ❛❧❣❡❜r❛s❀ ✸✽ ✴ ✺✺

❍❡♥❝❡ ✐t ✐s r❡❛s♦♥❛❜❧❡ t♦ t❛❦❡ ▼ t♦ ❜❡ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s✳ ▼ ✐s ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞✳ ❨❡t ✇❡ ❞♦ ♥♦t ✇❛♥t t♦ t❛❦❡ ❈ ▼ ✱ ❜❡❝❛✉s❡ ▼ ❤❛s ♥♦ ✐♥✜♥✐t❡ t②♣❡s s✉❝❤ ❛s ♥❛t✉r❛❧ ♥✉♠❜❡r t②♣❡❀ str❡❛♠s✳ ▼♦r❡♦✈❡r✱ t❤❡r❡ ❞♦❡s ♥♦t s❡❡♠ t♦ ❜❡ ❛♥ ❛❞❥✉♥❝t✐♦♥ ❜❡t✇❡❡♥ ❙❡t ❛♥❞ ▼ ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❋✐♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s i = ✶ ▼ ✷ ( C ) ∼ • ❚❤❡ t②♣❡ ♦❢ ❛ ❝♦♠❜✐♥❡❞ s②st❡♠ ♦❢ n q✉❜✐ts ✐s � n = ▼ ✷ n ( C ) ❀ • ❍❡♥❝❡ ❛ ❝❛t❡❣♦r② ▼ ✇❤♦s❡ ♦❜❥❡❝ts ❛r❡ t❤❡ q✉❛♥t✉♠ t②♣❡s s❤♦✉❧❞ ❝♦♥t❛✐♥ t❤❡ ❝♦♠♣❧❡① ♠❛tr✐① ❛❧❣❡❜r❛s❀ • ❚②♣❡ ♦❢ ❝♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ♦❢ s②st❡♠s ✇✐t❤ t②♣❡s A ❛♥❞ B ✿ t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ ✸✽ ✴ ✺✺

▼ ✐s ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞✳ ❨❡t ✇❡ ❞♦ ♥♦t ✇❛♥t t♦ t❛❦❡ ❈ ▼ ✱ ❜❡❝❛✉s❡ ▼ ❤❛s ♥♦ ✐♥✜♥✐t❡ t②♣❡s s✉❝❤ ❛s ♥❛t✉r❛❧ ♥✉♠❜❡r t②♣❡❀ str❡❛♠s✳ ▼♦r❡♦✈❡r✱ t❤❡r❡ ❞♦❡s ♥♦t s❡❡♠ t♦ ❜❡ ❛♥ ❛❞❥✉♥❝t✐♦♥ ❜❡t✇❡❡♥ ❙❡t ❛♥❞ ▼ ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❋✐♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s i = ✶ ▼ ✷ ( C ) ∼ • ❚❤❡ t②♣❡ ♦❢ ❛ ❝♦♠❜✐♥❡❞ s②st❡♠ ♦❢ n q✉❜✐ts ✐s � n = ▼ ✷ n ( C ) ❀ • ❍❡♥❝❡ ❛ ❝❛t❡❣♦r② ▼ ✇❤♦s❡ ♦❜❥❡❝ts ❛r❡ t❤❡ q✉❛♥t✉♠ t②♣❡s s❤♦✉❧❞ ❝♦♥t❛✐♥ t❤❡ ❝♦♠♣❧❡① ♠❛tr✐① ❛❧❣❡❜r❛s❀ • ❚②♣❡ ♦❢ ❝♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ♦❢ s②st❡♠s ✇✐t❤ t②♣❡s A ❛♥❞ B ✿ t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❍❡♥❝❡ ✐t ✐s r❡❛s♦♥❛❜❧❡ t♦ t❛❦❡ ▼ t♦ ❜❡ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s✳ ✸✽ ✴ ✺✺

▼ ✐s ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞✳ ❨❡t ✇❡ ❞♦ ♥♦t ✇❛♥t t♦ t❛❦❡ ❈ ▼ ✱ ❜❡❝❛✉s❡ ▼ ❤❛s ♥♦ ✐♥✜♥✐t❡ t②♣❡s s✉❝❤ ❛s ♥❛t✉r❛❧ ♥✉♠❜❡r t②♣❡❀ str❡❛♠s✳ ▼♦r❡♦✈❡r✱ t❤❡r❡ ❞♦❡s ♥♦t s❡❡♠ t♦ ❜❡ ❛♥ ❛❞❥✉♥❝t✐♦♥ ❜❡t✇❡❡♥ ❙❡t ❛♥❞ ▼ ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❋✐♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s i = ✶ ▼ ✷ ( C ) ∼ • ❚❤❡ t②♣❡ ♦❢ ❛ ❝♦♠❜✐♥❡❞ s②st❡♠ ♦❢ n q✉❜✐ts ✐s � n = ▼ ✷ n ( C ) ❀ • ❍❡♥❝❡ ❛ ❝❛t❡❣♦r② ▼ ✇❤♦s❡ ♦❜❥❡❝ts ❛r❡ t❤❡ q✉❛♥t✉♠ t②♣❡s s❤♦✉❧❞ ❝♦♥t❛✐♥ t❤❡ ❝♦♠♣❧❡① ♠❛tr✐① ❛❧❣❡❜r❛s❀ • ❚②♣❡ ♦❢ ❝♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ♦❢ s②st❡♠s ✇✐t❤ t②♣❡s A ❛♥❞ B ✿ t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❍❡♥❝❡ ✐t ✐s r❡❛s♦♥❛❜❧❡ t♦ t❛❦❡ ▼ t♦ ❜❡ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s✳ ✸✽ ✴ ✺✺

▼♦r❡♦✈❡r✱ t❤❡r❡ ❞♦❡s ♥♦t s❡❡♠ t♦ ❜❡ ❛♥ ❛❞❥✉♥❝t✐♦♥ ❜❡t✇❡❡♥ ❙❡t ❛♥❞ ▼ ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❋✐♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s i = ✶ ▼ ✷ ( C ) ∼ • ❚❤❡ t②♣❡ ♦❢ ❛ ❝♦♠❜✐♥❡❞ s②st❡♠ ♦❢ n q✉❜✐ts ✐s � n = ▼ ✷ n ( C ) ❀ • ❍❡♥❝❡ ❛ ❝❛t❡❣♦r② ▼ ✇❤♦s❡ ♦❜❥❡❝ts ❛r❡ t❤❡ q✉❛♥t✉♠ t②♣❡s s❤♦✉❧❞ ❝♦♥t❛✐♥ t❤❡ ❝♦♠♣❧❡① ♠❛tr✐① ❛❧❣❡❜r❛s❀ • ❚②♣❡ ♦❢ ❝♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ♦❢ s②st❡♠s ✇✐t❤ t②♣❡s A ❛♥❞ B ✿ t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❍❡♥❝❡ ✐t ✐s r❡❛s♦♥❛❜❧❡ t♦ t❛❦❡ ▼ t♦ ❜❡ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s✳ ▼ ✐s ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞✳ ❨❡t ✇❡ ❞♦ ♥♦t ✇❛♥t t♦ t❛❦❡ ❈ = ▼ ✱ ❜❡❝❛✉s❡ ▼ ❤❛s ♥♦ ✐♥✜♥✐t❡ t②♣❡s s✉❝❤ ❛s • ♥❛t✉r❛❧ ♥✉♠❜❡r t②♣❡❀ • str❡❛♠s✳ ✸✽ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❋✐♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s i = ✶ ▼ ✷ ( C ) ∼ • ❚❤❡ t②♣❡ ♦❢ ❛ ❝♦♠❜✐♥❡❞ s②st❡♠ ♦❢ n q✉❜✐ts ✐s � n = ▼ ✷ n ( C ) ❀ • ❍❡♥❝❡ ❛ ❝❛t❡❣♦r② ▼ ✇❤♦s❡ ♦❜❥❡❝ts ❛r❡ t❤❡ q✉❛♥t✉♠ t②♣❡s s❤♦✉❧❞ ❝♦♥t❛✐♥ t❤❡ ❝♦♠♣❧❡① ♠❛tr✐① ❛❧❣❡❜r❛s❀ • ❚②♣❡ ♦❢ ❝♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ♦❢ s②st❡♠s ✇✐t❤ t②♣❡s A ❛♥❞ B ✿ t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❍❡♥❝❡ ✐t ✐s r❡❛s♦♥❛❜❧❡ t♦ t❛❦❡ ▼ t♦ ❜❡ t❤❡ ❝❛t❡❣♦r② ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❝♦♠♣❧❡① ❛❧❣❡❜r❛s✳ ▼ ✐s ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞✳ ❨❡t ✇❡ ❞♦ ♥♦t ✇❛♥t t♦ t❛❦❡ ❈ = ▼ ✱ ❜❡❝❛✉s❡ ▼ ❤❛s ♥♦ ✐♥✜♥✐t❡ t②♣❡s s✉❝❤ ❛s • ♥❛t✉r❛❧ ♥✉♠❜❡r t②♣❡❀ • str❡❛♠s✳ ▼♦r❡♦✈❡r✱ t❤❡r❡ ❞♦❡s ♥♦t s❡❡♠ t♦ ❜❡ ❛♥ ❛❞❥✉♥❝t✐♦♥ ❜❡t✇❡❡♥ ❙❡t ❛♥❞ ▼ ✳ ✸✽ ✴ ✺✺

st❛t❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❞❡♥s✐t② ♦♣❡r❛t♦rs ❀ t❤❡ ❡①♣❡❝t❛t✐♦♥ ✈❛❧✉❡ ♦❢ ♠❡❛s✉r✐♥❣ t❤❡ ♦❜s❡r✈❛❜❧❡ ✇❤❡♥ t❤❡ s②st❡♠ ✐s ✐♥ t❤❡ st❛t❡ ❡q✉❛❧s ❚r ✳ ❚❤✐s s✉❣❣❡sts t❤❛t ❛ ♣r♦♣❡r ❣❡♥❡r❛❧✐③❛t✐♦♥ ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ❛r❡ ❛❧❣❡❜r❛s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❆ q✉❛♥t✉♠ s②st❡♠ ❝❛♥ ❜❡ r❡♣r❡s❡♥t❡❞ ❜② ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ ✇❤❡r❡ • ♦❜s❡r✈❛❜❧❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❤❡r♠✐t✐❛♥ ♦♣❡r❛t♦rs a : H → H ❀ ✸✾ ✴ ✺✺

t❤❡ ❡①♣❡❝t❛t✐♦♥ ✈❛❧✉❡ ♦❢ ♠❡❛s✉r✐♥❣ t❤❡ ♦❜s❡r✈❛❜❧❡ ✇❤❡♥ t❤❡ s②st❡♠ ✐s ✐♥ t❤❡ st❛t❡ ❡q✉❛❧s ❚r ✳ ❚❤✐s s✉❣❣❡sts t❤❛t ❛ ♣r♦♣❡r ❣❡♥❡r❛❧✐③❛t✐♦♥ ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ❛r❡ ❛❧❣❡❜r❛s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❆ q✉❛♥t✉♠ s②st❡♠ ❝❛♥ ❜❡ r❡♣r❡s❡♥t❡❞ ❜② ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ ✇❤❡r❡ • ♦❜s❡r✈❛❜❧❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❤❡r♠✐t✐❛♥ ♦♣❡r❛t♦rs a : H → H ❀ • st❛t❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❞❡♥s✐t② ♦♣❡r❛t♦rs d : H → H ❀ ✸✾ ✴ ✺✺

❚❤✐s s✉❣❣❡sts t❤❛t ❛ ♣r♦♣❡r ❣❡♥❡r❛❧✐③❛t✐♦♥ ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ❛r❡ ❛❧❣❡❜r❛s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❆ q✉❛♥t✉♠ s②st❡♠ ❝❛♥ ❜❡ r❡♣r❡s❡♥t❡❞ ❜② ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ ✇❤❡r❡ • ♦❜s❡r✈❛❜❧❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❤❡r♠✐t✐❛♥ ♦♣❡r❛t♦rs a : H → H ❀ • st❛t❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❞❡♥s✐t② ♦♣❡r❛t♦rs d : H → H ❀ • t❤❡ ❡①♣❡❝t❛t✐♦♥ ✈❛❧✉❡ ♦❢ ♠❡❛s✉r✐♥❣ t❤❡ ♦❜s❡r✈❛❜❧❡ a ✇❤❡♥ t❤❡ s②st❡♠ ✐s ✐♥ t❤❡ st❛t❡ d ❡q✉❛❧s ❚r ( ad ) ✳ ✸✾ ✴ ✺✺

❚❤✐s s✉❣❣❡sts t❤❛t ❛ ♣r♦♣❡r ❣❡♥❡r❛❧✐③❛t✐♦♥ ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ❛r❡ ❛❧❣❡❜r❛s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❆ q✉❛♥t✉♠ s②st❡♠ ❝❛♥ ❜❡ r❡♣r❡s❡♥t❡❞ ❜② ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ ✇❤❡r❡ • ♦❜s❡r✈❛❜❧❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❤❡r♠✐t✐❛♥ ♦♣❡r❛t♦rs a : H → H ❀ • st❛t❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❞❡♥s✐t② ♦♣❡r❛t♦rs d : H → H ❀ • t❤❡ ❡①♣❡❝t❛t✐♦♥ ✈❛❧✉❡ ♦❢ ♠❡❛s✉r✐♥❣ t❤❡ ♦❜s❡r✈❛❜❧❡ a ✇❤❡♥ t❤❡ s②st❡♠ ✐s ✐♥ t❤❡ st❛t❡ d ❡q✉❛❧s ❚r ( ad ) ✳ ✸✾ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❆ q✉❛♥t✉♠ s②st❡♠ ❝❛♥ ❜❡ r❡♣r❡s❡♥t❡❞ ❜② ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ ✇❤❡r❡ • ♦❜s❡r✈❛❜❧❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❤❡r♠✐t✐❛♥ ♦♣❡r❛t♦rs a : H → H ❀ • st❛t❡s ❛r❡ r❡♣r❡s❡♥t❡❞ ❜② ❞❡♥s✐t② ♦♣❡r❛t♦rs d : H → H ❀ • t❤❡ ❡①♣❡❝t❛t✐♦♥ ✈❛❧✉❡ ♦❢ ♠❡❛s✉r✐♥❣ t❤❡ ♦❜s❡r✈❛❜❧❡ a ✇❤❡♥ t❤❡ s②st❡♠ ✐s ✐♥ t❤❡ st❛t❡ d ❡q✉❛❧s ❚r ( ad ) ✳ ❚❤✐s s✉❣❣❡sts t❤❛t ❛ ♣r♦♣❡r ❣❡♥❡r❛❧✐③❛t✐♦♥ ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ❛r❡ ❛❧❣❡❜r❛s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ✸✾ ✴ ✺✺

❛♥ ❛❧❣❡❜r❛ ♦✈❡r ✇❤❡r❡ ❛❞❞✐t✐♦♥ ❛♥❞ s❝❛❧❛r ♠✉❧t✐♣❧✐❝❛t✐♦♥ ❛r❡ ❞❡✜♥❡❞ ♣♦✐♥t✇✐s❡✱ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ✐s ❞❡✜♥❡❞ ❜② ❝♦♠♣♦s✐t✐♦♥❀ ❝♦♠♣❧❡t❡ ✐♥ t❤❡ ♥♦r♠ ✐♥❞✉❝❡❞ ❜② t❤❡ ♥♦r♠ ♦♥ ✿ ✶ ✳ ❡q✉✐♣♣❡❞ ✇✐t❤ ❛♥ ✐♥✈♦❧✉t✐♦♥ ✈✐❛ t❤❡ ✐♥♥❡r ♣r♦❞✉❝t ♦♥ ✿ ❢♦r ❡❛❝❤ ❀ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ B ( H ) ●✐✈❡♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ t❤❡ s❡t B ( H ) ♦❢ ❝♦♥t✐♥✉♦✉s ❧✐♥❡❛r ♦♣❡r❛t♦rs H → H ✐s✿ • ❡q✉❛❧ t♦ ▼ n ( C ) ✐❢ H = C n ❀ ✹✵ ✴ ✺✺

❝♦♠♣❧❡t❡ ✐♥ t❤❡ ♥♦r♠ ✐♥❞✉❝❡❞ ❜② t❤❡ ♥♦r♠ ♦♥ ✿ ✶ ✳ ❡q✉✐♣♣❡❞ ✇✐t❤ ❛♥ ✐♥✈♦❧✉t✐♦♥ ✈✐❛ t❤❡ ✐♥♥❡r ♣r♦❞✉❝t ♦♥ ✿ ❢♦r ❡❛❝❤ ❀ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ B ( H ) ●✐✈❡♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ t❤❡ s❡t B ( H ) ♦❢ ❝♦♥t✐♥✉♦✉s ❧✐♥❡❛r ♦♣❡r❛t♦rs H → H ✐s✿ • ❡q✉❛❧ t♦ ▼ n ( C ) ✐❢ H = C n ❀ • ❛♥ ❛❧❣❡❜r❛ ♦✈❡r C ✇❤❡r❡ ❛❞❞✐t✐♦♥ ❛♥❞ s❝❛❧❛r ♠✉❧t✐♣❧✐❝❛t✐♦♥ ❛r❡ ❞❡✜♥❡❞ ♣♦✐♥t✇✐s❡✱ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ✐s ❞❡✜♥❡❞ ❜② ❝♦♠♣♦s✐t✐♦♥❀ ✹✵ ✴ ✺✺

❡q✉✐♣♣❡❞ ✇✐t❤ ❛♥ ✐♥✈♦❧✉t✐♦♥ ✈✐❛ t❤❡ ✐♥♥❡r ♣r♦❞✉❝t ♦♥ ✿ ❢♦r ❡❛❝❤ ❀ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ B ( H ) ●✐✈❡♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ t❤❡ s❡t B ( H ) ♦❢ ❝♦♥t✐♥✉♦✉s ❧✐♥❡❛r ♦♣❡r❛t♦rs H → H ✐s✿ • ❡q✉❛❧ t♦ ▼ n ( C ) ✐❢ H = C n ❀ • ❛♥ ❛❧❣❡❜r❛ ♦✈❡r C ✇❤❡r❡ ❛❞❞✐t✐♦♥ ❛♥❞ s❝❛❧❛r ♠✉❧t✐♣❧✐❝❛t✐♦♥ ❛r❡ ❞❡✜♥❡❞ ♣♦✐♥t✇✐s❡✱ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ✐s ❞❡✜♥❡❞ ❜② ❝♦♠♣♦s✐t✐♦♥❀ • ❝♦♠♣❧❡t❡ ✐♥ t❤❡ ♥♦r♠ ✐♥❞✉❝❡❞ ❜② t❤❡ ♥♦r♠ ♦♥ H ✿ � a � = sup {� ah � : h ∈ H , � h � = ✶ } ✳ ✹✵ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ B ( H ) ●✐✈❡♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ H ✱ t❤❡ s❡t B ( H ) ♦❢ ❝♦♥t✐♥✉♦✉s ❧✐♥❡❛r ♦♣❡r❛t♦rs H → H ✐s✿ • ❡q✉❛❧ t♦ ▼ n ( C ) ✐❢ H = C n ❀ • ❛♥ ❛❧❣❡❜r❛ ♦✈❡r C ✇❤❡r❡ ❛❞❞✐t✐♦♥ ❛♥❞ s❝❛❧❛r ♠✉❧t✐♣❧✐❝❛t✐♦♥ ❛r❡ ❞❡✜♥❡❞ ♣♦✐♥t✇✐s❡✱ ♠✉❧t✐♣❧✐❝❛t✐♦♥ ✐s ❞❡✜♥❡❞ ❜② ❝♦♠♣♦s✐t✐♦♥❀ • ❝♦♠♣❧❡t❡ ✐♥ t❤❡ ♥♦r♠ ✐♥❞✉❝❡❞ ❜② t❤❡ ♥♦r♠ ♦♥ H ✿ � a � = sup {� ah � : h ∈ H , � h � = ✶ } ✳ • ❡q✉✐♣♣❡❞ ✇✐t❤ ❛♥ ✐♥✈♦❧✉t✐♦♥ a �→ a ∗ ✈✐❛ t❤❡ ✐♥♥❡r ♣r♦❞✉❝t ♦♥ H ✿ � k , ak � = � a ∗ k , h � ❢♦r ❡❛❝❤ h , k ∈ H ❀ ✹✵ ✴ ✺✺

❊✈❡r② ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ s♦♠❡ ✜♥✐t❡ ❞✐r❡❝t s✉♠s ♦❢ ♠❛tr✐① ❛❧❣❡❜r❛s ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❈✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ❀ ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❲✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ♠❡❛s✉r❡ s♣❛❝❡ ✳ ❲✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ♣♦✐♥t✇✐s❡ ❝♦♥✈❡r❣❡♥❝❡✳ ❊①❛♠♣❧❡ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❖♣❡r❛t♦r ❛❧❣❡❜r❛s ❆♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ❛ s✉❜❛❧❣❡❜r❛ ♦❢ B ( H ) ✱ ✉s✉❛❧❧② ❝❧♦s❡❞ ✉♥❞❡r t❤❡ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ s♦♠❡ t♦♣♦❧♦❣②✿ • ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ✉♥✐❢♦r♠ ❝♦♥✈❡r❣❡♥❝❡❀ ✹✶ ✴ ✺✺

❊✈❡r② ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ s♦♠❡ ✜♥✐t❡ ❞✐r❡❝t s✉♠s ♦❢ ♠❛tr✐① ❛❧❣❡❜r❛s ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❈✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ❀ ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❲✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ♠❡❛s✉r❡ s♣❛❝❡ ✳ ❊①❛♠♣❧❡ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❖♣❡r❛t♦r ❛❧❣❡❜r❛s ❆♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ❛ s✉❜❛❧❣❡❜r❛ ♦❢ B ( H ) ✱ ✉s✉❛❧❧② ❝❧♦s❡❞ ✉♥❞❡r t❤❡ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ s♦♠❡ t♦♣♦❧♦❣②✿ • ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ✉♥✐❢♦r♠ ❝♦♥✈❡r❣❡♥❝❡❀ • ❲✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ♣♦✐♥t✇✐s❡ ❝♦♥✈❡r❣❡♥❝❡✳ ✹✶ ✴ ✺✺

❊✈❡r② ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ s♦♠❡ ✜♥✐t❡ ❞✐r❡❝t s✉♠s ♦❢ ♠❛tr✐① ❛❧❣❡❜r❛s ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❈✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ❀ ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❲✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ♠❡❛s✉r❡ s♣❛❝❡ ✳ ❊①❛♠♣❧❡ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❖♣❡r❛t♦r ❛❧❣❡❜r❛s ❆♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ❛ s✉❜❛❧❣❡❜r❛ ♦❢ B ( H ) ✱ ✉s✉❛❧❧② ❝❧♦s❡❞ ✉♥❞❡r t❤❡ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ s♦♠❡ t♦♣♦❧♦❣②✿ • ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ✉♥✐❢♦r♠ ❝♦♥✈❡r❣❡♥❝❡❀ • ❲✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ♣♦✐♥t✇✐s❡ ❝♦♥✈❡r❣❡♥❝❡✳ ✹✶ ✴ ✺✺

❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❈✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ ❀ ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❲✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ♠❡❛s✉r❡ s♣❛❝❡ ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❖♣❡r❛t♦r ❛❧❣❡❜r❛s ❆♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ❛ s✉❜❛❧❣❡❜r❛ ♦❢ B ( H ) ✱ ✉s✉❛❧❧② ❝❧♦s❡❞ ✉♥❞❡r t❤❡ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ s♦♠❡ t♦♣♦❧♦❣②✿ • ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ✉♥✐❢♦r♠ ❝♦♥✈❡r❣❡♥❝❡❀ • ❲✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ♣♦✐♥t✇✐s❡ ❝♦♥✈❡r❣❡♥❝❡✳ ❊①❛♠♣❧❡ • ❊✈❡r② ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ s♦♠❡ ✜♥✐t❡ ❞✐r❡❝t s✉♠s ♦❢ ♠❛tr✐① ❛❧❣❡❜r❛s ✹✶ ✴ ✺✺

❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❲✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ ❢♦r s♦♠❡ ♠❡❛s✉r❡ s♣❛❝❡ ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❖♣❡r❛t♦r ❛❧❣❡❜r❛s ❆♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ❛ s✉❜❛❧❣❡❜r❛ ♦❢ B ( H ) ✱ ✉s✉❛❧❧② ❝❧♦s❡❞ ✉♥❞❡r t❤❡ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ s♦♠❡ t♦♣♦❧♦❣②✿ • ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ✉♥✐❢♦r♠ ❝♦♥✈❡r❣❡♥❝❡❀ • ❲✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ♣♦✐♥t✇✐s❡ ❝♦♥✈❡r❣❡♥❝❡✳ ❊①❛♠♣❧❡ • ❊✈❡r② ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ s♦♠❡ ✜♥✐t❡ ❞✐r❡❝t s✉♠s ♦❢ ♠❛tr✐① ❛❧❣❡❜r❛s • ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❈✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ C ( X ) ❢♦r s♦♠❡ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ X ❀ ✹✶ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❖♣❡r❛t♦r ❛❧❣❡❜r❛s ❆♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ❛ s✉❜❛❧❣❡❜r❛ ♦❢ B ( H ) ✱ ✉s✉❛❧❧② ❝❧♦s❡❞ ✉♥❞❡r t❤❡ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ s♦♠❡ t♦♣♦❧♦❣②✿ • ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ✉♥✐❢♦r♠ ❝♦♥✈❡r❣❡♥❝❡❀ • ❲✯✲❛❧❣❡❜r❛s ❛r❡ ❝❧♦s❡❞ ✇✐t❤ r❡s♣❡❝t t♦ t❤❡ t♦♣♦❧♦❣② ♦❢ ♣♦✐♥t✇✐s❡ ❝♦♥✈❡r❣❡♥❝❡✳ ❊①❛♠♣❧❡ • ❊✈❡r② ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ s♦♠❡ ✜♥✐t❡ ❞✐r❡❝t s✉♠s ♦❢ ♠❛tr✐① ❛❧❣❡❜r❛s • ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❈✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ C ( X ) ❢♦r s♦♠❡ ❝♦♠♣❛❝t ❍❛✉s❞♦r✛ s♣❛❝❡ X ❀ • ❊✈❡r② ❝♦♠♠✉t❛t✐✈❡ ❲✯✲❛❧❣❡❜r❛ ✐s ✐s♦♠♦r♣❤✐❝ t♦ L ∞ ( X , µ ) ❢♦r s♦♠❡ ♠❡❛s✉r❡ s♣❛❝❡ ( X , µ ) ✳ ✹✶ ✴ ✺✺

❚❤❡ t❡♥s♦r ♣r♦❞✉❝t r❡♣r❡s❡♥ts t❤❡ ❝♦♠♣♦s✐t❡ s②st❡♠❀ ❖❜t❛✐♥❡❞ ❜② t❛❦✐♥❣ s♦♠❡ ❝♦♠♣❧❡t✐♦♥ ♦❢ t❤❡ ❛❧❣❡❜r❛✐❝ t❡♥s♦r ♣r♦❞✉❝t ♦❢ ❛♥❞ ❀ ❙❡✈❡r❛❧ ❝❤♦✐❝❡s ♦❢ ❝♦♠♣❧❡t✐♦♥s ♣♦ss✐❜❧❡✳ ❋♦r ♠❛tr✐① ❛❧❣❡❜r❛s✱ t❤❡r❡ ✐s ♦♥❧② ♦♥❡ ✉♥✐q✉❡ ❝❤♦✐❝❡✳ ❚❤❡ s♣❛t✐❛❧ t❡♥s♦r ♣r♦❞✉❝t ♦♥ ❲✯✲❛❧❣❡❜r❛s✱ ❞❡♥♦t❡❞ ❜② ✱ ✐s r❡❣❛r❞❡❞ ❛s t❤❡ st❛♥❞❛r❞ ❲✯✲❛❧❣❡❜r❛ t❡♥s♦r ♣r♦❞✉❝t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❡♥s♦r ♣r♦❞✉❝ts ❛♥❞ ❞✐r❡❝t s✉♠s ▲❡t A ❛♥❞ B ❜❡ t✇♦ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s r❡♣r❡s❡♥t✐♥❣ s♦♠❡ q✉❛♥t✉♠ s②st❡♠s✳ • ❈♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ✐s r❡♣r❡s❡♥t❡❞ ❜② t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ ✹✷ ✴ ✺✺

❖❜t❛✐♥❡❞ ❜② t❛❦✐♥❣ s♦♠❡ ❝♦♠♣❧❡t✐♦♥ ♦❢ t❤❡ ❛❧❣❡❜r❛✐❝ t❡♥s♦r ♣r♦❞✉❝t ♦❢ ❛♥❞ ❀ ❙❡✈❡r❛❧ ❝❤♦✐❝❡s ♦❢ ❝♦♠♣❧❡t✐♦♥s ♣♦ss✐❜❧❡✳ ❋♦r ♠❛tr✐① ❛❧❣❡❜r❛s✱ t❤❡r❡ ✐s ♦♥❧② ♦♥❡ ✉♥✐q✉❡ ❝❤♦✐❝❡✳ ❚❤❡ s♣❛t✐❛❧ t❡♥s♦r ♣r♦❞✉❝t ♦♥ ❲✯✲❛❧❣❡❜r❛s✱ ❞❡♥♦t❡❞ ❜② ✱ ✐s r❡❣❛r❞❡❞ ❛s t❤❡ st❛♥❞❛r❞ ❲✯✲❛❧❣❡❜r❛ t❡♥s♦r ♣r♦❞✉❝t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❡♥s♦r ♣r♦❞✉❝ts ❛♥❞ ❞✐r❡❝t s✉♠s ▲❡t A ❛♥❞ B ❜❡ t✇♦ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s r❡♣r❡s❡♥t✐♥❣ s♦♠❡ q✉❛♥t✉♠ s②st❡♠s✳ • ❈♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ✐s r❡♣r❡s❡♥t❡❞ ❜② t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❚❤❡ t❡♥s♦r ♣r♦❞✉❝t A ⊗ B r❡♣r❡s❡♥ts t❤❡ ❝♦♠♣♦s✐t❡ s②st❡♠❀ ✹✷ ✴ ✺✺

❙❡✈❡r❛❧ ❝❤♦✐❝❡s ♦❢ ❝♦♠♣❧❡t✐♦♥s ♣♦ss✐❜❧❡✳ ❋♦r ♠❛tr✐① ❛❧❣❡❜r❛s✱ t❤❡r❡ ✐s ♦♥❧② ♦♥❡ ✉♥✐q✉❡ ❝❤♦✐❝❡✳ ❚❤❡ s♣❛t✐❛❧ t❡♥s♦r ♣r♦❞✉❝t ♦♥ ❲✯✲❛❧❣❡❜r❛s✱ ❞❡♥♦t❡❞ ❜② ✱ ✐s r❡❣❛r❞❡❞ ❛s t❤❡ st❛♥❞❛r❞ ❲✯✲❛❧❣❡❜r❛ t❡♥s♦r ♣r♦❞✉❝t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❡♥s♦r ♣r♦❞✉❝ts ❛♥❞ ❞✐r❡❝t s✉♠s ▲❡t A ❛♥❞ B ❜❡ t✇♦ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s r❡♣r❡s❡♥t✐♥❣ s♦♠❡ q✉❛♥t✉♠ s②st❡♠s✳ • ❈♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ✐s r❡♣r❡s❡♥t❡❞ ❜② t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❚❤❡ t❡♥s♦r ♣r♦❞✉❝t A ⊗ B r❡♣r❡s❡♥ts t❤❡ ❝♦♠♣♦s✐t❡ s②st❡♠❀ • ❖❜t❛✐♥❡❞ ❜② t❛❦✐♥❣ s♦♠❡ ❝♦♠♣❧❡t✐♦♥ ♦❢ t❤❡ ❛❧❣❡❜r❛✐❝ t❡♥s♦r ♣r♦❞✉❝t ♦❢ A ❛♥❞ B ❀ ✹✷ ✴ ✺✺

❋♦r ♠❛tr✐① ❛❧❣❡❜r❛s✱ t❤❡r❡ ✐s ♦♥❧② ♦♥❡ ✉♥✐q✉❡ ❝❤♦✐❝❡✳ ❚❤❡ s♣❛t✐❛❧ t❡♥s♦r ♣r♦❞✉❝t ♦♥ ❲✯✲❛❧❣❡❜r❛s✱ ❞❡♥♦t❡❞ ❜② ✱ ✐s r❡❣❛r❞❡❞ ❛s t❤❡ st❛♥❞❛r❞ ❲✯✲❛❧❣❡❜r❛ t❡♥s♦r ♣r♦❞✉❝t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❡♥s♦r ♣r♦❞✉❝ts ❛♥❞ ❞✐r❡❝t s✉♠s ▲❡t A ❛♥❞ B ❜❡ t✇♦ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s r❡♣r❡s❡♥t✐♥❣ s♦♠❡ q✉❛♥t✉♠ s②st❡♠s✳ • ❈♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ✐s r❡♣r❡s❡♥t❡❞ ❜② t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❚❤❡ t❡♥s♦r ♣r♦❞✉❝t A ⊗ B r❡♣r❡s❡♥ts t❤❡ ❝♦♠♣♦s✐t❡ s②st❡♠❀ • ❖❜t❛✐♥❡❞ ❜② t❛❦✐♥❣ s♦♠❡ ❝♦♠♣❧❡t✐♦♥ ♦❢ t❤❡ ❛❧❣❡❜r❛✐❝ t❡♥s♦r ♣r♦❞✉❝t ♦❢ A ❛♥❞ B ❀ • ❙❡✈❡r❛❧ ❝❤♦✐❝❡s ♦❢ ❝♦♠♣❧❡t✐♦♥s ♣♦ss✐❜❧❡✳ ✹✷ ✴ ✺✺

❚❤❡ s♣❛t✐❛❧ t❡♥s♦r ♣r♦❞✉❝t ♦♥ ❲✯✲❛❧❣❡❜r❛s✱ ❞❡♥♦t❡❞ ❜② ✱ ✐s r❡❣❛r❞❡❞ ❛s t❤❡ st❛♥❞❛r❞ ❲✯✲❛❧❣❡❜r❛ t❡♥s♦r ♣r♦❞✉❝t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❡♥s♦r ♣r♦❞✉❝ts ❛♥❞ ❞✐r❡❝t s✉♠s ▲❡t A ❛♥❞ B ❜❡ t✇♦ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s r❡♣r❡s❡♥t✐♥❣ s♦♠❡ q✉❛♥t✉♠ s②st❡♠s✳ • ❈♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ✐s r❡♣r❡s❡♥t❡❞ ❜② t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❚❤❡ t❡♥s♦r ♣r♦❞✉❝t A ⊗ B r❡♣r❡s❡♥ts t❤❡ ❝♦♠♣♦s✐t❡ s②st❡♠❀ • ❖❜t❛✐♥❡❞ ❜② t❛❦✐♥❣ s♦♠❡ ❝♦♠♣❧❡t✐♦♥ ♦❢ t❤❡ ❛❧❣❡❜r❛✐❝ t❡♥s♦r ♣r♦❞✉❝t ♦❢ A ❛♥❞ B ❀ • ❙❡✈❡r❛❧ ❝❤♦✐❝❡s ♦❢ ❝♦♠♣❧❡t✐♦♥s ♣♦ss✐❜❧❡✳ • ❋♦r ♠❛tr✐① ❛❧❣❡❜r❛s✱ t❤❡r❡ ✐s ♦♥❧② ♦♥❡ ✉♥✐q✉❡ ❝❤♦✐❝❡✳ ✹✷ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❡♥s♦r ♣r♦❞✉❝ts ❛♥❞ ❞✐r❡❝t s✉♠s ▲❡t A ❛♥❞ B ❜❡ t✇♦ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s r❡♣r❡s❡♥t✐♥❣ s♦♠❡ q✉❛♥t✉♠ s②st❡♠s✳ • ❈♦♥❞✐t✐♦♥❛❧ ❜r❛♥❝❤✐♥❣ ✐s r❡♣r❡s❡♥t❡❞ ❜② t❤❡ ❞✐r❡❝t s✉♠ A ⊕ B ✳ • ❚❤❡ t❡♥s♦r ♣r♦❞✉❝t A ⊗ B r❡♣r❡s❡♥ts t❤❡ ❝♦♠♣♦s✐t❡ s②st❡♠❀ • ❖❜t❛✐♥❡❞ ❜② t❛❦✐♥❣ s♦♠❡ ❝♦♠♣❧❡t✐♦♥ ♦❢ t❤❡ ❛❧❣❡❜r❛✐❝ t❡♥s♦r ♣r♦❞✉❝t ♦❢ A ❛♥❞ B ❀ • ❙❡✈❡r❛❧ ❝❤♦✐❝❡s ♦❢ ❝♦♠♣❧❡t✐♦♥s ♣♦ss✐❜❧❡✳ • ❋♦r ♠❛tr✐① ❛❧❣❡❜r❛s✱ t❤❡r❡ ✐s ♦♥❧② ♦♥❡ ✉♥✐q✉❡ ❝❤♦✐❝❡✳ • ❚❤❡ s♣❛t✐❛❧ t❡♥s♦r ♣r♦❞✉❝t ♦♥ ❲✯✲❛❧❣❡❜r❛s✱ ❞❡♥♦t❡❞ ❜② ⊗ ✱ ✐s r❡❣❛r❞❡❞ ❛s t❤❡ st❛♥❞❛r❞ ❲✯✲❛❧❣❡❜r❛ t❡♥s♦r ♣r♦❞✉❝t✳ ✹✷ ✴ ✺✺

❉❡✜♥✐t✐♦♥ ▲❡t ❜❡ ❛ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✳ ❚❤❡♥ ❛ st❛t❡ ✐s ❛ ❢✉♥❝t✐♦♥❛❧ s✉❝❤ t❤❛t ✭✶✮ ✶ ✶❀ ✭✷✮ ✐♠♣❧✐❡s ❢♦r ❡❛❝❤ s❛ ✳ ❚❤❡ st❛t❡s ♦❢ ❛ ❈✯✲❛❧❣❡❜r❛ ❢♦r♠ ❛ ❝♦♥✈❡① s♣❛❝❡❀ ♣♦✐♥ts ✐♥ ✐ts ❡①tr❡♠❡ ❜♦✉♥❞❛r② ❛r❡ ❝❛❧❧❡❞ ♣✉r❡ st❛t❡s ✳ ❋♦r ✱ ❣✐✈❡♥ ❛ ❞❡♥s✐t② ♦♣❡r❛t♦r ✱ t❤❡ ♠❛♣ ❚r ❞❡✜♥❡s ❛ st❛t❡✱ ❛♥❞ t❤❡ ♣✉r❡ st❛t❡s ❛r❡ ♣r❡❝✐s❡❧② t❤❡ ❢✉♥❝t✐♦♥❛❧s ❢♦r ✉♥✐t ✈❡❝t♦rs ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❙t❛t❡s ❉❡✜♥✐t✐♦♥ ▲❡t A ⊆ B ( H ) ❜❡ ❛ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✳ ❚❤❡♥ ✇❡ ❞❡✜♥❡ ❛♥ ♦r❞❡r ≤ ❜❡ t❤❡ ♦r❞❡r ♦♥ A s❛ = { a ∈ A : a ∗ = a } ❜② a ≤ b ✐❢ ❛♥❞ ♦♥❧② ✐❢ � h , ah � ≤ � h , bh � ❢♦r ❡❛❝❤ h ∈ H ✳ ✹✸ ✴ ✺✺

❚❤❡ st❛t❡s ♦❢ ❛ ❈✯✲❛❧❣❡❜r❛ ❢♦r♠ ❛ ❝♦♥✈❡① s♣❛❝❡❀ ♣♦✐♥ts ✐♥ ✐ts ❡①tr❡♠❡ ❜♦✉♥❞❛r② ❛r❡ ❝❛❧❧❡❞ ♣✉r❡ st❛t❡s ✳ ❋♦r ✱ ❣✐✈❡♥ ❛ ❞❡♥s✐t② ♦♣❡r❛t♦r ✱ t❤❡ ♠❛♣ ❚r ❞❡✜♥❡s ❛ st❛t❡✱ ❛♥❞ t❤❡ ♣✉r❡ st❛t❡s ❛r❡ ♣r❡❝✐s❡❧② t❤❡ ❢✉♥❝t✐♦♥❛❧s ❢♦r ✉♥✐t ✈❡❝t♦rs ✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❙t❛t❡s ❉❡✜♥✐t✐♦♥ ▲❡t A ⊆ B ( H ) ❜❡ ❛ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✳ ❚❤❡♥ ✇❡ ❞❡✜♥❡ ❛♥ ♦r❞❡r ≤ ❜❡ t❤❡ ♦r❞❡r ♦♥ A s❛ = { a ∈ A : a ∗ = a } ❜② a ≤ b ✐❢ ❛♥❞ ♦♥❧② ✐❢ � h , ah � ≤ � h , bh � ❢♦r ❡❛❝❤ h ∈ H ✳ ❉❡✜♥✐t✐♦♥ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✳ ❚❤❡♥ ❛ st❛t❡ ✐s ❛ ❢✉♥❝t✐♦♥❛❧ ω : A → C s✉❝❤ t❤❛t ✭✶✮ ω ( ✶ A ) = ✶❀ ✭✷✮ a ≤ b ✐♠♣❧✐❡s ω ( a ) ≤ ω ( b ) ❢♦r ❡❛❝❤ a , b ∈ A s❛ ✳ ✹✸ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❙t❛t❡s ❉❡✜♥✐t✐♦♥ ▲❡t A ⊆ B ( H ) ❜❡ ❛ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✳ ❚❤❡♥ ✇❡ ❞❡✜♥❡ ❛♥ ♦r❞❡r ≤ ❜❡ t❤❡ ♦r❞❡r ♦♥ A s❛ = { a ∈ A : a ∗ = a } ❜② a ≤ b ✐❢ ❛♥❞ ♦♥❧② ✐❢ � h , ah � ≤ � h , bh � ❢♦r ❡❛❝❤ h ∈ H ✳ ❉❡✜♥✐t✐♦♥ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✳ ❚❤❡♥ ❛ st❛t❡ ✐s ❛ ❢✉♥❝t✐♦♥❛❧ ω : A → C s✉❝❤ t❤❛t ✭✶✮ ω ( ✶ A ) = ✶❀ ✭✷✮ a ≤ b ✐♠♣❧✐❡s ω ( a ) ≤ ω ( b ) ❢♦r ❡❛❝❤ a , b ∈ A s❛ ✳ ❚❤❡ st❛t❡s ♦❢ ❛ ❈✯✲❛❧❣❡❜r❛ A ❢♦r♠ ❛ ❝♦♥✈❡① s♣❛❝❡❀ ♣♦✐♥ts ✐♥ ✐ts ❡①tr❡♠❡ ❜♦✉♥❞❛r② ❛r❡ ❝❛❧❧❡❞ ♣✉r❡ st❛t❡s ✳ ❋♦r A = B ( H ) ✱ ❣✐✈❡♥ ❛ ❞❡♥s✐t② ♦♣❡r❛t♦r d ✱ t❤❡ ♠❛♣ a �→ ❚r ( ad ) ❞❡✜♥❡s ❛ st❛t❡✱ ❛♥❞ t❤❡ ♣✉r❡ st❛t❡s ❛r❡ ♣r❡❝✐s❡❧② t❤❡ ❢✉♥❝t✐♦♥❛❧s a �→ � h , ah � ❢♦r ✉♥✐t ✈❡❝t♦rs h ∈ H ✳ ✹✸ ✴ ✺✺

✯✲❤♦♠♦♠♦r♣❤✐s♠s ❜❡t✇❡❡♥ ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♥t✐♥✉♦✉s✳ ✯✲❤♦♠♦♠♦r♣❤✐s♠s ♣r❡s❡r✈❡ t❤❡ ♦r❞❡r✱ ❤❡♥❝❡ t❤❡② ♣r❡s❡r✈❡ st❛t❡s✱ ❜✉t ❛r❡ ♥♦t t❤❡ ♠♦st ❣❡♥❡r❛❧ ♠❛♣s ♣r❡s❡r✈✐♥❣ st❛t❡s✳ ■♥ ♣❛rt✐❝✉❧❛r✱ st❛t❡s t❤❡♠s❡❧✈❡s ❛r❡ ♥♦t ✯✲❤♦♠♦♠♦r♣❤✐s♠s✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✯✲❤♦♠♦♠♦r♣❤✐s♠s ❉❡✜♥✐t✐♦♥ ❆ ✯✲❤♦♠♦♠♦r♣❤✐s♠ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ ♣r❡s❡r✈✐♥❣ t❤❡ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ✐❞❡♥t✐t② ❡❧❡♠❡♥t✳ ✹✹ ✴ ✺✺

✯✲❤♦♠♦♠♦r♣❤✐s♠s ♣r❡s❡r✈❡ t❤❡ ♦r❞❡r✱ ❤❡♥❝❡ t❤❡② ♣r❡s❡r✈❡ st❛t❡s✱ ❜✉t ❛r❡ ♥♦t t❤❡ ♠♦st ❣❡♥❡r❛❧ ♠❛♣s ♣r❡s❡r✈✐♥❣ st❛t❡s✳ ■♥ ♣❛rt✐❝✉❧❛r✱ st❛t❡s t❤❡♠s❡❧✈❡s ❛r❡ ♥♦t ✯✲❤♦♠♦♠♦r♣❤✐s♠s✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✯✲❤♦♠♦♠♦r♣❤✐s♠s ❉❡✜♥✐t✐♦♥ ❆ ✯✲❤♦♠♦♠♦r♣❤✐s♠ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ ♣r❡s❡r✈✐♥❣ t❤❡ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ✐❞❡♥t✐t② ❡❧❡♠❡♥t✳ • ✯✲❤♦♠♦♠♦r♣❤✐s♠s ❜❡t✇❡❡♥ ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♥t✐♥✉♦✉s✳ ✹✹ ✴ ✺✺

■♥ ♣❛rt✐❝✉❧❛r✱ st❛t❡s t❤❡♠s❡❧✈❡s ❛r❡ ♥♦t ✯✲❤♦♠♦♠♦r♣❤✐s♠s✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✯✲❤♦♠♦♠♦r♣❤✐s♠s ❉❡✜♥✐t✐♦♥ ❆ ✯✲❤♦♠♦♠♦r♣❤✐s♠ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ ♣r❡s❡r✈✐♥❣ t❤❡ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ✐❞❡♥t✐t② ❡❧❡♠❡♥t✳ • ✯✲❤♦♠♦♠♦r♣❤✐s♠s ❜❡t✇❡❡♥ ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♥t✐♥✉♦✉s✳ • ✯✲❤♦♠♦♠♦r♣❤✐s♠s ♣r❡s❡r✈❡ t❤❡ ♦r❞❡r✱ ❤❡♥❝❡ t❤❡② ♣r❡s❡r✈❡ st❛t❡s✱ ❜✉t ❛r❡ ♥♦t t❤❡ ♠♦st ❣❡♥❡r❛❧ ♠❛♣s ♣r❡s❡r✈✐♥❣ st❛t❡s✳ ✹✹ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✯✲❤♦♠♦♠♦r♣❤✐s♠s ❉❡✜♥✐t✐♦♥ ❆ ✯✲❤♦♠♦♠♦r♣❤✐s♠ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ ♣r❡s❡r✈✐♥❣ t❤❡ ♠✉❧t✐♣❧✐❝❛t✐♦♥✱ ✐♥✈♦❧✉t✐♦♥ ❛♥❞ ✐❞❡♥t✐t② ❡❧❡♠❡♥t✳ • ✯✲❤♦♠♦♠♦r♣❤✐s♠s ❜❡t✇❡❡♥ ❈✯✲❛❧❣❡❜r❛s ❛r❡ ❛✉t♦♠❛t✐❝❛❧❧② ❝♦♥t✐♥✉♦✉s✳ • ✯✲❤♦♠♦♠♦r♣❤✐s♠s ♣r❡s❡r✈❡ t❤❡ ♦r❞❡r✱ ❤❡♥❝❡ t❤❡② ♣r❡s❡r✈❡ st❛t❡s✱ ❜✉t ❛r❡ ♥♦t t❤❡ ♠♦st ❣❡♥❡r❛❧ ♠❛♣s ♣r❡s❡r✈✐♥❣ st❛t❡s✳ • ■♥ ♣❛rt✐❝✉❧❛r✱ st❛t❡s t❤❡♠s❡❧✈❡s ❛r❡ ♥♦t ✯✲❤♦♠♦♠♦r♣❤✐s♠s✳ ✹✹ ✴ ✺✺

Pr♦❜❧❡♠✿ ♣♦s✐t✐✈❡ ♠❛♣s ♠✐❣❤t ♥♦ ❧♦♥❣❡r ❜❡ ♣♦s✐t✐✈❡ ❛❢t❡r t❤❡ ♣r♦❝❡ss ♦❢ ❛❞❞✐♥❣ ❛♥❝✐❧❧❛s✳ ■✳❡✳✱ ♣♦s✐t✐✈❡ ❞♦❡s ♥♦t ♥❡❝❡ss❛r✐❧② ✐♠♣❧② t❤❛t ✐s ♣♦s✐t✐✈❡✳ ▼ ▼ ❉❡✜♥✐t✐♦♥ ❆ ❝♦♠♣❧❡t❡❧② ♣♦s✐t✐✈❡ ♠❛♣ ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s ❛♥❞ ✐s ❛ ❧✐♥❡❛r ♠❛♣ s✉❝❤ t❤❛t ▼ ✐s ♣♦s✐t✐✈❡ ❢♦r ❡❛❝❤ ✳ ▼ ▼ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✭❈♦♠♣❧❡t❡❧②✮ ♣♦s✐t✐✈❡ ♠❛♣s ❉❡✜♥✐t✐♦♥ ❆ ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ t❤❛t ♣r❡s❡r✈❡s t❤❡ ♦r❞❡r✳ ✹✺ ✴ ✺✺

■✳❡✳✱ ♣♦s✐t✐✈❡ ❞♦❡s ♥♦t ♥❡❝❡ss❛r✐❧② ✐♠♣❧② t❤❛t ✐s ♣♦s✐t✐✈❡✳ ▼ ▼ ❉❡✜♥✐t✐♦♥ ❆ ❝♦♠♣❧❡t❡❧② ♣♦s✐t✐✈❡ ♠❛♣ ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s ❛♥❞ ✐s ❛ ❧✐♥❡❛r ♠❛♣ s✉❝❤ t❤❛t ▼ ✐s ♣♦s✐t✐✈❡ ❢♦r ❡❛❝❤ ✳ ▼ ▼ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✭❈♦♠♣❧❡t❡❧②✮ ♣♦s✐t✐✈❡ ♠❛♣s ❉❡✜♥✐t✐♦♥ ❆ ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ t❤❛t ♣r❡s❡r✈❡s t❤❡ ♦r❞❡r✳ Pr♦❜❧❡♠✿ ♣♦s✐t✐✈❡ ♠❛♣s ♠✐❣❤t ♥♦ ❧♦♥❣❡r ❜❡ ♣♦s✐t✐✈❡ ❛❢t❡r t❤❡ ♣r♦❝❡ss ♦❢ ❛❞❞✐♥❣ ❛♥❝✐❧❧❛s✳ ✹✺ ✴ ✺✺

❉❡✜♥✐t✐♦♥ ❆ ❝♦♠♣❧❡t❡❧② ♣♦s✐t✐✈❡ ♠❛♣ ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s ❛♥❞ ✐s ❛ ❧✐♥❡❛r ♠❛♣ s✉❝❤ t❤❛t ▼ ✐s ♣♦s✐t✐✈❡ ❢♦r ❡❛❝❤ ✳ ▼ ▼ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✭❈♦♠♣❧❡t❡❧②✮ ♣♦s✐t✐✈❡ ♠❛♣s ❉❡✜♥✐t✐♦♥ ❆ ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ t❤❛t ♣r❡s❡r✈❡s t❤❡ ♦r❞❡r✳ Pr♦❜❧❡♠✿ ♣♦s✐t✐✈❡ ♠❛♣s ♠✐❣❤t ♥♦ ❧♦♥❣❡r ❜❡ ♣♦s✐t✐✈❡ ❛❢t❡r t❤❡ ♣r♦❝❡ss ♦❢ ❛❞❞✐♥❣ ❛♥❝✐❧❧❛s✳ ■✳❡✳✱ ϕ : A → B ♣♦s✐t✐✈❡ ❞♦❡s ♥♦t ♥❡❝❡ss❛r✐❧② ✐♠♣❧② t❤❛t M n ( C ) ⊗ ϕ : ▼ n ( C ) ⊗ A → ▼ n ( C ) ⊗ B ✐s ♣♦s✐t✐✈❡✳ ✹✺ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ✭❈♦♠♣❧❡t❡❧②✮ ♣♦s✐t✐✈❡ ♠❛♣s ❉❡✜♥✐t✐♦♥ ❆ ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ t❤❛t ♣r❡s❡r✈❡s t❤❡ ♦r❞❡r✳ Pr♦❜❧❡♠✿ ♣♦s✐t✐✈❡ ♠❛♣s ♠✐❣❤t ♥♦ ❧♦♥❣❡r ❜❡ ♣♦s✐t✐✈❡ ❛❢t❡r t❤❡ ♣r♦❝❡ss ♦❢ ❛❞❞✐♥❣ ❛♥❝✐❧❧❛s✳ ■✳❡✳✱ ϕ : A → B ♣♦s✐t✐✈❡ ❞♦❡s ♥♦t ♥❡❝❡ss❛r✐❧② ✐♠♣❧② t❤❛t M n ( C ) ⊗ ϕ : ▼ n ( C ) ⊗ A → ▼ n ( C ) ⊗ B ✐s ♣♦s✐t✐✈❡✳ ❉❡✜♥✐t✐♦♥ ❆ ❝♦♠♣❧❡t❡❧② ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ❜❡t✇❡❡♥ ✉♥✐t❛❧ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s A ❛♥❞ B ✐s ❛ ❧✐♥❡❛r ♠❛♣ s✉❝❤ t❤❛t ▼ n ( C ) ⊗ ϕ : ▼ n ( C ) ⊗ A → ▼ n ( C ) ⊗ B ✐s ♣♦s✐t✐✈❡ ❢♦r ❡❛❝❤ n ∈ N ✳ ✹✺ ✴ ✺✺

❚❤❡ ❞❡s❝r✐♣t✐♦♥ ♦❢ ✭♠✐①❡❞✮ st❛t❡s ✐s ❡❛s✐❡r ✐♥ t❤❡ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✐❝ ❢r❛♠❡✇♦r❦✳ ❈❧❛ss✐❝❛❧ s②st❡♠s ❝❛♥ ❛❧s♦ ❜❡ ❞❡s❝r✐❜❡❞ ❜② ♦♣❡r❛t♦r ❛❧❣❡❜r❛s✱ ✈✐❛ t❤❡ ❢✉♥❝t♦rs ❈♣t❍❞ ♦♣ ❈❙t❛r ❛♥❞ ❙❡t ♦♣ ❲❙t❛r ✱ ❤❡♥❝❡ t❤❡ ✐♥t❡r❛❝t✐♦♥ ❜❡t✇❡❡♥ ❝❧❛ss✐❝❛❧ ❛♥❞ q✉❛♥t✉♠ ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ♦♥❡ ❢r❛♠❡✇♦r❦❀ ❆ ❍✐❧❜❡rt s♣❛❝❡ r❡♣r❡s❡♥t❛t✐♦♥ ❝❛♥ ❜❡ r❡❣❛r❞❡❞ ❛s ❛ ❝♦♥❝r❡t❡ r❡♣r❡s❡♥t❛t✐♦♥ ♦❢ ❛♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ❚❤❡ ♣♦ss✐❜✐❧✐t② t♦ ❞✐s❝✉ss s❡✈❡r❛❧ r❡♣r❡s❡♥t❛t✐♦♥s ✐♥st❡❛❞ ♦❢ ❥✉st ♦♥❡ ❣✐✈❡s s♦♠❡t✐♠❡s ❛ ♠♦r❡ ❝♦♠♣❧❡t❡ ❞❡s❝r✐♣t✐♦♥ ♦❢ t❤❡ s②st❡♠✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✐❝ ✈s t❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❚❤❡♦r❡♠ ✭❙t✐♥❡s♣r✐♥❣✮ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ❈✯✲❛❧❣❡❜r❛✳ ❋♦r ❡✈❡r② ❝♦♠♣❧❡t❡❧② ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ( H ) t❤❡r❡ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡ K ✱ ❛ ✉♥✐t❛❧ ✯✲❤♦♠♦♠♦r♣❤✐s♠ π : A → B ( K ) ✱ ❛♥❞ ❛ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦r u : H → K s✉❝❤ t❤❛t ϕ ( a ) = u ∗ π ( a ) u ✳ ✹✻ ✴ ✺✺

❈❧❛ss✐❝❛❧ s②st❡♠s ❝❛♥ ❛❧s♦ ❜❡ ❞❡s❝r✐❜❡❞ ❜② ♦♣❡r❛t♦r ❛❧❣❡❜r❛s✱ ✈✐❛ t❤❡ ❢✉♥❝t♦rs ❈♣t❍❞ ♦♣ ❈❙t❛r ❛♥❞ ❙❡t ♦♣ ❲❙t❛r ✱ ❤❡♥❝❡ t❤❡ ✐♥t❡r❛❝t✐♦♥ ❜❡t✇❡❡♥ ❝❧❛ss✐❝❛❧ ❛♥❞ q✉❛♥t✉♠ ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ♦♥❡ ❢r❛♠❡✇♦r❦❀ ❆ ❍✐❧❜❡rt s♣❛❝❡ r❡♣r❡s❡♥t❛t✐♦♥ ❝❛♥ ❜❡ r❡❣❛r❞❡❞ ❛s ❛ ❝♦♥❝r❡t❡ r❡♣r❡s❡♥t❛t✐♦♥ ♦❢ ❛♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ❚❤❡ ♣♦ss✐❜✐❧✐t② t♦ ❞✐s❝✉ss s❡✈❡r❛❧ r❡♣r❡s❡♥t❛t✐♦♥s ✐♥st❡❛❞ ♦❢ ❥✉st ♦♥❡ ❣✐✈❡s s♦♠❡t✐♠❡s ❛ ♠♦r❡ ❝♦♠♣❧❡t❡ ❞❡s❝r✐♣t✐♦♥ ♦❢ t❤❡ s②st❡♠✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✐❝ ✈s t❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❚❤❡♦r❡♠ ✭❙t✐♥❡s♣r✐♥❣✮ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ❈✯✲❛❧❣❡❜r❛✳ ❋♦r ❡✈❡r② ❝♦♠♣❧❡t❡❧② ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ( H ) t❤❡r❡ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡ K ✱ ❛ ✉♥✐t❛❧ ✯✲❤♦♠♦♠♦r♣❤✐s♠ π : A → B ( K ) ✱ ❛♥❞ ❛ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦r u : H → K s✉❝❤ t❤❛t ϕ ( a ) = u ∗ π ( a ) u ✳ • ❚❤❡ ❞❡s❝r✐♣t✐♦♥ ♦❢ ✭♠✐①❡❞✮ st❛t❡s ✐s ❡❛s✐❡r ✐♥ t❤❡ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✐❝ ❢r❛♠❡✇♦r❦✳ ✹✻ ✴ ✺✺

❆ ❍✐❧❜❡rt s♣❛❝❡ r❡♣r❡s❡♥t❛t✐♦♥ ❝❛♥ ❜❡ r❡❣❛r❞❡❞ ❛s ❛ ❝♦♥❝r❡t❡ r❡♣r❡s❡♥t❛t✐♦♥ ♦❢ ❛♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ❚❤❡ ♣♦ss✐❜✐❧✐t② t♦ ❞✐s❝✉ss s❡✈❡r❛❧ r❡♣r❡s❡♥t❛t✐♦♥s ✐♥st❡❛❞ ♦❢ ❥✉st ♦♥❡ ❣✐✈❡s s♦♠❡t✐♠❡s ❛ ♠♦r❡ ❝♦♠♣❧❡t❡ ❞❡s❝r✐♣t✐♦♥ ♦❢ t❤❡ s②st❡♠✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✐❝ ✈s t❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❚❤❡♦r❡♠ ✭❙t✐♥❡s♣r✐♥❣✮ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ❈✯✲❛❧❣❡❜r❛✳ ❋♦r ❡✈❡r② ❝♦♠♣❧❡t❡❧② ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ( H ) t❤❡r❡ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡ K ✱ ❛ ✉♥✐t❛❧ ✯✲❤♦♠♦♠♦r♣❤✐s♠ π : A → B ( K ) ✱ ❛♥❞ ❛ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦r u : H → K s✉❝❤ t❤❛t ϕ ( a ) = u ∗ π ( a ) u ✳ • ❚❤❡ ❞❡s❝r✐♣t✐♦♥ ♦❢ ✭♠✐①❡❞✮ st❛t❡s ✐s ❡❛s✐❡r ✐♥ t❤❡ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✐❝ ❢r❛♠❡✇♦r❦✳ • ❈❧❛ss✐❝❛❧ s②st❡♠s ❝❛♥ ❛❧s♦ ❜❡ ❞❡s❝r✐❜❡❞ ❜② ♦♣❡r❛t♦r ❛❧❣❡❜r❛s✱ ✈✐❛ t❤❡ ❢✉♥❝t♦rs C : ❈♣t❍❞ ♦♣ → ❈❙t❛r ❛♥❞ l ∞ : ❙❡t ♦♣ → ❲❙t❛r ✱ ❤❡♥❝❡ t❤❡ ✐♥t❡r❛❝t✐♦♥ ❜❡t✇❡❡♥ ❝❧❛ss✐❝❛❧ ❛♥❞ q✉❛♥t✉♠ ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ♦♥❡ ❢r❛♠❡✇♦r❦❀ ✹✻ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❚❤❡ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✐❝ ✈s t❤❡ ❍✐❧❜❡rt s♣❛❝❡ ❢r❛♠❡✇♦r❦ ❚❤❡♦r❡♠ ✭❙t✐♥❡s♣r✐♥❣✮ ▲❡t A ❜❡ ❛ ✉♥✐t❛❧ ❈✯✲❛❧❣❡❜r❛✳ ❋♦r ❡✈❡r② ❝♦♠♣❧❡t❡❧② ♣♦s✐t✐✈❡ ♠❛♣ ϕ : A → B ( H ) t❤❡r❡ ✐s ❛ ❍✐❧❜❡rt s♣❛❝❡ K ✱ ❛ ✉♥✐t❛❧ ✯✲❤♦♠♦♠♦r♣❤✐s♠ π : A → B ( K ) ✱ ❛♥❞ ❛ ❜♦✉♥❞❡❞ ♦♣❡r❛t♦r u : H → K s✉❝❤ t❤❛t ϕ ( a ) = u ∗ π ( a ) u ✳ • ❚❤❡ ❞❡s❝r✐♣t✐♦♥ ♦❢ ✭♠✐①❡❞✮ st❛t❡s ✐s ❡❛s✐❡r ✐♥ t❤❡ ♦♣❡r❛t♦r ❛❧❣❡❜r❛✐❝ ❢r❛♠❡✇♦r❦✳ • ❈❧❛ss✐❝❛❧ s②st❡♠s ❝❛♥ ❛❧s♦ ❜❡ ❞❡s❝r✐❜❡❞ ❜② ♦♣❡r❛t♦r ❛❧❣❡❜r❛s✱ ✈✐❛ t❤❡ ❢✉♥❝t♦rs C : ❈♣t❍❞ ♦♣ → ❈❙t❛r ❛♥❞ l ∞ : ❙❡t ♦♣ → ❲❙t❛r ✱ ❤❡♥❝❡ t❤❡ ✐♥t❡r❛❝t✐♦♥ ❜❡t✇❡❡♥ ❝❧❛ss✐❝❛❧ ❛♥❞ q✉❛♥t✉♠ ❝❛♥ ❜❡ ❞❡s❝r✐❜❡❞ ✐♥ ♦♥❡ ❢r❛♠❡✇♦r❦❀ • ❆ ❍✐❧❜❡rt s♣❛❝❡ r❡♣r❡s❡♥t❛t✐♦♥ ❝❛♥ ❜❡ r❡❣❛r❞❡❞ ❛s ❛ ❝♦♥❝r❡t❡ r❡♣r❡s❡♥t❛t✐♦♥ ♦❢ ❛♥ ♦♣❡r❛t♦r ❛❧❣❡❜r❛ ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡✳ ❚❤❡ ♣♦ss✐❜✐❧✐t② t♦ ❞✐s❝✉ss s❡✈❡r❛❧ r❡♣r❡s❡♥t❛t✐♦♥s ✐♥st❡❛❞ ♦❢ ❥✉st ♦♥❡ ❣✐✈❡s s♦♠❡t✐♠❡s ❛ ♠♦r❡ ❝♦♠♣❧❡t❡ ❞❡s❝r✐♣t✐♦♥ ♦❢ t❤❡ s②st❡♠✳ ✹✻ ✴ ✺✺

✭✹✮ ❜❡ ❡♥r✐❝❤❡❞ ♦✈❡r ❉❈P❖ ❀ ✭✺✮ ❤❛✈❡ ❛❧❧ ✲❝♦❧✐♠✐ts✳ ✭✻✮ t❤❡ ❝♦♠♦♥❛❞ ✐♥❞✉❝❡❞ ❜② t❤❡ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t✳ ✭✷✮ ❤❛✈✐♥❣ ❝♦♣r♦❞✉❝ts ❛♥❞ ❜❡✐♥❣ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞❀ ✭✸✮ ❜❡✐♥❣ ❡♥r✐❝❤❡❞ ♦✈❡r ❛ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✭✐✳❡✳✱ ❙❡t ♦r ❉❈P❖ ✮ s✉❝❤ t❤❛t t❤❡r❡ ✐s ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ❱ ❈ ❚♦ s✉♣♣♦rt r❡❝✉rs✐♦♥✱ ✇❡ ✇♦✉❧❞ r❡q✉✐r❡ ❈ t♦ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t❛t✐♦♥ ❲❡ r❡q✉✐r❡ t❤❡ ✐❞❡❛❧ ❝❛t❡❣♦r② ❈ t♦ ❜❡ ❛ ❝❛t❡❣♦r② ♦❢ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ s❛t✐s✜♥❣ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❧✐♥❡❛r ❝❛t❡❣♦r② ✐♥ ❛ P◗▼ ♠♦❞❡❧✿ ✭✶✮ ❝♦♥t❛✐♥✐♥❣ t❤❡ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ▼ ❛s ❛ ✭♠♦♥♦✐❞❛❧✮ s✉❜❝❛t❡❣♦r②❀ ✹✼ ✴ ✺✺

✭✹✮ ❜❡ ❡♥r✐❝❤❡❞ ♦✈❡r ❉❈P❖ ❀ ✭✺✮ ❤❛✈❡ ❛❧❧ ✲❝♦❧✐♠✐ts✳ ✭✻✮ t❤❡ ❝♦♠♦♥❛❞ ✐♥❞✉❝❡❞ ❜② t❤❡ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t✳ ✭✸✮ ❜❡✐♥❣ ❡♥r✐❝❤❡❞ ♦✈❡r ❛ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✭✐✳❡✳✱ ❙❡t ♦r ❉❈P❖ ✮ s✉❝❤ t❤❛t t❤❡r❡ ✐s ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ❱ ❈ ❚♦ s✉♣♣♦rt r❡❝✉rs✐♦♥✱ ✇❡ ✇♦✉❧❞ r❡q✉✐r❡ ❈ t♦ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t❛t✐♦♥ ❲❡ r❡q✉✐r❡ t❤❡ ✐❞❡❛❧ ❝❛t❡❣♦r② ❈ t♦ ❜❡ ❛ ❝❛t❡❣♦r② ♦❢ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ s❛t✐s✜♥❣ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❧✐♥❡❛r ❝❛t❡❣♦r② ✐♥ ❛ P◗▼ ♠♦❞❡❧✿ ✭✶✮ ❝♦♥t❛✐♥✐♥❣ t❤❡ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ▼ ❛s ❛ ✭♠♦♥♦✐❞❛❧✮ s✉❜❝❛t❡❣♦r②❀ ✭✷✮ ❤❛✈✐♥❣ ❝♦♣r♦❞✉❝ts ❛♥❞ ❜❡✐♥❣ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞❀ ✹✼ ✴ ✺✺

✭✹✮ ❜❡ ❡♥r✐❝❤❡❞ ♦✈❡r ❉❈P❖ ❀ ✭✺✮ ❤❛✈❡ ❛❧❧ ✲❝♦❧✐♠✐ts✳ ✭✻✮ t❤❡ ❝♦♠♦♥❛❞ ✐♥❞✉❝❡❞ ❜② t❤❡ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t✳ ❚♦ s✉♣♣♦rt r❡❝✉rs✐♦♥✱ ✇❡ ✇♦✉❧❞ r❡q✉✐r❡ ❈ t♦ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t❛t✐♦♥ ❲❡ r❡q✉✐r❡ t❤❡ ✐❞❡❛❧ ❝❛t❡❣♦r② ❈ t♦ ❜❡ ❛ ❝❛t❡❣♦r② ♦❢ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ s❛t✐s✜♥❣ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❧✐♥❡❛r ❝❛t❡❣♦r② ✐♥ ❛ P◗▼ ♠♦❞❡❧✿ ✭✶✮ ❝♦♥t❛✐♥✐♥❣ t❤❡ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ▼ ❛s ❛ ✭♠♦♥♦✐❞❛❧✮ s✉❜❝❛t❡❣♦r②❀ ✭✷✮ ❤❛✈✐♥❣ ❝♦♣r♦❞✉❝ts ❛♥❞ ❜❡✐♥❣ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞❀ ✭✸✮ ❜❡✐♥❣ ❡♥r✐❝❤❡❞ ♦✈❡r ❛ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✭✐✳❡✳✱ ❙❡t ♦r ❉❈P❖ ✮ s✉❝❤ t❤❛t t❤❡r❡ ✐s ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ❱ ❈ , ⊢ ✹✼ ✴ ✺✺

✭✹✮ ❜❡ ❡♥r✐❝❤❡❞ ♦✈❡r ❉❈P❖ ❀ ✭✺✮ ❤❛✈❡ ❛❧❧ ✲❝♦❧✐♠✐ts✳ ✭✻✮ t❤❡ ❝♦♠♦♥❛❞ ✐♥❞✉❝❡❞ ❜② t❤❡ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t✳ ❚♦ s✉♣♣♦rt r❡❝✉rs✐♦♥✱ ✇❡ ✇♦✉❧❞ r❡q✉✐r❡ ❈ t♦ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t❛t✐♦♥ ❲❡ r❡q✉✐r❡ t❤❡ ✐❞❡❛❧ ❝❛t❡❣♦r② ❈ t♦ ❜❡ ❛ ❝❛t❡❣♦r② ♦❢ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ s❛t✐s✜♥❣ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❧✐♥❡❛r ❝❛t❡❣♦r② ✐♥ ❛ P◗▼ ♠♦❞❡❧✿ ✭✶✮ ❝♦♥t❛✐♥✐♥❣ t❤❡ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ▼ ❛s ❛ ✭♠♦♥♦✐❞❛❧✮ s✉❜❝❛t❡❣♦r②❀ ✭✷✮ ❤❛✈✐♥❣ ❝♦♣r♦❞✉❝ts ❛♥❞ ❜❡✐♥❣ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞❀ ✭✸✮ ❜❡✐♥❣ ❡♥r✐❝❤❡❞ ♦✈❡r ❛ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✭✐✳❡✳✱ ❙❡t ♦r ❉❈P❖ ✮ s✉❝❤ t❤❛t t❤❡r❡ ✐s ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ❱ ❈ , ⊢ ✹✼ ✴ ✺✺

✭✺✮ ❤❛✈❡ ❛❧❧ ✲❝♦❧✐♠✐ts✳ ✭✻✮ t❤❡ ❝♦♠♦♥❛❞ ✐♥❞✉❝❡❞ ❜② t❤❡ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t❛t✐♦♥ ❲❡ r❡q✉✐r❡ t❤❡ ✐❞❡❛❧ ❝❛t❡❣♦r② ❈ t♦ ❜❡ ❛ ❝❛t❡❣♦r② ♦❢ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ s❛t✐s✜♥❣ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❧✐♥❡❛r ❝❛t❡❣♦r② ✐♥ ❛ P◗▼ ♠♦❞❡❧✿ ✭✶✮ ❝♦♥t❛✐♥✐♥❣ t❤❡ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ▼ ❛s ❛ ✭♠♦♥♦✐❞❛❧✮ s✉❜❝❛t❡❣♦r②❀ ✭✷✮ ❤❛✈✐♥❣ ❝♦♣r♦❞✉❝ts ❛♥❞ ❜❡✐♥❣ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞❀ ✭✸✮ ❜❡✐♥❣ ❡♥r✐❝❤❡❞ ♦✈❡r ❛ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✭✐✳❡✳✱ ❙❡t ♦r ❉❈P❖ ✮ s✉❝❤ t❤❛t t❤❡r❡ ✐s ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ❱ ❈ , ⊢ ❚♦ s✉♣♣♦rt r❡❝✉rs✐♦♥✱ ✇❡ ✇♦✉❧❞ r❡q✉✐r❡ ❈ t♦ ✭✹✮ ❜❡ ❡♥r✐❝❤❡❞ ♦✈❡r ❉❈P❖ ⊥ ! ❀ ✹✼ ✴ ✺✺

✭✻✮ t❤❡ ❝♦♠♦♥❛❞ ✐♥❞✉❝❡❞ ❜② t❤❡ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t✳ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t❛t✐♦♥ ❲❡ r❡q✉✐r❡ t❤❡ ✐❞❡❛❧ ❝❛t❡❣♦r② ❈ t♦ ❜❡ ❛ ❝❛t❡❣♦r② ♦❢ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ s❛t✐s✜♥❣ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❧✐♥❡❛r ❝❛t❡❣♦r② ✐♥ ❛ P◗▼ ♠♦❞❡❧✿ ✭✶✮ ❝♦♥t❛✐♥✐♥❣ t❤❡ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ▼ ❛s ❛ ✭♠♦♥♦✐❞❛❧✮ s✉❜❝❛t❡❣♦r②❀ ✭✷✮ ❤❛✈✐♥❣ ❝♦♣r♦❞✉❝ts ❛♥❞ ❜❡✐♥❣ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞❀ ✭✸✮ ❜❡✐♥❣ ❡♥r✐❝❤❡❞ ♦✈❡r ❛ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✭✐✳❡✳✱ ❙❡t ♦r ❉❈P❖ ✮ s✉❝❤ t❤❛t t❤❡r❡ ✐s ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ❱ ❈ , ⊢ ❚♦ s✉♣♣♦rt r❡❝✉rs✐♦♥✱ ✇❡ ✇♦✉❧❞ r❡q✉✐r❡ ❈ t♦ ✭✹✮ ❜❡ ❡♥r✐❝❤❡❞ ♦✈❡r ❉❈P❖ ⊥ ! ❀ ✭✺✮ ❤❛✈❡ ❛❧❧ ω ✲❝♦❧✐♠✐ts✳ ✹✼ ✴ ✺✺

■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t❛t✐♦♥ ❲❡ r❡q✉✐r❡ t❤❡ ✐❞❡❛❧ ❝❛t❡❣♦r② ❈ t♦ ❜❡ ❛ ❝❛t❡❣♦r② ♦❢ ❝♦❧❧❡❝t✐♦♥s ♦❢ ♦♣❡r❛t♦rs ♦♥ ❛ ❍✐❧❜❡rt s♣❛❝❡ s❛t✐s✜♥❣ t❤❡ ♣r♦♣❡rt✐❡s ♦❢ t❤❡ ❧✐♥❡❛r ❝❛t❡❣♦r② ✐♥ ❛ P◗▼ ♠♦❞❡❧✿ ✭✶✮ ❝♦♥t❛✐♥✐♥❣ t❤❡ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ▼ ❛s ❛ ✭♠♦♥♦✐❞❛❧✮ s✉❜❝❛t❡❣♦r②❀ ✭✷✮ ❤❛✈✐♥❣ ❝♦♣r♦❞✉❝ts ❛♥❞ ❜❡✐♥❣ ♠♦♥♦✐❞❛❧ ❝❧♦s❡❞❀ ✭✸✮ ❜❡✐♥❣ ❡♥r✐❝❤❡❞ ♦✈❡r ❛ ❝❛rt❡s✐❛♥ ❝❧♦s❡❞ ❝❛t❡❣♦r② ❱ ✭✐✳❡✳✱ ❙❡t ♦r ❉❈P❖ ✮ s✉❝❤ t❤❛t t❤❡r❡ ✐s ❛ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ❱ ❈ , ⊢ ❚♦ s✉♣♣♦rt r❡❝✉rs✐♦♥✱ ✇❡ ✇♦✉❧❞ r❡q✉✐r❡ ❈ t♦ ✭✹✮ ❜❡ ❡♥r✐❝❤❡❞ ♦✈❡r ❉❈P❖ ⊥ ! ❀ ✭✺✮ ❤❛✈❡ ❛❧❧ ω ✲❝♦❧✐♠✐ts✳ ✭✻✮ t❤❡ ❝♦♠♦♥❛❞ ✐♥❞✉❝❡❞ ❜② t❤❡ ❧✐♥❡❛r✴♥♦♥✲❧✐♥❡❛r ❛❞❥✉♥❝t✐♦♥ ✐s ♣❛r❛♠❡tr✐❝❛❧❧② ❛❧❣❡❜r❛✐❝❛❧❧② ❝♦♠♣❛❝t✳ ✹✼ ✴ ✺✺

◆♦ ❝❛t❡❣♦r② ❝♦♥t❛✐♥✐♥❣ t❤❡ ❆❋✲❛❧❣❡❜r❛s ✇✐❧❧ ❜❡ ❉❈P❖ ✲❡♥r✐❝❤❡❞✳ ❚❤✐s s✉❣❣❡sts ✇♦r❦✐♥❣ ✇✐t❤ ❲✯✲❛❧❣❡❜r❛s ✐♥st❡❛❞ ♦❢ ❈✯✲❛❧❣❡❜r❛s❀ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ω ✲❝♦❧✐♠✐ts ❋♦r ❝❛t❡❣♦r✐❡s ♦❢ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s ✇✐t❤ ✯✲❤♦♠♦♠♦r♣❤✐s♠s✿ • ω ✲❝♦❧✐♠✐ts ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ✐♥ t❤❡ ❝❛t❡❣♦r② ♦❢ ❈✯✲❛❧❣❡❜r❛s ❛r❡ t❤❡ ❛♣♣r♦①✐♠❛t❡❧② ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❈✯✲❛❧❣❡❜r❛s✱ ♦r ❆❋ ✲❛❧❣❡❜r❛s✳ ✹✽ ✴ ✺✺

❚❤✐s s✉❣❣❡sts ✇♦r❦✐♥❣ ✇✐t❤ ❲✯✲❛❧❣❡❜r❛s ✐♥st❡❛❞ ♦❢ ❈✯✲❛❧❣❡❜r❛s❀ ■♥tr♦❞✉❝t✐♦♥ ●❡♥❡r❛❧ r❡❝✉rs✐♦♥ ❘❡❝✉rs✐✈❡ ❚②♣❡s ❆ ❝❛t❡❣♦r② ♦❢ q✉❛♥t✉♠ ❝♦♠♣✉t✐♥❣ ω ✲❝♦❧✐♠✐ts ❋♦r ❝❛t❡❣♦r✐❡s ♦❢ ♦♣❡r❛t♦r ❛❧❣❡❜r❛s ✇✐t❤ ✯✲❤♦♠♦♠♦r♣❤✐s♠s✿ • ω ✲❝♦❧✐♠✐ts ♦❢ ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❛❧❣❡❜r❛s ✐♥ t❤❡ ❝❛t❡❣♦r② ♦❢ ❈✯✲❛❧❣❡❜r❛s ❛r❡ t❤❡ ❛♣♣r♦①✐♠❛t❡❧② ✜♥✐t❡✲❞✐♠❡♥s✐♦♥❛❧ ❈✯✲❛❧❣❡❜r❛s✱ ♦r ❆❋ ✲❛❧❣❡❜r❛s✳ • ◆♦ ❝❛t❡❣♦r② ❝♦♥t❛✐♥✐♥❣ t❤❡ ❆❋✲❛❧❣❡❜r❛s ✇✐❧❧ ❜❡ ❉❈P❖ ⊥ ! ✲❡♥r✐❝❤❡❞✳ ✹✽ ✴ ✺✺