数学之家

建站
数学爱好者的家园
 找回密码
 注册

QQ登录

只需一步,快速开始

查看: 2750|回复: 0
打印 上一主题 下一主题

[已解决] 蓝以中下册 带度量的线性空间 42页 习题二29 解答

[复制链接]
跳转到指定楼层
楼主
发表于 2016-7-20 21:16:35 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
习题二29:
  设$U$是$n$维欧式空间,$V$是$m$维欧式空间($m \ge 3$)。在$U$内取定一组标准正交基
$$\epsilon_1,\epsilon_2,\cdots,\epsilon_n$$
(1)在$\hom(U,V)$内定义内积如下:对于任意$f,g \in \hom(U,V)$,令
$$(f,g)=\sum\limits_{i=1}^n(f(\epsilon_i),g(\epsilon_i))$$
  证明$\hom(U,V)$关于此内积成为欧式空间;
(2)在上题所定义的欧式空间$\hom(U,V)$内,对于任意
$$A \in \rm{End}(U)$$
  定义
$$(T(A)f)(\alpha)=f(A\alpha)(\forall f \in \hom(U,V),\alpha \in U)$$
  则$T(A)$是$\hom(U,V)$内的一个线性变换。证明$T(A)$是$\hom(U,V)$内的正交变换的充分必要条件是$A$是$U$内的正交变换。



解:
(1)我们有
$$\begin{eqnarray*}
(k_1f_1+k_2f_2,g)&=&\sum\limits_{i=1}^n((k_1f_1+k_2f_2)(\epsilon_i),g(\epsilon_i))\\
&=&k_1\sum\limits_{i=1}^n(f_1(\epsilon_i),g(\epsilon_i))+k_2\sum\limits_{i=1}^n(f_2(\epsilon_i),g(\epsilon_i))\\
&=&k_1(f_1,g)+k_2(f_2,g)
\end{eqnarray*}$$
$$\begin{eqnarray*}
(f,g)&=&\sum\limits_{i=1}^n(f(\epsilon_i),g(\epsilon_i))&=&\sum\limits_{i=1}^n(g(\epsilon_i),f(\epsilon_i))\\
&=&(g,f)
\end{eqnarray*}$$
$$(f,f)=\sum\limits_{i=1}^n(f(\epsilon_i),f(\epsilon_i)) \ge 0$$
  且
$$(f,f)=0 \Leftrightarrow (f(\epsilon_i),f(\epsilon_i))=0 \Leftrightarrow f(\epsilon_i)=0(i=1,2,\cdots,n)$$
  因
$$\epsilon_1,\epsilon_2,\cdots,\epsilon_n$$
  是$U$的一组基,这推出
$$f=0$$
  综上所述知$\hom(U,V)$关于上述内积成一欧式空间。
(2)首先因$A$是线性变换,由此知
$$T(A)f \in \hom(U,V)$$
  对任意
$$\alpha \in U$$
  又有
$$\begin{eqnarray*}
&&(T(A)(k_1f_1+k_2f_2))(\alpha)=(k_1f_1+k_2f_2)(A\alpha)\\
&=&k_1f_1(A\alpha)+k_2f_2(A\alpha)\\
&=&k_1(T(A)f_1)\alpha+k_2(T(A)f_2)\alpha\\
&=&(k_1T(A)f_1+k_2T(A)f_2)(\alpha)
\end{eqnarray*}$$
  由上式推知
$$T(A)(k_1f_1+k_2f_2)=k_1T(A)f_1+k_2T(A)f_2$$
  即$T(A)$是$\hom(U,V)$内一个线性变换
  根据定义,我们有
$$\begin{eqnarray*}
(T(A)f,T(A)g)&=&\sum\limits_{i=1}^n(T(A)f(\epsilon_i),T(A)g(\epsilon_i))\\
&=&\sum\limits_{i=1}^n(f(A\epsilon_i),g(A\epsilon_i))
\end{eqnarray*}$$
  现设$A$在标准正交基
