Nombre beth

Nombre beth

Beth (nombre)

Dans la théorie des ensembles ZFC (avec axiome du choix) les nombres beth désignent une hiérarchie de nombres cardinaux indexée par les ordinaux, obtenue à partir du dénombrable en prenant le cardinal de l'ensemble des parties pour successeur, et la borne supérieure (ou réunion) pour passer à la limite.La notation de ces nombres utilise la deuxième lettre de l'alphabet hébreu, \beth ou ב.

Sommaire

Introduction.

En théorie des ensembles les nombres cardinaux représentent la taille d'un ensemble. Le cardinal d'un ensemble bien ordonné est naturellement représenté par un ordinal qui n'est équipotent à aucun ordinal strictement plus petit. Les cardinaux des ensembles ordonnés infinis sont appelés alephs, ils représentent tous les cardinaux infinis en présence de l'axiome du choix. Il est possible de « numéroter » les alephs par des ordinaux, c'est-à-dire d'établir l'existence d'une classe fonctionnelle bijective des ordinaux vers les alephs. Un aleph est noté avec la première lettre de l'l'alphabet hébreu \aleph, indexée par un nombre ordinal. Le cardinal \aleph_{\alpha+1}, successeur du cardinal \aleph_{\alpha} est le plus petit cardinal strictement supérieur à \aleph_{\alpha}. C'est encore le cardinal de Hartogs de \aleph_{\alpha}, c'est-à-dire le cardinal de l'ensemble des ordinaux subpotents \aleph_{\alpha}, ensemble naturellement bien ordonné.

Pour les nombres beth, ou fonction beth, au lieu de l'opération de Hartogs pour le successeur, on prend le cardinal de l'ensemble des parties, ce qui demande l'axiome du choix. Le point de départ est identique : \beth_0=\aleph_0. Cette définition demande donc ZFC (ou une théorie plus forte). La fonction beth est une fonction bien définie des ordinaux dans les alephs, mais cela ne signifie pas que l'on sache déterminer, pour un ordinal donné, de quel aleph il s'agit (indexé par quel ordinal). En effet l'hypothèse du continu se reformule \beth_1=\aleph_1, et l'hypothèse généralisée du continu revient à identifier les deux hiérarchies. Or ces deux hypothèses comme leur négations sont compatibles avec ZFC.

Définition

Pour définir les nombres beth, commencons par poser :

\beth_0=\aleph_0

qui correspond à la cardinalité des ensembles dénombrables, par exemple celui de \mathbb{N}, l'ensemble des entiers naturels.

Notons P(A) l'ensemble des parties de A, ç-à-d., l'ensemble de tous les sous ensembles de A. Puis définissons :

\beth_{\alpha+1}=2^{\beth_{\alpha}},

qui est la cardinalité de l'ensemble des parties de A si \beth_{\alpha} est la cardinalité de A.

Etant donnée cette définition,

\beth_0,\ \beth_1,\ \beth_2,\ \beth_3,\ \dots

ont respectivement les cardinalités de :

\mathbb{N},\ P(\mathbb{N}),\ P(P(\mathbb{N})),\ P(P(P(\mathbb{N}))),\ \dots.

Ainsi le deuxième nombre beth \beth_1 est 2^{\aleph_0} ou c (ou \mathfrak c), la cardinalité, ou puissance du continu, le 3e nombre de beth \beth_2=2^{\mathfrak c} correspond à la cardinalité de l'ensemble des parties du continu, etc.

Pour un ordinal limite infini le nombre beth qui lui correspond dans la hiérarchie est le sup de tout nombre beth qui lui est strictement inférieur.

\beth_{\lambda}=\sup\{ \beth_{\alpha}:\alpha<\lambda \}.

Via le théorème de Cantor tout ensemble a une cardinalité strictement inférieure à celle de l'ensemble de ses parties donc la hiérarchie est stricte.

