Paire


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 raisonnements é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.

Wikimedia Foundation. 2010.

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

Regardez d'autres dictionnaires:

  • paire — [ pɛr ] n. f. • v. 1130; lat. par → 1. et 2. pair ♦ Réunion de deux choses, de deux êtres semblables qui vont ensemble. 1 ♦ Se dit de deux choses identiques ou symétriques destinées à être utilisées ensemble. Une paire de souliers, de chaussettes …   Encyclopédie Universelle

  • paire — Paire. s. f. Couple d oiseaux de mesme espece, masle & femelle. Il ne se dit guere que des pigeons & des tourterelles. Une paire de pigeons, une paire de tourterelles. Il se dit aussi quelquefois d un couple de poulets, de dindons, &c. Une paire… …   Dictionnaire de l'Académie française

  • paire — m. père; auteur; inventeur. Cu non a paire ni maire d espereu va deu faire prov …   Diccionari Personau e Evolutiu

  • păire — PĂÍRE s.f. v. păí. [DAR] Trimis de gall, 04.07.2008. Sursa: Neoficial …   Dicționar Român

  • paire — (pê r ) s. f. 1°   Couple d animaux de la même espèce, mâle et femelle. •   Cet oiseau [le pinson noir aux yeux rouges] se trouve à la Caroline, il va par paires, et se tient dans les bois les plus épais, BUFF. Ois. t. VII, p. 202. •   Il est… …   Dictionnaire de la Langue Française d'Émile Littré

  • PAIRE — s. f. Couple d animaux de la même espèce, mâle et femelle. Il ne se dit guère qu en parlant De certains volatiles. Une paire de pigeons, de tourterelles, de poulets.   Une paire de boeufs, une paire de chevaux, Deux boeufs destinés à être… …   Dictionnaire de l'Academie Francaise, 7eme edition (1835)

  • PAIRE — n. f. Couple d’animaux de la même espèce, composé du mâle et de la femelle. Il ne se dit guère qu’en parlant de Certains volatiles. Une paire de pigeons, de tourterelles, de poulets. Une paire de boeufs, une paire de chevaux, Deux boeufs destinés …   Dictionnaire de l'Academie Francaise, 8eme edition (1935)

  • paire — n.f. Départ, fuite Se faire la paire, s en aller, s enfuir. Dîner à la paire, partir sans payer après avoir dîné. / Une paire chaude, une paire de saucisses de Francfort chaudes …   Dictionnaire du Français argotique et populaire

  • paire — Une Paire de quelque chose que ce soit, Par. Une paire de boeufs, Par bouum. Une paire, ou une partie bien faicte, Par recte compositum. B …   Thresor de la langue françoyse

  • paire — nf. : PÂr nm. (Albanais, Annecy.003, Balme Si., Leschaux, Thonon | Albertville, Bellecombe Bauges, Samoëns.010, Thônes.004b), pâre (Aillon V.273b, Saxel.002), pòzh, pl. paar (St Martin Porte) || nf., pâre (004a,273a, Aillon J., Cordon), pére (Aix …   Dictionnaire Français-Savoyard


Share the article and excerpts

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.