行列

2.ユニタリ相似とユニタリ同値

[行列解析2.3.p5]可換性仮定の強弱と同時上三角化の条件

2.3.P52.3.問題5与えられた行列族 \( \mathcal{F} = \{A_1, \dots, A_k\} \subset M_n \) に対し、すべてのペア積からなる族を\( \mathcal{G} = \{A_i A_j : ...
2.ユニタリ相似とユニタリ同値

[行列解析2.3.p4]可換でなくても同時上三角化できる例

2.3.問題42.3.P4次の行列族 \( \mathcal{F} \) を考える:\mathcal{F} =\left\{\begin{bmatrix}0 & -1 \\0 & -1\end{bmatrix},\begin{bmatrix...
2.ユニタリ相似とユニタリ同値

[行列解析2.3.p3]実行列で非実固有値が共役対となる理由

2.3.P32.3.問題3\( A \in M_n(\mathbb{R}) \) の場合、非実固有値(存在するならば)は共役な対として現れる理由を説明せよ。ヒント実行列 \(A\) の特性多項式は係数が実数になる。このため、その根である固有...
2.ユニタリ相似とユニタリ同値

[行列解析2.3.p2]単位ベクトルを第1列に持つ直交行列の構成

2.3.P22.3.問題2\(x \in \mathbb{R}^n\) が与えられた単位ベクトルであるとき、(2.3.P1) で述べた構成を簡略化して、第1列が \(x\) であるような実直交行列 \(Q \in M_n(\mathbb{R...
2.ユニタリ相似とユニタリ同値

[行列解析2.3.p1]エルミート行列の自乗計算と単位性の確認

2.3.P12.3.問題1\(x \in \mathbb{C}^n\) を与えられた単位ベクトルとし、\(x = \begin{bmatrix} x_1 \\ y \end{bmatrix} \) と書く。ただし、\(x_1 \in \ma...