5
$\begingroup$

The Unicode chart for "letterlike symbols" states that

א 2135 ALEF SYMBOL = first transfinite cardinal (countable)

ב 2136 BET SYMBOL = second transfinite cardinal (the continuum)

I thought that the first transfinite cardinal is $\aleph_0$, the second is $\aleph_1$, and the continuum hypothesis is undecidable.

Which mathematicians did the Unicode Consortium consult when they decided to include these characters? Was this the standard usage when the first version of Unicode was developed in late '80s?

  • 2
    For what it's worth, there's also a Unicode character whose name is (and will always remain) "PRESENTATION FORM FOR VERTICAL RIGHT WHITE LENTICULAR BRAKCET".2011-09-06

1 Answers 1

4

The use of $\aleph$ is quite arbitrary in that context, especially outside set theory.

I have seen $\aleph$ used as a variable for a general (well orderable) cardinal, as a symbol for the continuum, and it does not surprise me that someone whose mathematical background may not include set theory would confuse it for the first transfinite cardinal (i.e. $\aleph_0$).

However indexed $\aleph$ symbols are of course quite well understood as $\aleph_\alpha$ being the $\alpha$-th cardinal.

The $\beth$ symbol is used in mathematics a lot less often, it is the cardinality of the power sets, that is:

  • $\beth_0 = \aleph_0$;
  • $\beth_{\alpha+1} = 2^{\beth_\alpha}$;
  • If $\lambda$ is a limit ordinal, then $\beth_\lambda = \sup\{\beth_\alpha\mid\alpha<\lambda\}$.

I have not seen these used quite often outside set theory, and not often within set theory. As with $\aleph$ symbols, indexed notation has a clear definition.

$\beth_1=|\mathbb R|$, so the continuum hypothesis is $\aleph_1=\beth_1$. If you think on $\aleph$ and $\beth$ as class functions from the ordinals into the cardinals, then the Generalized Continuum Hypothesis asserts that $\aleph=\beth$.

Regardless to all that, coming from the Hebrew side of the screen, $\aleph$ is the first letter of the Hebrew alphabet, and $\beth$ is the second. I do not recall the Hebrew alphabet being ever referred to as "transfinite cardinals" though :-)

(Another interesting addition is that there exists a $\gimel$ (Gimel) function as well in cardinal arithmetics, $\gimel(\kappa)=\kappa^{\operatorname{cf}(\kappa)}$. Gimel is the third letter of the Hebrew alphabet following $\aleph,\beth,\gimel$. Seems that cardinal arithmetic is a lesson in Hebrew, much like mathematics is a lesson in Greek)

(One should be aware that it can be an apparently quite the confusion about the continuum hypothesis, and some mathematicians believe that $\aleph_1$ is defined as $2^{\aleph_0}$)

  • 0
    @Theo: I don't know either. I'd have guessed they count the flyleaf, but not everything there has a flyleaf.2011-09-07