rs s rss r - PowerPoint PPT Presentation

■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s ◆ór❛ ❙③❛❦á❝s ❝♦✲❛✉t❤♦r✿ ❏♦❤♥ ▼❡❛❦✐♥ ■❚❆❚ ✷✵✶✻ ❆❧❣♦r✐t❤♠✐❝ ❆s♣❡❝ts ♦❢ ❋✐♥❞✐♥❣ ❙❡♠✐❣r♦✉♣s ♦❢ P❛rt✐❛❧ ❆✉t♦♠♦r♣❤✐s♠s ♦❢ ❈♦♠❜✐♥❛t♦r✐❛❧ ❙tr✉❝t✉r❡s ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

▼♦t✐✈❛t✐♦♥✿ ✈✐s✉❛❧✐③✐♥❣ ♠❛♥✐❢♦❧❞s ■♠♠❡rs✐♦♥s ❉❡✜♥✐t✐♦♥ ❆ ❝♦♥t✐♥♦✉s ♠❛♣ f : Y → X ❜❡t✇❡❡♥ t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s ✐s ❝❛❧❧❡❞ ❛♥ ✐♠♠❡rs✐♦♥ ✐❢ ❡✈❡r② ♣♦✐♥t y ∈ Y ❤❛s ❛ ♥❡✐❣❤❜♦r❤♦♦❞ U t❤❛t ✐s ♠❛♣♣❡❞ ❤♦♠❡♦♠♦r♣❤✐❝❛❧❧② ♦♥t♦ f ( U ) ❜② f ✳ ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

■♠♠❡rs✐♦♥s ❉❡✜♥✐t✐♦♥ ❆ ❝♦♥t✐♥♦✉s ♠❛♣ f : Y → X ❜❡t✇❡❡♥ t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s ✐s ❝❛❧❧❡❞ ❛♥ ✐♠♠❡rs✐♦♥ ✐❢ ❡✈❡r② ♣♦✐♥t y ∈ Y ❤❛s ❛ ♥❡✐❣❤❜♦r❤♦♦❞ U t❤❛t ✐s ♠❛♣♣❡❞ ❤♦♠❡♦♠♦r♣❤✐❝❛❧❧② ♦♥t♦ f ( U ) ❜② f ✳ ▼♦t✐✈❛t✐♦♥✿ ✈✐s✉❛❧✐③✐♥❣ ♠❛♥✐❢♦❧❞s ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

❲❡ ♣r♦✈✐❞❡ ✇❛②s t♦ ❛♥s✇❡r ❢♦r t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s ✇✐t❤ ❛ ❝♦♠❜✐♥❛t♦r✐❛❧ str✉❝t✉r❡✳ ❊①❛♠♣❧❡✿ ✐♠♠❡rs✐♦♥s ❜❡t✇❡❡♥ ✭❞✐r❡❝t❡❞✮ ❣r❛♣❤s ❆❞❞✐t✐♦♥❛❧ r❡str✐❝t✐♦♥✿ r❡s♣❡❝t t❤❡ ❝♦♠❜✐♥❛t♦r✐❛❧ str✉❝t✉r❡ ■♠♠❡rs✐♦♥s ◗✉❡st✐♦♥✿ ❣✐✈❡♥ t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s X , Y ✱ ✐s t❤❡r❡ ❛♥ X → Y ✐♠♠❡rs✐♦♥❄ ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

❊①❛♠♣❧❡✿ ✐♠♠❡rs✐♦♥s ❜❡t✇❡❡♥ ✭❞✐r❡❝t❡❞✮ ❣r❛♣❤s ❆❞❞✐t✐♦♥❛❧ r❡str✐❝t✐♦♥✿ r❡s♣❡❝t t❤❡ ❝♦♠❜✐♥❛t♦r✐❛❧ str✉❝t✉r❡ ■♠♠❡rs✐♦♥s ◗✉❡st✐♦♥✿ ❣✐✈❡♥ t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s X , Y ✱ ✐s t❤❡r❡ ❛♥ X → Y ✐♠♠❡rs✐♦♥❄ ❲❡ ♣r♦✈✐❞❡ ✇❛②s t♦ ❛♥s✇❡r ❢♦r t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s ✇✐t❤ ❛ ❝♦♠❜✐♥❛t♦r✐❛❧ str✉❝t✉r❡✳ ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

