一、二次型一定是实对称矩阵

二次型可以表示为 $x^TAx$ 的形式,其中 $A$ 是对称矩阵。那么是否就能推出 $A$ 是实对称矩阵呢?

实际上是成立的,因为对于任意一个二次型矩阵 $A$,我们都可以把它写成 $A = \frac{1}{2}(A+A^T) + \frac{1}{2}(A-A^T)$ 的形式。其中第一个部分是 $A$ 的实对称部分,而第二部分是 $A$ 的反对称部分,对于一个二次型矩阵 $A$,其反对称部分一定为零,因此 $A$ 一定是实对称矩阵。

import numpy as np

A = np.array([[1,2,3],
              [2,4,5],
              [3,5,6]])

symmetric_part = (A + A.T) / 2
print("Symmetric Part:\n", symmetric_part)

antisymmetric_part = (A - A.T) / 2
print("Antisymmetric Part:\n", antisymmetric_part)

二、二次型矩阵一定是实对称矩阵吗

根据一的结论,二次型矩阵在对称条件下一定是实对称的。但是如果条件放宽,二次型矩阵不一定是实对称矩阵。例如,当二次型中包含虚数时就不是实对称矩阵。

import numpy as np

A = np.array([[1, 2+3j],
              [2-3j, 4]])

print("Complex quadratic form matrix A:\n", A)

symmetric_part = (A + A.T) / 2
print("Symmetric Part:\n", symmetric_part)

antisymmetric_part = (A - A.T) / 2
print("Antisymmetric Part:\n", antisymmetric_part)

三、对称矩阵都是二次型矩阵吗

对称矩阵是二次型矩阵的一种特殊情况,因为对称矩阵可以表示为 $A = A^T$ 的形式,就可以表示为 $x^TAx$ 这样的二次型。但是,并不是所有的二次型矩阵都能表示为对称矩阵的形式。

import numpy as np

A = np.array([[1, 2],
              [3, 4]])

B = np.array([[1, 2],
              [2, 3]])

print("A is Symmetric Matrix. B is not Symmetric Matrix.")

print("A can be represented as Quadratic Form:\n", np.dot(np.array([1,2]), np.dot(A, np.array([1,2]))))
print("B can not be represented as Quadratic Form as it is not Symmetric.")

四、二次型矩阵一定是对称矩阵吗

二次型矩阵并不一定是对称矩阵,因为二次型矩阵 $A$ 的对称条件为 $A = A^T$,但是这个条件并不是二次型矩阵的必要条件。例如,二次型矩阵 $A=\begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix}$ 就不是对称矩阵。

import numpy as np

A = np.array([[1, 2],
              [3, 4]])

print("A is not Symmetric Matrix.")

print("A can be represented as Quadratic Form:\n", np.dot(np.array([1,2]), np.dot(A, np.array([1,2]))))

五、二次型中 $a$ 是实对称矩阵吗

在二次型 $x^TAx$ 中,$A$ 一定是一个二次型矩阵,但是 $a$ 不一定是一个实对称矩阵。因为 $a$ 表示的是向量 $x$,向量本身不一定是实对称的。

import numpy as np

a = np.array([1, 2])

print("a is not Symmetric Vector.")

print("Quadratic Form using a vector:\n", np.dot(a, np.dot(np.array([[1, 2], [2, 3]]), a)))

六、二次型一定是实对称吗

根据一的结论,对于一个常系数实二次型 $x^TAx$ 而言,其矩阵必定为实对称矩阵,因此可以得到二次型一定是实对称的。

七、对称矩阵都是二次型矩阵吗

回到三的问题,对称矩阵可以表示为二次型 $x^TAx$ 的形式,因此对称矩阵都是二次型矩阵。