Paire (mathématiques)

Paire (mathématiques)

Paire

Page d'aide sur l'homonymie Pour les articles homonymes, voir paire (homonymie).

On dit qu'un ensemble E est une paire lorsqu'il est formé de deux éléments distincts a et b, et il s'écrit alors :

E=\left\{a, b\right\}

Quand l'ensemble E est formé d'un seul élément, a, on dit que E est un singleton, et on l'écrit alors :

E=\left\{a\right\}

Sommaire

Remarques

  • On peut utiliser la notation {a, b} même si a = b. C'est bien utile quand on manipule des variables, on peut écrire {x, y}, sans supposer que xy, et cela évite de multiplier les sous-cas dans un certain nombre de raisonnement élémentaires de théorie des ensembles. Cependant si a = b alors l'ensemble {a, b} n'est pas une paire mais le singleton {a}.
  • La paire est un ensemble : elle n'est pas ordonnée. On peut indifféremment écrire {a, b} ou {b, a} pour désigner le même ensemble. Ceci différencie la paire du couple.
{a, b} = {b, a}, que a et b soient ou non distincts, tandis que (a , b) ≠ (b , a) dès que a et b sont distincts.

Exemples

  • {1,3} est une paire d'entiers.
  • {sin,exp} est une paire de fonctions à variable réelle .
  • {{1},{1,2}} est une paire d'ensembles d'entiers.

Propriétés

Appartenance d'un élément à une paire (ou à un singleton)

On a vu que l'écriture {a, b} peut s'utiliser même si a = b. Nous parlerons donc de paire ou singleton {a, b}[1].

Un élément x appartient à une paire si et seulement s'il est égal à l'un des deux éléments de cette paire. Cet énoncé est en fait tout autant valable pour un singleton. On peut donc l'écrire formellement, pour a et b donnés :

x[ x ∈ {a, b} ⇔ (x = a ou x = b)]

(le « ou » en question désigne, comme d'habitude en mathématiques, une disjonction inclusive : l'énoncé reste vrai si x = a et x = b).

Cette propriété caractérise les paires (ou singletons). Quand on axiomatise la théorie des ensembles, usuellement on utilise un axiome spécifique, appelé axiome de la paire, pour l'existence d'un ensemble ayant cette propriété, deux éléments non nécessairement distincts étant donnés.

Dans le cas des singletons (a = b), la propriété caractéristique peut bien-sûr se simplifier :

x[ x ∈ {a} ⇔ x = a].

Égalité de deux paires (ou singletons)

Deux paires ou singletons sont égales si et seulement si leurs éléments sont égaux deux à deux, de l'une des deux façons dont on peut les associer. Plus précisément, pour deux paires ou singletons {a, b} et {c, d} :

[{a, b} = {c, d}] ⇔ [(a = c et b = d) ou (a = d et b = c)]

L'énoncé se simplifie si l'on sait que l'une des deux ensembles est un singleton :

[{a} = {c, d}] ⇔ [a = c et a = d]

et se simplifie d'autant plus pour l'égalité des singletons :

{a} = {c} ⇔ a = c

Paires disjointes

Deux paires ou singletons sont disjointes si et seulement si chacun des éléments de la première paire ou singleton sont distincts de chacun des deux éléments de l'autre, ce qui, pour des paires, signifie que les quatre éléments des deux paires sont deux à deux distincts. Pour deux paires ou singletons {a, b} et {c, d} on a donc :

{a, b} ∩ {c, d} = ∅ si et seulement si (ac et ad et bc et bd)

Cardinalité d'une paire

La cardinal d'un ensemble est ce l'on appelle usuellement pour les ensembles finis son nombre d'éléments. Une paire est donc évidemment un ensemble fini de cardinal 2.

Autres propriétés

  • Un raisonnement simple de dénombrement montre que le nombre de paires (les « vraies » paires, sans les singletons) d'un ensemble fini à n éléments est égal à {n(n-1)\over 2} (voir l'article combinaison).

Voir aussi

Notes

  1. En théorie des ensembles on appelle paire un ensemble de deux éléments non nécessairement distincts, l'axiome de la paire fait par exemple aussi bien référence aux paires qu'aux singletons. Par contre, en combinatoire, une paire doit bien être formée de deux éléments distincts.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Paire ».

Wikimedia Foundation. 2010.

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

См. также в других словарях:

  • Paire de ruth-aaron — En mathématiques, une paire de Ruth Aaron est constituée de deux entiers consécutifs (e.g. 714 et 715) pour lesquels les sommes des facteurs premiers de chaque entier sont égales à : 714 = 2 × 3 × 7 × 17 715 = 5 × 11 × 13 et 2 + 3 + 7 + 17 …   Wikipédia en Français

  • Paire — Pour les articles homonymes, voir paire (homonymie). On dit qu un ensemble E est une paire lorsqu il est formé de deux éléments distincts a et b, et il s écrit alors : Quand l ensemble E est formé d un seul élément, a, on dit que E est un… …   Wikipédia en Français

  • Paire (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.  Pour les articles homophones, voir Père et Pair. Sur les autres projets Wikimedia  …   Wikipédia en Français

  • Paire de matrices commutantes — En mathématiques, une paire de matrices commutantes est un couple (A,B) de matrices carrées à coefficients dans un corps commutatif qui commutent, c est à dire que AB = BA. L étude des paires de matrices commutantes a des aspects tout à fait… …   Wikipédia en Français

  • Paire de Ruth-Aaron — En mathématiques, une paire de Ruth Aaron est constituée de deux entiers consécutifs (e.g. 714 et 715) pour lesquels les sommes des facteurs premiers de chaque entier sont égales. 714 = 2 × 3 × 7 × 17 715 = 5 × 11 × 13 et 2 + 3 + 7 + 17 = 5 + 11… …   Wikipédia en Français

  • Paire d'espaces — En topologie, une paire d espaces est la donnée d un espace topologique et d une partie de celui ci. Cette structure permet notamment de définir les axiomes de l homologie[1]. Remarque préalable En réalité, il ne s agit pas d une paire au sens… …   Wikipédia en Français

  • Structure paire — Paire (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.  Pour les articles homophones, voir Père et Pair …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Couple (Mathématiques) — Pour les articles homonymes, voir Couple. En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé. Le couple des deux objets a et b est noté (a,b). Si a et b sont distincts le couple (a,b) est distinct… …   Wikipédia en Français

  • Doublet (mathématiques) — Couple (mathématiques) Pour les articles homonymes, voir Couple. En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé. Le couple des deux objets a et b est noté (a,b). Si a et b sont distincts le… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»