次数付けとは? わかりやすく解説

次数付け

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/02/11 00:01 UTC 版)

対称代数」の記事における「次数付け」の解説

多項式環におけると同様に対称代数 S(V) の次数付き代数としての直和分解 S ( V ) = ⨁ k = 0S k ( V ) {\displaystyle S(V)=\bigoplus _{k=0}^{\infty }S^{k}(V)} が存在する。ここで各 Sk(V) は V のベクトルからなる次数 k の単項式線型結合全体からなる(ただし S0(V) = K, S1(V)=V とする)。K-線型空間 Sk(V) を V の k-次対称冪 (symmetric power)と呼ぶ。例えば k = 2 のときは対称平方呼び、Sym2(V) で表す。k-次対称冪Vk 上の対称英語版複線型作用素に関する普遍性を持つ。

※この「次数付け」の解説は、「対称代数」の解説の一部です。
「次数付け」を含む「対称代数」の記事については、「対称代数」の概要を参照ください。


次数付け

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/09/06 10:18 UTC 版)

クリフォード代数」の記事における「次数付け」の解説

以降標数は 2 でないとするクリフォード代数Z2-次数代数(超代数英語版)としても知られている)である。実際、v ↦ −v によって定義される V 上の線型写像原点を通る反射英語版))は二次形式 Q を保存したがってクリフォード代数普遍性によって代数自己同型 α: Cℓ(V, Q) → Cℓ(V, Q) に拡張する。α は対合(すなわち自乗する恒等関数になる)であるからCℓ(V, Q) を α の正と負固有空間分解できる C ℓ ( V , Q ) = C ℓ 0 ( V , Q ) ⊕ C ℓ 1 ( V , Q ) {\displaystyle C\ell (V,Q)=C\ell ^{0}(V,Q)\oplus C\ell ^{1}(V,Q)} ただし Cℓi(V, Q) := {x ∈ Cℓ(V, Q) | α(x) = (−1)ix}。α は自己同型であるから C ℓ i ( V , Q ) C ℓ j ( V , Q ) = C ℓ i + j ( V , Q ) {\displaystyle C\ell ^{\,i}(V,Q)C\ell ^{\,j}(V,Q)=C\ell ^{\,i+j}(V,Q)} が従う、ただし右上添え字は modulo 2 で読まれる。これは Cℓ(V, Q) に Z2-次数代数構造与える。部分空間 Cℓ0(V, Q) は Cℓ(V, Q) の部分代数をなし、偶部分代数 (even subalgebra) と呼ばれる部分空間 Cℓ1(V, Q) は Cℓ(V, Q) の奇成分 (odd part) と呼ばれる部分代数ではない)。この Z2-次数付けはクリフォード代数解析応用において重要な役割を果たす自己同型 α は主対合 (main involution) あるいは次数付き対合 (grade involution) と呼ばれる。この Z2-次数付けにおいて pure な元は単に even あるいは odd呼ばれる注意 標数が 2 でなければ Cℓ(V, Q) の基礎ベクトル空間は N-次数付けと Z-次数付けを外積代数 ⋀(V) の基礎ベクトル空間との自然な同型から受け継ぐしかしながら、これはベクトル空間の次数付けでしかないことに注意することは重要である。つまり、クリフォード乗法は N-次数付けや Z-次数付けをリスペクトせず、Z2-次数付けだけなのである例えば Q(v) ≠ 0 であれば v ∈ Cℓ1(V, Q) だが v2Cℓ0(V, Q) であって Cℓ2(V, Q) に入らない幸運なことに、次数付けは自然な方法関係している: Z2 ≅N/2N≅ Z/2Z。さらに、クリフォード代数は Z-filtered(英語版)である: Cℓ≤i(V, Q) ⋅ Cℓ≤j(V, Q) ⊂ Cℓ≤i+j(V, Q)。クリフォード数の次数 (degree) は通常 N-次数付けにおける次数のことである。 クリフォード代数の偶部分代数 Cℓ0(V, Q) はそれある自身クリフォード代数同型であるV がノルム Q(a)部分空間 U のベクトル a の直交直和であればCℓ0(V, Q) は Cℓ(U, −Q(a)Q) に同型である、ただし −Q(a)Q は U に制限され −Q(a)掛けた形式 Q である。特に実数体上これは次を意味する C ℓ p , q 0 ( R ) ≅ C ℓ p , q − 1 ( R ) ( q > 0 ) , {\displaystyle C\ell _{p,q}^{0}(\mathbf {R} )\cong C\ell _{p,q-1}(\mathbf {R} )\quad (q>0),} C ℓ p , q 0 ( R ) ≅ C ℓ q , p − 1 ( R ) ( p > 0 ) {\displaystyle C\ell _{p,q}^{0}(\mathbf {R} )\cong C\ell _{q,p-1}(\mathbf {R} )\quad (p>0)} 負定値場合にはこれは包含 Cℓ0,n−1(R)Cℓ0,n(R)与え、列を拡張する R ⊂ C ⊂ H ⊂ H ⊕ H ⊂ ⋯; 同様に複素場合には、Cℓn(C) の偶部分代数Cℓn−1(C)同型であることを示せる。

※この「次数付け」の解説は、「クリフォード代数」の解説の一部です。
「次数付け」を含む「クリフォード代数」の記事については、「クリフォード代数」の概要を参照ください。

ウィキペディア小見出し辞書の「次数付け」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



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

辞書ショートカット

すべての辞書の索引

「次数付け」の関連用語

次数付けのお隣キーワード
検索ランキング

   

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



次数付けのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの対称代数 (改訂履歴)、クリフォード代数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS