「零因子の作り方」の編集履歴（バックアップ）一覧に戻る
零因子の作り方 - (2011/05/21 (土) 21:41:56) のソース
<math>A = [ \mathbf{a}_1, \cdots, \mathbf{a}_r ] \in \mathbb{R}^{n \times r}</math>
<math>B = [ \mathbf{b}_1, \cdots, \mathbf{b}_s ] \in \mathbb{R}^{n \times s}</math>
<math>A^\mathrm{T} B = O_{r \times s} </math>
<math> \Leftrightarrow \ {}^\forall i,j \quad \mathbf{a}_i^\mathrm{T} \mathbf{b}_j = 0 </math>
<math>\Leftrightarrow \mathrm{Span}\{ \mathbf{a}_i \} \cap \mathrm{Span}\{ \mathbf{b}_j \} = \{ 0 \} </math>
i.e. 各ベクトルが直交するように作れば良い。
'''Ex. '''
<math>A = \begin{pmatrix} 1 & 0 \\ 0 & 1 \\ 0 & 0 \\ 0 & 0 \end{pmatrix}, \quad B = \begin{pmatrix} 0 & 0 \\ 0 & 0 \\ 1 & 0 \\ 0 & 1 \end{pmatrix}</math>
<math>A^\mathrm{T} B = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}</math>
'''Rem. '''
Aのベクトル同士，Bのベクトル同士は一次独立でなくても構わない。
<math>A = \begin{pmatrix} 2 & 1 \\ 4 & 2 \end{pmatrix}, \quad B = \begin{pmatrix} -2 & 0 \\ 1 & 0 \end{pmatrix}</math>
<math>A^\mathrm{T} B = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix}</math>
