logo

ガウス曲率と測地曲率 📂幾何学

ガウス曲率と測地曲率

ビルドアップ1

{T(s),N(s),B(s),κ(s),τ(s)} \left\{ T(s), N(s), B(s), \kappa (s), \tau (s) \right\}

曲線を分析するとき、フレネ・セレ装置を使ったのを思い出してほしい。曲面について学ぶときも、同様のものを考えることになる。α\boldsymbol{\alpha}が単位速度曲線のとき、曲線の曲率は加速度の大きさκ=T=α\kappa = \left| T^{\prime} \right| = \left| \boldsymbol{\alpha}^{\prime \prime} \right|で定義されたんだ。曲面がどれくらい曲がっているかを知るためには、曲面上の曲線がどれくらい曲がっているかを見ることは自然な考え方だ。

x:UR2M\mathbf{x} : U\subset \R^{2} \to Mとして与えられた曲面を考えてみよう。α(s)\boldsymbol{\alpha}(s)を単純曲面x\mathbf{x}上の単位速度曲線としよう。それではα\boldsymbol{\alpha}のためのフレネ・セレ装置を次のように表記しよう。

{T,N,B,κ,τ} \left\{ \mathbf{T}, \mathbf{N}, \mathbf{B}, \kappa, \tau \right\}

pMp \in Mでの単位法線n\mathbf{n}としよう。点ppMM垂直なすべてのベクトルの集合をNpMN_{p}Mとしよう。

NpM:={rn:rR}={all vectors perpendicular to M at p} N_{p}M := \left\{ r \mathbf{n} : r \in \R \right\} = \left\{ \text{all vectors perpendicular to } M \text{ at } p \right\}

そのため、接平面の定義により、TpMT_{p}MNpMN_{p}M直交補空間だ。

NpM=TpM N_{p}M ^{\perp} = T_{p}M

したがって、R3\R^{3}は次のように直交分解され、α\boldsymbol{\alpha}^{\prime \prime}は2つの空間のベクトルの線形結合で表すことができる

R3=NpMTpMandα(s)=n1n(s)+n2n(s)(nNpM, nTpM) \R^{3} = N_{p}M \oplus T_{p}M \quad \text{and} \quad \boldsymbol{\alpha}^{\prime \prime}(s) = n_{1}\mathbf{n}(s) + n_{2}\mathbf{n}^{\perp}(s)\quad (\mathbf{n}\in N_{p}M,\ \mathbf{n}^{\perp}\in T_{p}M)

T=α\mathbf{T} = \boldsymbol{\alpha}^{\prime}接ベクトルとしよう。α\boldsymbol{\alpha}は単位速度ベクトルなので、次の式が成り立つ。

α(s)2=T(s)2=T,T=1 \left| \boldsymbol{\alpha}^{\prime}(s) \right|^{2} = \left| \mathbf{T}(s) \right|^{2} = \left\langle \mathbf{T}, \mathbf{T} \right\rangle = 1

両辺を微分すると、内積の微分法により次を得る。

T,T= 0    T,T= 0    α,T= 0 \begin{align*} && \left\langle \mathbf{T}, \mathbf{T} \right\rangle^{\prime} =&\ 0 \\ \implies && \left\langle \mathbf{T}^{\prime}, \mathbf{T} \right\rangle =&\ 0 \\ \implies && \left\langle \boldsymbol{\alpha}^{\prime \prime}, \mathbf{T} \right\rangle =&\ 0 \end{align*}

したがって、α\boldsymbol{\alpha}^{\prime \prime}T\mathbf{T}と垂直だ。α\boldsymbol{\alpha}^{\prime \prime}を分けて書いてみると、n\mathbf{n}T\mathbf{T}は互いに垂直なので、次を得る。

α,T= 0    n1n+n2n,T= 0    n1n,T+n2n,T= 0    n2n,T= 0 \begin{align*} && \left\langle \boldsymbol{\alpha}^{\prime \prime}, \mathbf{T} \right\rangle =&\ 0 \\ \implies && \left\langle n_{1}\mathbf{n} + n_{2}\mathbf{n}^{\perp}, \mathbf{T} \right\rangle =&\ 0 \\ \implies && \left\langle n_{1}\mathbf{n}, \mathbf{T} \right\rangle + \left\langle n_{2}\mathbf{n}^{\perp}, \mathbf{T} \right\rangle =&\ 0 \\ \implies && \left\langle n_{2}\mathbf{n}^{\perp}, \mathbf{T} \right\rangle =&\ 0 \end{align*}

したがって、n\mathbf{n}^{\perp}n\mathbf{n}T\mathbf{T}の両方と垂直なベクトルであることがわかる。そこで、ベクトルS\mathbf{S}を次のように定義しよう。

S:=n×Tandα=n1n+sS \mathbf{S} := \mathbf{n}\times \mathbf{T} \quad \text{and} \quad \boldsymbol{\alpha}^{\prime \prime} = n_{1}\mathbf{n} + s\mathbf{S}

S\mathbf{S}α\boldsymbol{\alpha}内在的法線と呼ぶ。

定義

n\mathbf{n}の成分n1n_{1}を単位速度曲線α\boldsymbol{\alpha}法曲率と呼び、κn\kappa_{n}と表記する。

κn:=α,n \kappa_{n} := \left\langle \boldsymbol{\alpha}^{\prime \prime}, \mathbf{n} \right\rangle

S\mathbf{S}の成分ssを単位速度曲線α\boldsymbol{\alpha}測地曲率と呼び、κg\kappa_{g}と表記する。

κg:=α,S \kappa_{g} := \left\langle \boldsymbol{\alpha}^{\prime \prime}, \mathbf{S} \right\rangle

したがって、次の式が成り立つ。

κ(s)N(s)=T(s)=α(s)=κn(s)n(s)+κg(s)S(s) \kappa (s) \mathbf{N}(s) = \mathbf{T}^{\prime}(s) = \boldsymbol{\alpha}^{\prime \prime}(s) = \kappa_{n}(s)\mathbf{n}(s) + \kappa_{g}(s)\mathbf{S}(s)

説明

法曲率κn\kappa_{n}は曲面MMR3\R^{3}でどれくらい曲がっているかを測るのに使われる。測地曲率κg\kappa_{g}は曲線α\boldsymbol{\alpha}が曲面MMでどれくらい曲がっているかを測るのに使われる。例えば、測地曲率κg\kappa_{g}00である曲線は、曲面上の直線、つまり測地線を意味することになる。

n,S\mathbf{n}, \mathbf{S}が単位ベクトルであるので、上の定義により次の式が成り立つ。

κ2=κn2+κg2 \kappa^{2} = \kappa_{n}^{2} + \kappa_{g}^{2}


  1. Richard S. Millman and George D. parker, Elements of Differential Geometry (1977), p102-104 ↩︎