王朝霞,張 慶
(唐山師范學(xué)院 數(shù)學(xué)與信息科學(xué)系,河北 唐山 063000)
數(shù)學(xué)研究
歐氏空間的等積變換的性質(zhì)
王朝霞,張 慶
(唐山師范學(xué)院 數(shù)學(xué)與信息科學(xué)系,河北 唐山 063000)
首先給出了歐氏空間的等積變換的定義。其次給出4個(gè)引理并利用這些引理給出了有限維歐氏空間的兩個(gè)線性變換為等積變換的充要條件,其中一個(gè)充要條件反應(yīng)了兩個(gè)等積變換在規(guī)范正交基下的矩陣關(guān)系,另一個(gè)充要條件反應(yīng)了兩個(gè)等積變換之間的關(guān)系。最后給出了無限維歐氏空間為等積變換的一個(gè)充要條件及等積變換的一個(gè)性質(zhì)。
歐氏空間;線性變換;等積變換;規(guī)范正交基
在歐氏空間V中,若,σ τ 為V的兩個(gè)正交變換,則對任意的ξ, η∈V,都有
反之,如果對任意的ξ, η∈V,都有
那么,σ τ 未必是為V的兩個(gè)正交變換。本文要研究保持內(nèi)積不變的同一歐氏空間的兩個(gè)線性變換的關(guān)系。
定義 在歐氏空間V中,,σ τ 為V的兩個(gè)線性變換,若對任意的ξ, η∈V都有
則稱,σ τ 為V的兩個(gè)等積變換。
引理1[1]若V是歐氏空間,V的向量組
線性無關(guān)的充要條件是及
引理2 若V是歐氏空間,V的兩個(gè)向量組為由X, Y的任意性知ATA=BTB=0,即ATA=BTB。
由引理及定理1可得定理2。
定理2 若σ,τ為n維歐氏空間V的兩個(gè)線性變換,則σ,τ為V等積變換的充要條件是存在正交變換φ,使得φσ=τ。
證明 充分性。若存在正交變換φ,使得σ=φτ,則對任意的ξ,η∈V,都有
σ( ξ),σ( η)=φ( τ( ξ)), φ( τ( η))=τ( ξ),τ( η)
因此σ,τ為V的兩個(gè)等積變換。
必要性。若σ,τ為V的兩個(gè)等積變換,設(shè)
為歐氏空間V的一個(gè)規(guī)范正交基,σ,τ關(guān)于
的矩陣分別為A,B,由定理1,ATA=BTB,而ATA的位于第i行第j列的元素為
而BTB的位于第i行第j列的元素為
從而
由引理4,存在V的正交變換φ使得
即
又α1,α2,Λ,αn為歐氏空間V的一個(gè)規(guī)范正交基,于是φσ=τ。
推論1 設(shè)矩陣A,B為n階實(shí)矩陣,則ATA=BTB的充要條件是存在n階正交矩陣U,使得B=UA。
證明:若σ, τ為n維歐氏空間V的兩個(gè)線性變換,并且σ, τ關(guān)于V的規(guī)范正交基α1,α2,Λ,αn的矩陣分別為A,B。由定理1知,ATA=BTB的充要條件σ,τ為V的等積變換,由定理2知σ, τ為V的等積變換的充要條件是存在正交變換φ,使得φσ=τ,設(shè)并且正交變換φ關(guān)于V的規(guī)范正交基α1,α2,Λ,αn的正交矩陣為U,則B=UA。
2.2 無限維歐氏空間的兩個(gè)線性變換為等積變換的性質(zhì)
當(dāng)歐氏空間V不是有限維歐氏空間時(shí),在討論等積變換時(shí),不能利用規(guī)范正交基及矩陣這樣的工具,在某些條件下有以下定理。
定理3 若σ, τ為歐氏空間V的兩個(gè)線性變換,且σ或τ為可逆變換,則σ, τ為V等積變換的充要條件是存在正交變換φ,使得φσ=τ。
證明 充分性的證明與定理2相同。
必要性:若σ, τ為V的兩個(gè)等積變換,不妨設(shè)σ為可逆變換。對任意的ξ,η∈V,設(shè)
則α,β∈V。由于σ, τ為V的兩個(gè)等積變換,則
即
所以
所以,τσ-1為正交變換,令φ=τσ-1,則τ=φσ,其中φ為正交變換。
定理4 若σ,τ為歐氏空間V的兩個(gè)等積變換,則σ(V )與τ(V )同構(gòu)。
證明 對任意ξ∈V,令φ: σ( ξ)→τ( ξ),則φ是σ(V)到τ(V)的映射,且為滿射。對任意ξ, η∈V,若
由于σ, τ為V的兩個(gè)等積變換,則
所以,σ(ξ)=σ(η),即φ是σ(V )到τ(V)的單射。對任意的ξ, η∈V及任意實(shí)數(shù)k, l,
對任意的ξ, η∈V,
因此,φ是σ(V)到τ(V)的同構(gòu)映射,亦即σ(V)與τ(V)同構(gòu)。
[1]王品超.高等代數(shù)新方法[M].濟(jì)南:山東教育出版社, 1989:462-463.
[2]張禾瑞,郝鈵新.高等代數(shù)(第5版)[M].北京:高等教育出版社,2007:302.
[3]白述偉.高等代數(shù)選講[M].哈爾濱:黑龍江教育出版社, 1996:312.
(責(zé)任編輯、校對:趙光峰)
Properties of the Equi-Inner Product Transformation of Euclidean Space
WANG Zhao-xia, ZHANG Qing
(Department of Mathematics and Information Science, Tangshan Teachers College, Tangshan 063000, China)
This Paper introduces the definition of the equi-inner transformation of Euclidean space. Then gives four lemmas and two necessary and sufficient conditions of what the linear transformation is the equi-inner transformation. One of the necessary and sufficient conditions hint the matrix relations between the two equi-inner transformation matrices under standard orthogonal basis, the other one hint the relationship between two equi-inner transformations. Finally, the necessary and sufficient condition and a property are derived for infinite dimension Euclidean space is an equi-inner transformation.
euclidean space; linear transformation; equi-inner product transformation; standard orthogonal basis
O151
A
1009-9115(2012)05-0030-04
2012-07-20
王朝霞(1963-),女,河北唐山人,教授,研究方向?yàn)榇鷶?shù)。