Rozmaitość różniczkowa

Rozmaitość różniczkowa lub rozmaitość różniczkowalna to zbiór, który lokalnie tzn. w otoczeniu każdego punktu wygląda jak $\mathbb {R} ^{n}$ (ściślej: jak zbiór otwarty w $\mathbb {R} ^{n}$), ponadto nie ma kantów. Rozmaitości różniczkowe są podstawowym obiektem badań geometrii różniczkowej.

(1) Przykład wprowadzenia rozmaitości różniczkowej klasy $C^{0}$ na sferze: mapy tworzące tę rozmaitość zawierają linie współrzędnych, które są krzywymi w ogólności niegładkimi (na mapie środkowej i z prawej strony zwrotnik Raka jest krzywą gładką, ale na mapie z lewej ma ostre zagięcie – ta ostatnia krzywa nie ma pochodnej w punkcie zagięcia). (2) Aby rozmaitość różniczkowa była klasy $C^{1}$ (lub wyższej) trzeba wprowadzić na mapach współrzędne krzywoliniowe, których krzywe współrzędnych są krzywymi gładkim.

Naturalne przykłady rozmaitości różniczkowych to podzbiory $\mathbb {R} ^{n}$ takie jak sfera i torus jednakże rozmaitości różniczkowe nie muszą być podzbiorami $\mathbb {R} ^{n}$ i mogą mieć bardzo złożoną naturę.

Rozmaitość różniczkową definiuje się jako przestrzeń Hausdorffa wyposażoną w zbiór map, które pokrywają całą rozmaitość. Mapy składają się z podzbioru rozmaitości oraz funkcji, która przyporządkowuje punktom tego podzbioru współrzędne. Tę funkcję nazywa się układem współrzędnych. Dopuszcza się istnienia wielu map dla danej rozmaitości, ponieważ w ogólności jedna mapa nie wystarcza do opisania jej w całości. Np. dla sfery nie istnieje (w sensie geometrii różniczkowej) globalny układ współrzędnych, ale można ją odwzorować za pomocą dwóch częściowo pokrywających się map (np. dwóch map nieco większych niż półsfery, zachodzących na siebie), na których wprowadza się współrzędne sferyczne (linie współrzędnych są wtedy funkcjami klasy $C^{\infty }$).

Bardzo ważnym obiektem związanym z rozmaitościami różniczkowymi jest przestrzeń styczna. Przestrzeń styczna do rozmaitości różniczkowej w punkcie $p$ to intuicyjnie zbiór wektorów stycznych do rozmaitości w tym punkcie. Geometria różniczkowa formalizuje tę intuicję. Przestrzeń styczna pozwala mówić o wektorach na zbiorach, które nie mają struktury przestrzeni liniowej i umożliwia zdefiniowanie pól wektorowych i tensorowych na rozmaitościach. Poprzez zdefiniowanie form różniczkowych i całki z formy możliwe jest uprawianie rachunku różniczkowego i całkowego na rozmaitościach.

Wprowadzenie struktury rozmaitości różniczkowej ma duże znaczenie np. w fizyce: w szczególnej i ogólnej teorii względności czas i przestrzeń modeluje się za pomocą 4-wymiarowej czasoprzestrzeni, która jest rozmaitością różniczkową (przy czym dodatkowo określa się geometrię czasoprzestrzeni definiując tzw. tensor metryczny).

Definicja

Mapą na przestrzeni topologicznej $M$ w otoczeniu punktu $p\in M$ nazwiemy parę $(U,\varphi )$, gdzie $U\subset M$ zawiera $p$, a $\varphi :U\to \varphi (U)\subset \mathbb {R} ^{n}$ jest homeomorfizmem. Zbiór $U$ nazywamy dziedziną mapy $(U,\varphi )$, funkcję $\varphi$ nazywamy układem współrzędnych w otoczeniu punktu $p$, funkcję do niej odwrotną $\varphi ^{-1}$ nazywa się parametryzacją w otoczeniu punktu $p$, a funkcje $x^{i}:=\pi ^{i}\circ \varphi :U\to \mathbb {R}$, gdzie $\pi ^{i}:\mathbb {R} ^{n}\to \mathbb {R}$ są rzutowaniami na $i$-tą współrzędną względem bazy standardowej $\mathbb {R} ^{n}$:

$\pi ^{i}(x_{1},x_{2},\ldots ,x_{n}):=x_{i}$

