Using the technique of block-operators, in this note, we prove that if P and Q are idempotents and （P - Q）^2n＋1 is in the trace class, then （P - Q）^2m＋1 is also in the trace class and tr（P - Q）^2m＋1 = dim（k...Using the technique of block-operators, in this note, we prove that if P and Q are idempotents and （P - Q）^2n＋1 is in the trace class, then （P - Q）^2m＋1 is also in the trace class and tr（P - Q）^2m＋1 = dim（k（P） ∩ k（Q）^⊥） -dim（k（P）^⊥ N k（Q））, for all m ≥ n. Moreover, we prove that dim（k（P）∩ k（Q）^⊥） = dim（k（P）^⊥ ∩k（Q）） if and only if there exists a unitary U such that UP = QU and PU = UQ, where k（T） denotes the range of T. Keywords Fredholm, orthogonal projection, positive operator展开更多
This paper proposes the Rice condition numbers for invariant subspace, singular subspaces of a matrix and deflating subspaces of a regular matrix pair. The first-order perturbation estimations for these subspaces are ...This paper proposes the Rice condition numbers for invariant subspace, singular subspaces of a matrix and deflating subspaces of a regular matrix pair. The first-order perturbation estimations for these subspaces are derived by applying perturbation expansions of orthogonal projection operators.展开更多
基金Supported by the National Natural Science Foundation of China （10871224）
文摘Using the technique of block-operators, in this note, we prove that if P and Q are idempotents and （P - Q）^2n＋1 is in the trace class, then （P - Q）^2m＋1 is also in the trace class and tr（P - Q）^2m＋1 = dim（k（P） ∩ k（Q）^⊥） -dim（k（P）^⊥ N k（Q））, for all m ≥ n. Moreover, we prove that dim（k（P）∩ k（Q）^⊥） = dim（k（P）^⊥ ∩k（Q）） if and only if there exists a unitary U such that UP = QU and PU = UQ, where k（T） denotes the range of T. Keywords Fredholm, orthogonal projection, positive operator
文摘This paper proposes the Rice condition numbers for invariant subspace, singular subspaces of a matrix and deflating subspaces of a regular matrix pair. The first-order perturbation estimations for these subspaces are derived by applying perturbation expansions of orthogonal projection operators.
