附录
这个附录逻辑上分为两个部分. 第一部分由前三节构成, 包含了整本书 (实际上是整个数学) 会出现的特定基础概念. 对于本书而言其更像引论而非附录. 第二部分则诚然作为本书的实际附录出现.
第1节包含了对于集合以及交集和并集的讨论.
第A.1节 集合
第A.2节 函数
一个函数包含以下资料:
- 一个集合, 被称为函数的定义域;
- 一个集合, 被称为函数的陪域 (codomain);
- 一个规则 (或者说对应关系) , 其将的每个元素联系以的单独一个元素.
如果
是一个函数, 我们也称
是一个从
到
的函数. 这稍微有些混乱了, 因为
本身不是函数, 而是函数的规则. [译注: 实际上,
和
可以被视为附着在规则
上的元数据. 另外, 规则在现代数学中通常被解释/实现为序对的集合, 这是外延性的观念.] 然而, 对于函数和规则使用相同的符号为我们提供了更加容易的讨论函数的方式. 因此, 当我们说
是从
到
的函数, 或者
是
的定义域,
是
的陪域时, 这意味着
是一个如之前所定义的那样的函数. 许多词汇经常用于代替函数, 例如变换, 算子, 映射. 它们在特定的上下文中使用以暗示函数所扮演的角色.
如果是一个从到的函数, 那么的值域 (或者说像) 是由所有中的构成的集合. 换言之, 的值域由中所有满足存在中的使得的元素构成. 如果的值域是整个, 那么我们称是从到的满射, 或者就说是一个满射. 的值域经常被记为. [译注: 这里术语稍有修改, 以符合数学界的潮流.]
例子2. - 令是实数集, , 那么由定义的从到的函数的值域是非负实数构成的集合, 所以不是满射.
第A.3节 等价关系
第A.4节 商空间
令是域上的一个向量空间, 是的子空间. 一般来说, 存在许多与互补的子空间, 即满足的子空间. 如果上定义了一个内积, 而且是有限维的, 在某种意义上存在可以称得上是自然的的补子空间, 即的正交补. 但是, 如果没有附加于其向量空间结构之上的其他结构, 那么我们并不能挑选出一个自然的补子空间. 然而, 我们可以从和中构造出向量空间, 所谓的和的商, 其可以扮演的自然的补的角色. 这个商空间并非的子空间, 但是其仅由和定义, 并且同构于任何与互补的子空间.
令是的一个子空间, 如果和是中任意的向量, 那么我们称模与同余, 若向量在之中. 如果模与同余, 我们将其记为现在模的同余关系是上的一个等价关系.
- , 因为在之中.
- 如果, 那么, 因为向量在中当且仅当向量在中.
- 如果且, 那么, 因为若和都在中, 则有在之中.
这个等价关系的等价类被称为的陪集. 一个向量的等价类 (陪集) 是什么样的呢? 其由所有中所有满足属于的向量构成. 换言之, 其由所有具有形式的向量构成, 其中在中. 出于此缘由, 的陪集记作在某种意义上, 将相对于的陪集想成是将子空间平移向量得到的集合是合理的. 为了描绘出这些陪集, 读者或许可以想象一下以下的特殊情形. 令是空间, 是的一个一维子空间. 如果我们将画成是Euclid平面, 那么就是穿过原点的一条直线. 如果是中的一个向量, 那么陪集是经过点且与平行的直线.
所有的陪集构成的集合被记为. 我们现在定义上的向量加法与标量乘法如下:换言之, 的陪集加上的陪集是的陪集, 标量和的陪集的乘积是向量的陪集. 既然中许多不同的向量都可能拥有相同的相对于的陪集, 那么我们必须验证向量加法和标量乘法只依赖于其所牵涉的陪集. 也就是说, 我们必须证明以下事实:
- 如果且, 那么
- 如果, 那么.
这些事实是容易验证的. a. 如果
属于
且
属于
, 那么因为
, 我们看到
模
与
同余. b. 如果
属于
且
是任意的标量, 那么
也属于
.
现在很容易验证在上述向量加法和标量乘法下是一个域上的向量空间. 读者必须直接验证向量空间的每条公理. 向量加法和标量乘法的每条性质都是从相应的中的运算性质推得的. 还有要说的一件事情是, 的零向量是的零向量的陪集. 换言之, 是的零向量.
向量空间被称为和的商 (在这种情况下偶尔也有人使用"差"). 存在一个自然的从到的满射的线性变换, 其由定义. 根据刚才定义的上的运算, 变换的线性性质是显然的. 注意到的零空间恰是子空间. 我们称是从到的商变换 (或者商映射).
现在我们可以陈述商空间和的补子空间之间的关系了.
定理. 令是向量空间的一个子空间, 是从到的商变换. 设是的一个子空间, 那么当且仅当于的限制是从到的同构.
第A.5节 线性代数中的等价关系
第A.6节 选择公理