Mathmatical Background in Detail

这篇笔记给出 Mathmatical Background 中一些重要结论的证明


对于一个 squre matrix $Q$

  • $Q$ 的 column vector 是 orthogonal 不能推出 $Q$ 的 row vector 是 orthogonal 的
  • $Q$ 的 column vector 是 orthonormal 等价于 $Q$ 的 row vetor 是 orthonormal 的

$\det(AB) = \det(A)\det(B)$

Given any $m \times n$ matrix $A$, its column rank always equals its row rank

If $A, B$ are square matrices, then $AB = I \Ra BA = I$

A symmetric matrix $A \in \mathbb{R}^{n\times n}$ has $n$ real eigenvalues

For symmetric matrix, the eigenvectors of different eigenvalues are orthogonal

If $\lambda_i$ is a repeated root with multiplicity m >= 2, then there exist m orthonormal eigenvectors corresponding to $\lambda_i$

$A$ is positive definite iff all its eigenvalues are positive

Gradient is perpenticular to level surface (contour line)

证明前简单回顾一下空间曲线的方程

空间曲线可以用如下方程表示(按高数书中以3维空间为例)

空间曲面可以用如下方程表示

这个可以从“点,线,面”的关系来理解,对于曲线方程,如果固定 $t = t_0$,我们就 得到了一个点 $(x(t_0), y(t_0), z(t_0))$,因此连续变化的 $t$ 就构成了一个 曲线。对于曲面方程,固定 $s$,我们就得到一个曲线方程,让曲线沿着 $s$ 这个维度 变化就得到了一个曲面

给定上面的曲线方程,其在某个点 $t_0$ 的切向量可以表示为 $(x’(t_0), y’(t_0), z’(t_0))$,其中 $’$ 表示导数


Reference