極分解計算機

正則な実数2×2行列を直交因子と対称正定値因子に分解します。

行列の極分解を計算
正則な2×2行列Aの4つの成分を入力してください。

行列の極分解について

極分解は実行列Aを積QPに分解します。正則な正方行列では、Qは直交行列、Pは対称正定値行列です。直交行列は長さと角度を保つため、回転や反射を表します。正定値因子は回転を加えず、互いに直交する主方向に空間を伸縮します。これは、ゼロでない複素数を大きさと単位方向の積で表すことに対応します。 この計算機は正則な実数の二次正方行列を扱います。まずAの転置とAの積で対称なグラム行列を作り、その正定値平方根をPとします。二次の正定値行列の平方根はトレースと行列式から直接計算でき、反復近似は不要です。次にAとPの逆行列の積からQを求めます。表示は小数点以下六桁に丸めますが、内部ではJavaScriptの倍精度を保持します。 因子には結果の確認に便利な恒等式があります。Qの転置とQの積は、丸め誤差を除けば単位行列です。Pは自身の転置と等しく、固有値は正です。最後にQとPの積で元の行列Aを再構成できます。単位行列では両因子とも単位行列になります。四分の一回転と軸ごとに異なる拡大縮小を組み合わせた行列では、Qが回転を、Pが二つの伸縮率を表します。 極分解は力学、グラフィックス、数値解析、最適化、統計に登場します。連続体力学では変形を剛体回転と純粋な伸縮に分離します。コンピューターグラフィックスでは、拡大縮小やせん断を含む変換から回転を抽出するのに役立ちます。直交プロクラステス問題では極分解の因子で最も近い直交行列を求め、幾何学的構造の保持が重要な数値アルゴリズムでは極反復を使います。 特異行列にも極分解は存在し得ますが、直交因子が一意でない場合があり、追加の取り決めが必要です。この計算機はPの逆行列が存在して分解が明確になるよう、正則行列に限定しています。条件の悪い行列では伸縮の一方向がゼロに近いため、浮動小数点誤差が増幅されることがあります。学習や計算の補助として利用し、重要な数値計算は任意精度や大規模行列に対応したソフトウェアで確認してください。

極分解の例

行列A因子解釈
[1, 0] [0, 1]Q = I, P = I単位行列には回転も伸縮もありません。
[0, -2] [3, 0]Q = [0, -1] [1, 0], P = [3, 0] [0, 2]90度の回転に続く不均等な伸縮。
[2, 0] [0, 4]Q = I, P = [2, 0] [0, 4]正の対角行列は、それ自体が純粋な伸縮です。

極分解の計算方法

  1. 行ごとに行列の成分を入力します。
  2. 「極分解を計算」を選択します。
  3. 直交行列Qと対称正定値行列Pを確認します。
  4. QとPを掛け、入力行列が再構成されることを確認します。

極分解のよくある質問

極分解は何を分離しますか?

可逆な線形変換を、直交する回転または反射と、対称正定値の伸縮に分離します。その積で元の変換が再現されます。

複素数の極形式とどう関係しますか?

どちらも大きさに相当する部分と方向に相当する部分に分けます。行列では正定値因子が大きさを、直交因子が複素数の単位方向を一般化しています。

Q因子はどう確認できますか?

Qの転置とQを掛けます。表示の小数点以下六桁への丸めを考慮すれば、単位行列になるはずです。

特異行列を使えないのはなぜですか?

この直接法ではAとPの逆行列の積でQを計算します。特異行列ではPが可逆でなく、直交因子も一意とは限りません。

Pは必ず対角行列ですか?

いいえ。Pは対称正定値ですが、非対角成分がゼロでない場合もあります。主伸縮方向が座標軸に一致する場合だけ対角行列になります。