Questions in category: 线性代数 (Linear Algebra)
代数 >> 线性代数
<[1] [2] [3] >

11. 设 $n$ 阶方阵 $A,B$ 满足 $A=\frac{1}{2}(B+I)$, 证明 $A^2=A\Leftrightarrow B^2=I$.

Posted by haifeng on 2014-09-22 09:42:43 last update 2014-09-22 09:42:43 | Answers (1) | 收藏


设 $n$ 阶方阵 $A,B$ 满足 $A=\frac{1}{2}(B+I)$, 证明 $A^2=A\Leftrightarrow B^2=I$.

这里 $I$ 指 $n$ 阶单位矩阵.

12. Lem(Szaraki-wazewski)

Posted by haifeng on 2014-09-19 00:18:43 last update 2014-09-19 00:20:56 | Answers (1) | 收藏


Lem(Szaraki-wazewski). 设 $A,B$ 为同阶实方阵. 证明

\[
\begin{vmatrix}
\lambda I-A & B\\
-B & \lambda I-A
\end{vmatrix}=
|\lambda I-(A+iB)|\cdot |\lambda I-(A-iB)|.
\]


这个引理有一个很好的应用, 就是令 $\lambda=0$ 且 $A$ 写为 $-A$ 时, 得到

\[
\begin{vmatrix}
A & B\\
-B & A
\end{vmatrix}=
|A-iB|\cdot |A+iB|.
\]

13. 设 $A$ 是 $n$ 阶实方阵, 证明 $r(A^n)=r(A^{n+1})=r(A^{n+2})$.

Posted by haifeng on 2014-02-13 09:05:47 last update 2014-02-13 09:05:47 | Answers (1) | 收藏


设 $A$ 是 $n$ 阶实方阵, 证明 $r(A^n)=r(A^{n+1})=r(A^{n+2})$.

14. 设 $A$ 是 $n$ 阶复方阵, 若存在 $X$ 使得 $e^X=A$, 则有 $\det(A)=e^{\text{tr}(X)}$.

Posted by haifeng on 2013-07-06 09:54:23 last update 2017-04-09 10:17:23 | Answers (1) | 收藏


设 $A$ 是 $n$ 阶复方阵, 若存在 $X$ 使得 $e^X=A$, 则 $\det(A)=e^{\text{tr}(X)}$. 从而 $A$ 必须是可逆的.
 

15. 证明 $\vec{a}\times(\vec{b}\times\vec{c})=\langle\vec{a},\vec{c}\rangle\vec{b}-\langle\vec{a},\vec{b}\rangle\vec{c}$

Posted by haifeng on 2013-06-26 18:37:07 last update 2013-06-26 23:15:38 | Answers (4) | 收藏


设 $\vec{a}$, $\vec{b}$, $\vec{c}$ 是 $\mathbb{R}^3$ 中的三个向量, 证明:

\[
\vec{a}\times(\vec{b}\times\vec{c})=\langle\vec{a},\vec{c}\rangle\vec{b}-\langle\vec{a},\vec{b}\rangle\vec{c}
\]


并有下面的推论

Cor1. 对3维欧氏空间中任意向量 $\vec{a},\vec{b},\vec{c}$, 有

\[
|\vec{a}|^2|\vec{b}|^2|\vec{c}|^2=|\vec{a}|^2\langle\vec{b},\vec{c}\rangle^2+|\vec{b}|^2\langle\vec{c},\vec{a}\rangle^2+|\vec{c}|^2\langle\vec{a},\vec{b}\rangle^2-2\langle\vec{a},\vec{b}\rangle\langle\vec{b},\vec{c}\rangle\langle\vec{c},\vec{a}\rangle+[\det(\vec{a},\vec{b},\vec{c})]^2
\]


该推论有明显的几何意义, 若设 $\alpha=\angle(\vec{a},\vec{b})$, $\beta=\angle(\vec{b},\vec{c})$, $\gamma=\angle(\vec{c},\vec{a})$, 则由上面的推论得

\[
|\vec{a}|^2|\vec{b}|^2|\vec{c}|^2=|\vec{a}|^2|\vec{b}|^2|\vec{c}|^2(\cos^2\beta+\cos^2\gamma+\cos^2\alpha)-2|\vec{a}|^2|\vec{b}|^2|\vec{c}|^2\cos\alpha\cos\beta\cos\gamma+[\det(\vec{a},\vec{b},\vec{c})]^2.
\]

