Ludium
EN/日本語
ログイン
線形代数
連立一次方程式を解く
01行の見方・列の見方・行列の形02三次元の行の見方と列の見方03特異行列と正則行列04Ax の二つの計算法問題セット0/10問題セット20/10MIT 問題セット0/4
01ガウスの消去法と後退代入02消去行列03置換行列と逆行列問題セット0/10問題セット20/10MIT 問題セット0/4
01行列の積の五つの見方02逆行列と特異性03ガウス・ジョルダン法による逆行列問題セット0/10問題セット20/10MIT 問題セット0/5
01積の逆行列と転置の規則02A = LU 分解03ガウスの消去法の計算量 ⅓n³04置換行列:P⁻¹ = Pᵀ問題セット0/10問題セット20/10MIT 問題セット0/6
01置換行列と PA = LU 分解02RᵀR はなぜ必ず対称になるのか03ベクトル空間と部分空間04行列の列空間問題セット0/10問題セット20/10MIT 問題セット0/4
ベクトル空間と部分空間
01ベクトル空間と部分空間02行列の列空間03行列の零空間問題セット0/10問題セット20/10
01階数・ピボット変数・自由変数02零空間の特殊解03簡約行階段形から零空間を読み取る問題セット0/10問題セット20/10MIT 問題セット0/3
01Ax = b の可解性02特解と零空間03階数と Ax = b の4つの場合問題セット0/10問題セット20/10MIT 問題セット0/8
01一次独立と零空間02基底と次元03次元定理問題セット0/10問題セット20/10MIT 問題セット0/5
01階数と四つの基本部分空間02一回の行簡約で四つの基底03ベクトル空間としての行列問題セット0/10問題セット20/10MIT 問題セット0/4
01部分空間の次元公式02線形代数としての微分方程式03階数一の行列と外積04四つの基本部分空間問題セット0/10問題セット20/10MIT 問題セット0/1
01差分作用素としての接続行列02グラフの接続行列03釣り合いの方程式 AᵀCAx = f問題セット0/10問題セット20/10MIT 問題セット0/1
直交性と最小二乗法
01直交する部分空間02直交補空間としての零空間03正規方程式問題セット0/10問題セット20/10MIT 問題セット0/4
01直線への射影:P = aaᵀ/aᵀa02部分空間への射影03射影と最小二乗法問題セット0/10問題セット20/10MIT 問題セット0/6
01相補的な射影 P と I − P02最小二乗法と正規方程式03射影としての最小二乗法04AᵀA の可逆性問題セット0/10問題セット20/10MIT 問題セット0/5
01直交行列02正規直交基底への射影03グラム・シュミットの直交化法04グラム・シュミット法による QR 分解問題セット0/10問題セット20/10MIT 問題セット0/3
行列式
01行列式の三つの公理02三つの公理から導く行列式の性質03消去法で行列式を求める04積の法則と転置の性質問題セット0/10問題セット20/10MIT 問題セット0/2
01置換による行列式の公式02余因子展開03三重対角行列の周期的な行列式問題セット0/10問題セット20/10MIT 問題セット0/3
01余因子による逆行列の公式02クラメルの公式03体積としての行列式問題セット0/10問題セット20/10MIT 問題セット0/4
固有値と時間発展
01固有値と固有ベクトル02固有値と固有ベクトルの求め方03複素数の固有値と欠陥行列問題セット0/10問題セット20/10MIT 問題セット0/2
01対角化:A = SΛS⁻¹02行列のべき乗と安定性の定理03欠陥行列と重複度04固有値とフィボナッチ数列問題セット0/10問題セット20/10MIT 問題セット0/3
01固有値で du/dt = Au を解く02複素平面で見る固有値の安定性03行列の指数関数 e^(At)04コンパニオン行列問題セット0/10問題セット20/10MIT 問題セット0/5
01マルコフ行列が必ず固有値 1 をもつ理由02固有値で見るマルコフ連鎖の定常状態03マルコフ行列と定常状態04正規直交基底とフーリエ係数問題セット0/10問題セット20/10MIT 問題セット0/7
対称行列と特異値分解
01スペクトル定理02対称行列の固有値が実数である理由03シルベスターの慣性法則04正定値性の判定問題セット0/10問題セット20/10MIT 問題セット0/5
01共役転置02フーリエ行列の逆行列03高速フーリエ変換(FFT)の分解問題セット0/10問題セット20/10
01正定値行列02ピボットによる正定値性の判定03ヘッセ行列と正定値性04主軸定理と楕円体問題セット0/10問題セット20/10MIT 問題セット0/6
01正定値行列の閉包性02相似な行列と変わらない固有値03固有値だけでは相似を分類できない理由04ジョルダン標準形問題セット0/10問題セット20/10MIT 問題セット0/5
01特異値分解02特異値分解を AᵀA に帰着させる03特異値分解の計算:2つの例題04特異値分解と四つの基本部分空間問題セット0/10問題セット20/10MIT 問題セット0/3
線形変換とその応用
01線形変換の定義02基底、座標、線形写像03線形写像が行列になるしくみ問題セット0/10問題セット20/10
01基底変換としての画像圧縮02基底の選び方:JPEG、フーリエ、ウェーブレット03基底変換と画像圧縮04基底変換と対角化問題セット0/10問題セット20/10
01逆行列と四つの基本部分空間02片側逆行列と射影03擬似逆行列04特異値分解による擬似逆行列問題セット0/10問題セット20/10

