[问题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. bug0

    1,编码 之前做支付验证的时候,sdk的平台token串有的就是会有空格,折腾了很久,前后端对调好多次都没发现这个问题.结果有的平台验证通过,有的通不过. 仔细调试后发现不通过的url中参数串都是带有 ...

  2. NYOJ-组合数

    #include <stdio.h> #include <malloc.h> int main() { ; ]; scanf("%d%d", &n, ...

  3. 把验证码和生成时间负值给$_SESSION[vCode]生成图像给浏览器

    php 图片 中文验证码 <img src="verify_image.php" alt="点此刷新验证码" name="verify_code ...

  4. Yii源码阅读笔记（二十二）

    Module类,属性的注释和构造函数的注释: <?php /** * @link http://www.yiiframework.com/ * @copyright Copyright (c) ...

  5. RadioButton Control

    Horizontal Radiobuttons Column2 is DataGridViewTextBoxCell Horizontal Custom Radiobuttons => usin ...

  6. MVC应用程序中，怎样控制与复制相同的功能

    先看此篇<MVC程序实现Autocomplete功能> http://www.cnblogs.com/insus/p/3546255.html 它是实现使用jQuery实现文本框输入文字, ...

  7. EntityFramework 实体拆分与表拆分

    摘录自https://msdn.microsoft.com/zh-cn/data/jj591617 * 将实体类型的 CLR 属性映射到数据库中的多个表(实体拆分) 实体拆分允许一个实体类型的属性分散 ...

  8. lodash的源码(1)

    数组篇 1.compact,就是将数组中的false值去掉 function compact(array) { var index = -1, length = array ? array.lengt ...

  9. selected对话框全选

    selected对话框全选 <!DOCTYPE html> <html lang="en"> <head> <meta charset=& ...

  10. kernel update 2.6.18-2.6.38

    细致某种程度上可以体现作者的开放精神 copy for build a note needed when config the kernel 主要的问题出在了menu.lst 和 grub.conf文 ...