Stopień Brouwera
Stopień Brouwera
Stopień Brouwera
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