❆❞❞✐t✐♦♥❛❧ r❡str✐❝t✐♦♥✿ r❡s♣❡❝t t❤❡ ❝♦♠❜✐♥❛t♦r✐❛❧ str✉❝t✉r❡ ■♠♠❡rs✐♦♥s ◗✉❡st✐♦♥✿ ❣✐✈❡♥ t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s X , Y ✱ ✐s t❤❡r❡ ❛♥ X → Y ✐♠♠❡rs✐♦♥❄ ❲❡ ♣r♦✈✐❞❡ ✇❛②s t♦ ❛♥s✇❡r ❢♦r t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s ✇✐t❤ ❛ ❝♦♠❜✐♥❛t♦r✐❛❧ str✉❝t✉r❡✳ ❊①❛♠♣❧❡✿ ✐♠♠❡rs✐♦♥s ❜❡t✇❡❡♥ ✭❞✐r❡❝t❡❞✮ ❣r❛♣❤s d d a d a − → c c b ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

■♠♠❡rs✐♦♥s ◗✉❡st✐♦♥✿ ❣✐✈❡♥ t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s X , Y ✱ ✐s t❤❡r❡ ❛♥ X → Y ✐♠♠❡rs✐♦♥❄ ❲❡ ♣r♦✈✐❞❡ ✇❛②s t♦ ❛♥s✇❡r ❢♦r t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡s ✇✐t❤ ❛ ❝♦♠❜✐♥❛t♦r✐❛❧ str✉❝t✉r❡✳ ❊①❛♠♣❧❡✿ ✐♠♠❡rs✐♦♥s ❜❡t✇❡❡♥ ✭❞✐r❡❝t❡❞✮ ❣r❛♣❤s d d a d a − → c c b ❆❞❞✐t✐♦♥❛❧ r❡str✐❝t✐♦♥✿ r❡s♣❡❝t t❤❡ ❝♦♠❜✐♥❛t♦r✐❛❧ str✉❝t✉r❡ ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

❯♥❞❡r ♠✐❧❞ ❝♦♥❞✐t✐♦♥s ✐♠♣♦s❡❞✱ ❝♦♥♥❡❝t❡❞ ❝♦✈❡rs ♦❢ ❛ t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡ ❛r❡ ✐♥ ♦♥❡✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ✇✐t❤ ❝♦♥❥✉❣❛❝② ❝❧❛ss❡s ♦❢ s✉❜❣r♦✉♣s ♦❢ ✐ts ❢✉♥❞❛♠❡♥t❛❧ ❣r♦✉♣✳ ❋✉♥❞❛♠❡♥t❛❧ ❣r♦✉♣✿ ❤♦♠♦t♣② ❝❧❛ss❡s ♦❢ ❝❧♦s❡❞ ♣❛t❤s ❛r♦✉♥❞ ❛ ❣✐✈❡♥ ♣♦✐♥t✱ ❡q✉✐♣♣❡❞ ✇✐t❤ ❝♦♥❝❛t❡♥❛t✐♦♥ ❈♦✈❡r✐♥❣ s♣❛❝❡s ❉❡✜♥✐t✐♦♥ ❆ ❝♦✈❡r✐♥❣ ✐s ❛ ❝♦♥t✐♥♦✉s ♠❛♣ f : Y → X ❢♦r ✇❤✐❝❤ t❤❡r❡ ❡①✐sts ❛♥ ♦♣❡♥ ❝♦✈❡r U α ♦❢ X s✉❝❤ t❤❛t ❢♦r ❡❛❝❤ α ✱ f − ✶ ( U α ) ✐s ❛ ❞✐s❥♦✐♥t ✉♥✐♦♥ ♦❢ ♦♣❡♥ s❡ts ✐♥ Y ✱ ❡❛❝❤ ♦❢ ✇❤✐❝❤ ✐s ♠❛♣♣❡❞ ❤♦♠❡♦♠♦r♣❤✐❝❛❧❧② ♦♥t♦ U α ❜② f ✳ ❊✈❡r② ❝♦✈❡r✐♥❣ ✐s ❛♥ ✐♠♠❡rs✐♦♥✳ ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

