For faster navigation, this Iframe is preloading the Wikiwand page for 基变更.

基变更

本条目存在以下问题,请协助改善本条目或在讨论页针对议题发表看法。 此条目需要编修,以确保文法、用词、语气格式标点等使用恰当。请按照校对指引,帮助编辑这个条目。(帮助讨论) 此条目没有列出任何参考或来源。 (2024年7月3日)维基百科所有的内容都应该可供查证。请协助补充可靠来源改善这篇条目。无法查证的内容可能会因为异议提出而被移除。

基底的变换或称基的变换(change of basis)在线性代数中,n向量空间n 个向量 α1, ..., αn 的序列,带有所有这个空间中的向量可以唯一的表达为基向量线性组合的性质。因为经常需要处理一个向量空间的多于一个的基,在线性代数中能够轻易的变换向量的逐坐标表达,和变换关于一个基的线性映射到关于另一个基的等价表达是根本重要的。这种变换叫做基变更

尽管下面采用了术语向量空间,符号 R 意味着实数,这里讨论的结果成立只要 R 是交换环,而这里的向量空间可替代为自由 R-模

预备概念

[编辑]

Rn平常基,这里的 是 Rn 的元素,在第 j 个位置上都是1,其他地方都是 0。

如果 T : Rn → Rm线性变换T 的 m × n 矩阵是对于 其第 j 纵列是 的矩阵 t。在这种情况下我们有 对于所有 Rn 中的 x,这里我们把 x 当作列向量,在右侧的乘法是矩阵乘法。在线性代数中一个基本事实是从 Rn 到 Rm 的所有线性变换的向量空间 Hom(Rn, Rm) 自然的同构在 R 上的 m × n 矩阵的空间 Rm × n;就是说线性变换 T : Rn → Rm 对于所有目的和用途都等价于它的矩阵 t

我们还利用下列简单的观察。

定理:设 VW 是向量空间,设 V 的基,并设 是任何 W 中的 n 个向量。则存在一个唯一的线性变换 T : VW ,对于

这个唯一的 T 定义自 。当然,如果 碰巧是 W 的基,则 T双射又是线性的;换句话说,T同构。如果在这种情况下我们还有 W = V,则 T 被称为是自同构

现在设 V 在 R 上的向量空间并假设 V 的基。通过定义,如果 ξ 是 V 中的向量,则 在 R 中唯一标量选择,被叫做 ξ 相对于有序基 坐标。 Rn 中的向量 被叫做 ξ (相对于这个基)的坐标元组。唯一的线性映射 φ : RnV,对于 ,它被称为对 V 和基 坐标同构。所以 当且仅当

坐标变更

[编辑]

我们实现检查在 V 中的向量 ξ 的坐标在选择了另一个基的时候怎样变更的问题。假设 V 的两个基。设 φ1 和 φ2 是从 RnV 的对应的坐标同构就是说 对于 。如果 是 ξ 关于第一个基的坐标 n-元组,因此 ,则 ξ 关于第二个基的坐标元组是 。现在映射 是在 Rn 上的自同构,因此有一个矩阵 p。此外, p 的第 j 纵列是 ,就是说, 关于第二个基 的坐标 n-元组。所以 是 ξ 关于基 的坐标 n-元组。

线性变换的矩阵

[编辑]

现在假设 T : VW 是线性变换,{α1, ..., αn} 是 V 的一个基而 {β1, ..., βm} 是 W 的一个基。设 φ 和 ψ 分别是 VW 的相对于给定基的坐标同构。则映射 T1 = ψ-1 o T o φ 是从 Rn 到 Rm 的线性变换,并因此有一个矩阵 t;它的第 j 纵列是 ψ-1(T(αj)) 对于 j = 1, ..., n。这个矩阵叫做T 关于有序基 {α1, ..., αn} 和 {β1, ..., βm} 的矩阵。如果 η = T(ξ) 并且 yx 是 η 和 ξ 的坐标元组,则 y = ψ-1(T(φ(x))) = tx。反过来,如果 ξ 在 V 中,而 x = φ-1(ξ) 是 ξ 关于 {α1, ..., αn} 的坐标元组,我们设置 y = tx 和 η = ψ(y),则 η = ψ(T1(x)) = T(ξ)。就是说,如果 ξ 在 V 中而 η 在 W 中并且 xy 是它们的坐标元组,则 y = tx 当且仅当 η = T(ξ)。

定理:假设 U, VW 是有限维的向量空间并为每个选择了有序基。如果 T : UVS : VW 是有矩阵 st 的线性变换,则线性变换 S o T : UW (关于给定基)的矩阵是 st

基的变更

[编辑]

现在我们要问 T : VW 的矩阵在变更在 VW 的基的时候发生了什么。设 {α1, ..., αn} 和 {β1, ..., βm} 分别是 VW 的有序基,并假设给予了第二对基 {α'1, ..., α'n} 和 {β'1, ..., β'm}。设 φ1 和 φ2 是从在 Rn 中的平常基到 V 的第一个和第二个基的坐标同构,并设 ψ1 和 ψ2 是从在 Rm 中的平常基到 W 的第一个和第二个基的同构。

,并令 (两者都从 映至 )。令 为相应的矩阵。令 分别为对应到基变更自同构 的矩阵。


由于我们有 ,又因为线性映射的合成对应到矩阵乘法,遂得到

自同态的矩阵

[编辑]

线性变换的矩阵的一个重要情形是自同态的矩阵,亦即从一个向量空间 至其自身的线性映射,换言之就是 W = V 的情形。我们可以自然地取基 {β1, ..., βn} = {α1, ..., αn} 与 {β'1, ..., β'm} = {α'1, ..., α'n}。此时线性映射 T 的矩阵必为方阵。

基的变更

[编辑]

套用同样的基变更,使得 q = p,而基变更公式遂写成

t2 = p t1 p-1.

在此情形下,可逆矩阵 p 被称为向量空间 V基变更矩阵,而上述等式言明 t1t2相似矩阵

双线性形式的矩阵

[编辑]

R 的向量空间 V 上的双线性形式是一个映射 V × VR,使得它对两个参数都是线性的,也就是说

对任何固定的 w 都是线性的。此定义可推广至于交换环,此时须将线性映射换为模同态。

对应于基 的 Gram 矩阵 G 定义为

.

v, w 以此基表成

则该双线性形式由下式给出

.

B对称双线性形式,则对应的矩阵会是对称矩阵

基的变更

[编辑]

若矩阵 P 表示从 的基变更,则两组基的 Gram 矩阵依下式变换:

参考文献

[编辑]

外部链接

[编辑]
{{bottomLinkPreText}} {{bottomLinkText}}
基变更
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?