线性代数(四十七) ： 复欧几里得空间

本节简单介绍复欧几里得空间的结构.

0 共轭复数

两个实部相等，虚部互为相反数的复数互为共轭复数.z的共轭复数记做：

1 复欧几里得空间标量积

2 复欧几里得空间的矩阵伴随

若：

则根据标量积的定义：

也可以写作：

即：

即矩阵A的伴随等于其转置的复共轭.

3 定义复欧几里得空间与标量积

设X为复数域上的线性空间,如果X上存在满足下列条件的二元复值函数,则称X具有复欧几里得结构.同时称该函数为标量积,记做(x,y):

(i) (x,y)为双线性函数,即当固定一个自变量的时候,(x,y)是另一个自变量的线性函数.

(ii)(x,y)具有共轭对称性,即对任意x,y有：

(iii)当x不等于0时,(x,x)恒正.

4 复欧几里得空间的性质

(i)对任意复数k有：

(ii)

其中Re k表示k的实部.

(iii)复欧几里得空间的等距映射

(iv)酉映射

 复欧几里得空间到自身的等距线性映射称为酉映射.