Aller au contenu

Exponentiation ensembliste

Un article de Wikipédia, l'encyclopédie libre.

En théorie des ensembles, l'exponentiation ensembliste est l'opération qui, à deux ensembles E et F, associe l'ensemble des applications de E dans F. Cet ensemble est souvent noté[1] FE. On peut aussi le voir comme l'ensemble des familles indexées par E d'éléments de F :

  • désigne l'ensemble des suites réelles.
  • Pour tout ensemble E non vide, il n'y a aucune application de E dans l'ensemble vide (l'existence d'une image dans ∅ pour tout élément de E ne pourra jamais être vérifiée). Donc ∅E = ∅ si E ≠ ∅.
  • Pour tout ensemble F, il y a une seule application de l'ensemble vide dans F : l'application vide (en) (de graphe vide). L'ensemble F est donc un singleton.

Quand E et F sont des ensembles finis, si l'on note |E| le cardinal d'un ensemble E, on démontre (voir l'article « Arrangement avec répétition ») :

Quand E ou F est infini, on peut prendre cette identité comme une définition de la fonction puissance sur les nombres cardinaux. On montre en effet que le cardinal de FE ne dépend que des cardinaux respectifs de E et F.

Georg Cantor a introduit cette construction justement à cette fin[2]. Ce qu'il appelait « recouvrement[3] » (Belegung en allemand) d'un ensemble N par un ensemble M est « une loi par laquelle à chaque élément n de N est lié un élément déterminé de M, où un et le même élément de M peut être utilisé de façon répétée[2] », c'est-à-dire ce que nous appelons aujourd'hui une application de N dans M. Il notait f(N) une telle application f, puis énonçait : « La totalité de tous les recouvrements distincts de N par M constitue un ensemble déterminé d'éléments f(N) ; nous l'appelons « l'ensemble de recouvrement de N par M » et le désignons par (N|M). Ainsi (N|M) = {f(N)}[2]. »

Notes et références

[modifier | modifier le code]
  1. Paul Halmos, Introduction à la théorie des ensembles [détail des éditions].
  2. a b et c Georg Cantor, « Contributions au fondement de la théorie des ensembles transfinis », 1895, traduit et commenté sur Bibnum, § 4.
  3. Ne pas confondre avec Recouvrement (mathématiques).

Articles connexes

[modifier | modifier le code]