基底変換のソースを表示
←
基底変換
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{出典の明記|date=2015年9月}} {{multiple image | align = right | footer = | width1 = 290 | image1 = 3d basis transformation.svg | caption1 = あるベクトル（紫の矢印）の基底集合の[[線型結合]]によって新たなベクトル（赤の矢印）が得られる。もしも[[線型独立]]であるなら、それらは新たな基底集合を構成する。初めの基底集合を新たな基底集合へ関連付ける線型結合は[[線型変換]]へと拡張され、これが基底変換と呼ばれる。 | width2 = 122 | image2 = 3d two bases same vector.svg | caption2 = 一つのベクトルが二つの異なる基底集合（紫と赤の矢印）によって表現される。}} [[線型代数学]]において、ある[[ハメル次元|次元]] ''n'' の[[ベクトル空間]]に対する[[基底 (線型代数学)|基底]]は、''n'' 個のベクトル α<sub>1</sub>, ..., α<sub>n</sub> の列で、その空間内のすべてのベクトルがそれら基底ベクトルの[[線型結合]]として一意的に表現されるという性質が成り立つ。[[線型変換|作用素]]の行列表示も、同様にその選ばれた基底によって一意的に決定される。しばしば一つのベクトル空間に対して、複数の基底について考えることが望ましいことがあり、したがって線型代数学における本質的に重要な概念として、ある一つの基底に対するベクトルと作用素の座標に関する表現を、他の基底に対する同値な表現へと簡単に変換する、というものが存在する。そのような変換のことを'''基底変換'''（きていへんかん、{{Lang-en-short|change of basis}}）と呼ぶ。 以下ではベクトル空間の語を用い、記号 R は[[実数]]の[[可換体|体]]を意味するために用いられるが、そこで議論される結果は R が[[可換環]]であり「ベクトル空間」が「[[自由加群|自由]][[環上の加群|R-加群]]に置き換えられた場合にも成立する。 == 記号の準備 == R<sup>n</sup> に対する[[標準基底]]は {'''e'''<sub>1</sub>, ..., '''e'''<sub>n</sub>} で与えられる。ここで '''e'''<sub>j</sub> は ''j'' 番目の成分が 1 でその他の成分が 0 であるような R<sup>n</sup> の元である。 ''T'' : R<sup>n</sup> → R<sup>m</sup> を[[線型変換]]としたとき、''T'' の m × n [[行列]]とは、''j'' = 1, ..., ''n'' に対して第 ''j'' 列が ''T''('''e'''<sub>j</sub>) であるような行列 '''t''' のことを言う。このとき、R<sup>n</sup> 内のすべての '''x''' に対して ''T''('''x''') = '''tx''' が成立する。ただし、'''x''' はある列ベクトルと見なし、右側からの乗算は{{仮リンク|行列乗算|en|matrix multiplication}}である。線型代数学における基本的な事実として、R<sup>n</sup> から R<sup>m</sup> へのすべての線型変換からなるベクトル空間 Hom(R<sup>n</sup>, R<sup>m</sup>) は、R 上の m × n 行列の空間 R<sup>m × n</sup> への自然な[[準同型|同型]]である、という事実がある。すなわち、線型変換 ''T'' : R<sup>n</sup> → R<sup>m</sup> はすべての意志や目的に対して、行列 '''t''' と同値である。 さらに以下の簡単な結果を利用する。 '''定理''' ''V'' と ''W'' をベクトル空間とし、{α<sub>1</sub>, ..., α<sub>n</sub>} を ''V'' に対する基底とし、{γ<sub>1</sub>, ..., γ<sub>n</sub>} を ''W'' 内の任意の ''n'' 個のベクトルとする。このとき、''j'' = 1, ..., ''n'' に対して ''T''(α<sub>j</sub>) = γ<sub>j</sub> を満たすような線型変換 ''T'' : ''V'' → ''W'' が唯一つ存在する。 この唯一つの ''T'' は ''T''(''x''<sub>1</sub>α<sub>1</sub> + ... + ''x''<sub>n</sub>α<sub>n</sub>) = ''x''<sub>1</sub>γ<sub>1</sub> + ... + ''x''<sub>n</sub>γ<sub>n</sub> で定義される。もちろん、{γ<sub>1</sub>, ..., γ<sub>n</sub>} が ''W'' の基底であるなら、''T'' は線型であると同時に[[全単射]]である。言いかえると、''T'' は[[準同型|同型]]である。このとき ''W'' = ''V'' も同様に成り立つなら、''T'' は[[自己同型]]と言われる。 今 ''V'' を R 上のベクトル空間とし、{α<sub>1</sub>, ..., α<sub>n</sub>} を ''V'' に対する基底であると仮定する。定義により、ξ が ''V'' 内のベクトルであるなら、ξ = ''x''<sub>1</sub>α<sub>1</sub> + ... + ''x''<sub>n</sub>α<sub>n</sub> となるような唯一つの[[スカラー (数学)|スカラー]]の組み合わせ ''x''<sub>1</sub>, ..., ''x''<sub>n</sub> を R 内より選ぶことが出来る。この組み合わせは、順序付けられた基底 {α<sub>1</sub>, ..., α<sub>n</sub>} に対する ξ の座標と呼ばれる。R<sup>n</sup> 内のそのベクトル '''x''' = (''x''<sub>1</sub>, ..., ''x''<sub>n</sub>) は ξ の（この基底に対する）座標[[タプル]]と呼ばれる。''j'' = 1, ..., ''n'' に対して φ('''e'''<sub>j</sub>) = α<sub>j</sub> を満たすような唯一つの線型写像 φ : R<sup>n</sup> → ''V'' は、''V'' および基底 {α<sub>1</sub>, ..., α<sub>n</sub>} に対する'''座標同型'''（coordinate isomorphism）と呼ばれる。したがって φ('''x''') = ξ であるための[[必要十分条件]]は、ξ = ''x''<sub>1</sub>α<sub>1</sub> + ... + ''x''<sub>n</sub>α<sub>n</sub> である。 === ベクトルの集合の行列 === ベクトルの集合は、各列がその集合の各ベクトルの成分で与えられるような一つの行列として表現することが出来る。基底はベクトルの集合であるため、基底はこの種の行列によって与えられる。以下では、空間の任意の物体の基底変換は、この行列と関係していることが示される。例えば、ベクトルはその逆によって変換される（そしてそれらはしたがって反変オブジェクトと呼ばれる）。 == ベクトルの座標変換 == はじめに、ベクトル空間 ''V'' において、異なる基底を選んだときにあるベクトル ξ の座標がどのように変化するかという問題に取り組む。 === 二次元 === その空間の新しい基底のベクトルが各列であるような行列 M（新しい基底行列）が与えられたとき、ある列ベクトル v の新しい座標は行列の積 M<sup>-1</sup>.v で与えられる。このため、正規ベクトルは反変オブジェクトと呼ばれる。 ベクトルの任意の有限集合は、その列が与えられたベクトルの座標であるようなある行列によって表現される。次元が 2 の場合の一例として、標準基底を反時計回りに 45 度回転させることで得られるベクトルのペアが考えられる。それらのベクトルの座標が各列であるような行列は、 :<math>M=\begin{pmatrix} 1/\sqrt{2} & -1/\sqrt{2} \\ 1/\sqrt{2} & 1/\sqrt{2} \end{pmatrix}</math> で与えられる。空間内の任意のベクトルをこの新しい基底へと変換したい場合、その成分をこの行列の逆に左から掛けるだけで良い。 === 三次元 === 例えば、[[オイラー角]]で与えられる新たな基底を考える。その基底の行列は、各ベクトルの成分を列として持つことが分かる。したがって、この行列は以下のように表される： :<math>[\mathbf{R}] = \begin{bmatrix} \mathrm{c}_\alpha \, \mathrm{c}_\gamma - \mathrm{s}_\alpha \, \mathrm{c}_\beta \, \mathrm{s}_\gamma & -\mathrm{c}_\alpha \, \mathrm{s}_\gamma - \mathrm{s}_\alpha \, \mathrm{c}_\beta \, \mathrm{c}_\gamma & \mathrm{s}_\beta \, \mathrm{s}_\alpha \\ \mathrm{s}_\alpha \, \mathrm{c}_\gamma + \mathrm{c}_\alpha \, \mathrm{c}_\beta \, \mathrm{s}_\gamma & -\mathrm{s}_\alpha \, \mathrm{s}_\gamma + \mathrm{c}_\alpha \, \mathrm{c}_\beta \, \mathrm{c}_\gamma & -\mathrm{s}_\beta \, \mathrm{c}_\alpha \\ \mathrm{s}_\beta \, \mathrm{s}_\gamma & \mathrm{s}_\beta \, \mathrm{c}_\gamma & \mathrm{c}_\beta \end{bmatrix} .</math> 空間内の任意のベクトルは、その成分をこの行列の逆に左から掛けることによって、この新しい基底へと変換することが出来ることに再び注意されたい。 === 一般的な場合 === {α<sub>1</sub>, ..., α<sub>n</sub>} と {α'<sub>1</sub>, ..., α'<sub>n</sub>} を、''V'' に対する二つの順序付けられた基底とする。φ<sub>1</sub> と φ<sub>2</sub> を、それに対応する R<sup>n</sup> から ''V'' への座標同型（[[線型写像]]）とする。すなわち、''j'' = 1, ..., ''n'' に対して φ<sub>1</sub>('''e'''<sub>j</sub>) = α<sub>j</sub> と φ<sub>2</sub>('''e'''<sub>j</sub>) = α'<sub>j</sub> が成立する。 '''x''' = (''x''<sub>1</sub>, ..., ''x''<sub>n</sub>) を、第一の基底に関する ξ の座標 ''n''-タプルとすると、ξ = φ<sub>1</sub>('''x''') が成り立ち、第二の基底に関する ξ の座標タプルは φ<sub>2</sub><sup>-1</sup>(ξ) = φ<sub>2</sub><sup>-1</sup>(φ<sub>1</sub>('''x''')) となる。今、写像 φ<sub>2</sub><sup>-1</sup> o φ<sub>1</sub> を R<sup>n</sup> 上の自己同型とし、したがって行列 '''p''' が存在するものとする。さらに、'''p''' の第 ''j'' 列は φ<sub>2</sub><sup>-1</sup> o φ<sub>1</sub>('''e'''<sub>j</sub>) = φ<sub>2</sub><sup>-1</sup>(α<sub>j</sub>)、すなわち、第二の基底 {α'<sub>1</sub>, ..., α'<sub>n</sub>} に関する α<sub>j</sub> の座標 ''n'' タプルである。したがって、'''y''' = φ<sub>2</sub><sup>-1</sup>(φ<sub>1</sub>('''x''')) = '''px''' は基底 {α'<sub>1</sub>, ..., α'<sub>n</sub>} に関する ξ の座標 ''n'' タプルである。 == 線型変換の行列 == 今 ''T'' : ''V'' → ''W'' を線型変換とし、{α<sub>1</sub>, ..., α<sub>n</sub>} を ''V'' に対する基底とし、{β<sub>1</sub>, ..., β<sub>m</sub>} を ''W'' に対する基底とする。φ と ψ をそれぞれ ''V'' と ''W'' の与えられた基底に関する座標同型とする。このとき写像 ''T''<sub>1</sub> = ψ<sup>-1</sup> o ''T'' o φ は R<sup>n</sup> から R<sup>m</sup> への線型変換であり、したがって、''j'' = 1, ..., ''n'' に対して第 ''j'' 列が ψ<sup>-1</sup>(T(α<sub>j</sub>)) で与えられるようなある行列 '''t''' が存在する。この行列は、'''順序付けられた基底''' {α<sub>1</sub>, ..., α<sub>n</sub>} '''および''' {β<sub>1</sub>, ..., β<sub>m</sub>} '''に関する ''T'' の行列'''と呼ばれる。もし η = ''T''(ξ) であり、'''y''' と '''x''' が η および ξ の座標タプルであるなら、'''y''' = ψ<sup>-1</sup>(T(φ('''x'''))) = '''tx''' が成立する。逆にもし、ξ が ''V'' に含まれ、'''x''' = φ<sup>-1</sup>(ξ) が {α<sub>1</sub>, ..., α<sub>n</sub>} に関する ξ の座標タプルであり、'''y''' = '''tx''' および η = ψ('''y''') と定めるなら、η = ψ(''T''<sub>1</sub>('''x''')) = ''T''(ξ) が成立する。すなわち、ξ が ''V'' の元、η が ''W'' の元で、'''x''' と '''y''' がそれらの座標タプルであるなら、'''y''' = '''tx''' であるための[[必要十分条件]]は η = ''T''(ξ) である。 '''定理''' ''U''、''V'' および ''W'' を有限次元ベクトル空間とし、それぞれに対して順序付けられた基底が選ばれるものとする。''T'' : ''U'' → ''V'' および ''S'' : ''V'' → ''W'' が行列 '''s''' と '''t''' を伴う線型変換であるなら、（与えられた基底に関する）線型変換 ''S'' o ''T'' : ''U'' → ''W'' の行列は '''st''' である。 === 基底変換 === 今、''V'' および ''W'' 内の基底を変えたときに、''T'' : ''V'' → ''W'' の行列に何が起きるのかを考える。{α<sub>1</sub>, ..., α<sub>n</sub>} および {β<sub>1</sub>, ..., β<sub>m</sub>} をそれぞれ ''V'' および ''W'' に対する順序付けられた基底とし、また第二の基底のペア {α'<sub>1</sub>, ..., α'<sub>n</sub>} および {β'<sub>1</sub>, ..., β'<sub>m</sub>} が与えられるものとする。φ<sub>1</sub> と φ<sub>2</sub> を、''V'' に対する第一と第二の基底へと R<sup>n</sup> において通常の基底を取る座標同型とし、ψ<sub>1</sub> と ψ<sub>2</sub> を ''W'' に対する第一と第二の基底へと R<sup>m</sup> において通常の基底を取る座標同型とする。 ''T''<sub>1</sub> = ψ<sub>1</sub><sup>-1</sup> o ''T'' o φ<sub>1</sub> および ''T''<sub>2</sub> = ψ<sub>2</sub><sup>-1</sup> o ''T'' o φ<sub>2</sub> を定め（いずれの写像も R<sup>n</sup> から R<sup>m</sup> へのものとする）、'''t'''<sub>1</sub> および '''t'''<sub>2</sub> をそれらに対応する行列とする。'''p''' と '''q''' を、それぞれ R<sup>n</sup> 上と R<sup>m</sup> 上の座標自己同型変換 φ<sub>2</sub><sup>-1</sup> o φ<sub>1</sub> および ψ<sub>2</sub><sup>-1</sup> o ψ<sub>1</sub> とする。 これら様々な写像同士の関係は、{{仮リンク|可換図|en|commutative<!-- リダイレクト先の「[[:en:Commutative property]]」は、[[:ja:交換法則]] とリンク -->}} を用いて図示することが出来る。 ''T''<sub>2</sub> = ψ<sub>2</sub><sup>-1</sup> o ''T'' o φ<sub>2</sub> = (ψ<sub>2</sub><sup>-1</sup> o ψ<sub>1</sub>) o ''T''<sub>1</sub> o (φ<sub>1</sub><sup>-1</sup> o φ<sub>2</sub>) であり、また線型写像の合成は行列乗算に対応するため、 : '''t'''<sub>2</sub> = '''q''' '''t'''<sub>1</sub> '''p'''<sup>-1</sup> が従う。 基底変換が基底行列およびその逆を持つなら、このオブジェクトは[[:en:Covariance and contravariance of vectors<!-- [[:ja:ベクトルの共変性と反変性]] とリンク -->|1-co, 1-contra-variants]]と呼ばれる。 == 自己準同型の行列 == 線型変換の行列に関する重要なケースとして、[[自己準同型]]、すなわちベクトル空間 ''V'' からそれ自身への線型写像（''W'' = ''V'' であるような場合）が挙げられる。この時、自然に {β<sub>1</sub>, ..., β<sub>n</sub>} = {α<sub>1</sub>, ..., α<sub>n</sub>} と {β'<sub>1</sub>, ..., β'<sub>m</sub>} = {α'<sub>1</sub>, ..., α'<sub>n</sub>} を取ることが出来、線型写像 ''T'' の行列は必ず正方行列でなければならない。 === 基底変換 === 同じ基底変換を適用することで '''q''' = '''p''' とすることが出来、この基底変換の式は : '''t'''<sub>2</sub> = '''p''' '''t'''<sub>1</sub> '''p'''<sup>-1</sup> となる。この場合、[[正則行列|可逆行列]] '''p''' はベクトル空間 ''V'' に対する'''基底変換行列'''（change-of-basis matrix）と呼ばれ、上式は行列 '''t'''<sub>1</sub> および '''t'''<sub>2</sub> が[[行列の相似|相似]]であることを意味する。 == 双線型形式の行列 == [[可換体|体]] ''R'' についてのベクトル空間 ''V'' 上の[[双線型形式]]とは、各変数に関して[[線型変換|線型]]であるような写像 ''V'' × ''V'' → ''R'' のことを言う。すなわち、''B'' : ''V'' × ''V'' → ''R'' が双線型であるとは、写像 :<math>v \mapsto B(v, w)</math> :<math>v \mapsto B(w, v)</math> が ''V'' 内の各 ''w'' に対して線型であることを意味する。この定義は、[[環上の加群|加群準同型]]であるような線型写像を備える[[可換環]]上の加群に対しても同様によく適用される。 基底 <math>\alpha_1,\dots, \alpha_n</math> を備える[[グラム行列]] ''G'' は :<math>G_{i,j} = B(\alpha_i,\alpha_j) \, </math> で定義される。<math>v = \sum_i x_i \alpha_i</math> および <math>w = \sum_i y_i \alpha_i</math> をベクトル ''v'' および ''w'' のこの基底に関する表現としたとき、双線型形式は :<math>B(v,w) = v^\mathsf{T} G w \, </math> で与えられる。''B'' が[[対称双線型形式]]であるなら、行列も[[対称行列]]となる。 === 基底変換 === <math>\alpha_1,\dots, \alpha_n</math> から <math>\alpha'_1,\dots, \alpha'_n</math> への基底変換を表す可逆行列を ''P'' としたとき、グラム行列は{{仮リンク|行列合同|en|matrix congruence}} :<math>G' = P^\mathsf{T} G P \, </math> により変換される。 == 重要な例 == 抽象的ベクトル空間の理論において、基底変換の概念は影響の少ないもので、わずかな自然科学の法則を与えるものに過ぎないように思われる。しかし、[[結合多元環]]の理論においては、比喩的な表現を用いれば毛虫が蝶に変化するように、基底変換が十分な影響を与える場合が存在する。それは以下のようなものである。 * [[分解型複素数|分解型複素数平面]]において、「対角基底」（diagonal basis）の代替となるものが存在する。通常の双曲線 ''xx'' − ''yy'' = 1 は、基底変換を経て、''xy'' = 1 に変わる。双曲線を決まった場所に残す平面の各変換は、基底変換を法として、互いに対応する。文脈的な違いは、[[ローレンツ変換|ローレンツブースト]]と{{仮リンク|圧搾写像|en|squeeze mapping}}を区別するほど十分に深いものである。それらの写像に関する文献の概観は、根底をなす基底変換を用いることで得られる。 * 2 × 2 の実行列から、[[アーサー・ケイリー]]による線型代数の分類の始まりを知ることが出来る。彼の協力者である{{仮リンク|ジェームス・コックル|en|James Cockle}}は、1849年、2 × 2 実行列と同じ環（行列基底が異なるだけ）である coquaternion あるいは[[四元数|分解型四元数]]の環を提唱した。再び、それはケーリーの行列環とコックルの分解型四元数環を統合する基底変換の概念であった。 * ある基底変換は、2 × 2 の複素行列を複四元数（biquaternion）へ変換する。 == 関連項目 == * {{仮リンク|座標ベクトル|en|Coordinate vector}} * [[積分変換]]：連続の場合の基底変換と類似の概念 * {{仮リンク|能動的変換と受動的変換|en|Active and passive transformation}} == 外部リンク == * [http://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/lecture-31-change-of-basis-image-compression/ MIT Linear Algebra Lecture on Change of Bases] MIT OpenCourseWare より {{Normdaten}} {{DEFAULTSORT:きていへんかん}} [[Category:線型代数学]] [[Category:行列]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Multiple image
(
ソースを閲覧
)
テンプレート:Normdaten
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
テンプレート:出典の明記
(
ソースを閲覧
)
基底変換
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報