AIContentBot：重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

2026-09-19T23:16:20Z

重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

显示更改

AIContentBot：扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

2026-09-19T18:23:29Z

扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

显示更改

AIContentBot：扩充定义、推导、算例、边界条件与原创 SVG 配图（AI 辅助整理，算例已复算）

2026-09-19T16:32:56Z

扩充定义、推导、算例、边界条件与原创 SVG 配图（AI 辅助整理，算例已复算）

←上一版本		2026年9月20日 (日) 00:32的版本
第1行：		第1行：
	~~向量空间是一个配备加法与数乘的集合。这两种运算满足结合律、分配律等公理，使向量的线性组合有统一的运算规则。~~		向量空间是在一个数域上定义了向量加法和标量乘法，并满足相应运算公理的集合。平面箭头是直观例子，但向量也可以是多项式、函数、数列或矩阵；关键在于运算结构，而非外观。

	== ~~核心表达~~ ==		== 向量可以相加，也可以按比例缩放 ==
	~~{{定义\|内容=~~<math display="block">\~~alpha\mathbf{u}~~+\~~beta~~\~~mathbf{~~v}</math>}}		以实数域 <math>\mathbb R</math> 为例，空间 <math>V</math> 中任意 <math>u,v,w</math> 及实数 <math>a,b</math>，加法满足交换律、结合律，存在零向量和每个向量的加法逆元；数乘满足
			<math display="block">a(u+v)=au+av,\quad(a+b)v=av+bv,\quad a(bv)=(ab)v,\quad1v=v.</math>
			加法与数乘的结果必须仍属于 <math>V</math>，称为封闭性。数域是定义的一部分：同一个集合在不同数域上可能有不同维数，例如复数作为复向量空间是一维，作为实向量空间是二维。

	== ~~直觉与例子~~ ==		== 用少数向量表示所有向量 ==
	~~平面向量、实系数多项式和某些函数集合都可以构成向量空间。选定一组基后，每个向量可以由一组坐标来表示。~~		表达式 <math>a_1v_1+\cdots+a_nv_n</math> 称为线性组合。这些组合形成的集合是 <math>v_1,\ldots,v_n</math> 的张成空间。

	== ~~继续阅读~~ ==		若只有系数全为零时才能使 <math>a_1v_1+\cdots+a_nv_n=0</math>，就称这组向量线性无关。既线性无关又张成整个空间的一组向量称为基；有限维空间任意一组基的向量个数相同，称为维数。
	* [[矩阵]]
	* [[线性代数]]		[[File:Gezhi-vector-basis.svg\|frame\|center\|alt=平面向量v由两倍向量b1加向量b2组成，虚线构成平行四边形\|基决定坐标：(3,1) 在标准基下的坐标是 (3,1)，在 b₁=(1,0)、b₂=(1,1) 下的坐标是 (2,1)。]]
			取 <math>b_1=(1,0)</math>、<math>b_2=(1,1)</math>。因为
			<math display="block">2b_1+b_2=(3,1),</math>
			向量 <math>(3,1)</math> 在该基下的坐标是 <math>(2,1)</math>。坐标变了，向量本身没有变。基不要求互相垂直或长度为 1，正交归一基只是特别方便的一类基。

			== 子空间与不通过原点的直线 ==
			向量空间的子集若包含零向量，并对向量加法、数乘封闭，就构成子空间。例如
			<math display="block">W=\{(x,y)\in\mathbb R^2:y=2x\}</math>
			由 <math>(1,2)</math> 张成，是一维子空间。

			直线 <math>y=2x+1</math> 不包含零向量，因此不是子空间，而是仿射子空间。第一象限即使包括边界，也不对负数的数乘封闭。这些例子说明，视觉上“平直”不足以保证是向量子空间。

			== 多项式也是向量 ==
			次数至多为 2 的实系数多项式构成空间 <math>P_2</math>，一组基为 <math>1,x,x^2</math>。多项式 <math>2-3x+x^2</math> 的坐标是 <math>(2,-3,1)</math>，所以 <math>\dim P_2=3</math>。

			注意“次数恰好为 2”的多项式集合不是向量空间：它不包含零多项式，两个二次多项式相加还可能消去二次项。所有多项式的空间则是无限维的，不能用固定有限个多项式表示一切多项式。

			== 结构还可以继续增加 ==
			向量空间本身只有加法和数乘，并未自动规定长度、角度或正交。加入内积后，才能自然定义这些几何概念。[[线性代数]]研究保持线性组合的映射；选择定义域和值域的基后，这些映射就可以写成[[矩阵]]。

			== 延伸阅读 ==
			* [https://ocw.mit.edu/courses/18-06-linear-algebra-spring-2010/ MIT OpenCourseWare，18.06 Linear Algebra]：向量空间、基、维数与正交性。
			* [[矩阵]] · [[线性代数]] · [[群]]
	[[分类:代数]]		[[分类:代数]]

AIContentBot：上线数学百科初始内容与排版

2026-09-19T15:33:38Z

上线数学百科初始内容与排版

新页面

向量空间是一个配备加法与数乘的集合。这两种运算满足结合律、分配律等公理，使向量的线性组合有统一的运算规则。

== 核心表达 ==
{{定义|内容=<math display="block">\alpha\mathbf{u}+\beta\mathbf{v}</math>}}

== 直觉与例子 ==
平面向量、实系数多项式和某些函数集合都可以构成向量空间。选定一组基后，每个向量可以由一组坐标来表示。

== 继续阅读 ==
* [[矩阵]]
* [[线性代数]]
[[分类:代数]]

向量空间 - 版本历史

AIContentBot：​重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

AIContentBot：​扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

AIContentBot：​扩充定义、推导、算例、边界条件与原创 SVG 配图（AI 辅助整理，算例已复算）

AIContentBot：​上线数学百科初始内容与排版

AIContentBot：重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

AIContentBot：扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

AIContentBot：扩充定义、推导、算例、边界条件与原创 SVG 配图（AI 辅助整理，算例已复算）

AIContentBot：上线数学百科初始内容与排版