【お知らせ】プログラミング記事の投稿はQiitaに移行しました。)を行列で表現します。『行列と代数系』シリーズの記事です。導入して行列で表現しました。係数との対応が分かりやすいことを示します。これは次のように確認できます。\begin{pmatrix}0&x\\1&0\end{pmatrix}^2=xI行列を2乗すると右上の成分が単位行列の係数として表れます。2回現れて冗長ですが、これについては後述します。複素数の計算と行列の計算が対応します。\end{aligned}複素数の積は交換しますが、表現行列の積も交換します。\end{aligned}計算過程を見ると、表現行列の冗長性が交換に必要なことが伺えます。同じ行列が積の左に来た時と右に来た時では計算に使われる成分の順序が異なりますが、同じ情報を複数持っていることでうまく整合しています。冗長性により表現行列の計算は複素数の計算に比べて無駄(オーバーヘッド)があります。以外は正則であることが分かります。a^2+b^2≠0\quad(a≠0,b≠0)複素数の逆数と表現行列の逆行列が対応します。二重数では行列と一次変数変換との対応にあまり意味がないと書きましたが、複素数では大いに意味があります。行列と一次変数変換を対応させることで複素平面がつながります。複素平面上の点に対応します。複素数の積によって変換が合成される様子が伺えます。\end{aligned}今回は複素平面についての説明が目的ではないためこの辺で切り上げます。あるのではないかと考えるのが自然な成り行きです。これは分解型複素数と呼ばれます。別物だとはっきりします。=\underbrace{\begin{pmatrix}\textcolor{red}{a}&b\\\textcolor{red}{b}&a\end{pmatrix}}_{a+bj}分解型複素数の積も交換します。表現行列はマイナスが表れないためすっきりした形をしていますが、複素数とは異なり正則となる表現行列に制限があります。逆数が存在して、表現行列にも逆行列が存在します。このように符号が同数に分かれることを分解型符号数と呼んで、分解型複素数の名前の由来となっています。なる場合、表現行列は非正則です。これは分解型複素数に零因子が存在することを意味します。これを説明するため前回は零因子を取り上げました。分解型複素数でも分解型複素平面を考えることは可能です。字形は特殊相対性理論で光円錐と呼ばれます。分解型複素数を特殊相対性理論の計算に応用することも可能です。機会を改めて取り上げる予定です。符号が分かれることが分解の由来だと書きましたが、それ以外にも分解の性質を持っています。2乗すると、2倍になります。非正則行列をケイリー・ハミルトンの定理で2乗したのと同じ振る舞いです。半分にして2乗すると、元の値のままです。このような性質を冪等と呼びます。=\frac{1+j}2同様に次も冪等です。置いて、和と差と積を確認します。係数を付けて表すことが可能です。ように組み合わせて単位として扱える元を基底と呼びます。光円錐上の零因子となる冪等元から基底を取ったということです。表記した分解型複素数の積を計算します。消えて、同じ基底の係数を掛けたものだけが残りました。これは2つの掛け算を独立に行ったと解釈できます。分解型複素数は基底を変えて見れば2つの実数に分解されて、積は個々に計算されるということです。この種の分解を直和分解と呼びます。表記すれば次の通りです。(a⊕b)(c⊕d)=ac⊕bdこれは2つの数をセットにして扱うという考え方です。同じことを順序対(タプル)で表記すれば次の通りです。(a,b)(c,d)=(ac,bd)以下を参考にしました。入れ替えることが分かります。呼ぶようですが、日本語で交換行列と呼ぶのは見たことがないため、訳さずにおきました。まとめて三種類の二元数と呼びます。)のひとつとして解釈できる。まとめとして、これら三種類の二元数の表現行列を再掲します。\end{aligned}虚数単位の右上の成分が2乗したときの値に対応します。\begin{pmatrix}0&x\\1&0\end{pmatrix}^2=xIadhara_mathphysさんのツイートで三種類の二元数という分類を知りました。三種類の二元数についてオイラーの公式を考える記事です。分解型複素数のオイラーの公式は特殊相対性理論を考える上でも役に立ちます。直和分解から固有値を導入します。逆行列から行列式を抽出して、行列表現や外積で解釈します。冪零行列から微分に応用できる二重数を構成します。連立方程式と対比して行列の積の性質を調べます。(1)はてなブログをはじめよう!n7shiさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。