LatexNotes

阿列夫 ℵ 的 LaTeX 写法

\aleph 输出希伯来字母阿列夫 ℵ,在集合论中(总是带下标)用来表示无穷集合的基数,也就是它们的“大小”。

LaTeX 命令

\aleph

不是你要找的符号?画出来查命令 →

\aleph_0(读作阿列夫零)是自然数集的基数,也是最小的无穷基数;所有可数无穷集(如整数集、有理数集)的基数都是它。更大的无穷基数依次记为 \aleph_1、\aleph_2 等,构成阿列夫层级。

这和实数集的基数不同:后者记作 \mathfrak{c} 或 2^{\aleph_0},严格大于 \aleph_0。\mathfrak{c} 是否等于 \aleph_1,正是著名的连续统假设,它已被证明独立于集合论的标准 ZFC 公理系统。

\aleph 基本上从不单独出现,需要加下标说明指的是哪一个基数。还要注意别把基数(阿列夫数)和序数混淆:序数构成另一个相关但不同的层级,通常用 \omega 来写。

示例

$|\mathbb{N}| = \aleph_0$

自然数集的基数,即阿列夫零

$\aleph_0 < \aleph_1 < \aleph_2 < \cdots$

无穷基数的阿列夫层级

$2^{\aleph_0} = \mathfrak{c}$

连续统的基数

使用技巧与常见错误

手上是手写笔记?

LatexNotes 能把手写数学的照片或 PDF 转换成干净、可编译的 LaTeX,连手绘图形也一并转换。免费试用,无需注册。

把你的数学笔记转成 LaTeX →

常见问题

\aleph_0 是什么意思?

阿列夫零,即自然数集的基数,也是最小的无穷基数。

LaTeX 中阿列夫怎么打?

输入 \aleph,再加下标指明具体的基数,例如 \aleph_0 或 \aleph_1。

\aleph 和无穷大(\infty)一样吗?

不一样。\infty 是单个符号,表示无界的极限或广义实数中的无穷值。\aleph_0、\aleph_1 等则是集合论中一族互不相同的无穷基数。

什么是连续统假设?

它断言:不存在严格介于 \aleph_0 与实数集基数之间的基数,即 2^{\aleph_0} = \aleph_1;这一命题独立于标准的 ZFC 公理系统。

相关内容