nazywamy współrzędnymi wyznaczonymi przez mapę $(U,\varphi )$. Zbiór map, których dziedziny pokrywają całe $M$ nazywamy atlasem na $M$. Przestrzeń Hausdorffa na której istnieje $n$-wymiarowy atlas nazywamy $n$-wymiarową rozmaitością topologiczną.

Atlas ${\mathfrak {M}}$ na $M$ nazwiemy klasy $C^{r}$ jeżeli dla dowolnych dwóch map $(U,\varphi ),\ (V,\psi )\in {\mathfrak {M}}$ takich, że $U\cap V\neq \emptyset$ odwzorowania zamiany współrzędnych $\varphi \circ \psi ^{-1}:\psi (U\cap V)\to \varphi (U\cap V)$ i $\psi \circ \varphi ^{-1}:\varphi (U\cap V)\to \psi (U\cap V)$ są klasy $C^{r}$.

Mapę $(U,\varphi )$ na $M$ nazwiemy $C^{r}$-zgodną z atlasem ${\mathfrak {M}}$ na $M$ jeżeli dla każdej mapy $(V,\psi )\in {\mathfrak {M}}$ takiej, że $U\cap V\neq \emptyset$ odwzorowania zamiany współrzędnych są klasy $C^{r}$.

Mając dany atlas ${\mathfrak {M}}$ klasy $C^{r}$ na $M$ możemy dołączyć do niego wszystkie mapy $C^{r}$-zgodne z nim. W ten sposób otrzymamy maksymalny atlas ${\overline {\mathfrak {M}}}$. Parę: rozmaitość topologiczną wraz z maksymalnym atlasem klasy $C^{r}$ nazywamy rozmaitością różniczkową klasy $C^{r}$.

Funkcje różniczkowalne pomiędzy rozmaitościami

Niech $M,\ N$ będą rozmaitościami różniczkowymi klasy $C^{k}$ i niech $f:M\to N$. Powiemy, że funkcja $f$ jest różniczkowalna klasy $C^{r}$ ($r\leq k$) w punkcie $p$ jeżeli dla pewnej mapy $(U,\varphi )$ w otoczeniu punktu $p$ i dla pewnej mapy $(V,\psi )$ w otoczeniu punktu $f(p)$ funkcja $F:=\psi \circ f\circ \varphi ^{-1}:\varphi (U)\to \psi (V)$ jest różniczkowalna, klasy $C^{r}$ w punkcie $\varphi (p)$.

W definicji korzystamy z pewnych map, ale definicja nie zależy od wyboru map, gdyż dla innych map $(U_{1},\varphi _{1}),\ (V_{1},\psi _{1})$ w otoczeniu odpowiednio $p$ i $f(p)$ mamy

$F_{1}=\psi _{1}\circ f\circ \varphi _{1}^{-1}=(\psi _{1}\circ \psi ^{-1})\circ (\psi \circ f\circ \varphi ^{-1})\circ (\varphi \circ \varphi _{1}^{-1})=(\psi _{1}\circ \psi ^{-1})\circ F\circ (\varphi \circ \varphi _{1}^{-1}).$

Ponieważ odwzorowania zamiany współrzędnych $\psi _{1}\circ \psi ^{-1}$ i $\varphi \circ \varphi _{1}^{-1}$ są klasy $C^{k}$, to $F$ i $F_{1}$ są tej samej klasy gładkości.

Funkcję $f:M\to N$ pomiędzy rozmaitościami nazywamy różniczkowalną klasy $C^{r}$ jeżeli jest różniczkowalna klasy $C^{r}$ w każdym punkcie swojej dziedziny.

Przestrzeń styczna

Przestrzeń styczna do $n$-wymiarowej rozmaitości różniczkowej $M$ w punkcie $p$ to intuicyjnie zbiór wektorów stycznych do rozmaitości w tym punkcie. Wektory te rozpinają $n$-wymiarową przestrzeń liniową co pozwala mówić o wektorach na zbiorach, które nie mają struktury przestrzeni liniowej. Poniższa konstrukcja formalizuje tę intuicję.

Krzywą klasy $C^{r}$ na $M$ przechodzącą przez punkt $p$ nazwiemy odwzorowanie $\gamma$ klasy $C^{r}$ dowolnego przedziału $(-\epsilon ,\epsilon )\subset \mathbb {R}$ w $M$ takie, że $\gamma (0)=p$. Oznaczmy zbiór krzywych klasy $C^{1}$ przechodzących przez punkt $p$ przez ${\bar {T}}_{p}M$. W ${\bar {T}}_{p}M$ dokonamy utożsamienia krzywych, które po przeniesieniu do $\mathbb {R} ^{n}$ za pomocą pewnej mapy $(U,\varphi )$ mają równy wektor styczny w zerze. Mianowicie w ${\bar {T}}_{p}M$ wprowadźmy relację

