从本节开始研究欧几里得空间的自伴随映射
1 自伴随映射
设A是欧几里得空间到自身的映射,若:
则称A是自伴随映射.
2 对称映射
再上边的自伴随映射中若A是实欧几里得空间上的映射.则A在标准正交系下的矩阵表示是对称矩阵,即:
称这类映射为对称映射.
3 埃尔米特映射
若A是复欧几里得空间上的映射.则A的矩阵表示是共轭对称的.即:
称这类映射为埃尔米特映射.
4 线性映射的自伴随部分
设M是欧几里得空间任意线性映射.定义M的自伴随部分为:
也就是说:
5 黑塞矩阵:
设:
是n个实变量的二阶可微实值函数.其中n个变量简记为向量x.f在a处的二阶泰勒近似为:
其中:
l(y)和q(y)分别是分别是y的线性函数和二次函数.因为线性函数都形如:
其中g是f在a处的梯度,根据泰勒定理:
二次函数q形如:
矩阵(hij)称作f的黑塞矩阵.根据泰勒定理.有:
运用矩阵和偶激励得标量积的记号将q重写为:
根据二阶可微函数混合偏导相等可知:
因此黑塞矩阵H是自伴随矩阵.
6 二次型
设a是函数f的一个稳定点.即f的梯度g在a处取值为零.泰勒公式表明:f在a点附近的行为由f的二次项决定.
而考察函数在稳定点附近的行为不仅有其几何意义.对于动态系统的研究也是十分重要的.
因此二次函数在数学中占据十分重要的位置.而对称矩阵也成为线性代数研究的一个中心问题.
二次函数也叫二次型.如上边的q就是二次型
为了研究二次函数,常用的方法是引入新的变量:
其中L是可逆矩阵.q在新变量z下的矩阵形式较原来更为简洁.