半線型写像のソースを表示
←
半線型写像
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{No footnotes|date=2023年10月}} [[数学]]の[[線型代数学]]あるいは特に[[射影幾何学]]における'''半線型写像'''（はんせんけいしゃぞう、{{lang-en-short|''semilinear transformation''}}; '''半線型変換'''）は、[[ベクトル空間]]の間の写像であって、「体の[[自己同型]]でひねる[[違いを除いて]]」[[線型写像]]となっているようなものを言う（故に「半」線型）。 具体的に、[[可換体|体]] {{mvar|K}} 上の体の自己同型 {{mvar|θ}} を一つ固定して（{{math|''θ'': ''λ'' {{mapsto}} ''λ<sup>θ</sup>''}}）、{{mvar|K}} 上のベクトル空間 {{mvar|V, W}} の間の写像 {{math|''T'': ''V'' → ''W''}} が * ベクトルの加法に関して分配的: <math>T(v+v') = T(v)+T(v')</math> で、 * スカラー倍に関しては捻られた関係式: <math>T(\lambda v) = \lambda^\theta T(v)</math> を満たすとき {{mvar|T}} は半線型、特に固定した {{mvar|θ}} についての半双線型性であるから {{mvar|θ}}-半双線型であるという。可逆な半線型写像の（体の同型全てに亘る）全体は'''一般半線型群'''と呼ばれる群を成し、{{math|ΓL(''V'')}} と書かれる。これは[[一般線型群]] {{math|GL(''V'')}} の類似であり、かつその拡大である。 （GL の G を対応する Γ で置き換えて ΓL としたように）行列群の頭のラテン文字をギリシャ文字で置き換える同様の記法が、ほかの種類の[[行列群]]（[[線型代数群]]）の類似となる半線型群（厳密には行列群と体の同型の成す[[ガロワ群]]との[[半直積]]）に対しても同様に用いられる。また例えば、行列群から作られる射影行列群の一種である{{仮リンク|射影特殊ユニタリ群|en|Projective special unitary group}} {{math|PSU}} に対応する半線型群は {{math|PΣU}} で表される。しかし、これらの一般化された半線型群は必ずしも[[well-defined|うまく定義される]]とは限らないことに注意すべきである。{{harvtxt|Bray|Holt|Roney-Dougal|2009}} によれば、同型な古典群 {{math|''G'', ''H'' (⊂ SL)}}に対して、同型でない半線型拡大が存在し得る。半直積のレベルで言えば、これはガロワ群の与えられた抽象群に対する[[群作用|作用]]の仕方が異なるということに対応する。拡大が一意でないならば、半線型拡大はちょうど二種類存在する。例えば、[[対称群]]の半線型拡大は一意に定まるが、{{math|SU(''n'',''q'')}} は {{mvar|n}} が偶数で {{mvar|q}} が奇数のとき、{{math|PSU}} と同じように二種類の半線型拡大を持つ。 == 定義 == 以下、体 {{mvar|K}} に対してその[[素体 (数学)|素体]]を {{mvar|k}} で表す。例えば、{{mvar|K}} が[[複素数]]体 {{math|'''C'''}} のとき、その素体 {{mvar|k}} は[[有理数]]体 {{math|'''Q'''}} であり、また {{mvar|K}} が素冪位数 {{math|1=''q'' = ''p''<sup>''i''</sup>}} の[[有限体]] {{math|'''F'''<sub>''q''</sub>}} のとき、素体 {{math|''k''}} は素数位数 {{math|''p''}} の有限体 {{math|'''F'''<sub>''p''</sub> {{=}} '''Z'''/{{mvar|p}}'''Z'''}} である。 体 {{mvar|K}} 上の体自己同型（素体 {{mvar|k}} を固定する環自己同型）{{mvar|θ}} が与えられたとき、{{mvar|K}} 上のベクトル空間 {{math|''V'', ''W''}} の間の写像 {{math|''f'': ''V'' → ''W''}} が''' {{mvar|θ}}-半線型'''あるいは単に'''半線型'''であるとは、任意の {{math|''x'', ''y'' ∈ ''V''}} および任意の {{math|''l'' ∈ ''K''}} が条件 * [[加法的写像|加法性]]: <math>f(x+y)=f(x)+f(y)</math> * {{mvar|θ}}-斉次性: <math>f(lx)=l^\theta f(x)</math> を満足するときに言う。ただし、{{math|''l''<sup>θ</sup>}} はスカラー {{mvar|l}} の {{mvar|θ}} による[[像 (数学)|像]]である。 ここで、単に加法的な写像 {{mvar|f}} が与えられたとき、{{mvar|f}} が加法性を保ったまま、{{mvar|θ}}-斉次性の条件を満足するようにしようと思えば、{{mvar|θ}} は体の同型でなければならないことに注意すべきである。実際、{{mvar|θ}} が素体 {{mvar|k}} の元を動かさないものでなければならないことは、（{{mvar|k}} は {{mvar|K}} の単位元で生成される部分体であるから）加法性により : <math>n^\theta f(x)=f(nx)=f(x+\dotsb +x)=nf(x)</math> が成り立つことから従う。同様にして、{{mvar|K}} の加法と乗法についても加法性によって :<math>\begin{align} & (l_1+l_2)^\theta f(x)=f((l_1+l_2)x)=f(l_1 x)+f(l_2 x)=(l_1^\theta+l_2^\theta)f(x)\\ & (l_1 l_2)^\theta f(x)=f(l_1 l_2 x)=l_1^\theta f(l_2x)=(l_1^\theta l_2^\theta)f(x) \end{align}</math> が成り立つことから従う。 任意の[[線型写像]]は半線型だが、逆は一般には成り立たない。ただし、（{{mvar|K}} を素体 {{mvar|k}} 上のベクトル空間と見ることにより）{{mvar|V, W}} を {{mvar|K}} の素体 {{mvar|k}} 上のベクトル空間と見做せば、任意の {{mvar|θ}}-半線型写像は {{mvar|k}}-線型写像になる。 == 例 == * {{math|''K'' {{=}} '''C''', ''V'' {{=}} '''C'''<sup>''n''</sup>}} および標準基底 {{math|''e''<sub>1</sub>, …, ''e''<sub>''n''</sub>}} に対して、写像 {{math|''f'': ''V'' → ''V''}} を<math display="block"> f\Bigl(\sum_{i=1}^n z_i e_i \Bigr) := \sum_{i=1}^n \bar z_i e_i </math>で定義すれば、{{mvar|f}} は（複素共軛をとる体の自己同型に関して）半線型となるが、これは線型ではない。 * [[標数]] {{mvar|p}} の冪 {{mvar|q<sup>i</sup>}} を位数とする有限体（ガロワ体）{{math|1=''K'' = GF(''q'')}} に対し、フロベニウス準同型 {{math|''θ''(''l<sup>θ</sup>'' {{coloneqq}} ''l<sup>p</sup>'')}} をとる（これが体の自己同型であるという事実は、{{仮リンク|幼稚な二項定理|en|Freshman's dream}}としても知られる）。{{mvar|K}} 上のベクトル空間 {{math|''V'', ''W''}} の間の任意の線型写像 {{math|''f'': ''V'' → ''W''}} に対し、<math display="block"> \widetilde{f}\!\Bigl( \sum_{i=1}^n l_i e_i\Bigr) := f\Bigl( \sum_{i=1}^n l_i^\theta e_i \Bigr) </math>と置くことにより、{{mvar|θ}}-半線型写像を得ることができる。 実際には任意の線型写像からこのような方法によって半線型写像を作ることができる。これはこの後に述べる一般に成り立つ事実の一部である。 == 一般半線型群 == 与えられたベクトル空間 {{mvar|V}} に対し、その可逆な半線型写像の（体自己同型全てに亘る）全体の成す集合は、一般半線型群 {{math|ΓL(''V'')}} を成す。 {{mvar|V}} が {{mvar|K}} 上のベクトル空間で、{{mvar|K}} の素体を {{mvar|k}} とするとき、一般半線型群 {{math|ΓL(''V'')}} は[[半直積]] : <math>\operatorname{\Gamma L}(V) = \operatorname{GL}(V) \rtimes \operatorname{Gal}(K/k)</math> に分解される。ここで {{math|Gal(''K''/''k'')}} は[[体の拡大]] {{math|''K''/''k''}} の[[ガロワ群]]である。同様に、半線型写像の成す他の線型群もガロワ群のと半直積として、あるいはより内在的にベクトル空間の間のある性質を保存する半線型写像全体の成す群として、定義することができる。 {{mvar|V}} の基底 {{mvar|B}} を一つ固定して、ガロワ群 {{math|Gal(''K''/''k'')}} を、任意の {{math|σ ∈ Gal(''K''/''k'')}} に対して :<math>\sum_{b\in B} l_b b \mapsto \sum_{b \in B} l_b^\sigma b</math> で定義される半線型写像全体の成す {{math|ΓL(''V'')}} の部分群と同一視する。同一視した部分群を {{math|Gal(''K''/''k'')<sub>''B''</sub>}} と書くとき、これらの成分は {{math|ΓL(''V'')}} において {{math|GL(''V'')}} に対して、{{math|''V''}} の[[基底変換]]としての {{math|GL(''V'')}} として[[正則表現 (数学)|正則に作用]]する。 上記のことを確かめよう。任意の線型写像は半線型ゆえ {{math|GL(''V'') ≤ ΓL(''V'')}} である。{{mvar|V}} の基底 {{mvar|B}} を固定して、体の自己同型 {{math|σ ∈ Gal(''K''/''k'')}} に関する任意の半線型写像 {{mvar|f}} に対して、{{math|''g'': ''V'' → ''V''}} を :<math>g\Bigl(\sum_{b \in B} l_b b\Bigr) := \sum_{b \in B}f(l_b^{\sigma^{-1}} b) = \sum_{b \in B} l_b f (b) </math> で定義する。{{math|''f''(''B'')}} も {{mvar|V}} の基底を成すから、これは {{mvar|g}} が単に {{mvar|V}} の基底変換となることを意味し、従って線型かつ可逆的、すなわち {{math|''g'' ∈ GL(''V'')}}。 ここで {{math|''h'' {{coloneqq}} ''fg''<sup>−1</sup>}} と置くと、{{mvar|V}} の任意の元 {{math|''v'' {{=}} ∑<sub>''b''∈''B''</sub> ''l''<sub>''b''</sub>''b''}} に対し :<math>hv=fg^{-1}v=\sum_{b \in B} l_b^\sigma b</math> となるから、{{mvar|h}} は固定された基底 {{mvar|B}} に関する部分群としての {{math|Gal(''K''/''k'') ({{=}} Gal(''K''/''k'')<sub>''B''</sub>)}} に属する。この分解 {{math|''f'' {{=}} ''hg''}} は固定された基底 {{mvar|B}} に対して一意的である。さらに {{math|GL(''V'')}} は {{math|Gal(''K''/''k'')<sub>''B''</sub>}} の作用によって正規化されるから、 : <math>\operatorname{\Gamma L}(V) = \operatorname{GL}(V) \rtimes \operatorname{Gal}(K/k)</math> となることが言える。 == 応用 == === 射影幾何学 === 一般半線型群 {{math|ΓL(''V'')}} は典型的な{{仮リンク|古典群|en|classical group}} {{math|GL(''V'')}} の拡張である。このような写像を考えることの重要性は[[射影幾何学]]の研究からも生じてくる。一般線型群 {{math|GL(''V'')}} の（{{mvar|V}} に付随する）射影ベクトル空間 {{math|P(''V'')}} の上に誘導される作用は、'''射影一般半線型群''' {{math|PΓL(''V'')}} を成し、これは[[射影一般線型群]] {{math|PGL(''V'')}} を拡張するものである。 ベクトル空間 {{mvar|V}} 上の射影幾何 {{math|PG(''V'')}} とは、{{mvar|V}} の部分空間全体の成す[[束 (束論)|束]]を言う。典型的な半線型写像は線型ではないけれども、任意の半線型写像 {{math|''f'': ''V'' → ''W''}} は順序を保つ写像 {{math|''f'': PG(''V'') → PG(''W'')}} を誘導する。つまり、任意の半線型写像は[[射影変換]] を誘導する。（射影直線を除いて）このことの逆は、{{仮リンク|射影幾何学の基本定理|en|fundamental theorem of projective geometry}}である。以上から、半線型写像がベクトル空間の射影幾何上の自己同型群を定義するという意味において、これらは射影幾何学において有用である。 === マシュー群 === {{main|{{仮リンク|マシュー群|en|Mathieu group}}}} 射影一般半線型群 {{math|PΓL(3,4)}} は{{仮リンク|散在型単純群|en|sporadic simple group}} の一つであるマシュー群 {{math|M<sub>24</sub>}} の構成にも利用できる。すなわち、{{math|PΓL(3,4)}} は {{math|M<sub>24</sub>}} の極大部分群であり、またこれをマシュー群全体に拡大する方法はいくつか存在する。 == 参考文献 == * Gruenberg, K. W. and Weir, A.J. ''Linear Geometry'' 2nd Ed. (English) Graduate Texts in Mathematics. 49. New York – Heidelberg – Berlin: Springer-Verlag. X, 198 pp. (1977). * {{Citation | last1=Bray | first1=John N. | last2=Holt | first2=Derek F. | last3=Roney-Dougal | first3=Colva M. | title=Certain classical groups are not well-defined | id={{MathSciNet | id = 2502211}} | year=2009 | journal=Journal of Group Theory | issn=1433-5883 | volume=12 | issue=2 | pages=171–180}} {{PlanetMath attribution|urlname=GammaL|title=semilinear transformation}} == 外部リンク == * {{PlanetMath|urlname=SemilinearTransformation|title=semilinear transformation}} * {{nlab|urlname=semilinear+map|title=semilinear map}} {{DEFAULTSORT:はんせんけいしやそう}} [[Category:写像]] [[Category:線型代数学]] [[Category:線型作用素]] [[Category:射影幾何学]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Citation
(
ソースを閲覧
)
テンプレート:Harvtxt
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Main
(
ソースを閲覧
)
テンプレート:Math
(
ソースを閲覧
)
テンプレート:Mvar
(
ソースを閲覧
)
テンプレート:Nlab
(
ソースを閲覧
)
テンプレート:No footnotes
(
ソースを閲覧
)
テンプレート:PlanetMath
(
ソースを閲覧
)
テンプレート:PlanetMath attribution
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
半線型写像
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報