欧式空间中线性变换和正交变换的关系

第1页共5页欧氏空间中线性变换和正交变换的关系摘要对欧式空间中的线性变换与正交变换之间的关系进行讨论关键词：欧式空间线性变换正交变换线性变换和正交变换是欧氏空间的两种重要变换。本文首先引入线性变换和正交变换在欧氏空间中的定义，然后讨论两者之间的关系。为了阅读方便，本文从最基本的概念谈起，即先定义线性空间、内积、欧氏空间、线性变换和正交变换。定义1设V不是空集，P为一个数域，在V中定义加法和数量乘法（简称数乘），若对PlkV,,,,，满足：（1）V，（关于加法封闭）（2），（交换律）（3））（）（，（结合律）（4）VV，使0,0，（零元）（5）0）（，使）（，VV，（负元）（6）Vk（关于数乘封闭）（7）1（8））（）（kllk（9）lklk）（（10）kkk）（则称V为数域P上的线性空间。定义2设V是R上的一个线性空间，在V上定义了一个二元实函数，称为内积，记为),(，它具有以下性质（RkV,,,）：（1）),(),(（2）),(),(kk（3）),(),(),(（4）0),(，当且仅当0时，0),(。定义3定义2中的线性空间V就称为欧几里得空间，简称欧氏空间。定义4设V是一个线性空间，P为一个数域，对于PkV,,，有（1）()()()AAA（2）()()AkkA则称A为V上的线性变换。定义5设A是欧氏空间V的一个变换，如果对于任意的,,V即保持内积不变，第2页共5页都有：((),())(,)AA。则称A是正交变换。由上述定义可以得到如下命题：命题1正交变换A保持向量的长度不变。因为欧氏空间V的向量的长度是(,)，所以就有()((),())(,)AAA。但是，欧氏空间中保持向量长度不变的变换不一定是一个正交变换。例如，在欧氏空间R2中，令向量在直角坐标系下的表示为12(,)xx，有1212()(,)(||,||)AAxxxx。显然A是R2的一个变换。且因为22121212|(,)||(||,||)|||||Axxxxxx，221212|(,)|xxxx。可知A保持向量的长度不变。但A不是正交变换，因为对于任意的1212(,),(,)xxyy则有：12121122((),())((,),(,))AAxxyyxyxy，12121122(,)((,),(,))xxyyxyxy。二者未必相等。命题2正交变换A保持任意两个向量的夹角不变。因为欧氏空间V的向量、的夹角0,的余弦可以表示为：(,)cos，那么()A、()A的夹角'的余弦是：((),())(,)cos'cos()()AAAA，故'。但是，欧氏空间中保持任意两个向量夹角不变的变换不一定是一个正交变换。例如，设A是欧氏空间的一个变换，对于任意的V,有()Ak，其中kR。第3页共5页因为对于任意的,,V()A、()A的夹角的余弦为：22(,)(,)(,)kkkkkk，所以变换A保持了向量夹角。但是A不是正交变换，因为对于任意的,,V有：2(,)(,)(,)Akkk，这未必与(,)相等。这样就容易得到一个可以判定正交变换的命题：命题3欧氏空间V的保持向量长度不变和任意两个向量的夹角不变的变换A是一个正交变换。下面我们首先讨论欧氏空间的正交变换和线性变换的关系。命题4欧氏空间V的正交变换A一定是一个线性变换。证明任取，V，由于(()()(),()()())AAAAAA=((),())2((),())AAAA2((),())((),())AAAA2((),())((),())AAAA(,)2(,)2(,)(,)2(,)(,)0故()()()0AAA即()()()AAA同理可证()()0,AaaAaR即()()AaaA故A是线性变换。命题5欧氏空间V的保持向量长度不变的线性变换A一定是一个正交变换。证明任取，V，由于A是保持向量长度不变的变换，即有((),())(,)AA,((),())(,)AA,((),())(,)AA。又因为A是一个线性变换，故有：((),())((),())2((),())((),())AAAAAAAA,((),())(,)2(,)(,),第4页共5页故((),())(,)AA。所以A一定是一个正交变换。例如，在欧氏空间R2中，关于横轴的对称变换是一个正交变换。设任意向量在坐标系下的表示为12(,)xx，A为关于横轴的对称变换，这样就有：1212()((,))((,))AAxxxx下面证明这是一个线性变换。因为：121211221122()((,)(,))((,))(,)AAxxyyAxyxyxyxy，121212121122()()((,))((,))(,)(,)(,)AAAxxAyyxxyyxyxy，所以()()()AAA。又因为：121212()((,))(,)(,)AkAkxxAkxkxkxkx，121212()((,))(,)(,)kAkAxxkxxkxkx，其中kR。所以()()AkkA。故A为线性变换。显然对称变换A又是保持长度的，因此根据命题5，它是一个正交变换。同样，我们常见的欧氏空间R2的旋转变换也是一个正交变换。设任意向量在坐标系下的表示为12(,)xx，A为逆时针方向旋转的变换，这样就有：121221()((,))(cossin,cossin)AAxxxxxx。显然这是一个线性变换。因为：12121122()((,)(,))((,))AAxxyyAxyxy11222211(()cos()sin,()cos()sin)xyxyxyxy1212()()((,))((,))AAAxxAyy1221(cossin,cossin)xxxx1221(cossin,cossin)yyyy11222211(()cos()sin,()cos()sin)xyxyxyxy所以()()()AAA又因为：12121221()((,))(,)(cossin,cossin)AkAkxxAkxkxkxkxkxkx1221(cossin,cossin)()kxxxxkA下面我们证明这个旋转变换是一个保持长度的变换。因为：121221()((,))(cossin,cossin)AAxxxxxx=221221(cossin)(cossin)xxxx第5页共5页221212(,)xxxx所以，欧氏空间R2的旋转变换是一个正交变换。命题6欧氏空间V的保持任意两个向量夹角不变的线性变换A不一定是一个正交变换。前面我们举的例子：A是欧氏空间的一个变换，对于任意的V,有()Ak，其中kR。说明了尽管A保持了任意两个向量夹角不变，但并不是一个正交变换。事实上，这个变换A还是一个线性变换。因为：()()Akkk，()()()()()AlklkllklA，lR参考文献[1]张禾瑞，郝鈵新.高等代数（第三版）[M].北京：高等教育出版社，1983.321-328.[2]北京大学数学系几何与代数教研室代数小组.高等代数（第二版）[M].北京：高等教育出版社，1988.372-393.