$\gamma _{1}\sim \gamma _{2}\Leftrightarrow {\frac {d}{dt}}(\varphi \circ \gamma _{1})(0)={\frac {d}{dt}}(\varphi \circ \gamma _{2})(0).$

Relacja $\sim$ jest relacją równoważności. Relacja ta nie zależy od wyboru mapy $(U,\varphi )$. Oznaczmy zbiór klas abstrakcji relacji $\sim$ przez $T_{p}M$. $T_{p}M$ nazywamy przestrzenią styczną do $M$ w punkcie $p$.

Zdefiniujmy funkcję $\Theta _{\varphi }:T_{p}M\to \mathbb {R} ^{n}$ wzorem

$\Theta _{\varphi }([\gamma ]):={\frac {d}{dt}}(\varphi \circ \gamma )(0)$,

gdzie $[\gamma ]$ oznacza klasę abstrakcji krzywej $\gamma$. $\Theta _{\varphi }$ jest bijekcją i pozwala przenieść strukturę przestrzeni liniowej z $\mathbb {R} ^{n}$ do $T_{p}M$. Działania dodawania wektorów z $T_{p}M$ i mnożenia ich przez skalar definiujemy mianowicie w następujący sposób.

$v+w:=\Theta _{\varphi }^{-1}(\Theta _{\varphi }(v)+\Theta _{\varphi }(w))$,

$\alpha \cdot v:=\Theta _{\varphi }^{-1}(\alpha \cdot \Theta _{\varphi }(v)).$

Struktura liniowa w $T_{p}M$ uzyskana w ten sposób nie zależy od wyboru mapy $(U,\varphi )$.

Mapa $(U,\varphi )$ w otoczeniu punktu $p\in M$ na $n$-wymiarowej rozmaitości indukuje bazę $T_{p}M$ daną wzorami

${\frac {\partial }{\partial \varphi _{i}}}:=\Theta _{\varphi }^{-1}(e_{i}),\ i=1,\ldots ,n,$

gdzie $(e_{i})$ oznacza bazę standardową $\mathbb {R} ^{n}$. Bazę tę nazywamy bazą naturalną dla mapy $(U,\varphi )$. Wektory tej bazy oznacza się również ${\frac {\partial }{\partial x_{i}}},\ \partial _{i}$ lub podobnie.

Algebry funkcji C^r(M) i C^r(M, p)

Dla rozmaitości różniczkowej $M$ klasy $C^{r}$ oznaczmy zbiór funkcji $f:M\to \mathbb {R}$ różniczkowalnych klasy $C^{r}$ przez $C^{r}(M).$ $C^{r}(M)$ tworzy algebrę nad $\mathbb {R}$ z działaniami zdefiniowanymi punktowo.

Dla punktu $p$ na rozmaitości różniczkowej $M$ rozpatrzmy zbiór par postaci $(f,U)$, gdzie $U$ jest pewnym otoczeniem punktu $p$, a $f:U\to \mathbb {R}$ jest funkcją różniczkowalną klasy $C^{r}$. W zbiorze tym wprowadźmy relację $\sim$

$(f_{1},U_{1})\sim (f_{2},U_{2})\Leftrightarrow$ istnieje otoczenie $U\subset U_{1}\cap U_{2}$ punktu $p$ takie, że $f_{1}(x)=f_{2}(x)$ dla $x\in U$

Relacja $\sim$ jest relacją równoważności. Klasy abstrakcji tej relacji nazywamy kiełkami funkcji klasy $C^{r}$ w otoczeniu punktu $p$. Ich zbiór oznaczamy $C^{r}(M,p)$. W $C^{r}(M,p)$ możemy wprowadzić strukturę algebry nad $\mathbb {R}$ definiując działania

$[(f,U)]+[(g,V)]:=[(f+g,U\cap V)],$

$\alpha [(f,U)]:=[(\alpha f,U)],$

$[(f,U)]\cdot [(g,V)]:=[(f\cdot g,U\cap V)],$

gdzie $[(f,U)]$ oznacza klasę abstrakcji pary $(f,U).$

Przestrzeń kostyczna

