|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 剰 ： [じょう] 【名詞】 1. besides 2. moreover 3. in addition ・ 剰余 ： [じょうよ] 【名詞】 1. surplus 2. balance ・ 余 ： [よ] 1. (n,suf) over 2. more than ・ 余類 ： [よるい] (n) remnants of a party or a gang ・ 空 ： [そら] 【名詞】 1. sky 2. the heavens ・ 空間 ： [くうかん] 【名詞】 1. space 2. room 3. airspace ・ 間 ： [けん, ま] 【名詞】 1. space 2. room 3. time 4. pause
数学、とくにリー群、代数群、位相群の理論において、群 ''G'' の等質空間（とうしつくうかん、）は、''G'' が推移的に作用するような空でない多様体あるいは位相空間 ''X'' である。''G'' の元は ''X'' の対称変換 (symmetry) と呼ばれる。特別な場合は、問題の ''G'' が空間 ''X'' の自己同型群であるときである――ここで「自己同型群」は、微分同相群、あるいはの意味である。この場合 ''X'' が等質空間であるとは、直感的には ''X'' が、等長写像（リジッド幾何学）、微分同相写像（微分幾何学）、あるいは同相写像（位相幾何学）の意味において、各点で局所的に同じに見えるということである。著者によっては ''G'' の作用が忠実である（非単位元は非自明に作用する）ことを要求するが、本記事ではそうしない。したがって、''X'' 上のある「幾何学的構造」を保ち ''X'' を単一の ''G''-軌道にすると考えられるような ''G'' の ''X'' への群作用が存在する。 ==定義== ''X'' を空でない集合とし ''G'' を群とする。''X'' が ''G''-空間であるとは、''G'' が ''X'' に作用していることをいう〔作用は''左''からであるとする。区別は ''X'' の剰余類空間としての記述においてのみ重要である。〕。自動的に ''G'' は集合に自己同型（全単射）によって作用することに注意する。''X'' がさらにある圏に属しているならば、''G'' の元はその圏における同型射として作用すると仮定される。したがって ''G'' によってもたらされる ''X'' 上の写像は構造を保つ。等質空間は ''G'' が推移的に作用するような ''G''-空間である。 簡潔には、''X'' が圏 C の対象であれば、''G''-空間の構造は圏 C の対象 ''X'' の自己同型射の群の中への準同型写像 : である。対 (''X'', ρ) は ρ(''G'') が ''X'' の台集合の対称変換の推移的な群であるならば等質空間を定義する。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「等質空間」の詳細全文を読む スポンサード リンク
|