spanplus

引数

A, B

同数の行を有する実数または複素数の行列

X

直交またはユニタリ正方行列

dim, dima

整数, 部分空間の次元

tol

非負の実数

説明

以下の様な基底Xを計算します:

Xの最初のdima列が range(A)に展開し, これ以降の(dim-dima)列が, A+B のAに関する基底を構成.

Xの最初のdim列は, A+Bの基底を構成します.

[A,B]に関する以下の正準形式が定義されます:

[*,*]    (dima 行)
X'*[A,B]=[0,*]    (dim-dima 行)
[0,0]

tol はオプションの引数です(関数のコードを参照).

例

A=rand(6,2)*rand(2,5);      // rank(A)=2
B=[A(:,1),rand(6,2)]*rand(3,3);   //独立なベクトル2つを追加
[X,dim,dimA]=spanplus(A,B);
dimA
dim

参照

• spaninter — 共通部分空間
• im_inv — 原像
• spantwo — 部分空間の合計および共通部分