商空间 (线性代数)

✍ dations ◷ 2025-04-03 17:03:19 #线性代数,泛函分析

在线性代数中,一个向量空间关于子空间的商是将“坍塌”为零得到的向量空间。所得的空间称为商空间(quotient space),记作/(读作:模)。

正式地,此构造如下(Halmos 1974,§21-22)。设是域上的一个向量空间,且是的一个子空间。我们定义在上定义一个等价类~,如果 − ∈ 则令 ~ 。即如果其中一个加上中一个元素得到另一个,则与相关。的所在等价类通常记作

因为它由

那么商空间/定义为/~,在~下所有等价类集合。等价类上的数乘与加法定义为

不难验证这些运算是良定义的(即与代表元之选取无关)。这些运算将商空间/转化为上一个向量空间,成为零类。相对应的,商映射即定义为 ∈ 与等价类之映射

令 = R2为标准笛卡儿平面,是中过原点的一条直线。则商空间/可与中与平行的所有直线等价。这就是讲,集合/的元素是中平行于的元素。这给出了以一种几何的方式看商空间的方法。

另一个例子是R被前个标准基向量张成的子空间的商。空间R由所有实数-元组 (1,…,)组成。子空间,与R等价,由只有前元素是非零 (1,…,,0,0,…,0)的所有-元组组成。R的两个向量在模去这个子空间的同一个共轭类中当且仅当他们的后 − 个坐标相等。商空间R/ R显然地同构于R−。

更一般地,如果写成子空间与的一个(内部)直和:

则商空间/自然同构于 (Halmos 1974,Theorem 22.1)。

如果是的一个子空间,在中的余维数定义为/的维数。如果是有限维的,这就是与的维数之差(Halmos 1974,Theorem 22.2):

从到商空间/有一个自然满射,将映到它的等价类。这个满射的核(或零空间)是子空间。此关系简单地总结为短正合序列

令 : → 是一个线性算子。的核,记作ker(),是所有 ∈ 使得 = 0的集合。核是的一个子空间。线性代数第一同构定理说商空间/ker()同构于在中的像。一个直接推论,对有限维空间的秩-零化度定理:的维数等于核的维数(的零化度)加上像的维数(的秩)。

线性算子 : → 的余核定义为商空间/im()。

如果是一个巴拿赫空间而是的一个闭子空间,则商/仍是一个巴拿赫空间。上一节已经给出商空间一个向量空间结构。我们定义/上一个范数为

商空间/关于此范数是完备的,所以是一个巴拿赫空间。

令表示区间上连续实值函数的巴拿赫空间。记所有函数 ∈ 使得(0) = 0的子空间为。则某个函数的等价类由它在0点的值决定,商空间/同构于R。

如果是一个希尔伯特空间,则商空间/同构于的正交补。

局部凸空间被一个闭子空间商还是局部凸的(Dieudonné 1970,12.14.8)。事实上,假设是局部凸的所以上的拓扑由一族半范数{α|α∈}生成,这里是一个指标集。设是一个闭子空间,定义/上半范数α

则/是一个局部凸空间,上面的拓扑是商拓扑。

进一步,若是可度量化的,则 /也是;如果是弗雷歇空间,/(Dieudonné 1970,12.11.3)也是。

相关

  • 编辑编辑,是一种工作及职业,指为各种媒体(以出版物为主)在出版前进行的后期制作,包括文字、图像、录音、录像、多媒体生成处理,和制作审核、校对的一项工序。此工作从业人员的中文职称
  • 幽门窦幽门(pylorus)是胃和十二指肠的连接口,包含幽门窦(pyloric antrum)和幽门管(pyloric canal)两个部分。幽门括约肌(pyloric sphincter)在幽门管末端,可以控制食物从胃进入十二指肠的过
  • 晋升体系晋升体系(拉丁文:Cursus honorum;意为“荣耀之路”)是在罗马共和国和罗马帝国初期时,有抱负的政治家们就任政府职位的次序。这个制度是为有元老身份的人而设。晋升体系包含军队及
  • 汉斯·李普希汉斯·李普希(荷兰语:Hans Lippershey,1570年-1619年9月),或称作约翰·李普希(Johann Lippershey),德国-荷兰眼镜制造师与发明家。因最早申请望远镜的专利而闻名于世,但现时仍未清楚他
  • 汆(拼音:cuān;注音:ㄘㄨㄢ)是烹饪时对食材的一种处理方法,又称汆烫、川烫、焯水或飞水。较常用的一个意思是指把食材放入沸水中片刻,透过水的热力烧煮食材。可以达到去除肉类血水
  • 红河三角洲红河三角洲(越南语:Đồng bằng Sông Hồng/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HK
  • 许远许远(709年-757年),字令威,杭州盐官县(治所在今浙江省海宁市伊桥乡)人。唐朝地方官员。安史之乱时为睢阳郡太守,与张巡死守睢阳城而知名。城破被送至洛阳,后被杀害。与张巡并称“双忠
  • 光稃稻光稃稻(学名:Oryza glaberrima),又称非洲稻、非洲型稻、西非栽培稻,是人类种植的一种稻属作物。一般认为,光稃稻于两千至三千年前在尼日尔河上游,即今日马里一带得到驯化。光稃稻为
  • 韦斯·斯塔蒂卫斯里·“韦斯”·斯塔蒂(英语:Wesley "Wes" Studi,切罗基语:ᏪᏌ ᏍᏚᏗ,1947年12月17日-)是一位切罗基(英语:Cherokee Nation)男演员,他出生于美国奥克拉荷马州的塔勒阔(英语:Tahlequa
  • 5号染色体长臂缺失综合征5号染色体长臂缺失综合征(Chromosome 5q deletion syndrome、5q综合征、5号长臂染色体单体症(monosomy)、5号染色体长臂缺失综合症)是一种后天性血液疾病,特征是人类5号染色体