二次曲面のソースを表示

{{出典の明記|date=2015年10月}}
'''二次超曲面'''（にじちょうきょくめん、{{lang-en-short|quadric surface}}）とは、[[円錐曲線]]の概念を一般次元[[ユークリッド空間]] '''R'''<sup>''n''</sup> に拡張したものであり、2次多項式の零点集合として表されるような超曲面のことをさす。3次元空間における二次超曲面は'''二次曲面'''ともよばれる。

== 定義 ==
一般な ''n'' &minus; 1-次元二次超曲面の定義式は、座標 (''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>) に対して
: <math>\left(\sum^{n}_{i=1} a_{i}x_{i}^2 + 2\sum^{n}_{i<j} a_{ij}x_{i}x_{j}\right) + \left(2\sum^{n}_{i=1} b_{i}x_{i}\right) + (c) = 0 </math>
で与えられる。ただし、ここで ''a''<sub>''i''</sub>, ''a''<sub>''ij''</sub> のうち少なくとも一つは 0 でないことが要求される。また、次のような行列、及びベクトル
: <math>
\mathbf{x} = \begin{pmatrix} x_1 \\ x_2 \\ \vdots \\ x_n \\ \end{pmatrix}, \quad 
A = \begin{pmatrix}
a_{1} & a_{12} & \cdots & a_{1n} \\
a_{12} & a_{2} & \cdots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{1n} & a_{2n} & \cdots & a_{n}
\end{pmatrix}, \quad 
\mathbf{b} = \begin{pmatrix} b_1 \\ b_2 \\ \vdots \\ b_n \end{pmatrix}
</math>
を考えると、定義式の 2 次と 1 次の[[斉次多項式|斉次部分]]は[[数ベクトル空間| '''R'''<sup>''n''</sup> の標準内積]] &lang;&bull;, &bull;&rang; を使って
: <math>\langle A\mathbf{x},\mathbf{x}\rangle = \sum^{n}_{i=1} a_{i}x_{i}^2 + 2\sum^{n}_{i<j} a_{ij}x_{i}x_{j}, \quad \langle\mathbf{b},\mathbf{x}\rangle = \sum^{n}_{i=1} b_{i}x_{i}</math>
と表すことができるので、定義式は
: <math>\langle A\mathbf{x}, \mathbf{x}\rangle + 2\langle\mathbf{b}, \mathbf{x}\rangle + c = 0</math>
という形に書くことができる。これはさらに
:<math>\tilde{\mathbf{x}} = \begin{pmatrix} \mathbf{x} \\ 1 \end{pmatrix} = \begin{pmatrix} x_1\\ x_2\\ \vdots\\ x_n\\ 1 \end{pmatrix}, \quad R = \begin{pmatrix} A & \mathbf{b} \\ {}^t\mathbf{b} & c \end{pmatrix} = \begin{pmatrix}
 a_{1} & a_{12} & \cdots & a_{1n} & b_1\\
 a_{12} & a_{2} & \cdots & a_{2n} & b_2\\
 \vdots & \vdots & \ddots & \vdots & \vdots\\
 a_{1n} & a_{2n} & \cdots & a_{n} & b_n\\
 b_1 & b_2 & \cdots & b_n & c
\end{pmatrix}</math>
とおくことにより、
:<math>\langle R\tilde{\mathbf{x}},\tilde{\mathbf{x}}\rangle = 0</math>
の形になる。このとき、''A'' をこの二次曲面の'''係数行列'''と呼び、''R'' をこの二次曲面の'''拡大係数行列'''と呼ぶ。2 次の係数に関する制約から、''A'' および ''R'' は[[零行列]]にはならない。