Comme Vω est dénombrable, l'univers de von Neumann Vω+α a pour cardinalité \beth_{\alpha}.

Généralisation

Le symbole plus général \beth_\alpha(\kappa), avec α ordinal et κ cardinal est parfois utilisé. Il est définit comme suit :

\beth_0(\kappa)=\kappa,
\beth_{\alpha+1}(\kappa)=2^{\beth_{\alpha}(\kappa)},
\beth_{\lambda}(\kappa)=\sup\{ \beth_{\alpha}(\kappa):\alpha<\lambda \} si λ est un ordinal limite.

Ainsi \beth_{\alpha}=\beth_{\alpha}(\aleph_0).

Dans ZF, pour tout cardinal κ et μ, il existe un ordinal α tel que :

\kappa \le \beth_{\alpha}(\mu).


Et dans ZF, pour tout cardinal κ et ordinaux α et β, on a :

\beth_{\beta}(\beth_{\alpha}(\kappa)) = \beth_{\alpha+\beta}(\kappa).

Ainsi, dans ZF sans ur-elements et avec ou sans l'axiome du choix, pour tous cardinaux κ et μ, il existe un ordinal α tel que pour tout ordinal β ≥ α :

\beth_{\beta}(\kappa) = \beth_{\beta}(\mu).

Ceci est valable aussi dans la théorie des ensembles de Zermelo–Fraenkel avec ur-elements et avec ou sans axiome du choix, ce qui fait que les ur-elements forment un ensemble équipotent à un pure set (un ensemble dont la clôture transitive ne contient pas d'ur-elements). En présence de l'axiome du choix tout ensemble d'ur-elements est équipotent avec un pure set.

Remarque

"Beth" renvoie ici à la deuxième lettre de l'alphabet hébraïque et nullement au logicien Beth.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Beth (nombre) ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Nombre beth de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Beth (nombre) — Pour les articles homonymes, voir Beth. Dans la théorie des ensembles ZFC (avec axiome du choix) les nombres beth désignent une hiérarchie de nombres cardinaux indexée par les ordinaux, obtenue à partir du dénombrable en prenant le cardinal de l… …   Wikipédia en Français

  • Beth — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Beth peut faire référence à : beth, une lettre de l alphabet hébreu, Bēth, la 2e lettre de l alphabet syriaque, Beth (nombre) Beth, chanson du groupe …   Wikipédia en Français

  • Beth Carvalho — Saltar a navegación, búsqueda Beth Carvalho Beth Carvalho Información personal Nombre real Eli …   Wikipedia Español

  • Beth orton — Beth Orton en concert à Seattle en 2002. Nom Elizabeth Caroline Orton Naissance 14 …   Wikipédia en Français

  • Beth Orton — en concert à Seattle en 2002. Nom Elizabeth Caroline Orton Naissance 14/12 …   Wikipédia en Français

  • Beth — Saltar a navegación, búsqueda Beth Beth en una escena de Lalola , serie de Antena 3 (2008). Información personal Nom …   Wikipedia Español

  • Beth Sarim — Saltar a navegación, búsqueda Rutherford con uno de sus Cadillacs frente Beth Sarim Beth Sarim (en hebreo Casa de los príncipes) era una mansión de estilo español construida por la Watchtower Society Incorporated (Watchtower Sociedad Anonima) en… …   Wikipedia Español

  • Beth Allen — Saltar a navegación, búsqueda Beth Allen Nombre real Elizabeth Grace Nell Allen Nacimiento 28 de mayo de 1984 (25 años) Auckland, Nueva Zelanda …   Wikipedia Español

  • Beth Broderick — Saltar a navegación, búsqueda Beth Broderick Nombre real Beth Alison Broderick Nacimiento 24 de febrero de 1959 (50 años) Fa …   Wikipedia Español

  • Beth Orton — Saltar a navegación, búsqueda Beth Orton Beth Orton en Seattle 2002 Información personal Nombre real …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”