Let X (u , v ) be a parametric surface . Then the inner product of two tangent vectors is
I
(
a
X
u
+
b
X
v
,
c
X
u
+
d
X
v
)
=
a
c
⟨
X
u
,
X
u
⟩
+
(
a
d
+
b
c
)
⟨
X
u
,
X
v
⟩
+
b
d
⟨
X
v
,
X
v
⟩
=
E
a
c
+
F
(
a
d
+
b
c
)
+
G
b
d
,
{\displaystyle {\begin{aligned}&\mathrm {I} (aX_{u}+bX_{v},cX_{u}+dX_{v})\\[5pt]={}&ac\langle X_{u},X_{u}\rangle +(ad+bc)\langle X_{u},X_{v}\rangle +bd\langle X_{v},X_{v}\rangle \\[5pt]={}&Eac+F(ad+bc)+Gbd,\end{aligned}}}
where E , F , and G are the coefficients of the first fundamental form .
The first fundamental form may be represented as a symmetric matrix .
I
(
x
,
y
)
=
x
T
[
E
F
F
G
]
y
{\displaystyle \mathrm {I} (x,y)=x^{\mathsf {T}}{\begin{bmatrix}E&F\\F&G\end{bmatrix}}y}
When the first fundamental form is written with only one argument, it denotes the inner product of that vector with itself.
I
(
v
)
=
⟨
v
,
v
⟩
=
|
v
|
2
{\displaystyle \mathrm {I} (v)=\langle v,v\rangle =|v|^{2}}
The first fundamental form is often written in the modern notation of the metric tensor . The coefficients may then be written as gij :
(
g
i
j
)
=
(
g
11
g
12
g
21
g
22
)
=
(
E
F
F
G
)
{\displaystyle \left(g_{ij}\right)={\begin{pmatrix}g_{11}&g_{12}\\g_{21}&g_{22}\end{pmatrix}}={\begin{pmatrix}E&F\\F&G\end{pmatrix}}}
The components of this tensor are calculated as the scalar product of tangent vectors X 1 and X 2 :
g
i
j
=
⟨
X
i
,
X
j
⟩
{\displaystyle g_{ij}=\langle X_{i},X_{j}\rangle }
for i , j = 1, 2 . See example below.
Calculating lengths and areas
edit
The first fundamental form completely describes the metric properties of a surface. Thus, it enables one to calculate the lengths of curves on the surface and the areas of regions on the surface. The line element ds may be expressed in terms of the coefficients of the first fundamental form as
d
s
2
=
E
d
u
2
+
2
F
d
u
d
v
+
G
d
v
2
.
{\displaystyle ds^{2}=E\,du^{2}+2F\,du\,dv+G\,dv^{2}\,.}
The classical area element given by dA = |Xu × Xv | du dv can be expressed in terms of the first fundamental form with the assistance of Lagrange's identity ,
d
A
=
|
X
u
×
X
v
|
d
u
d
v
=
⟨
X
u
,
X
u
⟩
⟨
X
v
,
X
v
⟩
−
⟨
X
u
,
X
v
⟩
2
d
u
d
v
=
E
G
−
F
2
d
u
d
v
.
{\displaystyle dA=|X_{u}\times X_{v}|\ du\,dv={\sqrt {\langle X_{u},X_{u}\rangle \langle X_{v},X_{v}\rangle -\left\langle X_{u},X_{v}\right\rangle ^{2}}}\,du\,dv={\sqrt {EG-F^{2}}}\,du\,dv.}
Example: curve on a sphere
edit
A spherical curve on the unit sphere in R 3 may be parametrized as
X
(
u
,
v
)
=
[
cos
u
sin
v
sin
u
sin
v
cos
v
]
,
(
u
,
v
)
∈
[
0
,
2
π
)
×
[
0
,
π
]
.
{\displaystyle X(u,v)={\begin{bmatrix}\cos u\sin v\\\sin u\sin v\\\cos v\end{bmatrix}},\ (u,v)\in [0,2\pi )\times [0,\pi ].}
Differentiating X (u ,v ) with respect to u and v yields
X
u
=
[
−
sin
u
sin
v
cos
u
sin
v
0
]
,
X
v
=
[
cos
u
cos
v
sin
u
cos
v
−
sin
v
]
.
{\displaystyle {\begin{aligned}X_{u}&={\begin{bmatrix}-\sin u\sin v\\\cos u\sin v\\0\end{bmatrix}},\\[5pt]X_{v}&={\begin{bmatrix}\cos u\cos v\\\sin u\cos v\\-\sin v\end{bmatrix}}.\end{aligned}}}
The coefficients of the first fundamental form may be found by taking the dot product of the partial derivatives .
E
=
X
u
⋅
X
u
=
sin
2
v
F
=
X
u
⋅
X
v
=
0
G
=
X
v
⋅
X
v
=
1
{\displaystyle {\begin{aligned}E&=X_{u}\cdot X_{u}=\sin ^{2}v\\F&=X_{u}\cdot X_{v}=0\\G&=X_{v}\cdot X_{v}=1\end{aligned}}}
so:
[
E
F
F
G
]
=
[
sin
2
v
0
0
1
]
.
{\displaystyle {\begin{bmatrix}E&F\\F&G\end{bmatrix}}={\begin{bmatrix}\sin ^{2}v&0\\0&1\end{bmatrix}}.}
Length of a curve on the sphere
edit
The equator of the unit sphere is a parametrized curve given by
(
u
(
t
)
,
v
(
t
)
)
=
(
t
,
π
2
)
{\displaystyle (u(t),v(t))=(t,{\tfrac {\pi }{2}})}
with t ranging from 0 to 2π . The line element may be used to calculate the length of this curve.
∫
0
2
π
E
(
d
u
d
t
)
2
+
2
F
d
u
d
t
d
v
d
t
+
G
(
d
v
d
t
)
2
d
t
=
∫
0
2
π
|
sin
v
|
d
t
=
2
π
sin
π
2
=
2
π
{\displaystyle \int _{0}^{2\pi }{\sqrt {E\left({\frac {du}{dt}}\right)^{2}+2F{\frac {du}{dt}}{\frac {dv}{dt}}+G\left({\frac {dv}{dt}}\right)^{2}}}\,dt=\int _{0}^{2\pi }\left|\sin v\right|\,dt=2\pi \sin {\tfrac {\pi }{2}}=2\pi }
Area of a region on the sphere
edit
The area element may be used to calculate the area of the unit sphere.
∫
0
π
∫
0
2
π
E
G
−
F
2
d
u
d
v
=
∫
0
π
∫
0
2
π
sin
v
d
u
d
v
=
2
π
[
−
cos
v
]
0
π
=
4
π
{\displaystyle \int _{0}^{\pi }\int _{0}^{2\pi }{\sqrt {EG-F^{2}}}\ du\,dv=\int _{0}^{\pi }\int _{0}^{2\pi }\sin v\,du\,dv=2\pi {\Big [}{-\cos v}{\Big ]}_{0}^{\pi }=4\pi }
The Gaussian curvature of a surface is given by
K
=
det
I
I
p
det
I
p
=
L
N
−
M
2
E
G
−
F
2
,
{\displaystyle K={\frac {\det \mathrm {I\!I} _{p}}{\det \mathrm {I} _{p}}}={\frac {LN-M^{2}}{EG-F^{2}}},}
where L , M , and N are the coefficients of the second fundamental form .
Theorema egregium of Gauss states that the Gaussian curvature of a surface can be expressed solely in terms of the first fundamental form and its derivatives, so that K is in fact an intrinsic invariant of the surface. An explicit expression for the Gaussian curvature in terms of the first fundamental form is provided by the Brioschi formula .