复化
数学中,实数域上的矢量空间V的复化是在复数域上对应的矢量空间V,就是说它有与V相同的维数,V在实数域上的基可以作为V在复数域上的基。
例如设V包含m×n实矩阵,则V包含m×n复矩阵。
不依赖于基的定义是取V和复数在实域上的张量积:
复矢量空间有额外结构:典范复共轭运算
。因为
以
包含在
内,复共轭运算可定义为
。这运算常记作
或
。
相反地,给出复矢量空间,并有复共轭运算
,
作为复矢量空间同构于
的实子空间
的复化
。也就是说,所有带有复共轭运算的复矢量空间都是实矢量空间的复化。
例如有标准共轭运算
,那么
。