出典: フリー百科事典『ウィキペディア（Wikipedia）』
微分幾何学 における第一基本形式 （英 : first fundamental form ）とは、 R 3 標準内積 から標準的に誘導される3次元ユークリッド空間 中の曲面の接空間 上の内積 を言う。これにより全体空間（ambient space）と一致する方法で曲面の曲率や例えば長さと面積などの曲面の計量的性質を計算することができるようになる。第一基本形式は、ローマ数字の I で表示される。
I
(
x
,
y
)
=
⟨
x
,
y
⟩
.
{\displaystyle \mathrm {I} (x,y)=\langle x,y\rangle .}
X (u , v )接線ベクトル の内積は次のようになる。
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}&{}\quad \mathrm {I} (aX_{u}+bX_{v},cX_{u}+dX_{v})\\&=ac\langle X_{u},X_{u}\rangle +(ad+bc)\langle X_{u},X_{v}\rangle +bd\langle X_{v},X_{v}\rangle \\&=Eac+F(ad+bc)+Gbd,\end{aligned}}}
ここで、
E 、
F 、および
G は
、第一基本形式の係数 （coefficients of the first fundamental form）である。
第一基本形式は対称行列 として表現することもできる。
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}
ほかの表記法 [ 編集 ] 第一基本形式がただ1つの引数のみで記述される場合、第一基本形式はそのベクトルとそれ自身の内積を表示することになる。
I
(
v
)
=
⟨
v
,
v
⟩
=
|
v
|
2
{\displaystyle \mathrm {I} (v)=\langle v,v\rangle =|v|^{2}}
第一基本形式は、しばしば、
計量テンソル の現代的な表記として記述される。このとき、係数は
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}}}
計量テンソルの成分は接ベクトル
X 1 と
X 2 の内積として計算される。
g
i
j
=
X
i
⋅
X
j
{\displaystyle g_{ij}=X_{i}\cdot X_{j}}
ただし、
i , j = 1, 2 。以下の例を参照せよ。
長さと面積の計算 [ 編集 ] 第一基本形式は、曲面の計量的な性質を完全に記述する。したがって、第一基本形式によって曲面上の曲線の長さや曲面上の領域の面積の計算ができるようになる。線素（line element）ds
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}\,.}
古典的な面積要素
dA = |Xu × Xv | du dv は、ラグランジュの恒等式（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.}
例：球面上の曲線 [ 編集 ] R 3 単位球 上の球面曲線 は、次のように媒介変数表示することができる。
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 ].}
X (u ,v ) を
u と
v に関して微分すると、次のようになる。
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}},\\X_{v}&={\begin{bmatrix}\cos u\cos v\\\sin u\cos v\\-\sin v\end{bmatrix}}.\end{aligned}}}
第一基本形式の係数は、この
偏導関数 の内積を取ることで得ることもできる。
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}}}
すなわち、次のようになる。
[
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}}.}
球面上の曲線の長さ [ 編集 ] 単位球面の赤道 は、次の式で与えられる媒介変数表示された曲線である。
(
u
(
t
)
,
v
(
t
)
)
=
(
t
,
π
2
)
{\displaystyle (u(t),v(t))=(t,{\tfrac {\pi }{2}})}
t の範囲は 0 から 2
π である。線素は曲線の長さを計算するために用いられることもある。
∫
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 }
球面上の領域の面積 [ 編集 ] 面積要素は、単位球面の面積を計算するために用いられることもある。
∫
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 \left[-\cos v\right]_{0}^{\pi }=4\pi }
ガウス曲率 [ 編集 ] 曲面のガウス曲率 は次の式で与えられる。
K
=
det
I
I
det
I
=
L
N
−
M
2
E
G
−
F
2
,
{\displaystyle K={\frac {\det \mathrm {I\!I} }{\det \mathrm {I} }}={\frac {LN-M^{2}}{EG-F^{2}}},}
ここで、
L 、
M 、および
N は、第二基本形式の係数である。
ガウス のTheorema Egregium は、曲面のガウス曲率は第一基本形式とその微分を用いるだけで表すことができるということを主張しており、したがって、ガウス曲率 K は、事実として、曲面の内在的な不変量であるということを主張している。第一基本形式に関するガウス曲率の明示的な表現は、 Brioschiの式 によって与えられる。
関連項目 [ 編集 ] 外部リンク [ 編集 ] 
![{\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 ].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c102effdd0292b9763efd1e5e8d3f89a5902e75)
![{\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 \left[-\cos v\right]_{0}^{\pi }=4\pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e28136ab5471d71dffcf90e5046ebf12a5316d6)
