向量空间是一种泛化 向量 集的概念的方法。例如,复数 2+3i 可以被视为一个向量,因为它在某种程度上是向量 .
向量空间是这种抽象对象的“空间”,我们称之为“向量”。
在我们目前对向量的研究中,我们已经研究了具有实数项的向量:,等等。这些都是向量空间。我们在抽象到向量空间中获得的优势是能够在不选择任何特定对象(定义我们的向量)、运算(作用于我们的向量)或坐标(在空间中识别我们的向量)的情况下谈论一个空间。更进一步的结果可以应用于可能具有无限维度的更一般空间,例如在泛函分析中。
我们像以前一样写一个向量,用粗体,但你应该在纸上写下划线或在上面加一个箭头。所以我们写表示那个向量。
当我们用标量数乘以一个向量时,我们通常用希腊字母表示它,写 λv 表示向量 v 被标量 λ 乘以。我们将向量的加法和减法写成我们以前做过的,x+y 表示向量 x 和 y 的和。
有了标量乘法和向量加法,我们可以转向我们对向量空间的定义。
当我们说一个运算在定义中是“封闭”时,我们是在说这个运算的结果没有违反我们的定义。例如,如果我们查看所有整数的集合,我们可以说它是关于加法封闭的,因为任何整数的加法都会得到整数集合中的一个元素。但是整数集合关于除法不封闭,因为 3 除以 2(例如)不会得到整数集合中的一个元素。
向量空间是一个非空集合 V,其中包含称为向量的对象,并定义了两个运算,分别称为向量加法和标量乘法,使得对于 和 α,x+y 和 αx 是 V 中定义明确的元素,具有以下性质
- 加法的交换律:x+y=y+x
- 加法的结合律:x+(y+z)=(x+y)+z
- 加法单位元:存在一个向量 0 使得对于所有 x,0+x=x
- 加法逆元:对于每个向量 x,都存在另一个向量 y 使得 x+y =0
- 标量结合律:α(βx) = (αβ)x
- 标量分配律:(α + β)x=αx+βx
- 向量分配律:α(x+y)=αx+αy
- 标量单位元:1x=x
熟悉 群论 和 域论 的人可能会发现以下另一种定义更简洁
- 是一个 阿贝尔群.
子空间是向量空间内部的向量空间。当我们观察各种向量空间时,经常需要考察它们的子空间。
向量空间 V 的子空间 S 是指 S 是 V 的子集,并且它具有以下关键特征:
- S 对标量乘法封闭:如果 λ∈R,v∈S,则 λv∈S。
- S 对加法封闭:如果 u,v ∈ S,则 u+v∈S。
- S 包含 0,即零向量。
任何具有这些特征的子集都是子空间。
让我们考察一些常见向量空间的子空间,并看看如何证明向量空间的某个子集实际上是一个子空间。
在 R2 中,包含零向量 ({0}) 的集合是 R2 的子空间。
标量乘法封闭性:对于 R 中的所有 a,有 a 0=0。
加法封闭性:0+0=0。由于 0 是该集合中唯一的成员,因此我们只需要检查 0。
零向量:0 是该集合中唯一的成员,它也是零向量。
在 R2 中,所有来自 R2 的形式为 (0,α) 的向量集合 V,其中 α∈R,是一个子空间。
标量乘法封闭性:a (0,α) = (0,a α),其中 a α∈R。
加法封闭性:(0,α) +(0,β) =(0, α + β),其中 α + β∈R。
零向量:在 V 中,将 α 取为零,我们得到零向量 (0,0)。
从 R 中选择任意数字,比如 ρ。那么形式为 (α, ρα) 的所有向量的集合 V 是 R2 的子空间。
标量乘法封闭性: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 这样的简单向量空间也可以有许多不同的子空间。
定义:假设 是一个在域 上的 向量空间,并且 是 的一个非空子集。那么,向量 被称为是 中元素的 线性组合,如果存在有限数量的元素 以及 使得 。
定义:假设 是一个在域 上的 向量空间。所有 的线性组合的集合称为 的 生成空间。有时用 表示。
注意 是 的子空间。
证明:考虑两个向量 x 和 y 在向量 的跨度内进行加法和标量乘法的封闭性。
,它也包含在集合中。
,它也包含在集合中。
定义:假设 是一个在域 上的 *向量空间*, 是该向量空间中的向量。集合 是向量空间 的 **生成集** 当且仅当 中的每个向量都是 的线性组合。或者,
定义:假设 是一个在域 上的 *向量空间*, 是 的一个有限子集。那么我们说 是线性无关的,如果 意味着 。线性无关是线性代数中一个非常重要的主题。这个定义意味着线性相关的向量可以形成零向量作为非平凡的组合,由此我们可以得出结论,其中一个向量可以表示为其他向量的线性组合。
如果我们有一个由 3 个向量 跨越的向量空间 V,我们称 v1、v2 和 v3 线性相关,如果存在一个由其中一或两个向量组成的组合可以产生第三个向量。例如,如果以下等式之一
可以满足,那么 V 中的向量被称为线性相关。
我们如何测试线性无关性?定义为我们指明了方向:如果 V 是一个由 3 个长度为 N 的向量跨越的向量空间
我们试图测试这 3 个向量是否线性无关,我们建立以下等式
并求解它们。如果唯一解是
那么这 3 个向量线性无关。如果存在其他解,它们线性相关。
?????? 我们可以说,为了使 V 线性无关,它必须满足以下条件
其中我们使用 0 来表示 V 中的零向量。如果 是方阵且可逆,我们可以直接求解此方程
如果我们知道 是零,那么我们就知道该系统线性无关。然而,如果 不是方阵,或者它不可逆,我们可以尝试以下技术
用转置矩阵乘以整个式子
求的逆矩阵,并用逆矩阵乘以整个等式。
消去相同项
结论
这再次说明 V 是线性无关的。
张成 是指向量空间中所有元素的线性组合的集合。(线性闭包)
向量空间的基 是指能够完整描述该向量空间的最少线性无关向量集合。最常见的基向量是克罗内克向量,也称为标准正交基
在笛卡尔坐标系中,我们说坐标的有序三元组定义为
我们可以通过组合克罗内克基向量来创建任何点 (x, y, z)
一些定理:
- 向量空间 V 的基 包含了最大数量的线性无关向量。
- (逆命题)向量空间中最大数量的线性无关向量集合是一个基。
如果向量空间 V 满足以下条件:
它包含一个由 N 个向量组成的线性无关集合 B,并且
V 中任何由 N+1 个或更多向量组成的集合都是线性相关的。
那么 V 的维数 为 N,并且 B 被称为 V 的基。
讲述什么是向量空间中的基以及坐标变换。 (这篇文章包含基的抽象定义,它是向量空间中基的推广,可以用作解释基和坐标变换的基础。)
讨论子空间的几何形状(点、线、平面、超曲面)并将它们与线性方程组解的几何形状联系起来。 将子空间的代数和向量的线性组合与线性方程组的代数联系起来。
建议:扩展到4D