Przestrzeń $T_{p}^{*}M$ dualną do przestrzeni $T_{p}M$ nazywamy przestrzenią kostyczną do $M$ w punkcie $p$.

Dla funkcji $f\in C^{\infty }(M,p)$ zdefiniujmy odwzorowanie $df:T_{p}M\to \mathbb {R}$ wzorem

$df([\gamma ]):={\frac {d}{dt}}(f\circ \gamma )(0).$

Dla $x^{i}:=\pi ^{i}\circ \varphi$ różniczki $dx^{i}:T_{p}M\to \mathbb {R}$ są bazą dualną do bazy $\left({\frac {\partial }{\partial x_{i}}}\right)$ naturalnej dla mapy $(U,\varphi )$ tzn. spełniają równania

$dx^{i}(v)=dx^{i}\left(\sum _{j=1}^{n}v_{j}{\frac {\partial }{\partial x_{j}}}\right)=v_{i},\ i=1,\ldots ,n.$

Odwzorowanie styczne

Uogólnieniem pochodnej funkcji $f:\mathbb {R} ^{n}\to \mathbb {R} ^{m}$ na przypadek funkcji pomiędzy rozmaitościami jest tzw. odwzorowanie styczne. Niech $M,N$ będą rozmaitościami różniczkowymi. Odwzorowaniem stycznym funkcji $f:M\to N$ różniczkowalnej w punkcie $p\in M$ nazywamy odwzorowanie $T_{p}f:T_{p}M\to T_{f(p)}N$ dane wzorem

$T_{p}f([\gamma ]):=[f\circ \gamma ].$

Odwzorowanie styczne przyjmuje jako argumenty wektory styczne z $T_{p}M$ i "przenosi je" do przestrzeni stycznej $T_{f(p)}N$ analogicznie do pochodnej $Df(p)$ funkcji $f:\mathbb {R} ^{n}\to \mathbb {R} ^{m}$, która przenosi wektory z $\mathbb {R} ^{n}$ do $\mathbb {R} ^{m}$. Odwzorowanie $T_{p}f$ nazywa się również pochodną funkcji $f$ w punkcie $p$ lub różniczką funkcji $f$ w punkcie $p$ i oznacza $d_{p}f$ lub podobnie.

Korzystając z mapy $(U,\varphi )$ w otoczeniu punktu $p\in M$ oraz mapy $(V,\psi )$ w otoczeniu punktu $f(p)$ można badanie różniczkowalnej funkcji $f:M\to N$ sprowadzić do badania odwzorowania $\Phi :=\psi \circ f\circ \varphi ^{-1}$. Wówczas odwzorowanie styczne $T_{p}\Phi$ można zinterpretować jako pochodną $D\Phi (p)$ w sensie zwykłego rachunku różniczkowego na $\mathbb {R} ^{n}$.

Pola tensorowe na rozmaitościach

Niech $T^{r,s}(V)$ oznacza zbiór tensorów typu $(r,s)$ $r$-krotnie kowariantnych i $s$-krotnie kontrawariantnych na przestrzeni liniowej $V$. Funkcję $t:M\to \bigcup _{p\in M}T^{r,s}(T_{p}M)$ taką, że $t(p)\in T^{r,s}(T_{p}M)$ nazywamy polem tensorowym typu $(r,s)$ na $M$ $r$-krotnie kowariantnym i $s$-krotnie kontrawariantnym. Innymi słowy pole tensorowe to funkcja, która każdemu punktowi $p$ przyporządkowuje tensor na przestrzeni stycznej do rozmaitości w tym punkcie.

W bazie naturalnej dla mapy $(U,\varphi )$ można pole tensorowe $t$ na $n$-wymiarowej rozmaitości przedstawić lokalnie tzn. w dziedzinie tej mapy w następujący sposób

$t=\sum _{i_{1},\ldots ,i_{r},j_{1},\ldots ,j_{s}=1}^{n}t_{i_{1},\ldots ,i_{r}}^{j_{1},\ldots ,j_{s}}dx^{i_{1}}\otimes \ldots \otimes dx^{i_{r}}\otimes {\frac {\partial }{\partial x_{j_{1}}}}\otimes \ldots \otimes {\frac {\partial }{\partial x_{j_{s}}}},$

gdzie $\otimes$ oznacza iloczyn tensorowy, a $(dx^{i}(p))$ oznacza bazę dualną do bazy $\left({\frac {\partial }{\partial x_{i}}}\right)$ tzn. daną wzorami

