Poziomica (matematyka)

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Poziomica lub warstwica – w analizie matematycznej, zbiór punktów dziedziny funkcji rzeczywistej wielu zmiennych rzeczywistych, dla których przyjmuje ona tę samą wartość.

Innymi słowy, dla funkcji

f\colon \mathbb R^n \to \mathbb R

jest to zbiór postaci

\{(x_1, \dots, x_n)\colon f(x_1, \dots, x_n) = c\}

gdzie c jest pewną liczbą rzeczywistą.

Związek z gradientem[edytuj | edytuj kod]

Information icon.svg Główny artykuł: gradient.
Niech dana będzie funkcja f o wykresie przypominającym wzgórze. Wówczas niebieskie krzywe są poziomicami, czerwone zaś skierowane są zgodnie z gradientem.
Twierdzenie 
Gradient \scriptstyle f w punkcie \scriptstyle \mathrm p jest prostopadły do poziomicy \scriptstyle f w tym punkcie.

Aby zrozumieć o czym mówi to twierdzenie, wystarczy wyobrazić sobie dwóch wspinaczy będących w tym samym miejscu góry. Jeden z nich jest śmiały i decyduje się iść w kierunku największego nachylenia. Drugi jest ostrożniejszy: nie chce się ani wspinać, ani schodzić – wybierze więc drogę na tej samej wysokości. Wyrażone w tym języku powyższe twierdzenie mówi, że każdy ze wspinaczy wyruszy w kierunku prostopadłym do drugiego.

Dowód 
Poziomica przechodząca przez \scriptstyle \mathrm p to \scriptstyle \bigl\{\mathrm x\colon f(\mathrm x) = f(\mathrm p)\bigr\}. Niech dana będzie krzywa \scriptstyle \mathbf g(t) na poziomicy przechodząca przez \scriptstyle \mathrm p, dla której \scriptstyle \mathbf g(0) = \mathrm p (przyjęcie tego założenia nie zmniejsza ogólności rozważań). Wówczas
f\bigl(\mathbf g(0)\bigr) = f(\mathrm x) = c.
Różniczkując powyższą równość w \scriptstyle t = 0 za pomocą reguły łańcuchowej otrzymuje się
\mathbf J_f(\mathrm p) \cdot  \mathbf g'(0) = 0,
przy czym macierz Jacobiego \scriptstyle f w punkcie \scriptstyle \mathrm p jest w istocie gradientem w \scriptstyle \mathrm p, tzn.
\nabla f(\mathrm p) \cdot \mathbf g'(0) = 0.
Z własności iloczynu skalarnego wynika, że gradient \scriptstyle f w punkcie \scriptstyle \mathrm p jest prostopadły do stycznej \scriptstyle \mathbf g'(0) do krzywej \scriptstyle \mathbf g (a więc i poziomicy) w tym punkcie. Ostatecznie ponieważ krzywa \scriptstyle \mathbf g mogła być wybrana dowolnie, to gradient istotnie jest prostopadły do poziomicy.

Konsekwencją tego twierdzenia jest, że jeśli poziomica przecina się (dokładniej, nie jest gładką podrozmaitością, czy hiperpowierzchnią), to wektor gradientu musi być zerowy we wszystkich punktach przecięć. W ten sposób każdy taki punkt jest punktem krytycznym \scriptstyle f.

Zobacz też[edytuj | edytuj kod]