Numero beth
# Numero beth

In matematica, e più precisamente in teoria degli insiemi, il numero beth indica una particolare successione di numeri cardinali. Il simbolo è bet, $\beth$, la seconda lettera dell'alfabeto ebraico.

La successione è parametrizzata sui numeri ordinali e definita per induzione transfinita come segue:

    ${\begin{cases}\beth _{0}=\aleph _{0}\\\beth _{\alpha +1}=2^{\beth _{\alpha }}\\\beth _{\lambda }=\sup\{\beth _{\gamma }\mid \gamma \in \lambda \}\qquad {\text{con }}\lambda {\text{ limite}}\end{cases}}$

## Numeri beth e numeri aleph

Per le regole dell'aritmetica dei cardinali, dato un cardinale $k$ si ha che $2^{k}$ è la cardinalità dell'insieme di funzioni da $k$ in $\{0,1\}$, che non è altro che la cardinalità di ${\mathcal {P}}(k)$, l'insieme delle parti di $k$.

Alla luce di questa osservazione, il secondo "tassello" della definizione della successione può essere riscritto come:

* $\beth _{\alpha +1}=\left|{\mathcal {P}}(\beth _{\alpha })\right|$

A questo punto si nota che i primi elementi della successione sono i cardinali più utilizzati in matematica:

* $\beth _{0}$ è la cardinalità del numerabile
* $\beth _{1}$ è la cardinalità del continuo, cioè di $\mathbb {R}$
* $\beth _{2}$ è la cardinalità di ${\mathcal {P}}(\mathbb {R} )$, ovvero il "numero" di insiemi di numeri reali

Sorge spontanea la domanda "Tutti i cardinali fanno parte di questa successione?"

In altre parole: la successione dei numeri $\beth$ coincide con quella dei numeri $\aleph$?

Che $\beth _{0}$ coincida con $\aleph _{0}$, è vero per definizione. Andando in ordine, il primo caso non banale è quindi $\beth _{1}$, la cui equivalenza con $\aleph _{1}$ però non è altro che l'ipotesi del continuo, che è dimostrata essere indecidibile se ci si basa sugli assiomi standard della matematica.

In generale, l'equivalenza $\beth _{\alpha }=\aleph _{\alpha }$ è la cosiddetta ipotesi generalizzata del continuo, ed è ovviamente indecidibile, dato che lo è un suo caso particolare.

