Tečný prostor

Pokud ${\displaystyle M}$ je hladká varieta a ${\displaystyle {\mathcal {F}}(M)}$ značí množinu všech hladkých funkcí definovaných na ${\displaystyle M}$, pak tečným prostorem ${\displaystyle T_{x}{}M}$ variety ${\displaystyle M}$ v bodě ${\displaystyle x\in {}M}$ nazveme množinu všech funkcionálů ${\displaystyle W:{\mathcal {F}}(M)\rightarrow \mathbb {R} }$ splňujících:

1. ${\displaystyle W(\alpha {}f+\beta {}g)=\alpha \,W(f)+\beta \,W(g),\quad {}W\in \alpha ,\beta \in \mathbb {R} }$, ${\displaystyle f,g\in {\mathcal {F}}(M)}$
2. ${\displaystyle W(fg)=f(x)\,W(g)+g(x)\,W(f),\quad {}f,g\in {\mathcal {F}}(M)}$

Každý prvek ${\displaystyle T_{x}{}M}$ nazveme tečným vektorem ${\displaystyle M}$ v bodě ${\displaystyle x}$.

Obr.2: Tečný vektor křivky ${\displaystyle \gamma (t)}$ v bodě ${\displaystyle x}$

Jestliže ${\displaystyle \gamma (t):I\rightarrow {}M}$ (${\displaystyle I}$ je otevřený interval v ${\displaystyle \mathbb {R} }$) je hladká křivka na varietě ${\displaystyle M}$ procházející bodem ${\displaystyle x\in {}M}$ v ${\displaystyle t=0}$, je zobrazení

$${\displaystyle v:f\mapsto {}{\frac {\mathrm {d} }{\mathrm {d} t}}(f\circ \gamma )|_{t=0},\quad {}f\in {\mathcal {F}}(M),}$$

tečným vektorem variety ${\displaystyle M}$ v bodě ${\displaystyle x}$ a současně tečným vektorem křivky ${\displaystyle \gamma (t)}$ v ${\displaystyle x}$.

• Fecko M., Differential Geometry and Lie Groups for Physicists, Cambridge 2006
• Krump L., Souček V., Těšínský J. A.: Matematická analýza na Varietách, skripta MFF UK, Karolinum 1999
• Kowalski O., Úvod do Riemannovy geometrie, Univerzita Karlova, Praha 1995