向量空间的和与集合的并

作者: Raow1 | 来源:发表于2021-09-26 16:25 被阅读0次

向量空间的和与集合的并
向量空间
Deep Learning - 第二章-线性代数重要知识点复习-
R的运算
矩阵分析 (一) 线性空间和线性变换
1.3 向量方程（线性代数及其应用-第5版-系列笔记）
线性代数之——向量空间
[笔记] 线性代数
高等代数理论基础50：线性变换的值域与核
向量空间

《线性代数应该这样学》习题2.C 17.

上面的题目很容易就能找到一个反例，如 $U_1=<(1,0,0)>, U_2=<(0,1,0)>, U_3=<(1,1,0)>$ 。

在此，我想记录一点小想法：关于为什么公式不成立。

我们知道对于集合有容斥原理，
$\text{card}(A \cup B) = \text{card}(A) + \text{card}(B) - \text{card}(A \cap B)$
从上述两个集合的公式加上集合的运算定律也可以推得三个集合的公式，
$\begin{align*} \text{card}(A \cup B \cup C) &= \text{card}(A \cup B)+ \text{card}(C) - \text{card}((A \cup B) \cap C) \\ &= \text{card}(A) + \text{card}(B) - \text{card}(A \cap B) + \text{card}(C) - \text{card}((A \cap C)\cup (B \cap C)) \\ &= \text{card}(A) + \text{card}(B) - \text{card}(A \cap B) + \text{card}(C) - \text{card}(A \cap C) -\text{card}(B \cap C) + \text{card}((A \cap C) \cap (B \cap C) ) \\ &= \text{card}(A) + \text{card}(B) + \text{card}(C) - \text{card}(A \cap B)- \text{card}(A \cap C) -\text{card}(B \cap C) + \text{card}(A \cap B \cap C ) \end{align*}$
如果我们草率的模仿上述过程推导三个向量空间的和的维数公式是不合适的。

这是因为上面用到了集合的运算定律： $(A\cup B)\cap C=(A \cap C)\cup (B \cap C)$ 等。但这些运算定律是争对交并补运算的，在子集/子空间的和运算中是没有这样的运算定律的。如，令 $A=U_1,B=U_2,C=U_3$ ，衍生出的“运算定律” $(A+B)\cap C=(A\cap C)+(B \cap C)$ 显然是错误的。

归根结底，和运算与并运算仅仅是看起来相像。两个向量空间的和可以使得一个原本不在他们里面的某个元素，变得在他们的和空间里面；但是集合的并不能做到这样的事情。

向量空间的和与集合的并
上面的题目很容易就能找到一个反例，如。在此，我想记录一点小想法：关于为什么公式不成立。我们知道对于集合有容斥原...
向量空间
定义:向量空间是一个集合，该集合的元素都是向量，定义了加法和标量乘法。集合对加法运算封闭，集合中任意向量，他们的...
Deep Learning - 第二章-线性代数重要知识点复习-
向量空间为了定义向量空间，首先需要定义向量的加法和标量乘法运算：将集合 V 上的加法定义为一个函数，要求对于 ...
R的运算
交集intersect 并集union 求两个向量的并集，集合可以是任何数值类型找不同setdiff 求向量x与...
矩阵分析 (一) 线性空间和线性变换
我们曾在线性代数里学过向量空间，它是由向量做成的集合。在这个集合里向量可以相加，向量可以乘以一个倍数，由此我们...
1.3 向量方程（线性代数及其应用-第5版-系列笔记）
内容概述本节首先以和空间为例，引入了向量的概念、向量的几何表示，并介绍了向量的一些基本运算和性质，例如向量的加法...
线性代数之——向量空间
1. 向量空间和子空间向量空间由所有的维向量组成，向量中的每个元素都是实数。向量空间可以用 ...
[笔记] 线性代数
向量空间集合和组集合和组的区别，这两者都是一堆元素的组合，但集合是无序、不重复的，而组是有序、可重复且长度确定...
高等代数理论基础50：线性变换的值域与核
线性变换的值域与核定义：设是线性空间V的一个线性变换,的全体像组成的集合称为的值域,记作所有被变成零向量的向量...
向量空间
定义设 V 是 n 维向量的集合，如果集合 V 非空集合 V 对于向量的加法和乘数两种运算封闭那么就称集合...