$dx^{i}(p)(v)=dx^{i}(p)\left(\sum _{j=1}^{n}v_{j}{\frac {\partial }{\partial x_{j}}}\right)=v_{i}.$

Funkcje $t_{i_{1},\ldots ,i_{r}}^{j_{1},\ldots ,j_{s}}:U\to \mathbb {R}$ nazywamy naturalnymi współrzędnymi pola $t$ (w mapie $(U,\varphi )$). Jeżeli funkcje te są klasy $C^{k}$ (gładkie) w punkcie $p\in M$ to pole $t$ nazywamy klasy $C^{k}$ (gładkim) w punkcie $p$. Definicja ta nie zależy od wyboru mapy. Pole $t$ nazywamy klasy $C^{k}$ (gładkim) jeżeli jest klasy $C^{k}$ (gładkim) w każdym punkcie rozmaitości.

Rachunek różniczkowy i całkowy na rozmaitościach

Bardzo ważnymi polami tensorowymi są antysymetryczne, kowariantne pola tensorowe, czyli formy różniczkowe, ponieważ to jedyne pola tensorowe, które można całkować. W lokalnym układzie współrzędnych $x^{i}:=\pi ^{i}\circ \varphi$ można lokalnie, tzn. w dziedzinie mapy $(U,\varphi )$, przedstawić $k$-formę różniczkową $\omega$ na $n$-wymairowej rozmaitości różniczkowej $M\supset U$ w postaci

$\omega =\sum _{1\leq i_{1}<\ldots <i_{k}\leq n}f_{i_{1},\ldots ,i_{k}}dx^{i_{1}}\wedge \ldots \wedge dx^{i_{k}},$

gdzie $\wedge$ oznacza tzw. iloczyn zewnętrzny.

Jeżeli forma różniczkowa $\omega$ na $M$ ma nośnik zwarty i zawarty w dziedzinie mapy $U\subset M$ to całkę z niej definiujemy

$\int _{U}\omega :=\int _{\varphi (U)}(\varphi ^{-1})^{*}\omega ,$

gdzie $(\varphi ^{-1})^{*}\omega$ to forma cofnięta przez parametryzację $\varphi ^{-1}$. $(\varphi ^{-1})^{*}\omega$ jest już formą różniczkową na zbiorze otwartym w $\mathbb {R} ^{n}$ i całkę z niej można zdefiniować jako całkę Lebesgue'a.

W przypadku ogólnej formy różniczkowej $\omega$ na zwartej rozmaitości różniczkowej $M$ korzystamy z gładkiego rozkładu jedynki, żeby przedstawić $\omega$ w postaci

$\omega =\sum _{i=1}^{n}\omega \lambda _{i}.$

$\omega _{i}:=\omega \lambda _{i}$ ma już nośnik zwarty i zawarty w dziedzinie pewnej mapy $U_{i}\subset M$ w związku z czym możemy zdefiniować

$\int _{M}\omega :=\sum _{i=1}^{n}\int _{U_{i}}\omega _{i}.$

Formy różniczkowe można też różniczkować. Pochodną zewnętrzną formy $\omega =\sum _{1\leq i_{1}<\ldots <i_{k}\leq n}f_{i_{1},\ldots ,i_{k}}dx^{i_{1}}\wedge \ldots \wedge dx^{i_{k}}$ definiujemy jako

$d\omega :=\sum _{1\leq i_{1}<\ldots <i_{k}\leq n}df_{i_{1},\ldots ,i_{k}}\wedge dx^{i_{1}}\wedge \ldots \wedge dx^{i_{k}},$

gdzie $df_{i_{1},\ldots ,i_{k}}$ oznacza odwzorowanie styczne funkcji $f_{i_{1},\ldots ,i_{k}}$. W definicji korzystamy z pewnej mapy, ale pochodna zewnętrzna nie zależy od wyboru mapy.

Głównym twierdzeniem rachunku form różniczkowych jest Ogólne twierdzenie Stokes'a: Jeżeli $M$ jest zwartą, zorientowaną, $n$-wymiarową rozmaitością różniczkową z brzegiem $\partial M$, to dla $(n-1)$-formy $\omega$ na $M$

$\int _{M}d\omega =\int _{\partial M}\omega .$

Rozmaitości gładkie

Przestrzeń styczna

Jeżeli w definicji rozmaitości różniczkowej przyjemy $r=\infty$ to otrzymaną rozmaitość nazwiemy rozmaitością gładką. Rozmaitości gładkie różnią się od pozostałych rozmaitości tym, że w ich przypadku przestrzeń styczną można zdefiniować w sposób algebraiczny.

