跳转到内容

线性代数/向量空间与子空间

来自维基教科书,开放的书籍,开放的世界

向量空间是一种泛化 向量 集的概念的方法。例如,复数 2+3i 可以被视为一个向量,因为它在某种程度上是向量 .

向量空间是这种抽象对象的“空间”,我们称之为“向量”。

一些熟悉的朋友

[编辑 | 编辑源代码]

在我们目前对向量的研究中,我们已经研究了具有实数项的向量:,等等。这些都是向量空间。我们在抽象到向量空间中获得的优势是能够在不选择任何特定对象(定义我们的向量)、运算(作用于我们的向量)或坐标(在空间中识别我们的向量)的情况下谈论一个空间。更进一步的结果可以应用于可能具有无限维度的更一般空间,例如在泛函分析中。

符号和概念

[编辑 | 编辑源代码]

我们像以前一样写一个向量,用粗体,但你应该在纸上写下划线或在上面加一个箭头。所以我们写表示那个向量。

当我们用标量数乘以一个向量时,我们通常用希腊字母表示它,写 λv 表示向量 v 被标量 λ 乘以。我们将向量的加法和减法写成我们以前做过的,x+y 表示向量 xy 的和。

有了标量乘法和向量加法,我们可以转向我们对向量空间的定义。

当我们说一个运算在定义中是“封闭”时,我们是在说这个运算的结果没有违反我们的定义。例如,如果我们查看所有整数的集合,我们可以说它是关于加法封闭的,因为任何整数的加法都会得到整数集合中的一个元素。但是整数集合关于除法不封闭,因为 3 除以 2(例如)不会得到整数集合中的一个元素。

向量空间是一个非空集合 V,其中包含称为向量的对象,并定义了两个运算,分别称为向量加法标量乘法,使得对于 和 αx+y 和 αx 是 V 中定义明确的元素,具有以下性质

  • 加法的交换律x+y=y+x
  • 加法的结合律x+(y+z)=(x+y)+z
  • 加法单位元:存在一个向量 0 使得对于所有 x0+x=x
  • 加法逆元:对于每个向量 x,都存在另一个向量 y 使得 x+y =0
  • 标量结合律:α(βx) = (αβ)x
  • 标量分配律:(α + β)xxx
  • 向量分配律:α(x+y)=αxy
  • 标量单位元:1x=x

另一种定义

[编辑 | 编辑源代码]

熟悉 群论域论 的人可能会发现以下另一种定义更简洁

  • 是一个 阿贝尔群.

子空间

[edit | edit source]

子空间是向量空间内部的向量空间。当我们观察各种向量空间时,经常需要考察它们的子空间。

向量空间 V 的子空间 S 是指 S 是 V 的子集,并且它具有以下关键特征:

  • S 对标量乘法封闭:如果 λ∈Rv∈S,则 λv∈S。
  • S 对加法封闭:如果 uv ∈ S,则 u+v∈S。
  • S 包含 0,即零向量。

任何具有这些特征的子集都是子空间。

示例

[edit | edit source]

让我们考察一些常见向量空间的子空间,并看看如何证明向量空间的某个子集实际上是一个子空间。

平凡子空间

[edit | edit source]

R2 中,包含零向量 ({0}) 的集合是 R2 的子空间。

标量乘法封闭性:对于 R 中的所有 a,有 a 0=0

加法封闭性0+0=0。由于 0 是该集合中唯一的成员,因此我们只需要检查 0

零向量0 是该集合中唯一的成员,它也是零向量。

一个稍微不平凡的子空间

[edit | edit source]

R2 中,所有来自 R2 的形式为 (0,α) 的向量集合 V,其中 α∈R,是一个子空间。

标量乘法封闭性a (0,α) = (0,a α),其中 a α∈R

加法封闭性:(0,α) +(0,β) =(0, α + β),其中 α + β∈R

零向量:在 V 中,将 α 取为零,我们得到零向量 (0,0)。

一系列子空间

[edit | edit source]

R 中选择任意数字,比如 ρ。那么形式为 (α, ρα) 的所有向量的集合 VR2 的子空间。

标量乘法封闭性a (α, ρα) = (aα, ρaα),它属于 V

加法封闭性:(α, ρα) +(β, ρβ) =(α + β, ρα + ρβ) = (α+β, ρ(α+β)),它属于 V

零向量:将 α 取为零,我们得到 (0, ρ0) = (0,0),它属于 V

