[问题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. IOS第17天（1,Quartz2D图片水印）

    ****图片 水印 #import "HMViewController.h" @interface HMViewController () @property (weak, non ...

  2. itertools 介绍

    在python中itertool为python提供一系列迭代iterator的方法. 第一个:组合 排列 itertools.combinations(sq, r) 该函数的作用是在列表sq中穷举所有 ...

  3. app启动调用的api

    (8)在app启动时,调用一个初始化api获取必要的信息 通过这个初始化api,获取一下必要的信息,例如,最新的app版本.当发现本地app的版本已经低于最新的app版本,可提示用户更新.当然了,这个 ...

  4. mysql组合索引顺序参考

    问题背景 : 当我们需要创建一个组合索引, 索引的顺序对于效率影响很大, 怎么确定索引的顺序; 解决方法 : 我们应该依据字段的全局基数和选择性, 而不是字段的某个具体的值来确定; 表结构 :  dc ...

  5. php7安装及配置

    一.下载php-7.0.5http://cn2.php.net/distributions/php-7.0.5.tar.gz 二.解压安装:# tar zxvf php-7.0.5.tar.gz# c ...

  6. hgrjhgkjh

    #include<stdio.h> int step[5]={13,5,1,4,11}; int sum; int min=999; void ji() {  int i;  int j; ...

  7. RESTful简单介绍（入门）

    1.1      什么是RESTful http://www.ruanyifeng.com/blog/2011/09/restful.html RESTful架构,就是目前最流行的一种互联网软件架构. ...

  8. [daily][troubleshoot][archlinux][wps][font] wps文档中的图内容无法显示中文

    序 用linux作为工作生产环境的几个需要解决的问题之一是:文档协作,即如何兼容Micro$oft Office格式的文档. 我一般的工作方式是:在linux下创建一个win7的虚拟机,安装常用的wi ...

  9. LightOj 1197 - Help Hanzo（分段筛选法 求区间素数个数）

    题目链接:http://lightoj.com/volume_showproblem.php?problem=1197 题意:给你两个数 a b,求区间 [a, b]内素数的个数, a and b ( ...

  10. spring与redis简单整合

    项目结构 整合需要的依赖 <dependencies> <dependency> <groupId>org.springframework</groupId& ...