欧式空间的一个推广

欧式空间指出:若V是数域F上的一个n维线性空间,α1,α2,…,αn是V的一个基,那么对于V中的任意n个向量β1,β2,…,βn,恰有V的一个线性变换σ,使σ(αi)=βi(i=1,2,…,n);在欧式空间中把它给推广,即在一定的条件下,找到存在一个正交变换σ,使得σ(αi)=βi(i=1,2,…,m)成立的充分必要条件,并给出相关题目的证明。