Opération ensembliste

Opération ensembliste

Les opérations ensemblistes sont les opérations mathématiques faites sur les ensembles, sans s’occuper de la nature des éléments qui composent ces ensembles. Les opérations booléennes (réunion, intersection, complémentaire ...) sont traitées dans l'article Algèbre des parties d'un ensemble.

Sommaire

Ensemble des parties

L’ensemble des parties d'un ensemble E, noté habituellement \mathcal{P}(E) ou \mathfrak{P}(E), est, comme son nom l’indique, l’ensemble formé par tous les sous-ensembles de l’ensemble E:

 \mathfrak{P}(E) = \{ A | A \subseteq E \}

Par exemple si A = {a, b}, \mathfrak{P}(A)={Ø,{a}, {b},A}

L’ensemble des parties d’un ensemble, muni de la réunion, de l’intersection et du complémentaire forme une algèbre de Boole.

Article détaillé : Algèbre des parties d'un ensemble.

.

L’ensemble des parties d’un ensemble, muni de la différence symétrique et de l’intersection forme un corps commutatif. Si l'ensemble de départ est fini, avec n éléments, alors ce corps est isomorphe à   \mathbb{F}_{2^n}, corps fini à 2n éléments.

Produit cartésien

Le produit cartésien, noté  A \times B (lire « A croix B »), de deux ensembles A et B est l’ensemble des couples dont la première composante vient de A et la seconde de B :

 A \times B = \{ (x, y) | (x \in A) \wedge (y \in B) \}

On a pour A et B finis: \mathrm{card}(A \times B) = \mathrm{card}(A) \;\mathrm{card}(B)

Somme disjointe

La différence symétrique de deux ensembles A et B ne doit pas être confondue avec leur somme disjointe, notée A + B \,,A \dot\cup B \, ou encore A \sqcup B :

A + B = (\{ 0 \}\times A) \cup (\{ 1 \} \times B) = \{ ( 0, x) | (x \in A) \} \cup \{ ( 1, x) | (x \in B) \}\,

Les symboles  0\, et  1\, dans la définition précédente peuvent être remplacés par d’autres, par exemple  \empty et  \{\empty\} . La seule exigence est que les deux symboles utilisés diffèrent l’un de l’autre.

La somme disjointe, ou réunion disjointe, permet de définir la somme de cardinaux  :

card(A) + card(B) = card(A + B)

Dans le cas où au moins un des deux ensembles est infini, on a aussi, que les ensembles soient disjoints ou non :

\mathrm{card}( A ) + \mathrm{card}( B ) = \mathrm{card}( A \cup B ) = max( \mathrm{card}( A ), \mathrm{card}( B ) )

Exponentiation

On définit F^E \, comme l’ensemble des applications de E dans F.

On peut alors identifier l’ensemble des parties d’un ensemble E, \mathfrak P(E), à \{0,1\}^E \, ; cela revient en effet à identifier chaque partie de E à son indicatrice.

On peut aussi considérer le produit cartésien \bigotimes_{i\in I}E_i comme étant l’ensemble EI.


Wikimedia Foundation. 2010.

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

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Operation ensembliste — Opération ensembliste Les opérations ensemblistes sont les opérations mathématiques faites sur les ensembles, sans s’occuper de la nature des éléments qui composent ces ensembles. Les opérations booléennes (réunion, intersection, complémentaire …   Wikipédia en Français

  • Operation sur des correspondances — Opération sur des correspondances Une opération sur des correspondances permet de créer de nouvelles correspondances. Sommaire 1 Correspondances et opérations ensemblistes 1.1 Réunion 1.2 Intersection …   Wikipédia en Français

  • Opération sur des correspondances — Une opération sur des correspondances permet de créer de nouvelles correspondances. Sommaire 1 Correspondances et opérations ensemblistes 1.1 Réunion 1.2 Intersection 1.3 …   Wikipédia en Français

  • Opération (mathématiques) — Les quatre opérations arithmétiques élémentaires effectuées avec les mêmes opérandes : 6 et 2. En mathématiques, une opération est un processus visant à obtenir un résultat à partir d un ou plusieurs objets appelés opérandes. L écriture d… …   Wikipédia en Français

  • Opération binaire — Les opérations en codage binaire sont traitées à l article Fonction logique. En mathématiques, une opération binaire est une opération à deux arguments ou opérandes. C est le cas notamment des lois de composition interne sur un ensemble, telle… …   Wikipédia en Français

  • Opérations ensemblistes — Opération ensembliste Les opérations ensemblistes sont les opérations mathématiques faites sur les ensembles, sans s’occuper de la nature des éléments qui composent ces ensembles. Les opérations booléennes (réunion, intersection, complémentaire …   Wikipédia en Français

  • Opérations sur les ensembles — Opération ensembliste Les opérations ensemblistes sont les opérations mathématiques faites sur les ensembles, sans s’occuper de la nature des éléments qui composent ces ensembles. Les opérations booléennes (réunion, intersection, complémentaire …   Wikipédia en Français

  • Algèbre des parties d'un ensemble — En théorie des ensembles, l ensemble des parties d un ensemble, muni des opérations d intersection, de réunion, et de passage au complémentaire possède une structure d algèbre de Boole. D autres opérations s en déduisent, comme la différence… …   Wikipédia en Français

  • Théorie des ensembles — La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d ensemble et d appartenance, à partir… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

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