❈♦✈❡r✐♥❣ s♣❛❝❡s ❉❡✜♥✐t✐♦♥ ❆ ❝♦✈❡r✐♥❣ ✐s ❛ ❝♦♥t✐♥♦✉s ♠❛♣ f : Y → X ❢♦r ✇❤✐❝❤ t❤❡r❡ ❡①✐sts ❛♥ ♦♣❡♥ ❝♦✈❡r U α ♦❢ X s✉❝❤ t❤❛t ❢♦r ❡❛❝❤ α ✱ f − ✶ ( U α ) ✐s ❛ ❞✐s❥♦✐♥t ✉♥✐♦♥ ♦❢ ♦♣❡♥ s❡ts ✐♥ Y ✱ ❡❛❝❤ ♦❢ ✇❤✐❝❤ ✐s ♠❛♣♣❡❞ ❤♦♠❡♦♠♦r♣❤✐❝❛❧❧② ♦♥t♦ U α ❜② f ✳ ❊✈❡r② ❝♦✈❡r✐♥❣ ✐s ❛♥ ✐♠♠❡rs✐♦♥✳ ❯♥❞❡r ♠✐❧❞ ❝♦♥❞✐t✐♦♥s ✐♠♣♦s❡❞✱ ❝♦♥♥❡❝t❡❞ ❝♦✈❡rs ♦❢ ❛ t♦♣♦❧♦❣✐❝❛❧ s♣❛❝❡ ❛r❡ ✐♥ ♦♥❡✲♦♥❡ ❝♦rr❡s♣♦♥❞❡♥❝❡ ✇✐t❤ ❝♦♥❥✉❣❛❝② ❝❧❛ss❡s ♦❢ s✉❜❣r♦✉♣s ♦❢ ✐ts ❢✉♥❞❛♠❡♥t❛❧ ❣r♦✉♣✳ ❋✉♥❞❛♠❡♥t❛❧ ❣r♦✉♣✿ ❤♦♠♦t♣② ❝❧❛ss❡s ♦❢ ❝❧♦s❡❞ ♣❛t❤s ❛r♦✉♥❞ ❛ ❣✐✈❡♥ ♣♦✐♥t✱ ❡q✉✐♣♣❡❞ ✇✐t❤ ❝♦♥❝❛t❡♥❛t✐♦♥ ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

❝♦✈❡rs ♦❢ t❤❡ ❜♦✉q✉❡t ♦❢ ❝✐r❝❧❡s ❝♦♥❥✉❣❛❝② ❝❧❛ss❡s ♦❢ s✉❜❣r♦✉♣s ♦❢ t❤❡ ❢r❡❡ ❣r♦✉♣ ♦❢ r❛♥❦ ✭◆✐❡❧s❡♥✲❙❝❤r❡✐❡r t❤❡r♦❡♠ t❤❡ ❢✉♥❞✳ ❣r♦✉♣s ♦❢ ❣r❛♣❤s ❛r❡ ❛❧✇❛②s ❢r❡❡✮ ❈♦✈❡rs ♦❢ ❣r❛♣❤s ❆♥ ❡①❛♠♣❧❡✿ ❚❤❡ ❢✉♥❞❛♠❡♥t❛❧ ❣r♦✉♣ ♦❢ t❤❡ ❜♦✉q✉❡t ♦❢ n ❝✐r❝❧❡s = t❤❡ ❢r❡❡ ❣r♦✉♣ ♦❢ r❛♥❦ n ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s

✭◆✐❡❧s❡♥✲❙❝❤r❡✐❡r t❤❡r♦❡♠ t❤❡ ❢✉♥❞✳ ❣r♦✉♣s ♦❢ ❣r❛♣❤s ❛r❡ ❛❧✇❛②s ❢r❡❡✮ ❈♦✈❡rs ♦❢ ❣r❛♣❤s ❆♥ ❡①❛♠♣❧❡✿ ❚❤❡ ❢✉♥❞❛♠❡♥t❛❧ ❣r♦✉♣ ♦❢ t❤❡ ❜♦✉q✉❡t ♦❢ n ❝✐r❝❧❡s = t❤❡ ❢r❡❡ ❣r♦✉♣ ♦❢ r❛♥❦ n = ⇒ ❝♦✈❡rs ♦❢ t❤❡ ❜♦✉q✉❡t ♦❢ n ❝✐r❝❧❡s ← → ❝♦♥❥✉❣❛❝② ❝❧❛ss❡s ♦❢ s✉❜❣r♦✉♣s ♦❢ t❤❡ ❢r❡❡ ❣r♦✉♣ ♦❢ r❛♥❦ n ◆ór❛ ❙③❛❦á❝s ■♥✈❡rs❡ ♠♦♥♦✐❞s ❛♥❞ ✐♠♠❡rs✐♦♥s ♦✈❡r ✷✲❝♦♠♣❧❡①❡s