Niech $M$ będzie rozmaitością gładką. Funkcjonałem różniczkowym na algebrze $C^{\infty }(M,p)$ nazwiemy funkcjonał liniowy $D:C^{\infty }(M,p)\to \mathbb {R}$ taki, że dla każdych $f,g\in C^{\infty }(M,p)$

$D(fg)=Df\cdot g(p)+f(p)\cdot Dg.$

Przestrzenią styczną do $M$ w punkcie $p$ nazywamy przestrzeń liniową funkcjonałów różniczkowych na $C^{\infty }(M,p)$. Oznaczmy ją $T_{p}^{0}M$. Zdefiniujmy $\gamma _{*}\in T_{p}^{0}M$ wzorem

$\gamma _{*}(f):={\frac {d}{dt}}(f\circ \gamma )(0)$.

Funkcja $\varkappa :T_{p}M\to T_{p}^{0}M$ dana wzorem

$\varkappa ([\gamma ]):=\gamma _{*}$

jest naturalnym izomorfizmem (tzn. izomorfizmem niezależnym od wyboru bazy).

Definicja "algebraiczna" jest bardziej abstrakcyjna i mniej intuicyjna, ale często wygodna w użyciu.

Pola wektorowe

Niech $M$ będzie gładką rozmaitością różniczkową i niech $X$ będzie polem wektorowym na $M$. Ponieważ dla $p\in M$ $X_{p}:=X(p)$ jest już wektorem stycznym z $T_{p}M$ to w związku z tym, co zostało powiedziane w poprzednim podrozdziale można $X_{p}$ uważać za funkcjonał różniczkowy. Wynika z tego, że pole wektorowe $X$ na $M$ przyporządkowuje funkcji $f\in C^{\infty }(M)$ funkcję $Xf\in C^{\infty }(M)$ daną wzorem

$(Xf)(p):=X_{p}f\in \mathbb {R} .$

Na rozmaitościach gładkich można pola wektorowe, podobnie jak przestrzeń styczną, zdefiniować czysto algebraicznie jako różniczkowania: dla pola wektorowego $X$ funkcja ${\tilde {X}}:C^{\infty }(M)\to C^{\infty }(M)$ dana wzorem

${\tilde {X}}f:={\tilde {X}}(f):=Xf$

jest różniczkowaniem algebry $C^{\infty }(M)$ tzn. dla dowolnych $f,g\in C^{\infty }(M)$ spełnia

${\tilde {X}}(fg)={\tilde {X}}f\cdot g+f\cdot {\tilde {X}}g.$

Odwrotnie: jeżeli $D$ jest liniowym różniczkowaniem algebry $C^{\infty }(M)$ to

$Df={\tilde {X}}f$

dla pewnego pola wektorowego $X$ na $M.$

Rozmaitości Riemannowskie

Tensorem metrycznym na rozmaitości różniczkowej $M$ nazywamy dwukrotnie kowariantne pole tensorowe $g$ takie, że $g(p):T_{p}M\times T_{p}M\to \mathbb {R}$ jest iloczynem skalarnym tzn. dodatnio określoną, symetryczną formą dwuliniową. Parę: rozmaitość różniczkową wraz ze zdefiniowanym na niej tensorem metrycznym nazywamy rozmaitością riemannowską.

W mapie $(U,\varphi )$ możemy lokalnie przedstawić $g$ na $n$-wymiarowej rozmaitości różniczkowej w postaci

$g=\sum _{i,j=1}^{n}g_{i,j}dx^{i}\otimes dx^{j}.$

Dzięki strukturze riemannowskiej można mówić o kątach pomiędzy wektorami, o długości krzywych na rozmaitości. Dzięki temu możliwe jest zdefiniowanie linii geodezyjnych.

Zobacz też

Pojęcia ogólne

• Rozmaitość różniczkowa w $\mathbb {R} ^{n}$
• rozmaitość riemannowska
• rozmaitość pseudoriemannowska
• współrzędne uogólnione

Operacje różniczkowe

• dywergencja
• gradient
• rotacja
• Laplasjan

Inne

• wektor styczny
• wektor normalny

Bibliografia

• Wojciech Wojtyński: Grupy i algebry Liego. Warszawa: PWN, 1986. Brak numerów stron w książce
• Maciej Skwarczyński: Geometria rozmaitości Riemanna. Warszawa: PWN, 1993. Brak numerów stron w książce