特異値分解の計算:2つの例題

行列がフルランクから階数 1 に落ちると特異値分解の何が変わり、零空間のベクトルは V と U のどこに現れるのでしょうか。

日本語版の動画は準備中です(英語版を表示しています)


読み込み中…

←前へ 特異値分解を AᵀA に帰着させる次へ 特異値分解と四つの基本部分空間 →

まとめノート

    1. 1

      可逆な 2×22 \times 22×2 の例

      A=[44−33]A = \begin{bmatrix} 4 & 4 \\ -3 & 3 \end{bmatrix}A=[4−3​43​] から ATA=[257725]A^T A = \begin{bmatrix} 25 & 7 \\ 7 & 25 \end{bmatrix}ATA=[257​725​] を経て、σ1=32\sigma_1 = \sqrt{32}σ1​=32​、σ2=18\sigma_2 = \sqrt{18}σ2​=18​ と v1,v2=(1,±1)/2v_1, v_2 = (1, \pm 1)/\sqrt{2}v1​,v2​=(1,±1)/2​ まで計算を進めましょう。

    2. 2

      u1u_1u1​ と u2u_2u2​ の符号を決める

      AATAA^TAAT が対角成分 323232 と 181818 の対角行列になることに注目し、分解を書き下す前に、各候補 uiu_iui​ を Avi=σiuiAv_i = \sigma_i u_iAvi​=σi​ui​ で確かめましょう。

    3. 3

      零空間をもつ階数 1 の例

      A=[4386]A = \begin{bmatrix} 4 & 3 \\ 8 & 6 \end{bmatrix}A=[48​36​] について、v1=(0.8,0.6)v_1 = (0.8, 0.6)v1​=(0.8,0.6)、v2=(0.6,−0.8)v_2 = (0.6, -0.8)v2​=(0.6,−0.8)、u1=(1,2)/5u_1 = (1,2)/\sqrt{5}u1​=(1,2)/5​、u2=(2,−1)/5u_2 = (2,-1)/\sqrt{5}u2​=(2,−1)/5​ と σ1=125\sigma_1 = \sqrt{125}σ1​=125​ を書き留めましょう。

    4. 4

      組み立てた分解の中のゼロの特異値

      Σ=[125000]\Sigma = \begin{bmatrix} \sqrt{125} & 0 \\ 0 & 0 \end{bmatrix}Σ=[125​0​00​] を使って積全体を書き、AAA を再構成するとき v2v_2v2​ と u2u_2u2​ には 0 が掛かることを書き留めましょう。

    2回中1回目