13.05.2013 Views

Stopień Brouwera

Stopień Brouwera

Stopień Brouwera

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

§6.2 <strong>Stopień</strong> topologiczny<br />

Twierdzenie 14: (Twierdzenie Poincarégo-Bohla) Niech f, g ∈ C(Ω) oraz ∀x∈Ω<br />

odcinek p [ f (x), g(x)] = {s f (x) + (1 − s)g(x)| 0 s 1}. Wtedy deg( f, Ω, p) =<br />

deg(g, Ω, p).<br />

Dowód Potrzebna nam będzie w tym celu homotopia H(t, x) = t f (x)+(1−t)g(x).<br />

Wiemy z założeń, że p t f (x)+(1−t)g(x), dla t ∈ [0, 1]. Mamy więc p H(t, ∂Ω).<br />

Wzór jest teraz wnioskiem z homotopijnej niezmienniczości stopnia. <br />

Poniższe stwierdzenie mówi, że stopień jest niezmienniczy ze względu na przesunięcie<br />

w przestrzeni.<br />

Twierdzenie 15: Niech, jak zwykle, f ∈ C(Ω) oraz p f (∂Ω). Wtedy<br />

deg( f, Ω, p) = deg( f − q, Ω, p − q), dla każdego q ∈ R n . ( f − q jest dana wzorem<br />

x ↦→ f (x) − p)<br />

Doszliśmy więc do wersji homotopijnej niezmienniczości dla funkcji ciągłych.<br />

Twierdzenie 16: Niech będzie dana ciągła homotopia H : [0, 1] × Ω → R n i pt<br />

ciągła droga w R n . Jeśli pt H(t, ∂Ω), wtedy deg(H(t, ·), Ω, pt) jest niezmienny<br />

dla t ∈ [0, 1].<br />

Poprzednie twierdzenia dotyczyły zależności stopnia od p i f . Teraz określimy<br />

zależność od zbioru Ω.<br />

Twierdzenie 17: Niech f ∈ C(Ω) oraz p f (∂Ω).<br />

i) Addytywność: Niech Ωi ⊂ Ω, i = 1, . . . , m będzie skończoną rodziną<br />

rozłącznych podzbiorów zbioru Ω, takich że p f (Ω \ (∪m i=1Ωi)). Mamy<br />

wtedy<br />

deg( f, Ω, p) =<br />

m<br />

deg( f, Ωi, p). (27)<br />

i=1<br />

ii) Wycinanie: Jeśli K = K ⊂ Ω i p f (K) ∪ f (∂Ω), to<br />

deg( f, Ω, p) = deg( f, Ω \ K, p). (28)<br />

§6.2 <strong>Stopień</strong> topologiczny<br />

Podsumujmy:<br />

Konferencja na Helu, 2007 8

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!