直积

✍ dations ◷ 2025-04-26 13:22:23 #抽象代数,二元运算

其他有限群
对称群,
二面体群,
无限群
整数, Z
模群, PSL(2,Z) 和 SL(2,Z)

G2 F4E6 E7E8
劳仑兹群
庞加莱群

环路群
量子群
O(∞) SU(∞) Sp(∞)

在数学中,经常定义已知对象的直积(direct product)来给出新对象。例子有集合的乘积(参见笛卡尔积),群的乘积(下面描述),环的乘积和其他代数结构的乘积。拓扑空间的乘积是另一个例子。

以类似的方式,我们可以谈论多于两个对象的乘积,比如 R × R × R × R {\displaystyle \mathbb {R} \times \mathbb {R} \times \mathbb {R} \times \mathbb {R} } , *) 和 (, o) 的直积,指示为 × 。对于写为加法的阿贝尔群,它也可以叫做两个群的直和,指示为 G H {\displaystyle G\oplus H} (构成自形如 (, 1) 的元素)的一个正规子群,和同构于 (构成自元素 (1, ))的一个正规子群。

逆命题也成立,有下列识别定理: 如果群 包含两个正规子群 和 ,使得 = 并且 和 的交集只包含单位元,则 同构于 × 。将其中一个正规子群条件弱化为一般子群则给出半直积。

作为一个例子,选取 和 是唯一(不别同构之异) 2 阶群 2 的两个复本: 即 {1, } 和 {1, }。则 2×2 = {(1,1), (1,), (,1), (,)},带有逐元素运算。例如,(1,)*(,1) = (1*, *1) = (,),而 (1,)*(1,) = (1,2) = (1,1)。

通过直积,我们得到一些自然群同态: 投影映射

叫做坐标函数。

还有,在直积上的所有同态 都完全决定自它的分量(component)函数 f i = π i f {\displaystyle f_{i}=\pi _{i}\circ f} , *),和任何整数 ≥ 0,多次应用直积得到所有 -元组的群 (=0 时是平凡群)。例如:

模的直积(不要混淆于张量积)非常类似于上述群直积的定义,使用笛卡尔积带有逐分量的加法运算,和只分布在所有分量上的标量乘法运算。开始于 R 我们得到欧几里得空间 R,它是实 -维向量空间的原型例子。R 和 R 的直积是 R + 。

注意有限索引 i = 1 n X i {\displaystyle \prod _{i=1}^{n}X_{i}} 中只有有着有限多个非零元素的序列。例如, 在 中但 不在。这两种序列都在直积 中;事实上, 是 的真子集(也就是 ⊂)。

拓扑空间的搜集 即对于 在 中的某个索引集合的直积,再次利用了笛卡尔积

定义拓扑是有些技巧的。对于有限多个因子这是明显和自然的事情: 简单的选取开集构成的基为来自每个因子的开子集的所有笛卡尔积的搜集:

这个拓扑叫做乘积拓扑。例如,直接通过 R 的开集们(开区间的不交并)定义在 R2 上的乘积拓扑,这个拓扑的基由在平面上的开矩形的所有不交并构成(明显的它一致于平常的度量拓扑)。

无限乘积的拓扑就有些曲折了,要能够确使所有投影映射连续,并确使所有到乘积中的函数连续当且仅当所有它的分量函数是连续的(就是满足乘积范畴定义: 这里的态射是连续函数): 我们同上面一样的选取的开集构成的基围来自每个因子的开子集的所有笛卡尔积的搜集,但带有除了有限多个开子集之外所有都是整个因子的限制条件:

在这种情况下更自然可靠的拓扑将是如上那样选取无限多个开子集的乘积,而这产生了有些意思的拓扑,即盒拓扑,但是不难找到其乘积函数不是连续的连续分量函数丛(例子请参见盒拓扑的条目)。使这种曲折成为必须的问题最终根源于在拓扑定义中开集的交集对无限多集合不保证是开集的事实。

乘积(带有乘积拓扑)关于保持它们因子的性质是良好的;例如,豪斯多夫空间的乘积是豪斯多夫空间;连通空间的乘积是连通空间,而紧致空间的乘积是紧致空间。最后一个也叫做吉洪诺夫定理,它是选择公理的另一个等价形式。

更多的形式和等价公式请参见单独条目乘积拓扑。

在带有二元关系 和 的两个集合上的笛卡尔积上,定义 (, ) T (, ) 为 并且 。如果 和 都是自反的、反自反的、传递的、对称的或反对称的,则 有同样性质。 组合各性质,可得出这还适用于作为预序和作为等价关系情况。但是如果 和 是完全关系, 一般不是。

在度量空间的笛卡尔积上的度量,和在赋范向量空间的直积上的范数,可以用各种方式定义,例子请参见p-范数。

相关

  • PVC聚氯乙烯(英语:Polyvinyl Chloride,缩写:PVC)是氯乙烯经加成聚合反应得到的的高分子材料。是聚乙烯和聚丙烯之后,第三种最广泛生产的合成塑胶聚合物。聚氯乙烯有两种基本形式:硬性
  • 模拟仿真或译作模拟(英语:Simulation),泛指基于实验或训练为目的,将原本的真实或抽象的系统、事务或流程,建立一个模型以表征其关键特性(key characteristics)或者行为、功能,予以系统化
  • 赫尔穆特·施密特赫尔穆特·海因里希·瓦尔德马·施密特(德语:Helmut Heinrich Waldemar Schmidt,1918年12月23日-2015年11月10日),德国社会民主党政治家,前西德社会民主党(SPD)主席(1967年—1969年)、
  • 通典《通典》是中国历史上第一部体例完备的政书,唐杜佑撰。唐德宗贞元十七年(801年)编成,历时三十余年。本书记录上起黄虞(黄帝与有虞氏)时代、下迄唐玄宗天宝末年典章制度之沿革,其中
  • 奥塔哥奥塔哥大区(毛利语:Ōtākou,英文:Otago),位于新西兰南岛东南部,面积约12,000平方公里,是全国第二大地区。奥塔哥首府是达尼丁。旅游名城皇后镇亦在此区内。位于区内的奥塔哥大学(
  • 生物系统生物系统(Biological system),又称身体系统(Body system)、器官系统(Organ system),是生物的其中一个组成部分,是由许多不同的器官共同组合而成,执行某种特定的生理作用。人体的系统是
  • 切罗基人316,049在编部落成员 (东方部落:13,000+、切罗基国:288,749、给杜瓦联合部落:14,300) 的成员就被描述为擅长猎鹿,来自的成员则是擅长操作与爱情相关的魔法。经济上,有称为的经济
  • 约翰·克劳福约翰·克劳福,FRS (英语:John Crawfurd;1783年8月13日-1868年5月11日)英国医生、殖民长官、外交官,苏格兰人。出生于苏格兰阿盖尔(英语:Argyll)的艾拉岛,其父塞缪尔·坎贝尔是一位医生
  • DNS over HTTPSDNS over HTTPS(缩写:DoH)是一个进行安全化的域名解析方案。其意义在于以加密的HTTPS协议进行DNS解析请求,避免原始DNS协议中用户的DNS解析请求被窃听或者修改的问题(例如中间人
  • 松冈菜摘松冈菜摘(日语:松岡 菜摘,1996年8月8日-)是日本偶像艺人,为女子偶像团体HKT48 Team H成员、并担任队长(第2任)。福冈县出身,所属经纪公司为Mercury。HKT48AKB48HKT48 AKB48 秋吉优花