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?

  • 0
    The Unicode names for many symbols are erroneous, and unfortunately cannot be changed. Don't place too much value on them.2011-09-06
  • 0
    @SN That's discussed in detail here http://math.stackexchange.com/questions/9475/2011-09-06
  • 2
    The text you quoted is incorrect, but it might be relevant to mention that the symbol $\beth_0$ is used for $\aleph_0$ and the symbol $\beth_1$ is used for $2^{\aleph_0}=\mathfrak c$.2011-09-06
  • 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
    Thanks Asaf; of course the Unicode has the whole Hebrew letters separately. The aleph and bet are doubly registered in Unicode because some older character encoding had a subset of Hebrew just for math notation, and the Unicode needs to take it into account. It's a complete mystery why the Unicode consortium didn't consult proper mathematicians, though.2011-09-06
  • 0
    @Yuji: Oh, I know that Hebrew is registered as Hebrew as well as into the mathematical notation. I just added that as a point of possible interest and humor :-)2011-09-06
  • 0
    I guessed you knew, but I explained it just in case:p From now on I'll use "transfinite cardinal" when referring to Hebrew alphabets.2011-09-06
  • 0
    If you want to see where $\aleph_0$ was born, [follow this link](http://gdz.sub.uni-goettingen.de/index.php?id=resolveppn&PPN=GDZPPN00225557X), go to page `510 : 492` (it appears first on page `506 : 488`, but page 492 is where it is properly defined). By the way Hausdorff in his *[Grundzüge der Mengenlehre](http://dx.doi.org/10.1007/978-3-540-76807-4_2)* uses $\aleph$ for the continuum. See [e.g. this page](http://i.stack.imgur.com/NKWD1.png). @Yuji: ping2011-09-06
  • 1
    @Theo: It might interest you to know that one can directly link to a particular page in GDZ, [like so](http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=GDZPPN00225557X&PHYSID=phys511). (Admittedly, you need to peer a bit at the HTML, so it might be inconvenient.)2011-09-07
  • 0
    @Yuji, see my previous comment for a direct link to the apropos section of Cantor's paper.2011-09-07
  • 0
    @J.M. Thanks! In fact, I tried to steal that from [here](http://math.stackexchange.com/questions/61457/what-is-the-primary-source-of-hilberts-famous-man-in-the-street-statement/61459#61459) and I thought you wanted to steer the readers [here](http://gdz.sub.uni-goettingen.de/de/dms/load/img/?PPN=PPN237834022&PHYSID=phys302) instead of [there](http://gdz.sub.uni-goettingen.de/de/dms/load/img/?PPN=PPN237834022&PHYSID=phys301), hence I gave up (without trying further) since it didn't seem to work :)2011-09-07
  • 0
    Oh, sorry for the confusion there @Theo. What I wanted for that answer was to link to the paper itself and not where the paragraph was (since I quoted the required paragraph anyway).2011-09-07
  • 0
    @J.M. No problem at all --- should have re-read the comments more attentively... Thanks for pointing it out (I've learned quite a bit of link-tweaking from you over the past half year...). But why is the counter off by one?2011-09-07
  • 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