基变更

title: 预备概念.
content: R 的平常基是 formula_1,这里的 formula_2 是 R 的元素,在第 "j" 个位置上都是1,其他地方都是 0。  如果 "T" : R → R 是线性变换,"T" 的 m × n 矩阵是对于 formula_3 其第 "j" 纵列是 formula_4 的矩阵 t。在这种情况下我们有 formula_5 对于所有 R 中的 x,这里我们把 x 当作列向量,在右侧的乘法是矩阵乘法。在线性代数中一个基本事实是从 R 到 R 的所有线性变换的向量空间 Hom(R, R) 自然的同构在 R 上的 m × n 矩阵的空间 R;就是说线性变换 "T" : R → R 对于所有目的和用途都等价于它的矩阵 t。  我们还利用下列简单的观察。  定理:设 "V" 和 "W" 是向量空间,设 formula_6 是 "V" 的基,并设 formula_7 是任何 "W" 中的 "n" 个向量。则存在一个唯一的线性变换 "T" : "V" → "W",对于 formula_3 有 formula_9。  这个唯一的 "T" 定义自 formula_10。当然,如果 formula_7碰巧是 "W" 的基,则 "T" 是双射又是线性的;换句话说,"T" 是同构。如果在这种情况下我们还有 "W" = "V",则 "T" 被称为是自同构。  现在设 "V" 在 R 上的向量空间并假设 formula_12 是 "V" 的基。通过定义,如果 ξ 是 "V" 中的向量,则 formula_13 是 formula_14 在 R 中唯一标量选择,被叫做 ξ 相对于有序基 formula_12 的坐标。 R 中的向量 formula_16 被叫做 ξ (相对于这个基)的坐标元组。唯一的线性映射 φ : R → "V",对于 formula_17 有 formula_18,它被称为对 "V" 和基 formula_19 的坐标同构。所以 formula_20 当且仅当 formula_21。
title: 坐标变更.
content: 我们实现检查在 "V" 中的向量 ξ 的坐标在选择了另一个基的时候怎样变更的问题。假设 formula_22 和 formula_23 是 "V" 的两个基。设 φ 和 φ 是从 R 到 "V" 的对应的坐标同构就是说 formula_24 而 formula_25 对于 formula_26。如果 formula_27 是 ξ 关于第一个基的坐标 "n"-元组,因此 formula_28,则 ξ 关于第二个基的坐标元组是 formula_29。现在映射 formula_30 是在 R 上的自同构,因此有一个矩阵 p。此外, p 的第 "j" 纵列是 formula_31,就是说,formula_32 关于第二个基 formula_33 的坐标 "n"-元组。所以 formula_34 是 ξ 关于基 formula_35 的坐标 "n"-元组。
title: 线性变换的矩阵.
content: 现在假设 "T" : "V" → "W" 是线性变换,{α,..., α} 是 "V" 的一个基而 {β,..., β} 是 "W" 的一个基。设 φ 和 ψ 分别是 "V" 和 "W" 的相对于给定基的坐标同构。则映射 "T" = ψ o "T" o φ 是从 R 到 R 的线性变换,并因此有一个矩阵 t;它的第 "j" 纵列是 ψ(T(α)) 对于 "j" = 1,..., "n"。这个矩阵叫做"T" 关于有序基 {α,..., α} 和 {β,..., β} 的矩阵。如果 η = "T"(ξ) 并且 y 和 x 是 η 和 ξ 的坐标元组,则 y = ψ(T(φ(x))) = tx。反过来,如果 ξ 在 "V" 中,而 x = φ(ξ) 是 ξ 关于 {α,..., α} 的坐标元组,我们设置 y = tx 和 η = ψ(y),则 η = ψ("T"(x)) = "T"(ξ)。就是说,如果 ξ 在 "V" 中而 η 在 "W" 中并且 x 和 y 是它们的坐标元组,则 y = tx 当且仅当 η = "T"(ξ)。  定理:假设 "U", "V" 和 "W" 是有限维的向量空间并为每个选择了有序基。如果 "T" : "U" → "V" 和 "S" : "V" → "W" 是有矩阵 s 和 t 的线性变换,则线性变换 "S" o "T" : "U" → "W" (关于给定基)的矩阵是 st。
title: 基的变更.
content: 现在我们要问 "T" : "V" → "W" 的矩阵在变更在 "V" 和 "W" 的基的时候发生了什么。设 {α,..., α} 和 {β,..., β} 分别是 "V" 和 "W" 的有序基,并假设给予了第二对基 {α',..., α'} 和 {β',..., β'}。设 φ 和 φ 是从在 R 中的平常基到 "V" 的第一个和第二个基的坐标同构,并设 ψ 和 ψ 是从在 R 中的平常基到 "W" 的第一个和第二个基的同构。  令 formula_36,并令 formula_37(两者都从 formula_38 映至 formula_39)。令 formula_40 与 formula_41 为相应的矩阵。令 formula_42 分别为对应到基变更自同构 formula_43 与 formula_44 的矩阵。  由于我们有 formula_45,又因为线性映射的合成对应到矩阵乘法,遂得到
title: 自同态的矩阵.
content: 线性变换的矩阵的一个重要情形是自同态的矩阵,亦即从一个向量空间 formula_47 至其自身的线性映射,换言之就是 "W" = "V" 的情形。我们可以自然地取基 {β,..., β} = {α,..., α} 与 {β',..., β'} = {α',..., α'}。此时线性映射 "T" 的矩阵必为方阵。
title: 基的变更.
content: 套用同样的基变更,使得 q = p,而基变更公式遂写成  在此情形下,可逆矩阵 p 被称为向量空间 "V" 的基变更矩阵,而上述等式言明 t 与 t 是相似矩阵。
title: 双线性形式的矩阵.
content: 于域 "R" 的向量空间 "V" 上的双线性形式是一个映射 "V" × "V" → "R",使得它对两个参数都是线性的,也就是说 对任何固定的 "w" 都是线性的。此定义可推广至于交换环的模,此时须将线性映射换为模同态。  对应于基 formula_50 的 Gram 矩阵 "G" 定义为  若 "v", "w" 以此基表成  则该双线性形式由下式给出  若 "B" 是对称双线性形式,则对应的矩阵会是对称矩阵。
title: 基的变更.
content: 若矩阵 "P" 表示从 formula_50 至 formula_56 的基变更,则两组基的 Gram 矩阵依下式变换:

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

Change of basis: In linear algebra, a basis for a vector space is a linearly independent set spanning the vector space. This article deals mainly with finite-dimensional vector spaces, but many of the theorems are also valid for infinite-dimensional vector spaces. A basis for a vector space of dimension "n" is a set of "n" vectors, called basis vectors, with the property that every vector in the space can be expressed as a unique linear combination of the basis vectors. The matrix representations of operators are also determined by the chosen basis. Since it is often desirable to work with more than one basis for a vector space, it is of fundamental importance in linear algebra to be able to easily transform coordinate-wise representations of vectors and operators taken with respect to one basis to their equivalent representations with respect to another basis. Such a transformation is called a change of basis.