线性生成空间

✍ dations ◷ 2025-03-07 11:09:23 #抽象代数,线性代数

向量 · 向量空间 · 行列式 · 矩阵

标量 · 向量 · 向量空间 · 向量投影 · 外积(向量积) · 内积(数量积)

矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹 · 单位矩阵 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反对称矩阵 · 正交矩阵 · 幺正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解（LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解） · 子式和余子式 · 拉普拉斯展开

线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 线性无关 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化

在数学分支线性代数之中，向量空间中一个向量集合的线性生成空间（linear span，也称为线性包 linear hull），是所有包含这个集合的线性子空间的交集，从而一个向量集合的线性生成空间也是一个向量空间。

给定域上的向量空间，集合（不必有限）的生成空间定义为所有包含的线性子空间的交集，称为由（或中的向量）生成的子空间。

如果 $S=\{v_{1},...,v_{r}\}\,$ 的有限子集，则生成空间为

的生成空间也可定义为中元素的所有有限线性组合组成的集合。因为容易验证：中向量的有限线性组合的集合是包含的一个向量空间，反之任何包含的向量空间必然都包含中向量的有限组合，故两个定义是等价的。

如果的生成空间是，则称为的生成集合（spanning set）。的一个生成集合不必是的一组基，因其不必是线性无关的。但是，对给定向量空间的极小生成集合一定是一组基。换句话说，的生成集合是一组基当且仅当的任何向量可以惟一的写成生成集合中一些元素的线性组合。

如果是无限维向量空间，是无穷集合，则中的无限个向量的线性组合（如果收敛的话）不一定属于的生成空间。

定理 1：向量空间的非空集合生成的子空间是中向量的所有有限线性组合；

定理 2：设是一个有限维向量空间，则的任何生成集合去掉一些向量（如果必要的话）可以简化为的一组基。

设 $U {\displaystyle U}$ $U$ 与 $V {\displaystyle V}$ $V$ 是线性空间 $W {\displaystyle W}$ $W$ 的两个线性包，线性包 $\left\langle U\cup V\right\rangle$ $\left\langle U\cup V\right\rangle$ 称为 $U {\displaystyle U}$ $U$ 与 $V {\displaystyle V}$ $V$ 的和, $U+V=\left\langle U\cup V\right\rangle =\left\{u+v|u\in U,v\in V\right\}$ $U+V=\left\langle U\cup V\right\rangle =\left\{u+v|u\in U,v\in V\right\}$ ,如果 $U\cap V=0$ $U\cap V=0$ ，则称 $U+V$ $U+V$ 为直和，记为 $U\oplus V$ $U\oplus V$

相关

年鉴年鉴是系统汇辑一年内的重要资料，逐年编纂连续出版的资料性工具书。有人认为年鉴属于期刊性质的年刊。资料相对完整，内容具有权威性和时间性，具有资政、鉴戒和史料作用。中文的
李戴维·李可以指：
辉格派爱国者（或称为美国辉格党，革命党，大陆会议派，反叛者）是美国革命期间英属十三个殖民地的暴力反抗英国统治的殖民者，同时，他们在1776年7月宣布美利坚合众国独立。他们叛乱的缘由是基
帕耶特国家森林帕耶特国家森林（英语：Payette National Forest）是一座美国国家森林，坐落于爱达荷州的中西部，分布于瓦利县、爱达荷县、亚当斯县和华盛顿县。森林面积约为2.3 × 106英亩（9,300平
拉民·贾瓦迪拉民·贾瓦迪（波斯语：رامین جوادی‎，1974年7月19日－），德国伊朗裔作曲家。贾瓦迪凭借其为2008年漫威电影《钢铁侠》创作的主打吉他的格莱美奖提名配乐，以及经常被改编的HB
黄呈忠黄呈忠（1826年－?），清广西人，太平天国后期将领，因格毙“常胜军”统领、副将华尔封为“戴王”。黄呈忠为“侍王”李世贤部属；与“首王”范汝增、“堵王”黄文金联手抗清。1861年2月黄
阿多尼阿多尼（泰卢固语：ఆదోని）是印度安得拉邦的一座城市。
可罗萨里过剩数可罗萨里过剩数（Colossally superabundant number，有时会简称CA）是指一正整数，存在一正数ε，使得对于所有正整数m，下式恒成立：其中σ为除数函数，是所有正约数（包括本身）的和。头几个超
许友许友（约1620年－1663年，其生卒年说法各异），福建侯官（今福州市）人。原名采，曾名宰。父许豸，因闽音宰与豸同，有忌者称许友改名宰犯家讳，以不孝责之，遂更名友，字有介，又更名为眉，字介寿、介眉，号
MeeGoMeeGo是一个基于Linux的移动操作系统，它于2010年2月的世界移动通信大会中宣布，主要推动者为诺基亚与英特尔。它结合了诺基亚的Maemo及英特尔的Moblin。并由Linux基金会主导。M