▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ❛♥❞ ❡❛rt❤q✉❛❦❡s ▲❛♥❞s❧✐❞❡s ❆❞❙ ❣❡♦♠❡tr② ❆♥ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ ❡❛rt❤q✉❛❦❡ ✢♦✇ ❏❡❛♥✲▼❛r❝ ❙❝❤❧❡♥❦❡r ■♥st✐t✉t ❞❡ ▼❛t❤é♠❛t✐q✉❡s ❞❡ ❚♦✉❧♦✉s❡ ❯♥✐✈❡rs✐té ❚♦✉❧♦✉s❡ ■■■ ❤tt♣✿✴✴✇✇✇✳♠❛t❤✳✉♥✐✈✲t♦✉❧♦✉s❡✳❢r✴✄s❝❤❧❡♥❦❡r ❈♦♥❢❡r❡♥❝❡ ✏❙❡r✐❡s✻✵✑✱ ❲❛r✇✐❝❦✱ ❏✉❧② ✷✺✱ ✷✵✶✶ ❏❡❛♥✲▼❛r❝ ❙❝❤❧❡♥❦❡r ❆♥ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ ❡❛rt❤q✉❛❦❡ ✢♦✇
▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ❛♥❞ ❡❛rt❤q✉❛❦❡s ▲❛♥❞s❧✐❞❡s ❆❞❙ ❣❡♦♠❡tr② ❈♦♥t❡♥t ❘❡❝❛❧❧ ♠❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s✱ ❡❛rt❤q✉❛❦❡s✱ ❊①t❡♥s✐♦♥ t♦ ✏❧❛♥❞s❧✐❞❡s✑✱ ❯♥❞❡r❧②✐♥❣ ❆❞❙ ❣❡♦♠❡tr②✳ ❏♦✐♥t ✇♦r❦ ✇✐t❤ ❋r❛♥❝❡s❝♦ ❇♦♥s❛♥t❡ ❛♥❞ ●❛❜r✐❡❧❡ ▼♦♥❞❡❧❧♦✳ ❙ ✐s ❛ ❝❧♦s❡❞ s✉r❢❛❝❡ ♦❢ ❣❡♥✉s ≥ ✷✱ T = ❚❡✐❝❤♠ü❧❧❡r s♣❛❝❡ ♦❢ ❙ ✳ ❏❡❛♥✲▼❛r❝ ❙❝❤❧❡♥❦❡r ❆♥ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ ❡❛rt❤q✉❛❦❡ ✢♦✇
▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ❛♥❞ ❡❛rt❤q✉❛❦❡s ▲❛♥❞s❧✐❞❡s ❆❞❙ ❣❡♦♠❡tr② ▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s WM ❂ { ✇❡✐❣❤t❡❞ ♠✉❧t✐❝✉r✈❡s ♦♥ ❙ } ✿ s❡t ♦❢ ❞✐s❥♦✐♥t s✐♠♣❧❡ ❝❧♦s❡❞ ❝✉r✈❡s✱ ❡❛❝❤ ✇✐t❤ ❛ ♣♦s✐t✐✈❡ ✇❡✐❣❤t✳ WM ✐s ✐♥✜♥✐t❡ ✿ s✐♠♣❧❡ ❝❧♦s❡❞ ❝✉r✈❡s ♦♥ ❙ ❝❛♥ ✇r❛♣ ❛r♦✉♥❞ ❛ ❧♦t✳ ▲❡t ( ❝ ✐ , ❧ ✐ ) ✐ = ✶ , ··· , ♥ ∈ WM ✱ t❤❡ ❝ ✐ ❢♦r♠ ❛ ❧❛♠✐♥❛t✐♦♥ ❛♥❞ t❤❡ ❧ ✐ ❞❡✜♥❡ ❛ tr❛♥s✈❡rs❡ c c c 2 3 1 ♠❡❛s✉r❡ ✿ ❣✐✈❡s ❛ t♦t❛❧ ✇❡✐❣❤t t♦ γ ✱ tr❛♥s✲ γ ✈❡rs❡ t♦ t❤❡ ❝ ✐ ✳ ❚❤✐s ❣✐✈❡s ❛ t♦♣♦❧♦❣② t♦ WM ✳ ❚❤❡ ❝♦♠♣❧❡t✐♦♥ ♦❢ WM ✐s t❤❡ s♣❛❝❡ ♦❢ ♠❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ML ✳ ▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ❝❛♥ ❜❡ ♣r❡tt② ❝♦♠♣❧✐❝❛t❡❞✳ ML ≃ R ✻ ❣ − ✻ ✳ ∂ T ≃ ML / R > ✵ ✭❚❤✉rst♦♥✮✳ T × ML ≃ ❚ ∗ T ✳ ❏❡❛♥✲▼❛r❝ ❙❝❤❧❡♥❦❡r ❆♥ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ ❡❛rt❤q✉❛❦❡ ✢♦✇
▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ❛♥❞ ❡❛rt❤q✉❛❦❡s ▲❛♥❞s❧✐❞❡s ❆❞❙ ❣❡♦♠❡tr② ❊❛rt❤q✉❛❦❡s ❙t❛rt ✇✐t❤ ❛ ❤②♣❡r❜♦❧✐❝ s✉r❢❛❝❡✳ ■❢ ✇ ∈ ML ✐s ❛ ✇❡✐❣❤t❡❞ ❝✉r✈❡ ❛♥❞ ❤ ∈ T ✱ ❊ ✇ ( ❤ ) ✐s ♦❜t❛✐♥❡❞ ❜② r❡❛❧✐③✐♥❣ ✇ ❛s ❛ ❣❡♦❞❡s✐❝ ✐♥ ❤ ✱ ❝✉tt✐♥❣ ❙ ♦♣❡♥ ❛❧♦♥❣ ✇ ✱ t✉r♥✐♥❣ t❤❡ ❧❡❢t✲❤❛♥❞ s✐❞❡ ❜② t❤❡ ✇❡✐❣❤t✱ ❛♥❞ ❣❧✉✐♥❣ ❜❛❝❦✳ ❉❡✜♥❡s ❛ ❤♦♠❡♦♠♦r♣❤✐s♠ ❊ ✇ : T → T . ❊①t❡♥❞s ❜② ❝♦♥t✐♥✉✐t② t♦ ❊ : T × ML → T ✭❚❤✉rst♦♥✮✳ ❏❡❛♥✲▼❛r❝ ❙❝❤❧❡♥❦❡r ❆♥ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ ❡❛rt❤q✉❛❦❡ ✢♦✇
▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ❛♥❞ ❡❛rt❤q✉❛❦❡s ▲❛♥❞s❧✐❞❡s ❆❞❙ ❣❡♦♠❡tr② ❙♦♠❡ ❦❡② ♣r♦♣❡rt✐❡s ❊❛rt❤q✉❛❦❡s ❞❡✜♥❡ ❛ ✢♦✇ ♦♥ T × ML ✿ ❊ s λ ◦ ❊ t λ = ❊ ( s + t ) λ ✳ ✶ ❊❛rt❤q✉❛❦❡ ❚❤♠ ✭❚❤✉rst♦♥✱ ❑❡r❝❦❤♦✛✮ ✿ ✷ ∀ ❤ , ❤ ′ ∈ T , ∃ ! λ ∈ ML , ❊ λ ( ❤ ) = ❤ ′ ✳ ❈♦♠♣❧❡① ❡❛rt❤q✉❛❦❡s ✭▼❝▼✉❧❧❡♥✮ ✿ ❢♦r ( ❤ , λ ) ∈ T × ML ✱ t❤❡ ♠❛♣ ✸ t �→ ❊ t λ ( ❤ ) ❡①t❡♥❞s t♦ ❛ ❤♦❧♦♠♦r♣❤✐❝ ♠❛♣ H → T ✳ ❊ ( t + ✐s ) λ = ❣r s λ ◦ ❊ t λ ✱ ✇❤❡r❡ ❣r λ : T → T ✐s t❤❡ ❣r❛❢t✐♥❣ ♠❛♣✳ ✹ ●r π ❣r = π ◦ ●r : ML × T → CP → T ✱ ❛♥❞ t + ✐s �→ ●r s λ ◦ ❊ t λ ✐s ❤♦❧♦♠♦r♣❤✐❝ ❢r♦♠ H t♦ CP ✳ ●r : ML × T → CP ✐s ❛ ❤♦♠❡♦ ✭❚❤✉rst♦♥✮✳ ✺ ❙✐♠♣❧❡ ♣r♦♦❢ ♦❢ ❊❛rt❤q✉❛❦❡ ❚❤♠ ❜② ▼❡ss ✭✶✾✾✵✮ ❜❛s❡❞ ♦♥ ❆❞❙ ❣❡♦♠❡tr②✳ ❏❡❛♥✲▼❛r❝ ❙❝❤❧❡♥❦❡r ❆♥ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ ❡❛rt❤q✉❛❦❡ ✢♦✇
▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ❛♥❞ ❡❛rt❤q✉❛❦❡s ▲❛♥❞s❧✐❞❡s ❆❞❙ ❣❡♦♠❡tr② ❚❤❡ ❧❛♥❞s❧✐❞❡ ✢♦✇ ❘❡❝❛❧❧ t❤❛t ❊ : T × ML × R → T × ML ( ❤ , λ, t ) �→ ( ❊ t λ ( ❤ ) , λ ) ✐s ❛ ✢♦✇ ✭ R ✲❛❝t✐♦♥✮✳ ❲❡✬❧❧ ❞❡✜♥❡ ✏❧❛♥❞s❧✐❞❡s✑ T × T × ❙ ✶ ▲ : → T × T ( ❤ , ❤ ∗ , ❡ ✐ θ ) �→ ▲ ❡ ✐ θ ( ❤ , ❤ ∗ ) ❉❡❢ ❡✐t❤❡r ❛♥❛❧②t✐❝ ✭♠✐♥✐♠❛❧ ▲❛❣r❛♥❣✐❛♥ ❞✐✛❡♦s✮ ♦r ❣❡♦♠❡tr✐❝ ✭✸❞ ❆❞❙ ❣❡♦♠❡tr②✮✳ ❑❡② ♣r♦♣❡rt✐❡s ♦❢ ❡❛rt❤q✉❛❦❡s ❡①t❡♥❞✳ ❏❡❛♥✲▼❛r❝ ❙❝❤❧❡♥❦❡r ❆♥ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ ❡❛rt❤q✉❛❦❡ ✢♦✇
▼❡❛s✉r❡❞ ❧❛♠✐♥❛t✐♦♥s ❛♥❞ ❡❛rt❤q✉❛❦❡s ▲❛♥❞s❧✐❞❡s ❆❞❙ ❣❡♦♠❡tr② Pr♦♣❡rt✐❡s ♦❢ ❧❛♥❞s❧✐❞❡s ♥ → λ ✱ t❤❡♥ ▲ ✶ ( ❤ , ❤ ∗ ♥ , ❡ ✐ θ ♥ ) → ❊ λ ( ❤ ) ✳ ▲✐♠✐t t♦ ❡❛rt❤q✉❛❦❡s ✿ ✐❢ t ♥ ❤ ∗ ✵ ▲ ✐s ❛ ✢♦✇ ✭ ❙ ✶ ✲❛❝t✐♦♥✮ ✿ ▲ ❡ ✐ θ ◦ ▲ ❡ ✐ θ ′ = ▲ ❡ ✐ ( θ + θ ′ ) ✳ ✶ ✏▲❛♥❞s❧✐❞❡ t❤♠✑ ✿ ∀ ❤ , ❤ ′ ∈ T , ∀ ❡ ✐ θ � = ✶ , ∃ ! ❤ ∗ ∈ T , ▲ ❡ ✐ θ ( ❤ , ❤ ∗ ) = ❤ ′ ✳ ✷ · ( ❤ , ❤ ∗ ) : ❙ ✶ → T ❡①t❡♥❞s t♦ ❛ ❤♦❧♦♠♦r♣❤✐❝ ❈♦♠♣❧❡① ❡①t❡♥s✐♦♥ ✿ ▲ ✶ ✸ ♠❛♣ ❉ → T ✳ ✏❙♠♦♦t❤ ❣r❛❢t✐♥❣✑ ✿ ❢♦r r ∈ ( ✵ , ✶ ) ✱ ▲ ✶ r : T × T → T ✐s ❛ s♠♦♦t❤ ✹ ✈❡rs✐♦♥ ♦❢ ❣r❛❢t✐♥❣✱ s❣r r ✳ s❣r r = π ◦ ❙●r r ✱ ✇❤❡r❡ ❙●r r : T ×T → CP ✱ ❛♥❞ s + ✐t → ❙●r ❡ − s ◦ ▲ ❡ ✐t ( ❤ , ❤ ∗ ) ✐s ❤♦❧♦♠♦r♣❤✐❝ ♦♥ H ✳ ❙●r r : T × T → CP ✐s ❛ ❤♦♠❡♦♠♦r♣❤✐s♠✳ ✺ ❏❡❛♥✲▼❛r❝ ❙❝❤❧❡♥❦❡r ❆♥ ❡①t❡♥s✐♦♥ ♦❢ t❤❡ ❡❛rt❤q✉❛❦❡ ✢♦✇
Recommend
More recommend