- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第十一章对称双线型和二次曲面.doc
第十一章 对称双线型和二次曲面
11.1 设是上的向量空间,对任意,证明:
(1)不必是对称双线性型;
(2)是对称双线性型;
(3)是反对称双线性型;
(4)对的标准基,分别写出对应的矩阵,证明.
证:
(1) ∵为线性函数,任
∴是双线性型的,但不必是对称双线性,
即与不必相等.
(2) ∵任取
∵
同理可证:
∴ 是对称的,双线性显然.
(3) 任取
∵
同理可证:
∴ 为双线性性的.
又∵
为反对称的.
(4) 设的标准基为分别计算如下:
在(1)中,令
得:
在(2)中,令
为书写简单,记.则
(可见)
由 得
在(3)中.
记: (为书写方便)
其中
∵
∴ .
11.2 域上向量空间的一个对称双线性型称为是退化的,如果存在中 的一个非零向量,对任意,有,否则称为非退化的,证明:当是有限维时, 为非退化的充要条件是对应的矩阵是非退化的.
证:)设为有限维空间, 为非退化的,但存在非零向量 使
对任有:.
∵ 将扩充为的基:
则 。
∴ 的第一行全为零. 为退化的阵.
).设是退化的 ,,为的基,
因为是退化的,即的行向量线性相关,所以存在 使
即 ,得
∵
取.
则对基底中任意向量.
∴ 对任
.为退化的.
综上所述,B非退化当且仅当非退化.
11.3 指出例11.3、例11.4中的迷向元.
解:在例11.3中..求的点:即
,球面的点全为迷向元.
在例11.4中. .求的点:
∵
∴ 迷向元为满足的所有矩阵.
11.4 若是上非退化对称双线性型,是的子空间,证明:
(1)也是非退化双线性型.
(2)若中有迷向元,则中必有两个线性无关的迷向元,,使得
且.
证:(1)设是上非退化双线性型, 是的子空间,考虑.
取的一个基,扩充为的基:
由在上非退化知,对应的矩阵为非退化阵
∴ 在上亦非退化.且双线性型. 也非退化.
(2)设为在的迷向元,则将扩充为的基,
.
∵ .存在正交阵,使为对角阵.
∴ 取 .
有 .其中:
∵
∴ 中至少有两个不为零.设不为零.
(否则,至少有两个迷向元)
则 和为两无关迷向元.
此时 ∵
∴ .
设 .
则取 线性无关,且
.
11.5 证明反对称双线性型的矩阵是反对称矩阵.
证:设为反对称双线性形.对任.
∵
∴ 即
由 的任意性知
即 ,为反对称阵.
11.6 画出例11.5中的具有定长向量的图形.
解 如果把理解为向量的长度.
设
则 (定长).
∴ 其图形式 为双曲线
11.7 设是向量空间上对称双线性函数,是的一个基,对任意,定义:
证明:(1)是上的线性映射,且与在基下的矩阵相同.
(2)说明依赖于空间基的选择或者说不同的基下定义的线性映射不一定相同.
(3)体会线性映射与双线性函数在空间的改变时的矩阵变化规律.
证:(1)设在下的矩阵为因为
∴ 与在下的矩阵相同.
(2) ∵ 当基改变后,变换的矩阵随之也以相似的方式改变,一般不相同.
∴ 在不同的基下映射有所不同.
(3) 两者在基改变时,矩阵均以相似的规律改变和合同规律改变.
设与为的两组基,且有
为过渡阵.
则线性变换在下的矩阵与在下的矩阵:
.
对双线性函数的矩阵间关系为 .
11.8 证明矩阵的合同关系是等价关系.
证: ∵ 1. 自反律成立.
2.设可逆, ,则对称律成立.
3.设.则
∴ 合同关系是等价关系.
11.9 将下述二次型用非退化变换化为标准形,写出所用的变换.
(1)
(2)
(3)
(4)
(5)
解:(1)∵
∴
文档评论(0)