空集符号：没有元素时怎样表达

空集符号常在“没有符合条件的解”之后出现，但它表示的是一个集合，而不是数字零，也不是尚未填写的空白。将答案整理成笔记时，先确认自己要记录解的数值还是解集；若所求对象是集合，才用集合的方式准确说明没有成员。

没有成员与成员为零不同

方程的解是零，与方程在指定范围内无解，是截然不同的结果。前者的解集中有数字零这个元素，后者才没有元素。不能因为结果看起来“什么也没有”，就用一个零字代替空集，或把零解误删。

外层花括号也会改变含义。把空集本身放进一对集合花括号中，得到的是一个含有空集作为元素的新集合，它已经有一名成员。识别时可以逐层问：最外面这一层究竟列出了什么？列出一个空集，仍算列出了一个对象。

因此，空集与“含零的集合”“含空集的集合”应分别记录。做练习时可把三种情况写成文字解释，先确认元素个数，再输入数学记号。文字层面能分清之后，花括号与符号就不再只是凭外观记忆。

结论是否为空取决于讨论范围

同一条件换了数域，符合条件的对象可能改变。例如某些方程在实数范围内没有解，在更大的数域中却有解。记录“解集为空”时，应把原题指定的范围一同留存，不能把带范围的结论扩展为任何情况下都不存在。

两个集合求交后没有共同元素，也会得到空集。检查时仍应核对所有条件，而不是因随手试的几个候选值失败就下结论。有限列表可以逐个比较；条件集合则要说明条件为何不能同时满足，证明的对象是整个成员范围。

空集是任何集合的子集，但是否为某集合的元素，要看该集合有没有把它收纳为一个对象。这两个说法常被混为一谈。若题目询问成员关系，不能直接拿“子集”性质作答；先看关系记号连接的是元素与集合，还是两个集合。

选择专门的集合记号

LaTeX 中可用 \varnothing 或 \emptyset 表示空集；具体字形随所用方式有差异，语义相同。下面强调空集与装着空集的集合并不相等：

\varnothing\ne\{\varnothing\}

不要用数字零加斜线手工拼接，也不要用形似的希腊字母替代。相近外观可能在小字号下难以辨认，使用明确命令可以保留正确的数学身份。若引用教材，应采用该材料一致的记法，避免一页中无说明地来回换字形。

本站公式编辑器可在 LaTeX 模式核对命令，在预览模式检查集合边界。录入上面的例子时，注意右边外层花括号必须显示出来；若它们消失，两边就可能看成同一个对象，破坏了要说明的区别。

把“为何没有”写在结果旁边

错题整理可保留一条简短理由，例如两个范围不重叠，或约束之间矛盾。这样再次看到空集时，能够知道这是经过判断的结论，不是未完成计算时留下的占位。

本站文档编辑器适合把理由与结果放在相邻位置。登录后可保存文档；需要导出到外部文件时，须登录并开通会员。成稿核对时尤其留意零、空集以及外层花括号，它们占用的空间很小，却分别代表不同对象。

延伸阅读

• WolframAlpha：了解得到数学结果之后的书写工作。
• 逻辑与符号：进一步理解多个条件如何同时成立。