$$\epsilon_1,\epsilon_2,\cdots,\epsilon_n$$
  下的矩阵为$A=(a_{ij})$,$A$是正交变换$\Leftrightarrow A$是正交矩阵
  现在我们有
$$\begin{eqnarray*}
(T(A)f,T(A)g)&=&\sum\limits_{i=1}^n\left(f\left(\sum\limits_{j=1}^na_{ij}\epsilon_j\right),g\left(\sum\limits_{k=1}^na_{ki}\epsilon_k\right)\right)\\
&=&\sum\limits_{i=1}^n\sum\limits_{j=1}^n\sum\limits_{k=1}^na_{ji}a_{ki}(f(\epsilon_j),g(\epsilon_k))
\end{eqnarray*}$$
(i)设$A$是正交变换,则$A$是正交矩阵,其行向量组是$R^n$中一组标准正交基,即
$$\sum\limits_{i=1}^na_{ji}a_{ki}=\delta_{jk}$$
  代入上式得
$$\begin{eqnarray*}
(T(A)f,T(A)g)&=&\sum\limits_{j=1}^n\sum\limits_{k=1}^n\left(\sum\limits_{i=1}^na_{ji}a_{ki}\right)(f(\epsilon_i),g(\epsilon_k))\\
&=&\sum\limits_{j=1}^n\sum\limits_{k=1}^n(f(\epsilon_i),g(\epsilon_k))\delta_{jk}\\
&=&\sum\limits_{j=1}^n(f(\epsilon_i),g(\epsilon_j))\\
&=&(f,g)
\end{eqnarray*}$$
  这表明$T(A)$是$\hom(U,V)$内一正交变换
(ii)若已知$T(A)$为正交变换,则对任意$f,g \in \hom(U,V)$
$$\begin{eqnarray*}
(T(A)f,T(A)g)&=&\sum\limits_{j=1}^n\sum\limits_{k=1}^n\left(\sum\limits_{i=1}^na_{ji}a_{ki}\right)(f(\epsilon_i),g(\epsilon_k))\\
&=&(f,g)=\sum\limits_{l=1}^n(f(\epsilon_l),g(\epsilon_l))
\end{eqnarray*}$$
  现在$V$内取定一单位向量$\eta$。对
$$1 \le j_0 \le n,1 \le k_0 \le n$$
  我们可定义$f_{j_0},g_{k_0} \in \hom(U,V)$使
$$f_{j_0}(\epsilon_i)=\left\{ \begin{array}{l}
\eta,若i=j_0\\
0,其他
\end{array} \right.$$
$$g_{k_0}(\epsilon_i)=\left\{ \begin{array}{l}
\eta,若i=k_0\\
0,其他
\end{array} \right.$$
  那么,我们有
$$\begin{eqnarray*}
(T(A)f_{j_0},T(A)g_{k_0})&=&\sum\limits_{j=1}^n\sum\limits_{k=1}^n\left(\sum\limits_{i=1}^na_{ji}a_{ki}\right)(f_{j_0}(\epsilon_i),g_{k_0}(\epsilon_k))\\
&=&\sum\limits_{i=1}^na_{j_0i}a_{k_0i}(\eta,\eta)=\sum\limits_{i=1}^na_{j_0i}a_{k_0i}\\
&=&(f_{j_0},g_{k_0})=\sum\limits_{l=1}^n(f_{j_0}(\epsilon_l),g_{k_0}(\epsilon_l))=\delta_{j_0k_0}
\end{eqnarray*}$$
  这表示$A$的行向量组是$R^n$的标准正交基,故$A$是正交矩阵,从而$A$是正交变换。
分享到:  QQ好友和群QQ好友和群 QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友
收藏收藏 分享分享 分享淘帖 顶 踩
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

QQ|网站统计|手机版|小黑屋|数学之家    

GMT+8, 2024-11-1 09:27 , Processed in 2.265610 second(s), 25 queries .

Powered by Discuz! X3.1

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表