这意味着 V2 = 所有形式为 (α,2α) 的向量的集合是 R2 的子空间。

V3 = 所有形式为 (α,3α) 的向量的集合是 R2 的子空间。

V4 = 所有形式为 (α,4α) 的向量的集合是 R2 的子空间。

V5 = 所有形式为 (α,5α) 的向量的集合是 R2 的子空间。

Vπ = 所有形式为 (α,πα) 的向量的集合是 R2 的子空间。

V√2 = 所有形式为 的向量的集合是 R2 的子空间。

正如你所见,即使是像 R2 这样的简单向量空间也可以有许多不同的子空间。

线性组合、生成空间和生成集、线性相关性和线性

[edit | edit source]

线性组合

[edit | edit source]

定义:假设 是一个在域 上的 向量空间,并且 的一个非空子集。那么,向量 被称为是 中元素的 线性组合,如果存在有限数量的元素 以及 使得

生成空间

[编辑 | 编辑源代码]

定义:假设 是一个在域 上的 向量空间。所有 的线性组合的集合称为 生成空间。有时用 表示。


注意 的子空间。

证明:考虑两个向量 x 和 y 在向量 的跨度内进行加法和标量乘法的封闭性。

,它也包含在集合中。

,它也包含在集合中。


生成集

[编辑 | 编辑源代码]

定义:假设 是一个在域 上的 *向量空间*, 是该向量空间中的向量。集合 是向量空间 的 **生成集** 当且仅当 中的每个向量都是 的线性组合。或者,

线性无关

[编辑 | 编辑源代码]

定义:假设 是一个在域 上的 *向量空间*, 的一个有限子集。那么我们说 是线性无关的,如果 意味着 。线性无关是线性代数中一个非常重要的主题。这个定义意味着线性相关的向量可以形成零向量作为非平凡的组合,由此我们可以得出结论,其中一个向量可以表示为其他向量的线性组合。

如果我们有一个由 3 个向量 跨越的向量空间 V,我们称 v1、v2 和 v3 线性相关,如果存在一个由其中一或两个向量组成的组合可以产生第三个向量。例如,如果以下等式之一

可以满足,那么 V 中的向量被称为线性相关

我们如何测试线性无关性?定义为我们指明了方向:如果 V 是一个由 3 个长度为 N 的向量跨越的向量空间

我们试图测试这 3 个向量是否线性无关,我们建立以下等式

并求解它们。如果唯一解是

那么这 3 个向量线性无关。如果存在其他解,它们线性相关。


?????? 我们可以说,为了使 V 线性无关,它必须满足以下条件

其中我们使用 0 来表示 V 中的零向量。如果 是方阵且可逆,我们可以直接求解此方程

如果我们知道 是零,那么我们就知道该系统线性无关。然而,如果 不是方阵,或者它不可逆,我们可以尝试以下技术

用转置矩阵乘以整个式子

的逆矩阵,并用逆矩阵乘以整个等式。

消去相同项

结论

这再次说明 V 是线性无关的。

张成

[edit | edit source]

张成 是指向量空间中所有元素的线性组合的集合。(线性闭包)

向量空间的 是指能够完整描述该向量空间的最少线性无关向量集合。最常见的基向量是克罗内克向量,也称为标准正交基

在笛卡尔坐标系中,我们说坐标的有序三元组定义为

我们可以通过组合克罗内克基向量来创建任何点 (x, y, z)

一些定理:

  • 向量空间 V 的基 包含了最大数量的线性无关向量。
  • (逆命题)向量空间中最大数量的线性无关向量集合是一个基。

基和维数

[edit | edit source]

如果向量空间 V 满足以下条件:
它包含一个由 N 个向量组成的线性无关集合 B,并且

V任何由 N+1 个或更多向量组成的集合都是线性相关的。

那么 V维数 为 N,并且 B 被称为 V


[编辑 | 编辑源代码]

待办事项

[编辑 | 编辑源代码]

讲述什么是向量空间中的以及坐标变换。 (这篇文章包含的抽象定义,它是向量空间中基的推广,可以用作解释基和坐标变换的基础。)


讨论子空间的几何形状(点、线、平面、超曲面)并将它们与线性方程组解的几何形状联系起来。 将子空间的代数和向量的线性组合与线性方程组的代数联系起来。

建议:扩展到4D

华夏公益教科书