向量空间

向量空间是一个集合，其元素可以相加，并可以与域的元素进行标量乘法。它是线性代数的核心对象，也是整个数学中线性结构的典范。

Definition

域上的向量空间是一个向量的阿贝尔群，以及与域元素进行的标量乘法，该乘法满足分配律、结合律和单位元公理，使得这两种运算兼容。

Scope

本主题涵盖向量空间的公理、子空间、线性独立性、生成集、基和维度、坐标、直和与商空间以及对偶空间。它建立了研究线性变换和矩阵的框架。

Core questions

• 哪些公理使一个集合成为向量空间？
• 什么是基？为什么每个向量空间都有基？
• 为什么维度是向量空间的一个定义明确的不变量？
• 子空间、直和和商空间如何分解向量空间？

Key theories

基的存在性

每个向量空间都有一个基，即一个线性独立的生成集，使得每个向量都是基向量的唯一有限线性组合；在有限维情况下，这可以从基本的交换论证中得出。

维度的不变性

向量空间的任意两个基都具有相同的基数，因此维度是一个定义明确的不变量，它根据同构对固定域上的向量空间进行分类。

子空间、商空间和对偶空间

子空间、直和、商空间和线性泛函的对偶空间是构建和分析向量空间以及线性映射理论基础的基本构造。

Clinical relevance

向量空间模拟了大量现象：线性方程组和微分方程的解集、分析中的函数空间、量子力学中的态空间以及数据科学和机器学习中的特征空间都是向量空间，这使得线性代数具有普遍适用性。

History

格拉斯曼于1844年引入了扩展量的抽象演算，这预示了向量空间的概念；皮亚诺于1888年给出了公理化定义。该概念在20世纪成为标准，希尔伯特和巴拿赫在泛函分析中发展了无限维空间。

Key figures

• Hermann Grassmann
• Giuseppe Peano
• David Hilbert
• Stefan Banach

Seminal works

• hoffman1971
• roman2008
• lang2002

Frequently asked questions

每个向量空间都有基吗？

是的。有限维空间通过基本论证具有基，而任意向量空间在假设选择公理的情况下也具有基。基允许每个向量被唯一地表示为基向量的组合。

向量空间与模有何不同？

向量空间是标量来自域的模。在域上，每个模都有一个基并且表现一致；在一般环上，这不成立，这就是模理论与线性代数区别所在。