向量空间
（或称线性空间）是现代数学中的一个基本概念。是线性代数研究的基本对象。
向量空间的一个直观模型是向量几何，几何上的向量及相关的运算即向量加法，标量乘法，以及对运算的一些限制如封闭性，结合律，已大致地描述了“向量空间”这个数学概念的直观形象。
在现代数学中，“向量”的概念不仅限于此，符合下列公理的任何数学对象都可被当作向量处理。譬如，实系数多项式的集合在定义适当的运算后构成向量空间，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。
公理化定义
给定域 F，一个向量空间是个集合 V 并规定两个运算：
向量加法：V × V → V 记作 v + w, ∃ v, w ∈ V，
标量乘法：F × V → V 记作 a v, ∃a ∈ F 及 v ∈ V。
符合下列公理 (∀ a, b ∈ F 及 u, v, w ∈ V)：
向量加法结合律：u + (v + w) = (u + v) + w.
向量加法交换律: v + w = w + v.
向量加法的单位元: V 里有一个叫做零向量的 0，∀ v ∈ V , v + 0 = v.
向量加法的逆元素: ∀v∈V, ∃w∈V, 导致 v + w = 0.
标量乘法分配于向量加法上: a(v + w) = a v + a w.
标量乘法分配于域加法上: (a + b)v = a v + b v.
标量乘法一致于标量的域乘法: a(b v) = (ab)v。
标量乘法有单位元: 1 v = v, 这里 1 指示域 F 的乘法单位元.
有些教科书还强调以下两个闭包公理：
V 闭合在向量加法下：v + w ∈ V.
V 闭合在标量乘法下: a v ∈ V.
简而言之，向量空间是一个F-模。
V的成员叫作向量而F的成员叫作标量
若F是实数域R，V称为实数向量空间.
若F是复数域C，V称为复数向量空间.
若F是有限域，V称为有限域向量空间
对一般域F，V称为F-向量空间
基础特性
首5个公理是说明向量V在向量加法中是个可换群.余下的5个公理应用于标量乘法.
这些都是一些特性很容易从向量空间公理推展出来的.如下:
零向量 0 ∈ V (公理3) 是唯一的.
a 0 = 0 ∀ a ∈ F.
0 v = 0 ∀ v ∈ V 这里 0 是F的加法单位元.
a v = 0 ，则可以推出要么 a = 0 ，要么 v = 0.
可加的逆元向量 v (公理4) 是唯一的. (写成−v). 这个写法v − w 及 v + (−w) 都是标准的.
(−1)v = −v ∀ v ∈ V.
(−a)v = a(−v) = −(av) ∀ a ∈ F , ∀ v ∈ V.
例子
参见 向量空间例子
子空间及基
一个向量空间 V 的一个非空子集合 W 在加法及标量乘法中表现密闭性，被称为 V 的线性子空间。
给出一个向量集合 B，那么包含它的最小子空间就称为它的扩张，纪作 span(B)。
给出一个向量集合 B，若它的扩张就是向量空间 V， 则称 B 为 V 的生成集。
一个向量空间 V 最大的线性独立子集，称为这个空间的基。若 V=0，唯一的基是空集。对非零向量空间 V，基是 V 最小的生成集。
如果一个向量空间 V 拥有一个元素个数有限的生成集，那么就称 V 是一个有限维空间。向量空间的所有基拥有相同基数，称为该空间的维度。例如,实数向量空间：R0, R1, R2, R3, …, R∞, …中， Rn 的维度就是 n。
空间内的每个向量都有唯一的方法表达成基中元素的线性组合。把基中元素排列，向量便可以座标系统来呈现。
线性映射
给两个向量空间 V 和 W 在同一个F场, 设定由V到W的线性变换或“线性映射” . 这些由V到W的映射都有共同点就是它们保持总和及标量商数.这个集合包含所有由V到W的线性映射,以 L(V, W) 来描述, 也是一个F场里的向量空间. 当 V 及 W 被确定后, 线性映射可以用矩阵来表达.
同构是一对一的一张线性映射.如果在V 和W之间存在同构, 我们称这两个空间为同构;他们根本上是然后相同的。
一个在F场的向量空间加上线性映射就可以构成一个范畴，即阿贝尔范畴。
概念化及额外结构
研究向量空间很自然涉及一些额外结构。额外结构如下：
一个实数或复数向量空间加上长度概念。就是范数称为赋范向量空间。
一个实数或复数向量空间加上长度和角度的概念，称为 内积空间。
一个向量空间加上拓扑学符合运算的（加法及标量乘法是连续映射）称为拓扑向量空间。
一个向量空间加上双线性算子（定义为向量乘法）是个域代数。
向量空间的同构
在域F上的两个向量空间V与V' ，如果存在一个双射φ：V→V'并且φ(aμ+bν)=aφ(μ)+bφ(ν)，a，b∈F，μ，ν∈V．这样V与V' 便是同构。
