![集合定义中的行](https://linux22.com/image/274839/%E9%9B%86%E5%90%88%E5%AE%9A%E4%B9%89%E4%B8%AD%E7%9A%84%E8%A1%8C.png)
我正在尝试对集合做出一个简单的定义。
我的尝试:$M=\{x\,|\,1\le x\le p-2\}$
有没有更舒适的方式在 之前和之后留出一点空间|
?我正在考虑类似 的方法,\mod
它可以自行设置间距。
答案1
竖线通常使用 来生成\mid
,它打印的符号与 相同|
(或\vert
,同义词)。
不同之处在于,它\mid
被视为关系符号,因此其两侧会有较粗的空格:
$M = \{ x \mid 1 \le x \le p-2 \}$
许多人(包括 Knuth)建议在使用以下条件时添加细小的空间以便分离括号\mid
:
$M = \{\, x \mid 1 \le x \le p-2 \,\}$
但
$X = \{1,2,3,4\}
列出元素时。随便挑一个。对于文档中数量较少的集合符号,这应该不是问题;但是当它们很多时,最好添加一个命令,以确保统一性:
\newcommand{\Set}[2]{%
\{\, #1 \mid #2 \, \}%
}
(%
在这种情况下,这并不是必需的),因此你可以调用
$M = \Set{x}{1\le x\le p-2}$
而不必考虑细节。您还可以享受以下优势:如果挑剔的文字编辑说他们想要冒号而不是竖线,那么只需在 的定义中将\mid
其改为 即可。:
\Set
在一篇我为在会议论文集中发表而进行微调的论文中,集合被表示为三不同的方式:有时用竖线分隔,有时用冒号分隔,有时用分号分隔。符号的一致性是必需的,而不是可选项。
答案2
一个有趣的选项可能是加载布拉克特包并使用其命令\set
和\Set
。小写版本\set
使用固定大小(小)花括号和中央竖线;大写版本允许“栅栏”符号随着其所包含的内容自动增长。
因此,您可以输入如下表达式
$M=\set{x|1\le x\le p-2}$
并让包正确完成格式化表达式的工作。