Couple (mathématique)

Couple (mathématique)

Couple (mathématiques)

Page d'aide sur l'homonymie 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 du couple (b,a). En cela la notion de couple se distingue de la notion de paire. Pour désigner un couple, les anglophones emploient d'ailleurs ordered pair, c’est-à-dire paire ordonnée.

Sommaire

Notion de couple

Les objets a et b sont appelés respectivement première composante et deuxième composante du couple ( a, b ).

Propriété caractéristique

D'abord introduite comme une notion primitive, l'essence de la notion de couple réside dans la propriété caractéristique suivante :

Deux couples sont égaux si et seulement si leurs premières composantes d'une part, et leurs secondes composantes d'autre part, sont égales entre elles.
En d'autres termes, quels que soient a1, a2, b1, b2, on a :
(a1, a2) = (b1, b2) si et seulement si a1 = b1 et a2 = b2.

Cette propriété est à comparer avec l'égalité des paires, pour lesquelles b 1 et b 2 peuvent être permutés par rapport à a 1 et a 2 , ce qui n'est pas le cas pour les couples.

Ceci est confirmé par le corollaire suivant :

Les composantes d'un couple ne peuvent être échangées entre elles sans modifier le couple, sauf si elles sont identiques.
ce que l'on peut exprimer plus formellement par : quels que soient a et b :
( a , b ) = ( b , a ) si et seulement si a = b.

Par conséquent:

  • pour un couple ( a , b ) :   ba ⇒ ( b , a ) ≠ ( a , b )
  • pour une paire { a , b } :   { b , a } = { a , b }[1]

Les notions de couple et de paire ne doivent donc pas être confondues.

L'ordre des composantes dans un couple a ainsi de l'importance, d'où la définition :

Si a est différent de b , le couple ( b , a ) est appelé couple symétrique ou encore couple réciproque du couple ( a , b ).

Produit cartésien

L'ensemble de tous les couples dont la première composante appartient à un ensemble quelconque X et la seconde à un ensemble quelconque Y est appelé produit cartésien de ces deux ensembles et se note X×Y. Les sous-ensembles de X×Y sont des graphes.

Exemples

  • ( 1 , 4 ) et ( 4 , 4 ) sont des couples d'entiers.
  • Si E = { 1 , 2 , 3 } alors ( { 1 } , { 1 , 3 } ) et ( Ø , { 1 } ) sont des couples de parties de E.

Les couples en théorie des ensembles

Norbert Wiener fut le premier à remarquer (en 1914) que la notion de couple pouvait se définir en termes d'ensemble, et que donc il n'était pas nécessaire d'introduire cette notion comme une notion primitive, dès que l'on a la notion d'ensemble.

En théorie des ensembles une fonction de couplage est une fonction (au sens intuitif, et non au sens de la théorie des ensembles dans laquelle on travaille) qui à deux objets quelconques x et y, associe un objet noté (x,y) vérifiant la propriété caractéristique des couples. Il existe de nombreuses fonctions de couplages. Habituellement on utilise une repésentation des couples due à Kazimierz Kuratowski (1921). Ce choix est commode, mais n'a rien d'intrinsèque. En particulier toutes les propriétés mathématiques usuelles des couples se déduisent de la propriété caractéristique, le choix de la fonction de couplage ne doit avoir aucune conséquence.

Les couples de Kuratowski

Les couples sont définis en théorie des ensembles de la façon suivante :

Pour x et y deux ensembles quelconques, on pose (x,y)={{x},{x,y}}.

Pour cette définition on doit utiliser trois fois l'axiome de la paire, pour former le singleton {x}, puis pour former la paire (ou singleton) {x,y}, et enfin pour former la paire (ou singleton) {{x},{x,y}}.

On a bien défini la notion de couple de façon unique. On montre ensuite facilement la propriété caractéristique, en utilisant de façon répétée l'axiome d'extensionnalité :

