Poziomica (matematyka)

Poziomica lub warstwica – 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

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 $f$ w punkcie $\mathrm {p}$ jest prostopadły do poziomicy $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 $\mathrm {p}$ to ${\big \{}\mathrm {x} \colon f(\mathrm {x} )=f(\mathrm {p} ){\big \}}.$ Niech dana będzie krzywa $\mathbf {g} (t)$ na poziomicy przechodząca przez $\mathrm {p} ,$ dla której $\mathbf {g} (0)=\mathrm {p}$ (przyjęcie tego założenia nie zmniejsza ogólności rozważań). Wówczas

$f{\big (}\mathbf {g} (0){\big )}=f(\mathrm {x} )=c.$

Różniczkując powyższą równość w $t=0$ za pomocą reguły łańcuchowej, otrzymuje się

$\mathbf {J} _{f}(\mathrm {p} )\cdot \mathbf {g} '(0)=0,$

przy czym macierz Jacobiego $f$ w punkcie $\mathrm {p}$ jest w istocie gradientem w $\mathrm {p} ,$ tzn.

$\nabla f(\mathrm {p} )\cdot \mathbf {g} '(0)=0.$

Z własności iloczynu skalarnego wynika, że gradient $f$ w punkcie $\mathrm {p}$ jest prostopadły do stycznej $\mathbf {g} '(0)$ do krzywej $\mathbf {g}$ (a więc i poziomicy) w tym punkcie. Ostatecznie ponieważ krzywa $\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 $f.$

Zobacz też

• metoda poziomic

Linki zewnętrzne

• Eric W.E.W. Weisstein Eric W.E.W., Level Set, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2023-08-29].
• Level set (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-08-29].