二次曲面_(射影幾何学)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 二次曲面_(射影幾何学)の意味・解説 

二次曲面 (射影幾何学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2013/10/27 01:28 UTC 版)

射影幾何学における二次曲面(にじきょくめん、: quadric)とは、何らかの二次形式の斉次座標系における零点集合として与えられるような射影空間内の点集合を言う。これはまた、射影幾何学における双対性を考えれば、双対超平面上の点全体の成す集合としても定義できる。

厳密な定義

より正確に、V K係数を持つ -次元ベクトル空間とし、FV 上の二次形式、PV に対応する n-次元射影空間

とする(ここで はベクトル v の非零定数倍として得られるベクトル全体の成す集合)とき、二次形式 F によって定められる K 上の(射影二次超曲面とは

を満たす P 内の点 全体の成す集合として定義される。注意すべき点として、

かつ、二次形式の定義から

が成り立つので、先の条件によって P 内の二次曲面が定義されるという主張は正当である。

P として実射影平面や複素射影平面を取るときの射影二次超曲面は、特に(射影二次曲線や(射影円錐曲線と呼ばれる。また P が三次元の実射影空間や複素射影空間であるときを特に(射影二次曲面と呼ぶ場合もあるが、射影二次超曲面全般を指す意味で射影二次曲面と呼ぶことも多い。

一般に、K が実数体であれば、射影二次超曲面は n-次元射影空間 P-次元部分多様体になる。例外は、ある特別な性質を持つ二次形式に対応する退化二次曲面である。例えば、F が(任意のベクトル v を零化する)零形式 (trivial form, null form) のときは対応する射影二次超曲面は P 全体になり、また F定符号二次形式(つまり至る所正値もしくは至る所負値)ならば対応する射影二次超曲面は空になり、あるいは F が二つの非自明な一次形式の積に分解されるときには対応する射影二次超曲面は二つの超平面の合併になる、といった具合である。文献によっては、「二次曲面」の中にこれら特別の場合の一部または全てを含めないこともある。

二次曲面の行列表示

ベクトル空間 V基底を選び、それに関するベクトル v座標 であるとき、任意の二次形式 FV の係数体 K に成分 mij を持つ適当な (n+1)-次対称行列 M = (mij) を用いて

と書くことができる。行列 MF および V の基底の取り方のみによって決まる。この式は、各 i-成分が

で与えられる Kn+1 のベクトル F′(v) と標準内積 を用いれば、

と書いてもよい。

二次形式 F が零形式であることと、M が零行列となることとは同値である。係数体 K が実数体であるならば、M対角行列とするような基底が必ずとれる。この場合に、対角成分 mii の符号を見れば、二次曲面が退化しているか否かを知ることができる(後述)。

極性・接超平面・特異点

一般に、射影二次曲面 Q射影極性英語版と呼ばれるものを定める。これは、点と超平面の間の接続関係を保ちながら、P の任意の点 P の超平面 へ、あるいはその逆へ写すような写像 ∗ を言う。V の基底を決めれば、極超平面 の係数ベクトルは前節の で与えられる。

  • p が二次曲面 Q 上に無いならば、対応する超平面 h は定義可能(即ち、恒等的に零でない)で、かつ p を含まない。
  • p が二次曲面 Q 上にあって、かつ対応する超平面 h が定義可能ならば、hp を含む(このとき p正則点 (regular point) と呼ばれる)。実は、この超曲面 h は点 p における二次曲面 Q の接超平面である。
  • p が二次曲面 Q 上にあって、かつ全ての係数 hi が零となることが起こり得る。このときには曲超平面 は定義されず、点 p は二次曲面 Q特異点 (singular point, singularity) と呼ばれる。
  • 上記の接超平面は、Q に全く含まれるか、または Q と一点のみで交わるかの何れかを満たす直線全ての交わりであることがわかる。
  • 超平面上の点 に対して、その超平面が二次曲面 Q において接する条件は、 である。これはまた なる条件とも同値である。
  • が特異点となる条件は と書ける。二次曲面が特異点を持つための必要十分条件は、係数行列 M が対角行列となるようにしたとき対角成分に零が一つ以上現れることである。これにより、二次曲面 Q 上の特異点全体の成す集合が部分射影空間となることがわかる。

二次曲面と直線との交点

射影空間において、各直線は二次曲面 Q と高々二点で交わる(交点数が零として、交わらない場合も含む)か、さもなくば Q に全く含まれる。実際、相異なる二点 の定める直線は、係数体 K からとった、同時に零となることはない任意のスカラー a, b によって の形に書くことのできる点全体の成す集合であり、この一般の点が二次曲面 Q に載っていることと , 即ち

が成り立つこととは同値であって、交点数は三つの係数

に依存して決まる。A, B, C が三つとも零ならば、任意の a, b が等式を満たすから、直線は Q に全く含まれることになる。そうでない場合には、

が負、零、正となるのに従って、それぞれ交点数が 0, 1, 2 で与えられる。


「二次曲面 (射影幾何学)」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「二次曲面_(射影幾何学)」の関連用語

二次曲面_(射影幾何学)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



二次曲面_(射影幾何学)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの二次曲面 (射影幾何学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS