Pr❡❧✐♠✐♥❛r✐❡s ❙②♠❜♦❧✐❝s ❈♦♥str✉❝t✐♦♥ ❋✉rt❤❡r r❡s❡❛r❝❤ P❧❛♥❛r ❡♠❜❡❞❞✐♥❣s ♦❢ ✉♥✐♠♦❞❛❧ ✐♥✈❡rs❡ ❧✐♠✐t s♣❛❝❡s ❆♥❛ ❆♥✉➨✐➣ ❯♥✐✈❡rs✐t② ♦❢ ❩❛❣r❡❜✱ ❈r♦❛t✐❛ ❈♦❛✉t❤♦rs✿ ❍❡♥❦ ❇r✉✐♥✱ ❏❡r♥❡❥ ❷✐♥↔ ✭❱✐❡♥♥❛✮ ❚♦♣♦s②♠✱ ❏✉❧② ✷✺✲✷✾ ✷✵✶✻ Pr❛❣✉❡ ✶ ✴ ✶✾
Pr❡❧✐♠✐♥❛r✐❡s ❙②♠❜♦❧✐❝s ❈♦♥str✉❝t✐♦♥ ❋✉rt❤❡r r❡s❡❛r❝❤ ❯♥✐♠♦❞❛❧ ♠❛♣ ❈♦♥t✐♥✉♦✉s ♠❛♣ f : [ ✵ , ✶ ] → [ ✵ , ✶ ] ✐s ❝❛❧❧❡❞ ✉♥✐♠♦❞❛❧ ✐❢ t❤❡r❡ ❡①✐sts ❛ ✉♥✐q✉❡ ❝r✐t✐❝❛❧ ♣♦✐♥t c s✉❝❤ t❤❛t f | [ ✵ , c ) ✐s str✐❝t❧② ✐♥❝r❡❛s✐♥❣✱ f | ( c , ✶ ] ✐s str✐❝t❧② ❞❡❝r❡❛s✐♥❣ ❛♥❞ f ( ✵ ) = f ( ✶ ) = ✵✳ Pr♦t♦t②♣❡ ✲ t❡♥t ♠❛♣ ❢❛♠✐❧② { T s : s ∈ [ ✵ , ✷ ] } ✶ ✁❆ � ✁ � ❆ s ˜ ✡❏ ✷ � ✁ ✡ � sx , x ∈ [ ✵ , ✶ / ✷ ] s ❆ ✪❡ ❏ ✷ ✁ ✡ ✪ � T s ( x ) := ❆ ❡ ❏ s ( ✶ − x ) , x ∈ [ ✶ / ✷ , ✶ ] . ✁ ✡ ✪ � ❆ ❡ ❏ ✁ � ✡ ✪ ❡ ❏ ❆ ✵ ✶ ✶ ✷ ❋♦r ✉♥✐♠♦❞❛❧ ♠❛♣ T ❞❡✜♥❡ ✐♥✈❡rs❡ ❧✐♠✐t s♣❛❝❡ ❛s X := ❧✐♠ − ([ ✵ , ✶ ] , T ) := { ( . . . , x − ✷ , x − ✶ , x ✵ ) : x i ∈ [ ✵ , ✶ ] , T ( x i − ✶ ) = x i } ← ❡q✉✐♣♣❡❞ ✇✐t❤ t❤❡ t♦♣♦❧♦❣② ♦❢ t❤❡ ❍✐❧❜❡rt ❝✉❜❡✳ ✷ ✴ ✶✾
Pr❡❧✐♠✐♥❛r✐❡s ❙②♠❜♦❧✐❝s ❈♦♥str✉❝t✐♦♥ ❋✉rt❤❡r r❡s❡❛r❝❤ P❧❛♥❛r ❡♠❜❡❞❞✐♥❣s ♦❢ ❝❤❛✐♥❛❜❧❡ ❝♦♥t✐♥✉❛ ❈♦♥t✐♥✉✉♠ ✐s ❛ ❝♦♠♣❛❝t✱ ❝♦♥♥❡❝t❡❞ ♠❡tr✐❝ s♣❛❝❡✳ ❆ ❝❤❛✐♥ ✐s ❛ ✜♥✐t❡ ❝♦❧❧❡❝t✐♦♥ ♦❢ ♦♣❡♥ s❡ts C := { ℓ i } n i = ✶ s✉❝❤ t❤❛t t❤❡ ❧✐♥❦s ℓ i s❛t✐s❢② ℓ i ∩ ℓ j � = ∅ ✐❢ ❛♥❞ ♦♥❧② ✐❢ | i − j | ≤ ✶✳ ❈❤❛✐♥ ✐s ❝❛❧❧❡❞ ε ✲❝❤❛✐♥ ✐❢ t❤❡ ❧✐♥❦s ❛r❡ ♦❢ ❞✐❛♠❡t❡r ❧❡ss t❤❛♥ ε ✳ ❈♦♥t✐♥✉✉♠ ✐s ❝❤❛✐♥❛❜❧❡ ✐❢ ✐t ❝❛♥ ❜❡ ❝♦✈❡r❡❞ ❜② ❛♥ ε ✲❝❤❛✐♥ ❢♦r ❡✈❡r② ε > ✵✳ ❚❤❡♦r❡♠ ✭❘✳ ❍✳ ❇✐♥❣ ✶✾✺✶✳✮ ❊✈❡r② ❝❤❛✐♥❛❜❧❡ ❝♦♥t✐♥✉✉♠ ❝❛♥ ❜❡ ❡♠❜❡❞❞❡❞ ✐♥ t❤❡ ♣❧❛♥❡✳ ❚❤❡♦r❡♠ ✭❏✳ ❘✳ ■s❜❡❧❧✱ ✶✾✺✾✳✮ ❈♦♥t✐♥✉✉♠ ✐s ❝❤❛✐♥❛❜❧❡ ✐✛ ✐t ✐s ✐♥✈❡rs❡ ❧✐♠✐t ♦❢ ❛ s❡q✉❡♥❝❡ ♦❢ ❛r❝s✳ ✸ ✴ ✶✾
Pr❡❧✐♠✐♥❛r✐❡s ❙②♠❜♦❧✐❝s ❈♦♥str✉❝t✐♦♥ ❋✉rt❤❡r r❡s❡❛r❝❤ ❊①♣❧✐❝✐t ❝♦♥str✉❝t✐♦♥ ♦❢ ♣❧❛♥❛r ❡♠❜❡❞❞✐♥❣s ♦❢ ❯■▲s ❇r✉❝❦s ❛♥❞ ❉✐❛♠♦♥❞ ✭✶✾✾✺✮ ✲ ♣❧❛♥❛r ❡♠❜❡❞❞✐♥❣s ✉s✐♥❣ s②♠❜♦❧✐❝ ❞❡s❝r✐♣t✐♦♥ ♦❢ ❯■▲s ❇r✉✐♥ ✭✶✾✾✾✮ ✲ ❡♠❜❡❞❞✐♥❣s ❛r❡ ❝♦♥str✉❝t❡❞ s✉❝❤ t❤❛t t❤❡ s❤✐❢t ❤♦♠❡♦♠♦r♣❤✐s♠ ❡①t❡♥❞s t♦ ❛ ▲✐♣s❝❤✐t③ ♠❛♣ ♦♥ R ✷ ✳ ✭❇❛r❣❡✱ ▼❛rt✐♥✱ ✶✾✾✵✳✱ ❇♦②❧❛♥❞✱ ❞❡ ❈❛r✈❛❧❤♦✱ ❍❛❧❧ ✷✵✶✷✳✮ ❙❤✐❢t ❤♦♠❡♦♠♦r♣❤✐s♠ σ : X → X ✱ σ (( . . . , x ✵ )) := ( . . . , x ✵ , T ( x ✵ )) ◗✉❡st✐♦♥✭s✮ ✭❇♦②❧❛♥❞ ✷✵✶✺✳✮ ❈❛♥ ❛ ❝♦♠♣❧✐❝❛t❡❞ X ❜❡ ❡♠❜❡❞❞❡❞ ✐♥ R ✷ ✐♥ ♠✉❧t✐♣❧❡ ✇❛②s❄ ❨❊❙✦ ❙✉❝❤ t❤❛t t❤❡ s❤✐❢t✲❤♦♠❡♦♠♦r♣❤✐s♠ ❝❛♥ ❜❡ ❝♦♥t✐♥✉♦✉s❧② ❡①t❡♥❞❡❞ t♦ t❤❡ ♣❧❛♥❡❄ ❖P❊◆✦ ✹ ✴ ✶✾
Pr❡❧✐♠✐♥❛r✐❡s ❙②♠❜♦❧✐❝s ❈♦♥str✉❝t✐♦♥ ❋✉rt❤❡r r❡s❡❛r❝❤ ❊q✉✐✈❛❧❡♥❝❡ ♦❢ ♣❧❛♥❛r ❡♠❜❡❞❞✐♥❣s ❉❡✜♥✐t✐♦♥ ❉❡♥♦t❡ t✇♦ ♣❧❛♥❛r ❡♠❜❡❞❞✐♥❣s ♦❢ X ❜② g ✶ : X → E ✶ ⊂ R ✷ ❛♥❞ g ✷ : X → E ✷ ⊂ R ✷ ✳ ❲❡ s❛② t❤❛t g ✶ ❛♥❞ g ✷ ❛r❡ ❡q✉✐✈❛❧❡♥t ❡♠❜❡❞❞✐♥❣s ✐❢ t❤❡r❡ ❡①✐sts ❛ ❤♦♠❡♦♠♦r♣❤✐s♠ h : E ✶ → E ✷ ✇❤✐❝❤ ❝❛♥ ❜❡ ❡①t❡♥❞❡❞ t♦ ❛ ❤♦♠❡♦♠♦r♣❤✐s♠ ♦❢ t❤❡ ♣❧❛♥❡✳ ❉❡✜♥✐t✐♦♥ ❆ ♣♦✐♥t a ∈ X ⊂ R ✷ ✐s ❛❝❝❡ss✐❜❧❡ ✭✐✳❡✳✱ ❢r♦♠ t❤❡ ❝♦♠♣❧❡♠❡♥t ♦❢ X ✮ ✐❢ t❤❡r❡ ❡①✐sts ❛♥ ❛r❝ A = [ x , y ] ⊂ R ✷ s✉❝❤ t❤❛t a = x ❛♥❞ A ∩ X = { a } ✳ ❲❡ s❛② t❤❛t ❛ ❝♦♠♣♦s❛♥t U ⊂ X ✐s ❛❝❝❡ss✐❜❧❡ ✱ ✐❢ U ❝♦♥t❛✐♥s ❛♥ ❛❝❝❡ss✐❜❧❡ ♣♦✐♥t✳ ✺ ✴ ✶✾
Pr❡❧✐♠✐♥❛r✐❡s ❙②♠❜♦❧✐❝s ❈♦♥str✉❝t✐♦♥ ❋✉rt❤❡r r❡s❡❛r❝❤ ❑♥❛st❡r ❝♦♥t✐♥✉✉♠ ❑ ✲ ❢✉❧❧ ✉♥✐♠♦❞❛❧ ♠❛♣ ▼❛②❡r ✭✶✾✽✸✮ ✲ ✉♥❝♦✉♥t❛❜❧② ♠❛♥② ♥♦♥✲❡q✉✐✈❛❧❡♥t ♣❧❛♥❛r ❡♠❜❡❞❞✐♥❣s ♦❢ K ✇✐t❤ t❤❡ s❛♠❡ ♣r✐♠❡ ❡♥❞ str✉❝t✉r❡ ❛♥❞ s❛♠❡ s❡t ♦❢ ❛❝❝❡ss✐❜❧❡ ♣♦✐♥ts✳ ▼❛❤❛✈✐❡r ✭✶✾✽✾✮ ✲ ❢♦r ❡✈❡r② ❝♦♠♣♦s❛♥t U ⊂ K t❤❡r❡ ❡①✐sts ❛ ♣❧❛♥❛r ❡♠❜❡❞❞✐♥❣ ♦❢ K s✉❝❤ t❤❛t ❡❛❝❤ ♣♦✐♥t ♦❢ U ✐s ❛❝❝❡ss✐❜❧❡ ❙❝❤✇❛rt③ ✭✶✾✾✷✱ P❤❉ t❤❡s✐s✮ ✲ ✉♥❝♦✉♥t❛❜❧② ♠❛♥② ♥♦♥✲❡q✉✐✈❛❧❡♥t ♣❧❛♥❛r ❡♠❜❡❞❞✐♥❣s ♦❢ K ❉❡ ☛❜s❦✐ ✫ ❚②♠❝❤❛t②♥ ✭✶✾✾✸✮ ✲ st✉❞② ♦❢ ❛❝❝❡ss✐❜✐❧✐t② ✐♥ ❣❡♥❡r❛❧✐③❡❞ ❑♥❛st❡r ❝♦♥t✐♥✉❛ ✻ ✴ ✶✾
Pr❡❧✐♠✐♥❛r✐❡s ❙②♠❜♦❧✐❝s ❈♦♥str✉❝t✐♦♥ ❋✉rt❤❡r r❡s❡❛r❝❤ ✼ ✴ ✶✾
Pr❡❧✐♠✐♥❛r✐❡s ❙②♠❜♦❧✐❝s ❈♦♥str✉❝t✐♦♥ ❋✉rt❤❡r r❡s❡❛r❝❤ ❘❡s✉❧ts ❋♦r ❡✈❡r② ✭ ♥♦t r❡♥♦r♠❛❧✐③❛❜❧❡✱ ♥♦ ✇❛♥❞❡r✐♥❣ ✐♥t❡r✈❛❧s ✮ ✉♥✐♠♦❞❛❧ ♠❛♣ ✇❡ ♦❜t❛✐♥ ✉♥❝♦✉♥t❛❜❧② ♠❛♥② ❡♠❜❡❞❞✐♥❣s ❜② ♠❛❦✐♥❣ ❛♥ ❛r❜✐tr❛r② ♣♦✐♥t ❛❝❝❡ss✐❜❧❡✳ ❚❤❡♦r❡♠ ✭❆✳✱ ❇r✉✐♥✱ ❷✐♥↔✱ ✷✵✶✻✮ ❋♦r ❡✈❡r② ♣♦✐♥t a ∈ X t❤❡r❡ ❡①✐sts ❛♥ ❡♠❜❡❞❞✐♥❣ ♦❢ X ✐♥ t❤❡ ♣❧❛♥❡ s✉❝❤ t❤❛t a ✐s ❛❝❝❡ss✐❜❧❡✳ ❊✈❡r② ❤♦♠❡♦♠♦r♣❤✐s♠ h : X → X ✐s ✐s♦t♦♣✐❝ t♦ σ R ❢♦r s♦♠❡ R ∈ Z ✭❇r✉✐♥ ✫ ➆t✐♠❛❝✱ ✷✵✶✷✮✳ ❈♦r♦❧❧❛r② ❚❤❡r❡ ❛r❡ ✉♥❝♦✉♥t❛❜❧② ♠❛♥② ♥♦♥✲❡q✉✐✈❛❧❡♥t ❡♠❜❡❞❞✐♥❣s ♦❢ X ✐♥ t❤❡ ♣❧❛♥❡✳ ✽ ✴ ✶✾
Recommend
More recommend