交集

✍ dations ◷ 2025-04-03 17:21:33 #抽象代数,集合论基本概念,二元运算

数学上,两个集合 A {\displaystyle A} 又属于的元素,而没有其他元素的集合。

A {\displaystyle A} B {\displaystyle B} 的交集写作“ A B {\displaystyle A\cap B} ”。形式上:

例如:集合 { 1 , 2 , 3 } {\displaystyle \{1,2,3\}} { 2 , 3 , 4 } {\displaystyle \{2,3,4\}} 的交集为 { 2 , 3 } {\displaystyle \{2,3\}} 。数字 9 {\displaystyle 9} 不属于素数集合 { 2 , 3 , 5 , 7 , 11 , } {\displaystyle \{2,3,5,7,11,\ldots \}} 和奇数集合 { 1 , 3 , 5 , 7 , 9 , 11 , } {\displaystyle \{1,3,5,7,9,11,\ldots \}} 的交集。

若两个集合 A {\displaystyle A} B {\displaystyle B} 的交集为空,就是说它们彼此没有公共元素,则他们不相交,写作: A B = {\displaystyle A\cap B=\varnothing } 。例如集合 { 1 , 2 } {\displaystyle \{1,2\}} { 3 , 4 } {\displaystyle \{3,4\}} 不相交,写作 { 1 , 2 } { 3 , 4 } = {\displaystyle \{1,2\}\cap \{3,4\}=\varnothing }

更一般的,交集运算可以对多个集合同时进行。例如,集合 A , B {\displaystyle A,B} C {\displaystyle C} D {\displaystyle D} 的交集为 A B C D = A ( B ( C D ) ) {\displaystyle A\cap B\cap C\cap D=A\cap (B\cap (C\cap D))} 。交集运算满足结合律。即:

以上定义可推广到任意非空集合的集合的交集。若 M 是一个非空集合,其元素本身也是集合,则 x {\displaystyle x} 属于 M 的交集,当且仅当对任意 M 的元素 A , x {\displaystyle A,x} 属于 A {\displaystyle A} 。符号表示为:

这一概念也蕴涵了前述的定义,例如, A B C {\displaystyle A\cap B\cap C} 是集合 A , B , C {\displaystyle {A,B,C}} 的交集。(若 M 为空集,有时候谈论它的交集也是有意义的,请见空交集。)

这一概念的表示符号有多种。集合论者有时用 M {\displaystyle \bigcap M} ,有时用 A M A {\displaystyle \bigcap _{A\in M}A} 。后一种写法可以一般化为 i I A i {\displaystyle \bigcap _{i\in I}A_{i}} ,表示集合 { A i : i I } {\displaystyle \{A_{i}:i\in I\}} 的交集。这里 I {\displaystyle I} 非空,而对于每个 I {\displaystyle I} 里的 i , A i {\displaystyle i,A_{i}} 是一个集合。

当索引集 I {\displaystyle I} 为自然数集合时,这种符号表示与无限序列相类似:

为了排版方便,上述符号也可以写成" A 1 A 2 A 3 {\displaystyle A_{1}\cap A_{2}\cap A_{3}\cap \ldots } ",尽管严格说来,像 A 1 ( A 2 ( A 3 {\displaystyle A_{1}\cap (A_{2}\cap (A_{3}\cap \ldots } 这样的写法是无意义的。(这个例子是可数个集合的交集,相当常用,可以参看 σ {\displaystyle \sigma } -代数条目中的例子。)

最后,注意当符号 {\displaystyle \cap } 写在其他符号之前,而不是之间的时候,需要写得大一号。(在HTML中,可以使用字体,或者尝试。)

相关

  • 后置词后置词(postposition)在文法里是一种介词或助词,其作用为建立受词(多半是一个名词词组)与句子中其他部分的关系,通常用来表示位置、时间、作用对象或行为主体等。与前置词相反,后
  • 加萨加沙(阿拉伯语:غزة‎,拉丁化转写:Ghazzah;希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL S
  • 镰仓时代镰仓时代(1192年-1333年),是日本历史中以镰仓为全国政治中心的武家政权时代。始于1192年(建久三年)镰仓幕府成立,终于1333年(正庆二年,元弘三年)幕府灭亡,经历141年。关于镰仓幕府建立
  • 熊梓淇熊梓淇(1992年6月6日-),艺名Dylan, 中国大陆男艺人,粉丝名为“小浣熊”。出生于辽宁省铁岭市,毕业于上海音乐学院音乐剧系。自3岁开始学习音乐,并学习了钢琴、小提琴等乐器,擅长多项
  • 京都会馆京都会馆(日语:京都会館)是位于日本京都府京都市左京区冈崎最胜寺町的一座音乐厅,为京都市所拥有。京都会馆的设计者是前川国男,竣工于1960年。京都会馆正处在改装工程中,竣工后将
  • 森田等价在抽象代数中,森田等价(Morita equivalence)是定义在环之间的一个等价关系,这个等价保持许多环论性质。以日本数学家森田纪一(英语:Kiiti Morita)命名,他在1958年定义了这个等价关系
  • 朴子日新医院朴子日新医院位于嘉义县朴子市向荣路27号,具有台湾第一幢庭院式别墅型日式医院,且建造者涂炉医师是朴子地区第三代西医师先驱,目前被指定为嘉义县文化资产。涂炉医师(1893年-19
  • 孙文先孙文先(1954年-),为台湾数学教育工作者,国立台湾师范大学数学系毕业。于1978年创立九章出版社,这是一间专业数学的出版社。在一次员工卷款潜逃事件后,开始惨淡经营。公元1977年,孙文
  • 符腾堡的欧根·腓特烈欧根·腓特烈(德语:,1758年11月21日—1822年6月20日),符腾堡公爵腓特烈二世·欧根的第三子,符腾堡国王腓特烈一世的弟弟。1787年,欧根·腓特烈与斯托贝格-盖登的路易丝(英语:Princess
  • 侯潭站侯潭站是皖赣铁路的一个车站,位于安徽省黄山市祁门县塔坊乡。车站距芜湖站320公里,距贵溪站230公里,现由上海铁路局芜湖车务段管辖,办理列车通过、会让业务,货运仅办理专用线货运