Primera forma fonamental

En geometria diferencial, la primera forma fonamental és el producte escalar induït canònicament en l'espai tangent de cada punt d'una superfície en un espai euclidià tridimensional. Es fa servir per calcular la curvatura i propietats mètriques d'una superfície com ara longituds i àrees, de manera compatible amb l'espai circumdant. La primera forma fonamental es denota amb el nombre romà Plantilla:Math,

$\mathrm{I}(x,y)=⟨x,y⟩.$

Sigui Plantilla:Math una superfície paramètrica. Llavors el producte escalar de dos vectors tangents és

$\begin{array}{cc}& \mathrm{I}(a{X}_u+b{X}_v,c{X}_u+d{X}_v)\\ & =ac⟨X_u,X_u⟩+(ad+bc)⟨X_u,X_v⟩+bd⟨X_v,X_v⟩\\ & =Eac+F(ad+bc)+Gbd,\end{array}$

on Plantilla:Math, Plantilla:Math i Plantilla:Math són els coeficients de la primera forma fonamental.

La primera forma fonamental es pot representar en forma de matriu simètrica.

$\mathrm{I}(x,y)=x^{𝖳}\left(\begin{array}{cc}E& F\\ F& G\end{array}\right)y$

Notació complementària

Quan la primera forma fonamental s'escriu amb un únic un argument, denota el producte escalar del vector amb ell mateix.

$\mathrm{I}(v)=⟨v,v⟩=|v{|}^2$

La primera forma fonamental s'escriu sovint amb la notació moderna del tensor mètric. Llavors, els coeficients es denoten $g_{ij}$:

$\left(g_{ij}\right)=\left(\begin{array}{cc}{g}_{11}& g_{12}\\ g_{21}& g_{22}\end{array}\right)=\left(\begin{array}{cc}E& F\\ F& G\end{array}\right)$

Els components d'aquest tensor s'obtenen com a producte escalar dels vectors tangents $X_1$ i $X_2$:

$g_{ij}=X_i\cdot X_j$

per Plantilla:Math.

Càlcul de longituds i àrees

La primera forma fonamental descriu completament les propietats mètriques d'una superfície. Així, es fa servir per calcular les longituds de corbes en la superfície i les àrees de regions en la superfície. El diferencial de longitud Plantilla:Math es pot expressar en termes dels coeficients de la primera forma fonamental com a

$d{s}^2=Ed{u}^2+2Fdudv+Gd{v}^2.$

El diferencial d'àrea clàssic donat per $dA=|X_u\times X_v|dudv$ es pot expressar en termes de la primera forma fonamental fent servir la identitat de Lagrange,

$dA=|X_u\times X_v|dudv=\sqrt{⟨X_u,X_u⟩⟨X_v,X_v⟩-{⟨X_u,X_v⟩}^2}dudv=\sqrt{EG-F^2}dudv.$

Exemple: propietats mètriques en una esfera

Una esfera unitat a ${ℝ}^3$ es pot parametritzar com a

$X(u,v)=\left(\begin{array}{c}\cos u\sin v\\ \sin u\sin v\\ \cos v\end{array}\right),(u,v)\in [0,2\pi )\times [0,\pi ].$

Derivant Plantilla:Math respecte a u i v s'obté

$\begin{array}{cc}{X}_u& =\left(\begin{array}{c}-\sin u\sin v\\ \cos u\sin v\\ 0\end{array}\right),\\ X_v& =\left(\begin{array}{c}\cos u\cos v\\ \sin u\cos v\\ -\sin v\end{array}\right).\end{array}$

Els coeficients de la primera forma fonamental es poden obtenir fent el producte escalar de les derivades parcials.

$\begin{array}{cc}E& =X_u\cdot X_u={\sin }^{2}v\\ F& =X_u\cdot X_v=0\\ G& =X_v\cdot X_v=1\end{array}$

Per tant:

$\left(\begin{array}{cc}E& F\\ F& G\end{array}\right)=\left(\begin{array}{cc}{\sin }^{2}v& 0\\ 0& 1\end{array}\right)$

Longitud d'una corba en l'esfera

L'equador de l'esfera és una corba parametritzada per

$(u(t),v(t))=(t,\frac{\pi }{2})$

Amb Plantilla:Mvar entre 0 i 2π. Per trobar-ne la longitud es pot fer servir el diferencial de longitud.

$\underset{0}{\overset{2\pi }{\int }}\sqrt{E{\left(\frac{du}{dt}\right)}^2+2F\frac{du}{dt}\frac{dv}{dt}+G{\left(\frac{dv}{dt}\right)}^2}dt=\underset{0}{\overset{2\pi }{\int }}|\sin v|dt=2\pi \sin \frac{\pi }{2}=2\pi$

Àrea d'una regió en l'esfera

Per calcular l'àrea de l'esfera es fa servir el diferencial d'àrea.

$\underset{0}{\overset{\pi }{\int }}\underset{0}{\overset{2\pi }{\int }}\sqrt{EG-F^2}dudv=\underset{0}{\overset{\pi }{\int }}\underset{0}{\overset{2\pi }{\int }}\sin vdudv=2\pi {[-\cos v]}_0^{\pi }=4\pi$

Curvatura gaussiana

La curvatura gaussiana d'una superfície és

$K=\frac{\det \mathrm{I}\mathrm{I}}{\det \mathrm{I}}=\frac{LN-M^2}{EG-F^2},$

on Plantilla:Mvar, Plantilla:Mvar i N són els coeficients de la segona forma fonamental.

El teorema egregi de Gauss estableix que la curvatura gaussiana d'una superfície es pot expressar només en termes de la primera forma fonamental i les seves derivades, de manera que Plantilla:Mvar és, de fet, una invariant intrínseca de la superfície. La fórmula de Brioschi dona explícitament la curvatura gaussiana en termes de la primera forma fonamental:

$K=\frac{\det \left|\begin{array}{ccc}-\frac{1}{2}{E}_{vv}+F_{uv}-\frac{1}{2}{G}_{uu}& \frac{1}{2}{E}_u& F_u-\frac{1}{2}{E}_v\\ F_v-\frac{1}{2}{G}_u& E& F\\ \frac{1}{2}{G}_v& F& G\end{array}\right|-\det \left|\begin{array}{ccc}0& \frac{1}{2}{E}_v& \frac{1}{2}{G}_u\\ \frac{1}{2}{E}_v& E& F\\ \frac{1}{2}{G}_u& F& G\end{array}\right|}{(EG-F^2{)}^2}$

Vegeu també

• Tensor mètric
• Segona forma fonamental
• Tercera forma fonamental
• U-forma canònica

Enllaços externs

• First Fundamental Form — from Wolfram MathWorld