[问题2015S13]  设 \(A=(a_{ij})\) 为 \(n\) 阶实矩阵, 定义函数 \[f(A)=\sum_{i,j=1}^na_{ij}^2.\] 设 \(P\) 为 \(n\) 阶非异实矩阵, 满足: 对任意的 \(A\in M_n(\mathbb{R})\), 成立 \[f(PAP^{-1})=f(A).\] 证明: 存在非零实数 \(c\), 使得 \(PP'=cI_n\).

注  这是 [问题2014S08] 实数域上的版本，当时我们用的是基础矩阵的方法来证明的。现在，我要求大家用第九章内积空间的方法来重新证明它。以下是两种可选择的方法，请大家自行选择其中的一种来进行证明：

(1) 引入 \(M_n(\mathbb{R})\) 上的 Frobenius 内积, 并构造一个线性算子, 然后证明它是正交算子, 并用正交算子的伴随刻画 (复旦高代书定理 9.4.2) 来证明本题;

(2) 对 \(P\) 进行奇异值分解 (复旦高代书推论 9.9.1), 并将 \(P\) 化约为对角阵的情形来证明本题.

问题解答请在以下网址下载：http://pan.baidu.com/share/home?uk=103502710#category/type=0

[问题2015S13] 复旦高等代数 II（14级）每周一题（第十四教学周）的更多相关文章

  1. [问题2015S03] 复旦高等代数 II（14级）每周一题（第四教学周）

    [问题2015S03]  设 \(g(x)=x^n+a_1x^{n-1}+\cdots+a_{n-1}x+a_n\) 是数域 \(\mathbb{K}\) 上的多项式, \(V\) 是 \(\math ...

  2. [问题2014A02] 复旦高等代数 I（14级）每周一题（第四教学周）

    [问题2014A02]  求下列 \(n\) 阶行列式的值, 其中 \(a_i\neq 0\,(i=1,2,\cdots,n)\): \[ |A|=\begin{vmatrix} 0 & a_ ...

  3. [问题2014S04] 复旦高等代数II（13级）每周一题（第四教学周）

    [问题2014S04]  设 \(A\in M_n(\mathbb{C})\) 为可对角化的 \(n\) 阶复方阵, \(f(x)\in\mathbb{C}[x]\) 为复系数多项式, 证明: \[B ...

  4. [问题2015S02] 复旦高等代数 II（14级）每周一题（第三教学周）

    [问题2015S02]  设 \(a,b,c\) 为复数且 \(bc\neq 0\), 证明下列 \(n\) 阶方阵 \(A\) 可对角化: \[A=\begin{pmatrix} a & b ...

  5. [问题2015S04] 复旦高等代数 II（14级）每周一题（第五教学周）

    [问题2015S04] 设 \(A\) 为 \(n\) 阶方阵, \(C\) 为 \(k\times n\) 矩阵, 且对任意的 \(\lambda\in\mathbb{C}\), \(\begin{ ...

  6. [问题2015S05] 复旦高等代数 II（14级）每周一题（第六教学周）

    [问题2015S05]  设 \(A\) 是 \(n\) 阶复方阵, 证明: \(A\) 可对角化的充分必要条件是 \(A\) 相似于某个如下的循环矩阵: \[C=\begin{pmatrix} a_ ...

  7. [问题2015S06] 复旦高等代数 II（14级）每周一题（第七教学周）

    [问题2015S06]  设 \(V\) 是数域 \(\mathbb{K}\) 上的 \(n\) 维线性空间, \(\varphi\) 是 \(V\) 上的线性变换. (1) 求证: 对任一非零向量 ...

  8. [问题2015S07] 复旦高等代数 II（14级）每周一题（第八教学周）

    [问题2015S07]  设 \(A\) 为 \(n\) 阶复方阵, 证明: 存在 \(n\) 阶非异复对称阵 \(S\), 使得 \(A'=S^{-1}AS\), 即 \(A\) 可通过非异复对称阵 ...

  9. [问题2015S10] 复旦高等代数 II（14级）每周一题（第十一教学周）

    [问题2015S10]  设 \(A\) 为 \(n\) 阶实方阵, 证明: 存在 \(n\) 阶非异实对称阵 \(R\), 使得 \(A'=R^{-1}AR\), 即 \(A\) 可通过非异实对称阵 ...

随机推荐

  1. 如果使用 Excel5 ，输出的内容应该是GBK编码

    下面就是php导出excel的程序 <?phpini_set("display_errors",1);//是否显示报错信息set_include_path(get_inclu ...

  2. Graph | Eulerian path

    In graph theory, a Eulerian trail (or Eulerian path) is a trail in a graph which visits every edge e ...

  3. 【iCore3 双核心板_ uC/OS-III】例程十一：任务消息队列

    实验指导书及代码包下载: http://pan.baidu.com/s/1pLQYiE3 iCore3 购买链接: https://item.taobao.com/item.htm?id=524229 ...

  4. 用Scala实现集合中相邻元素间的差值

    欢迎转载,转载请注明出处,徽沪一郎. 概要 代码这东西,不写肯定不行,新学Scala不久,将实际遇到的一些问题记录下来,日后也好查找. 今天讲的是如何计算同一集合中元素两两之间的差值,即求开始集合(a ...

  5. PHP 生成随机字符串与唯一字符串

    说明:生成随机字符串用到的方法有 mt_rand() 生成唯一字符串用到的方法有 md5(),uniqid(),microtime() 代码: <?php /* * 生成随机字符串 * @par ...

  6. Java 操作符

    子系统的特点 instanceof 操作符 Animal类是Dog的直接父类,Creature类和Object类是Dog的间接父类,因此 Dog dog=new Dog(); System.out.p ...

  7. mui待解决问题

    $.plusReady(function () { });  里面的方法不执行: plusReady仅在5+ App或流应用中会触发 plusReady 参考网址: http://ask.dcloud ...

  8. java netty之ServerBootstrap的启动

    通过前面的几篇文章,对整个netty部分的架构已经运行原理都有了一定的了解,那么这篇文章来分析一个经常用到的类:ServerBootstrap,一般对于服务器端的编程它用到的都还算是比较的多..看一看 ...

  9. oracle deterministic 关键字

    多次看到DETERMINISTIC,一直很疑惑,今天做了一个实验.我们欺骗Oracle说是一个DETERMINISTIC函数,它在SQL中只调用一次.如果不使用DETERMINISTIC,可以看到出来 ...

  10. Android studio 查看签名

    根据密钥查看 根据安装包查看:改apk为zip 解压 打开 META-INF --->cmd: keytool -printcert -file CERT.RSA