== 標準形 ==
''n'' &minus; 1-次元二次超曲面は、その拡大係数行列の[[行列の階数|階数]]が ''n'' + 1 に等しいとき'''非退化'''であるといい、そうでないとき'''退化'''しているという。二次超曲面が非退化であるとき、係数行列 ''A'' と拡大係数行列 ''R'' の階数の関係を用いて、二次超曲面は次のように分類される。
: rank ''R'' &minus; rank ''A'' = 0: '''錐面'''
: rank ''R'' &minus; rank ''A'' = 1: '''有心二次超曲面'''
: rank ''R'' &minus; rank ''A'' = 2: '''無心二次超曲面'''
また、退化した二次超曲面は[[筒面]]の一種である。今、有心と無心という言葉が出てきたが、これは点対称であるかないかを指す。上の 3 つは、適当な[[直交変換]]を行うことによって、次のような陰関数に帰着できる。
*錐面
:<math>a'_1 X_1^2 + a'_2 X_2^2 + \cdots + a'_n X_n^2 = 0</math>
*有心二次超曲面
:<math>a'_1 X_1^2 + a'_2 X_2^2 + \cdots + a'_n X_n^2 = 1</math>
*無心二次超曲面
:<math>a'_1 X_1^2 + a'_2 X_2^2 + \cdots + a'_{n-1} X_{n-1}^2 + 2b X_n = 1</math>
上の 3 式を、非退化な二次超曲面の'''標準形'''という。この時、上の係数を対角成分にもつ行列は適当な相似変換を行うことにより、次のような行列に変換できる。
:<math> S = \begin{pmatrix}
 E_p & 0    & 0 \\
 0   & -E_q & 0 \\
 0   & 0    & (0)
\end{pmatrix}</math>
ただし、右下の成分が 0 になるのは、無心二次超曲面の場合のみである。係数 1 の[[単位行列]]の次数 ''p'' と、係数 &minus;1 の単位行列の次数 ''q'' を対にしたもの (''p'', ''q'') を、二次超曲面の'''符号数'''という。二次超曲面の形態は、符号数によってさらに細かく分類される。

== 楕円体の体積 ==
符号数が (''n'', 0) であるような二次超曲面を'''楕円<!-- 超曲 -->面'''という。楕円面は、二次超曲面の中で唯一の閉じた超曲面である。従って、楕円面によって囲まれた部分（'''楕円体'''）にのみ[[体積]]が定義できる。その体積 ''V'' は、[[ガンマ関数]] &Gamma;(''x'') を用いて、
:<math>V = \frac{\Gamma(1/2)^n}{\Gamma(n/2+1)}\sqrt{\frac{1}{|A|}}</math>
で与えられる。これは半径 ''r'' の球の体積 (4&pi;/3)''r''<sup>3</sup> の一般化である。

== 2次元二次曲面 ==
比較的初等の数学では、二次曲面と言うと狭義に 3 次元ユークリッド空間 '''R'''<sup>3</sup> 内の曲面を指していた。その実態については一般次元の場合と同じであるが、円錐曲線のように、各曲面に固有の名称がついているので、それについて挙げることにする。ここでは、a,b,cはそれぞれ正の[[実数]]とする。

定曲線に沿って直線で形成される曲面（[[線織面]]）は以下の4通りである。
* 錐面（実の二次錐面）
* 双曲放物面
* 一葉双曲面
* 柱面※定曲線と鉛直の直線で形成される。

二次曲面は、{{Mvar|xyz}}[[ユークリッド空間|-空間]] {{Math|'''R'''<sup>3</sup>}} 上で定義され、次の[[陰関数]]曲線によって与えることが出来る。
:<math>Q = \left\{ (x,y,z) \in \R^3 \mid A x^2 + B y^2 + C z^2 + D xy + E yz + F xz + G x + H y + I z + J = 0 \right\}</math>

