一、线性变换的定义
Section titled “一、线性变换的定义”设 V 为线性空间。如果存在一个从 V 到 V 自身的对应法则 σ,使得对任意 α ∈ V,有唯一的 V 中的元素(记为 σ(α))与之对应,而且 σ 满足:
(1) 可加性:对任意 α, β ∈ V,有
σ(α + β) = σ(α) + σ(β);(2) 齐次性(数乘性):对任意 α ∈ V 及任意 λ ∈ R,有
σ(λα) = λσ(α),则称 σ 为线性空间 V 的一个线性变换。σ(α) 称为 α 的像,α 称为 σ(α) 的原像。
设 V 为全体 n 阶实矩阵。对于矩阵的加法与数乘运算,V 是一个线性空间。定义 σ 为对任意 A ∈ V, σ(A) = A^T。验证 σ 为 V 的一个线性变换。
解
对任意 A ∈ V,有唯一的 σ(A) = A^T ∈ V 与之对应。且对任意 A, B ∈ V,有
σ(A + B) = (A + B)^T = A^T + B^T = σ(A) + σ(B);对任意 A ∈ V 及任意 λ ∈ R,有
σ(λA) = (λA)^T = λA^T = λσ(A).所以 σ 是 V 的一个线性变换。
设 n 为正整数,R[x]ₙ 为全体次数小于 n 的实系数多项式,即
R[x]ₙ = {a₀ + a₁ x + … + aₙ-1xⁿ-1 | aᵢ ∈ R, i = 0, 1, …, n-1}.对于多项式的加法及数与多项式的乘法,R[x]ₙ 是一个线性空间。定义 σ 为对任意 f(x) ∈ R[x]ₙ, σ[f(x)] = f'(x)。验证 σ 为 R[x]ₙ 的一个线性变换。
解
任取 f(x) = a₀ + a₁ x + … + aₙ-1xⁿ-1 ∈ R[x]ₙ,有唯一的导多项式
σ[f(x)] = f'(x) = a₁ + 2a₂ x + … + (n-1)aₙ-1xⁿ-2 ∈ R[x]ₙ与之对应。且由导数运算法则,对任意 f(x), g(x) ∈ R[x]ₙ,有
σ[f(x) + g(x)] = [f(x) + g(x)]' = f'(x) + g'(x) = σ[f(x)] + σ[g(x)];对任意 f(x) ∈ R[x]ₙ 及任意 λ ∈ R,有
σ[λ f(x)] = [λ f(x)]' = λ f'(x) = λσ[f(x)].所以 σ 是 R[x]ₙ 的一个线性变换。
设 A 为 n 阶实矩阵。在线性空间 Rⁿ(关于向量的加法与数乘运算)中定义 σ 为对任意 α ∈ Rⁿ, σ(α) = Aα。验证 σ 为 Rⁿ 的一个线性变换。
解
对任意 α ∈ Rⁿ,有唯一的 σ(α) = Aα ∈ Rⁿ 与之对应。且由矩阵乘法分配律与数乘结合律,对任意 α, β ∈ Rⁿ,有
σ(α + β) = A(α + β) = Aα + Aβ = σ(α) + σ(β),对任意 α ∈ Rⁿ 及任意 λ ∈ R,有
σ(λα) = A(λα) = λAα = λσ(α).所以 σ 是 Rⁿ 的一个线性变换。
二、线性变换的基本性质
Section titled “二、线性变换的基本性质”设 σ 是线性空间 V 的一个线性变换,则 σ 具有下面的基本性质:
因为 σ(0) = σ(0 + 0) = σ(0) + σ(0),两端减去 σ(0),即得 σ(0) = 0。
对任意 α, β ∈ V 及任意 λ, μ ∈ R,有
σ(λα + μβ) = λσ(α) + μσ(β).更一般地,σ(∑ᵢ=1^m kᵢ αᵢ) = ∑ᵢ=1^m kᵢ σ(αᵢ)。
由定义5 的加法与数乘保线性立得:
σ(λα + μβ) = σ(λα) + σ(μβ) = λσ(α) + μσ(β).σ 的像集
σ(V) = {σ(α) | α ∈ V}是 V 的子空间,称为 σ 的像空间(或值域)。
根据 9.1 节中的定理1,只需证 σ(V) 对 V 中的加法与数乘运算封闭。
事实上,对任意 tildeα, tildeβ ∈ σ(V),存在 α, β ∈ V,使 tildeα = σ(α), tildeβ = σ(β)。于是
tildeα + tildeβ = σ(α) + σ(β) = σ(α + β) ∈ σ(V).对任意实数 λ,
λtildeα = λσ(α) = σ(λα) ∈ σ(V).所以 σ(V) 是 V 的子空间。
kerσ 是 V 的子空间。其中
kerσ = {α ∈ V | σ(α) = 0}是零元素的全体原像集,称为 σ 的核(或零空间)。
只需证 kerσ 对 V 中的加法与数乘运算封闭。
事实上,对任意 α, β ∈ kerσ 及任意 λ ∈ R,因为 σ(α) = 0, σ(β) = 0。所以
σ(α + β) = σ(α) + σ(β) = 0 + 0 = 0, 即 α + β ∈ kerσ;σ(λα) = λσ(α) = λ0 = 0, 即 λα ∈ kerσ.故 kerσ 是 V 的子空间。