二次曲面のソースを表示
←
二次曲面
移動先:
案内
、
検索
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
要求した操作を行うことは許可されていません。
このページのソースの閲覧やコピーができます。
'''二次超曲面'''(にじちょうきょくめん、<em lang="en">quadric surface</em>)とは、[[円錐曲線]]の概念を一般次元[[ユークリッド空間]] '''R'''<sup>''n''</sup> に拡張したものであり、2次多項式の零点集合として表されるような超曲面のことをさす。3次元空間における二次超曲面は'''二次曲面'''ともよばれる。 == 定義 == 一般な ''n''-次元二次超曲面の定義式は、座標 (''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> の標準内積]] ⟨•, •⟩ を使って : <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''-次元二次超曲面は、その拡大係数行列の[[行列の階数|階数]]が ''n'' + 1 に等しいとき'''非退化'''であるといい、そうでないとき'''退化'''しているという。二次超曲面が非退化であるとき、係数行列 ''A'' と拡大係数行列 ''R'' の階数の関係を用いて、二次超曲面は次のように分類される。 : rank ''R'' − rank ''A'' = 0: '''錐面''' : rank ''R'' − rank ''A'' = 1: '''有心二次超曲面''' : rank ''R'' − 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'' と、係数 −1 の単位行列の次数 ''q'' を対にしたもの (''p'', ''q'') を、二次超曲面の'''符号数'''という。二次超曲面の形態は、符号数によってさらに細かく分類される。 == 楕円体の体積 == 符号数が (''n'', 0) であるような二次超曲面を'''楕円<!-- 超曲 -->面'''という。楕円面は、二次超曲面の中で唯一の閉じた超曲面である。従って、楕円面によって囲まれた部分('''楕円体''')にのみ[[体積]]が定義できる。その体積 ''V'' は、[[ガンマ関数]] Γ(''x'') を用いて、 :<math>V = \frac{\Gamma(1/2)^n}{\Gamma(n/2+1)}\sqrt{\frac{1}{|A|}}</math> で与えられる。これは半径 ''r'' の球の体積 (4π/3)''r''<sup>3</sup> の一般化である。 == 3次元二次曲面 == 比較的初等の数学では、二次曲面と言うと狭義に 3 次元ユークリッド空間 '''R'''<sup>3</sup> 上のものを指していた。その実態については一般次元の場合と同じであるが、円錐曲線のように、各曲面に固有の名称がついているので、それについて挙げることにする。ここでは、a,b,cはそれぞれ正の[[実数]]とする。 {| class="wikitable sortable" style="text-align:center;" align="center" ! ρ(※) !! 符号数 !! 曲面の名称 !! 標準形 |- | 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> − ''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> − ''cZ''<sup>2</sup> = 1 |- | 1 || (1, 2) ! 二葉双曲面 | ''aX''<sup>2</sup> − ''bY''<sup>2</sup> − ''cZ''<sup>2</sup> = 1 |- | 1 || (0, 3) || (なし)又は虚の楕円面 | −''aX''<sup>2</sup> − ''bY''<sup>2</sup> − ''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> − ''bY''<sup>2</sup> + 2''cZ'' = 1 |- | 2 || (0, 2) ! 楕円放物面 | −''aX''<sup>2</sup> − ''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> − ''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> − ''bY''<sup>2</sup> = 1 |- | ('''R'''<sup>2</sup>) 1 || (0, 2) ||(なし)又は虚の楕円柱面 | −''aX''<sup>2</sup> − ''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) ! 放物線柱面 | −''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) || (なし)又は平行な虚の二平面 | −''aX''<sup>2</sup> = 1 |- | colspan= 4 | ※ ρ = rank ''R'' − 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> == 関連項目 == * [[円錐曲線]] {{DEFAULTSORT:にしきよくめん}} [[Category:曲面]] [[Category:数学に関する記事]] [[ar:سطح ثنائي]] [[ru:Поверхность второго порядка]]
二次曲面
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
新しいページ
最近の更新
おまかせ表示
sandbox
commonsupload
ヘルプ
ヘルプ
井戸端
notice
bugreportspage
sitesupport
ウィキペディアに関するお問い合わせ
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報