{| class="wikitable sortable" style="text-align:center;" align="center"
! &rho;(※) !! 符号数 !! 曲面の名称 !! 標準形
|-
| rowspan="2" | 0 
| rowspan="2" | 
! rowspan="2" | [[錐面]] 
| ''aX''<sup>2</sup> + ''bY''<sup>2</sup> + ''cZ''<sup>2</sup> = 0 （一点又は虚の二次錘面）
|-
| ''aX''<sup>2</sup> + ''bY''<sup>2</sup> &minus; ''cZ''<sup>2</sup> = 0
|-
| 1 || (3, 0) 
! [[楕円面]] 
| ''aX''<sup>2</sup> + ''bY''<sup>2</sup> + ''cZ''<sup>2</sup> = 1
|-
| 1 || (2, 1) 
! 一葉[[双曲面]]
| ''aX''<sup>2</sup> + ''bY''<sup>2</sup> &minus; ''cZ''<sup>2</sup> = 1
|-
| 1 || (1, 2) 
! 二葉双曲面
| ''aX''<sup>2</sup> &minus; ''bY''<sup>2</sup> &minus; ''cZ''<sup>2</sup> = 1
|- 
| 1 || (0, 3) || （なし）又は虚の楕円面
| &minus;''aX''<sup>2</sup> &minus; ''bY''<sup>2</sup> &minus; ''cZ''<sup>2</sup> = 1
|-
| 2 || (2, 0) 
! 楕円[[放物面]]
| ''aX''<sup>2</sup> + ''bY''<sup>2</sup> + 2''cZ'' = 1
|-
| 2 || (1, 1) 
! 双曲放物面
| ''aX''<sup>2</sup> &minus; ''bY''<sup>2</sup> + 2''cZ'' = 1
|-
| 2 || (0, 2) 
! 楕円放物面
| &minus;''aX''<sup>2</sup> &minus; ''bY''<sup>2</sup> + 2''cZ'' = 1
|- 
| rowspan="2" | ('''R'''<sup>2</sup>) 0
| rowspan="2" | 
! rowspan="2" | 交差二[[平面]] 
| ''aX''<sup>2</sup> + ''bY''<sup>2</sup> = 0（直線）
|- 
| ''aX''<sup>2</sup> &minus; ''bY''<sup>2</sup> = 0
|- 
| ('''R'''<sup>2</sup>) 1 || (2, 0) 
! 楕円[[柱面]]
| ''aX''<sup>2</sup> + ''bY''<sup>2</sup> = 1
|- 
| ('''R'''<sup>2</sup>) 1 || (1, 1) 
! 双曲柱面
| ''aX''<sup>2</sup> &minus; ''bY''<sup>2</sup> = 1
|-
| ('''R'''<sup>2</sup>) 1 || (0, 2) ||（なし）又は虚の楕円柱面
| &minus;''aX''<sup>2</sup> &minus; ''bY''<sup>2</sup> = 1
|-
| ('''R'''<sup>2</sup>) 2 || (1, 0)
! 放物線柱面
| ''aX''<sup>2</sup> + 2''bY'' = 1
|-
| ('''R'''<sup>2</sup>) 2 || (0, 1)
! 放物線柱面
| &minus;''aX''<sup>2</sup> + 2''bY'' = 1
|-
| ('''R'''<sup>1</sup>) 0 || 
! 重なった二平面
| ''aX''<sup>2</sup> = 0
|- 
| ('''R'''<sup>1</sup>) 1 || (1, 0)
! 平行二平面
| ''aX''<sup>2</sup> = 1
|- 
| ('''R'''<sup>1</sup>) 1 || (0, 1) || （なし）又は平行な虚の二平面
| &minus;''aX''<sup>2</sup> = 1
|-
| colspan= 4 | ※ &rho; = rank ''R'' &minus; rank ''A'' （退化している場合は、定義次数を括弧内に示す）
|}
<gallery>
画像:Quadric_Ellipsoid.jpg|楕円面
画像:Quadric_Elliptic_Paraboloid.jpg|楕円放物面
画像:Quadric_Hyperbolic_Paraboloid.jpg|双曲放物面
画像:Quadric_Hyperboloid_1.jpg|一葉双曲面
画像:Quadric_Hyperboloid_2.jpg|二葉双曲面
画像:Quadric_Cone.jpg|錐面
画像:Quadric_Elliptic_Cylinder.jpg|楕円柱面
画像:Quadric_Hyperbolic_Cylinder.jpg|双曲線柱面
画像:Quadric_Parabolic_Cylinder.jpg|放物線柱面
</gallery>

== 二次曲面の実用例 ==
* [[シェル構造]] - 双曲放物面を用いた[[建築構造]]の一種。
* [[パラボラアンテナ]] - [[放物線|放物曲面]]で形成されるアンテナの一種。

== 関連項目 ==
* [[円錐曲線]]

== 脚注 ==
<references/>

{{DEFAULTSORT:にしきよくめん}}
[[Category:曲面]]
[[Category:数学に関する記事]]

[[ru:Поверхность второго порядка]]