高等代数--商空间

商集的定义

设 $V$ 是域 $F$ 上的线性空间，取V的一个子空间 $W$ ，在 $V$ 上定义一个二元关系：
$\alpha \sim \beta \ \ \ \ iff\ \ \ \alpha -\beta \in W$ (iff表示当且仅当)
$V$ 的所有 $\sim$ 等价类组成的集合称为 $V$ 对于关系 $\sim$ 的商集，记作 $V/\sim$ ， $V/\sim$ 也称为 $V$ 对子空间 $W$ 的商集，记为 $V/W$ 。
那么由 $\alpha \in V$ 确定的等价类 $\overline{\alpha }$ 就是：
$\overline{\alpha } =\left\{ \alpha +r\ |\ r\in W\right\}$
这是因为，如果我们假设 $\beta \sim \alpha$ 那么一定有 $\beta - \alpha \in W$ 那么我们可以假设 $\beta - \alpha = r$ 则 $\beta = \alpha + r\ \ \ \ r \in W$ 所有这样的 $\beta$ 构成了 $\alpha$ 的等价类 $\overline{\alpha }$ 。
我们也用 $\alpha + W$ 表示 $V$ 的一个子集 $\left\{ \alpha +r\ |\ r\in W\right\}$ ，称它是 $V$ 的一个 $W$ 型线性子簇，称 $V/W$ 为 $V$ 的所有 $W$ 型线性子簇
故 $V/W = \left\{ \alpha +r\ |\ r\in W\right\}$ 其中，我们称 $\alpha$ 为代表元
从上面给出的定义不难发现：
两个等价类 $\overline{\alpha }\ , \overline{\beta }$ 相等当且仅当它们的代表元等价，即 $\alpha + W = \beta +W \Leftrightarrow \alpha - \beta \in W$

商空间的定义

设 $W$ 是域 $F$ 上线性空间 $V$ 的一个子空间，在商集 $V/W$ 中规定如下运算：
$(\alpha +W)+(\beta +W)=\left( \alpha +\beta \right) +W\\k(\alpha +W)=k\alpha +W,\ k\in F$
$V/W$ 对于上述两种运算构成域 $F$ 上的一个线性空间，零元素是 $W$ 即 $0+W$ ，称 $V/W$ 是 $V$ 对 $W$ 的商空间

商空间的维数

定理: 如果 $W$ 是域 $F$ 上有限维线性空间 $V$ 的一个字空间，则 $dim(V/W) = dim(V)-dim(W)$

证明：

在 $W$ 中取一组基 $\alpha_{1} \ ,\cdots ,\ \alpha_{s}$ ，把它扩充成 $V$ 的一组基
$\alpha_{1} \ ,\cdots ,\ \alpha_{s} ,\ \alpha_{s+1} \ ,\cdots ,\ \alpha_{n}$
任取 $\beta +W \in V/W$ ，设 $\beta = b_1 \alpha_1 +\cdots +b_n \alpha_n$ ，则
$\beta + W = (b_1 \alpha_1 +\cdots +b_n \alpha_n)+W\\ =(b_1 \alpha_1 + W)+ \cdots +(b_s \alpha_s + W) + (b_{s+1} \alpha_{s+1}+W)+ \cdots +(b_n \alpha_n +W)$
由于 $\alpha_1, \cdots, \alpha_s$ 均是 $W$ 中的向量，从而 $b_i \alpha_i +W =W,\ \ i=1,2,\cdots s$ 于是上式等于：
$=W+(b_{s+1} \alpha_{s+1}+W)+ \cdots +(b_n \alpha_n +W)\\ =b_{s+1}( \alpha_{s+1}+W)+ \cdots +b_n (\alpha_n +W)$
说明 $V/W$ 中任一向量可以表成 $\alpha_{s+1}+W,\cdots,\alpha_n + W$ 的线性组合，所以若 $\alpha_{s+1}+W,\cdots,\alpha_n + W$ 线性无关，那么它就是 $V/W$ 的一组基，从而：
$dim(V/W) = n-s = dim(V)-dim(W)$ 下证 $\alpha_{s+1}+W,\cdots,\alpha_n + W$ 线性无关。
使用反证法，假设存在一组不全为零的数 $k_1, k_2, \cdots , k_{n-s}$ 使
$k_1 (\alpha_{s+1} +W)+\cdots+k_{n-s}(\alpha_n + W) = 0+W$
从而 $k_1 \alpha_{s+1} +\cdots + k_{n-s} \alpha_n \in W$ ，那么一定存在 $l_1,l_2,\cdots,l_s$ 使 $k_1 \alpha_{s+1}+\cdots+k_{n-s} \alpha_n = l_1 \alpha_1 + \cdots +l_s \alpha_s$ ，即
$k_1 \alpha_{s+1}+\cdots+k_{n-s} \alpha_n-l_1 \alpha_1 - \cdots -l_s \alpha_s = 0$ 也就是说 $\alpha_1,\cdots,\alpha_n$ 线性相关，显然矛盾，
于是 $\alpha_{s+1}+W,\cdots,\alpha_n + W$ 是 $V/W$ 中的线性无关线性无关向量，结论得证。

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 205,132评论 6赞 478
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 87,802评论 2赞 381
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 151,566评论 0赞 338
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 54,858评论 1赞 277
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 63,867评论 5赞 368
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 48,695评论 1赞 282
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 38,064评论 3赞 399
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 36,705评论 0赞 258
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 42,915评论 1赞 300
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 35,677评论 2赞 323
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 37,796评论 1赞 333
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 33,432评论 4赞 322
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 39,041评论 3赞 307
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 29,992评论 0赞 19
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 31,223评论 1赞 260
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 45,185评论 2赞 352
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 42,535评论 2赞 343

高等代数--商空间

商集的定义

商空间的定义

商空间的维数

定理: 如果是域上有限维线性空间的一个字空间，则

证明：

推荐阅读更多精彩内容

定理: 如果 $W$ 是域 $F$ 上有限维线性空间 $V$ 的一个字空间，则 $dim(V/W) = dim(V)-dim(W)$