不相交集合并集的数学符号

不相交集合并集的数学符号

在我们的讲稿中,我们使用了不相交集合并集的概念。它使用一个特殊符号来区分不相交集合和通常的集合并集,我们在符号内添加了一个额外的点\cup。有没有类似的东西\bigudot?或者还有其他方法可以向任何符号添加一个中心点?

答案1

编辑我以为 amssymb 提供了\cupdot您想要的功能...但事实并非如此。

\usepackage{MnSymbol}提供\cupdot\bigcupdot与之不兼容,amssymb这是不幸的。

有时不相交并集被描绘成\sqcup具有amssymb

答案2

解决 中没有此类符号的问题的另一种可能性amssymb是使用点重音符号:\dot{\bigcup}\dot\bigcup。这适用于所有符号,并且很可能是 中没有点符号的原因amssymb

但是,为了让 TeX 将这种新构造视为间距运算符,您需要使用\mathop\mathbin,也就是说\mathop{\dot{\bigcup}}\mathbin{\dot{\cup}}

答案3

不相交并集有时也写成用\coprod,因为它实际上是集合类别中的余积。

答案4

摘自符号

\newcommand{\cupdot}{\mathbin{\mathaccent\cdot\cup}}

这并排展示了@egreg 的解决方案、“我的”解决方案和@Vilietha 的解决方案: 在此处输入图片描述

egreg 的和我的之间没有太大区别,但打字可能更少 ;-)

相关内容