Pour tous ensembles x, y, x' et y' , si {{x},{x,y}}={{x' },{x' ,y' }}, alors x = x' et y = y', ce dans une théorie des ensembles qui vérifie l'axiome de la paire et l'axiome d'extensionalité.

Il suffit d'utiliser la condition d'égalité pour deux paires (ou singletons), en distinguant soigneusement tous les cas possibles.

  • Soit {x}={x' } et {x,y}={x' ,y' }. Alors (égalité des deux singletons) x=x' . D'autre part (égalité des deux paires), soit x=x' et y=y' , ce que l'on veut démontrer, soit x=y' et y=x' , mais comme par ailleurs x=x' , les 4 éléments sont égaux d'où le résultat.
  • Soit {x}={x' ,y' } et {x,y}={x' }. On déduit de ces deux égalités que les 4 éléments sont égaux d'où le résultat.

Supposons donné un ensemble de couples C. Alors les composantes de C appartiennent à l'ensemble E obtenu par réunion de la réunion des élements de C, et donc on peut définir les ensembles des premières et des secondes composantes de C par compréhension :

E=∪∪C ; A = {x ∈ E / ∃ y (x,y) ∈ C} ; B = {y ∈ E / ∃ x (x,y) ∈ C}

Ceci est utile pour définir par exemple l'ensemble de définition ou l'ensemble image d'une relation ou d'une fonction vus comme des ensembles de couples (on utilise l'axiome de la réunion, et le schéma d'axiomes de compréhension).

On montre également que, X et Y étant deux ensembles donnés, les couples de Kuratowski dont la première composante appartient à X et la seconde à Y forment un ensemble qui est, pour ce codage, le produit cartésien de X et Y (voir l'article produit cartésien).

D'autres fonctions de couplage

Wiener, en 1914, utilisait la définition suivante des couples : (x,y)={ {{x},∅}, { {y} } }, qui est à peine plus compliquée que celle de Kuratowski.

On peut aussi utiliser (x,y)={x,{x,y}} mais la preuve de la propriété caractéristique demande l'axiome de fondation.

Le couple en théorie des catégories

Ici la construction des concepts se fait en sens inverse : le couple est défini à partir du produit cartésien lequel est lui-même défini à partir de fonctions, la notion de fonction vue comme un morphisme se situant donc très en amont dans la théorie des catégories.

Il s'agit là cependant d'une vision particulière et relativement récente de la théorie des catégories, dont la base axiomatique n'est pas encore fixée [2]; dans la plupart des ouvrages les concepts de base utilisés pour les catégories, dont les couples et les fonctions, reposent sur la théorie des ensembles.

Généralisations

Les triplets peuvent être définis comme vérifiant la propriété caractéristique :

deux triplets sont égaux si et seulement si leurs premières composantes sont égales entre elles, leurs deuxièmes composantes aussi et leurs troisièmes composantes de même.

Un triplet (a, b, c) peut être codé comme (a, (b, c)) soit deux couples imbriqués. Le choix de l'ordre d'imbrication est purement arbitraire. On peut généraliser le procédé de construction à des n-uplets, n étant un entier quelconque. Pour généraliser à une infinité de composantes, on ne parle plus de n-uplet, mais de fonction, ou de suite dans le cas dénombrable.

Les généralisations à plus de deux composantes sont étudiées en détail dans l'article « Produit cartésien »

Voir aussi

Liens connexes

Notes

  1. Il faut noter une légère ambiguïté : en mathématiques en général, en combinatoire en particulier, une paire est constituée de deux éléments distincts, et l'on évite la notation {a, b} quand a = b. En théorie des ensembles, la rédaction deviendrait pénible s'il fallait toujours que la notation {a, b} suppose ab, et on ne le supposera pas, on a {a, a}={a}. On essaye le plus souvent de réserver "paire" au cas où les deux éléments sont distincts, bien que l'axiome de la paire montre également l'existence des singletons. On s'autorise parfois à écrire la paire {a, b}, même s'il est possible que a=b ; il faudrait dire alors la paire ou singleton {a, b}. Pratiquement les usages sont bien circonscrits, et l'ambiguïté éventuelle ne pose pas de problème.
  2. http://plato.stanford.edu/entries/category-theory/#1

Sources

  • Azriel Levy, Basic Set Theory, Springer Verlag (1979) ISBN 3-540-08417-7

Contient entre autres les références suivantes

  • K. Kuratowski, Sur la notion d'ordre dans la théorie des ensembles, Fund. Math. 2, 161-171 (1921).
  • N. Wiener, A simplification of the logic of relations, Proc. Cambridge Philos. Soc. 17, 387-390 (1914).
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Couple (math%C3%A9matiques) ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • couple — [ kupl ] n. m. et f. • cople 1190; lat. copula « lien, liaison » I ♦ N. f. 1 ♦ Vén. Lien servant à attacher ensemble deux ou plusieurs animaux de même espèce. 2 ♦ Vx ou Région. Deux choses de même espèce. « une bonne couple de soufflets » (Mme de …   Encyclopédie Universelle

  • couplé — couple [ kupl ] n. m. et f. • cople 1190; lat. copula « lien, liaison » I ♦ N. f. 1 ♦ Vén. Lien servant à attacher ensemble deux ou plusieurs animaux de même espèce. 2 ♦ Vx ou Région. Deux choses de même espèce. « une bonne couple de soufflets »… …   Encyclopédie Universelle

  • Couple — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Couple », sur le Wiktionnaire (dictionnaire universel) Le mot couple désigne généralement une paire de …   Wikipédia en Français

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

  • PHYSIQUE - Physique et mathématique — L’existence d’une relation particulière entre la physique et les mathématiques est universellement reconnue. Les témoignages explicites en abondent à travers toute l’histoire de la physique, à commencer par la célèbre assertion de Galilée: «La… …   Encyclopédie Universelle

  • INFINI MATHÉMATIQUE — Le mot «infini» désigne un concept à entrées multiples. Il s’ouvre d’abord sur l’ontologie et signifie alors, selon la tradition, «l’être tel qu’on n’en saurait concevoir de plus grand» («ens quo majus concipi non potest »). Ce fut pour une… …   Encyclopédie Universelle

  • Relation mathématique — Correspondance et relation En algèbre générale (ou abstraite), le concept de correspondance, ou de relation, est une abstraction de notions telles que l’égalité, l’ordre alphabétique, ou la comparaison. De manière informelle, une relation dans un …   Wikipédia en Français

  • Esperance mathematique — Espérance mathématique L espérance mathématique est, en probabilités, une valeur numérique permettant d évaluer le résultat moyen d une expérience aléatoire. Elle permet par exemple de mesurer le degré d équité d un jeu de hasard; elle est alors… …   Wikipédia en Français

  • Espérance Mathématique — L espérance mathématique est, en probabilités, une valeur numérique permettant d évaluer le résultat moyen d une expérience aléatoire. Elle permet par exemple de mesurer le degré d équité d un jeu de hasard; elle est alors égale à la somme des… …   Wikipédia en Français

  • Espérance mathématique — L espérance mathématique d une variable aléatoire est l équivalent en probabilité de la moyenne d une série statistique en statistiques. Elle se note E(X) et se lit espérance de X. C est une valeur numérique permettant d évaluer le résultat moyen …   Wikipédia en Français

Share the article and excerpts

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