若 $\vec{a},\vec{b},\vec{c}$ 模长均为 1, 则有

Cor2.

\[
1=\cos^2\alpha+\cos^2\beta+\cos^2\gamma-2\cos\alpha\cos\beta\cos\gamma+[\det(\vec{a},\vec{b},\vec{c})]^2
\]


当然, 特别的有

Cor3. 若 $\alpha=\beta+\gamma$, 则显然由这三个向量构成的平行六面体的体积为零. 从而有

\[
1=\cos^2(\beta+\gamma)+\cos^2\beta+\cos^2\gamma-2\cos(\beta+\gamma)\cos\beta\cos\gamma
\]

当然这个恒等式可以直接验证.

16. 实对称矩阵成为正定矩阵的充分条件

Posted by haifeng on 2012-08-06 01:45:51 last update 2012-12-13 22:10:13 | Answers (0) | 收藏


设 $A$ 是 $n$ 阶实对称矩阵, 若满足下列条件之一:

(i) $A=B^T B$, 其中 $B$ 是 $m\times n$ 的列满秩矩阵.

(ii) $A$ 的所有 $k$ 阶主子式之和大于零, $k=1,2,\ldots,n$.

(iii) $A$ 的所有顺序主子式大于零.

则 $A$ 是正定的.


Remark: (i) 中如果 $B_{m\times n}$ 不是列满秩的, 则 $A$ 是半正定的.

17. 任意非奇异实矩阵均可表示为一个正交矩阵和一个正定阵的乘积.

Posted by haifeng on 2012-08-06 01:28:14 last update 2012-08-06 02:03:20 | Answers (1) | 收藏


设 $U$ 是非奇异实矩阵, 则存在正交矩阵 $O$ 和某个正定矩阵 $P$, 使得 $U=PO=OP$. 并且这个表示法是唯一的.

若 $U$ 是辛矩阵, 则 $P$ 和 $O$ 都是辛矩阵.

18. 证明: $\mathrm{Sp}(2n,\mathbb{R})\cap\mathrm{O}(2n)\cong\mathrm{U}(n)$.

Posted by haifeng on 2012-08-05 09:16:58 last update 2017-06-22 20:11:58 | Answers (1) | 收藏


正交矩阵 $O$ 是辛矩阵当且仅当形如

\[O=\begin{pmatrix}A & B\\ -B & A\end{pmatrix}\]

其中 $A^t B$ 是对称矩阵, 且 $A^t A+B^t B=I_n$.

这些条件也是复矩阵 $C=A+iB$ 是酉矩阵的充要条件.

于是我们证明了

\[\mathrm{Sp}(2n,\mathbb{R})\cap\mathrm{O}(2n)\cong\mathrm{U}(n).\]


类似的问题:

问题861

问题1915

19. 线性代数精品课程网站

Posted by haifeng on 2012-07-26 11:18:49 last update 2023-08-21 07:53:47 | Answers (0) | 收藏


同济大学

http://web.tongji.edu.cn/~math/xxds/

20. Pauli spin 矩阵

Posted by haifeng on 2012-07-19 17:05:16 last update 2017-06-05 13:59:50 | Answers (0) | 收藏


Pauli spin 矩阵指的是

\[
\sigma^1=
\begin{pmatrix}
0 & 1\\
1 & 0
\end{pmatrix},\quad
\sigma^2=
\begin{pmatrix}
0 & i\\
-i & 0
\end{pmatrix},\quad
\sigma^3=
\begin{pmatrix}
1 & 0\\
0 & -1
\end{pmatrix},
\]

它们之间的关系是

\[(\sigma^i)^2=I,\quad i=1,2,3.\]

\[\sigma^i\sigma^j=-\sigma^j\sigma^i\]

\[
\begin{aligned}
\sigma^1\sigma^2=-i\sigma^3,\\
\sigma^2\sigma^3=-i\sigma^1,\\
\sigma^3\sigma^1=-i\sigma^2.
\end{aligned}
\]

<[1] [2] [3] >