Ensemble-produit

Produit cartésien

Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes.

En mathématiques, le produit cartésien de deux ensembles X et Y, appelé ensemble-produit, est l'ensemble de tous les couples, dont la première composante appartient à X et la seconde à Y. On généralise facilement la notion de produit cartésien binaire à celle de produit cartésien fini, qui est alors un ensemble de multiplets, on dit n-uplets pour les éléments d'un produit cartésien de n ensembles. On peut aussi introduire la notion de somme disjointe (ou cartésienne). Pour généraliser aux produits cartésiens infinis, des produits d'une famille quelconque (éventuellement infinie) d'ensembles, on a besoin de la notion de fonction.

Les produits cartésiens doivent leur nom à René Descartes, qui, en créant la géométrie analytique, a le premier utilisé ce que nous appelons maintenant, $\ _\mathbb R$ ² = $\ _\mathbb R$ x $\ _\mathbb R$ pour représenter le plan euclidien et $\ _\mathbb R$ ³ = $\ _\mathbb R$ x $\ _\mathbb R$ x $\ _\mathbb R$ pour représenter l'espace euclidien tri-dimensionnel ( $\ _\mathbb R$ désigne la droite réelle).

Sommaire

1 Produit cartésien de deux ensembles
2 Généralisation à plus de deux ensembles
3 Somme disjointe
4 Produits infinis
- 4.1 Famille d'ensembles
- 4.2 Produit cartésien d'une famille d'ensembles
5 Notes et références
6 Voir aussi

Produit cartésien de deux ensembles

Définition

Pour tout ensemble A et tout ensemble B, il existe un unique ensemble dont les éléments sont les couples dont la première composante appartient à A et la seconde à B :

$\forall A \; \forall B \; \exists! P\;\forall x \; \forall y \;[( x \in A \wedge y \in B ) \Leftrightarrow ( x , y ) \in P]$

Cet ensemble est noté « A x B » (lire « A croix B ») et il est appelé produit cartésien de A par B.

Si on considère couples et produits cartésiens comme une notion primitive, on aura comme axiome cette propriété d'existence et d'unicité. Elle se démontre en théorie des ensembles, pour la représentation des couples choisie.

Exemple

Si A est l'ensemble { A, R, D, V, 10, 9, 8, 7, 6, 5, 4, 3, 2 } et B l'ensemble { pique, cœur, carreau, trèfle }, alors le produit cartésien de ces deux ensembles est un jeu classique de 52 cartes, soit l'ensemble suivant :

{ (A, pique) ... (2, pique) , (A, cœur) ... (2, coeur) , (A, carreau) ... (2, carreau) , (A, trèfle) ... (2, trèfle) }.

Propriétés

On déduit directement de la définition que le produit cartésien d'un ensemble par l'ensemble vide est égal à l'ensemble vide, c'est à dire que pour tout ensemble $A$ :

$\varnothing \times A = A \times \varnothing = \varnothing$

Si A et B sont de cardinaux finis, alors le cardinal de A x B est égal au produit des cardinaux de A et de B.

En règle générale, B x A ≠ A x B. Plus précisément, pour deux ensembles quelconques $A$ et $B$ :

$[A \times B \ne B \times A] \Leftrightarrow [( A \ne B ) \wedge ( A \ne \varnothing ) \wedge ( B \ne \varnothing )]$

A x A est noté A² (lire « A au carré ») et appelé carré cartésien de A :

$A^2 = \{ ( x, y ) | ( x \in A ) \wedge ( y \in A ) \}$

A² ne doit pas être confondu avec ΔA (lire « delta A »), diagonale de A :

$\Delta A = \{ ( x, x ) | x \in A \}$

Remarque : La diagonale d'un ensemble se confond avec son carré cartésien si et seulement si cet ensemble est vide ou se réduit à un singleton.

Les sous-ensembles d'un produit cartésien sont appelés graphes.

Représentation en théorie des ensembles

En théorie des ensembles, si on choisit, comme usuellement, la représentation des couples de Kuratowski, les couples dont la première composante est dans A et la seconde dans B sont des éléments de $\ _\mathfrak P$ [ $\ _\mathfrak P$ ( A $\ _{ \cup }$ B ) ] (où $\ _\mathfrak P$ ( E ) désigne l' ensemble des parties de E). L'existence de cet ensemble résulte de l'axiome de la réunion et de l'axiome de l'ensemble des parties.

On peut donc définir le produit cartésien par compréhension, on aura bien sûr besoin des couples, donc, en plus des axiomes précédents, de l'axiome de la paire et du schéma d'axiomes de compréhension :

$A \times B = \left \{ (a, b)| ( a \in A ) \wedge ( b \in B ) \right \}=\left \{z\in \mathfrak P(\mathfrak P(A\cup B))|\exists a \in A\; \exists b \in B\ z = (a,b) \right\}$

On peut aussi définir le produit cartésien en utilisant le schéma d'axiomes de remplacement au lieu de l'ensemble des parties^[1] :

$A \times B = \left \{ (a, b)| ( a \in A ) \wedge ( b \in B ) \right \}=\bigcup_{b \in B} \left \{z | \exists a \in A\ z = (a,b) \right\}$

Représentation en théorie des catégories

Étant donnés deux objets S et T il y a au moins un objet P et deux fonctions $p 1$ : P→S et $p 2$ : P→T tels que pour tout objet X et toutes fonctions $f 1$ : X→S et $f 2$ : X→T existe une unique fonction $f$ : X→P telle que $f 1$ = $p 1$ o $f$ et $f 2$ = $p 2$ o $f$ ; P n'est pas défini de façon unique cependant toutes les structures ainsi obtenues sont isomorphes, ce qui permet de définir le produit cartésien SxT ; un couple est alors un élément de SxT ; si $p 1$ (M) = s et $p 2$ (M) = t on note M=(s,t)^[2]^,^[3].

Généralisation à plus de deux ensembles

Triplets

Comme pour les couples, l'important, c'est leur propriété fondamentale : deux triplets sont égaux si et seulement si leurs premières composantes sont égales entre elles, puis leurs deuxièmes composantes, et enfin leurs troisièmes :

$\forall a , \forall b , \forall c , \forall d , \forall e , \forall f , [\, ( a , b , c ) = ( d , e , f ) \,] \Leftrightarrow [\, ( a = d ) \wedge ( b = e ) \wedge ( c = f ) \,]$

Là encore, cette propriété ne suffit pas à définir la notion de triplet, et là encore, plusieurs définitions incompatibles entre elles sont possibles a priori. On pose habituellement :

$\forall a , \forall b , \forall c , ( a , b , c ) = ( ( a , b ) , c )$

Produit cartésien de trois ensembles

Il est défini par :

$A \times B \times C = \left \{ ( a, b, c ) | ( a \in A ) \wedge ( b \in B ) \wedge ( c \in C ) \right \}$

D'après ce qui précède, A x B x C = ( A x B ) x C. Là encore l'ordre des termes est important. Le produit A x A x A est appelé cube cartésien de A et il est noté A³ (lire « A au cube ») :

$A^{3} = \{ ( x, y , z) | ( x \in A ) \wedge ( y \in A ) \wedge ( z \in A ) \}$

Multiplets

Les définitions précédentes se généralisent par récurrence :

Propriété fondamentale d'un multiplet d'ordre n, ou n-uplet :

$\forall a_{1} , \forall a_{2} , \cdots , \forall a_{n} , \forall b_{1} , \forall b_{2} , \cdots , \forall b_{n} ,$

$[\, ( a_{1} , a_{2} , \cdots a_{n} ) = ( b_{1} , b_{2} , \cdots b_{n} ) \,] \Leftrightarrow [\, ( a_{1} = b_{1} ) \wedge ( a_{2} = b_{2} ) \wedge \cdots ( a_{n} = b_{n} ) \,]$

Définition d'un n-uplet :

$\forall a_{1} , \forall a_{2} , \cdots \forall a_{n} , ( a_{1} , a_{2} , \cdots a_{n-1} , a_{n} ) = ( ( a_{1} , a_{2} , \cdots a_{n-1} ) , a_{n} )$

Produit cartésien de n ensembles :

$A_{1} \times A_{2} \times \cdots \times A_{n-1} \times A_{n} = ( A_{1} \times A_{2} \times \cdots \times A_{n-1} ) \times A_{n}$

Puissance cartésienne n-ième d'un ensemble :

$A^{n} = A^{n-1} \times A = \prod_{i=1}^n A = \{ ( x_1 , x_2 , \cdots x_n ) | \,\forall i , x_i \in A \,\}$

Note : en peut définir des produits cartésiens infinis (voir ci-dessous), mais pour le faire, nous avons besoin de la notion de fonction.

Somme disjointe

Dans une réunion d'ensembles A∪B, l'origine des éléments y figurant est perdue. Un moyen d'éviter cette perte d'information est de réunir non pas directement les ensembles de départ, mais des copies de ces ensembles de la forme { α } × A et { β } × B , où « α » et « β » sont deux symboles quelconques distincts servant à identifier les ensembles A et B, par exemple « Ø » et « { Ø } », ou « 0 » et « 1 ».

L'union disjointe, encore appelée somme disjointe ou somme cartésienne de deux ensembles A et B est ainsi définie par :

$A + B = A \dot \cup B = ( \{ 0 \} \times A ) \cup ( \{ 1 \} \times B )$

On peut remarquer que la somme disjointe de deux ensembles vérifie également la propriété fondamentale des couples. De plus, contrairement aux couples de Kuratowski, cette notion, qui n'utilise que des opérations ensemblistes élémentaires, peut s'appliquer aux classes propres. C'est pourquoi les sommes disjointes sont parfois appelées couples généralisés, et utilisées ainsi en théorie des classes.

La somme disjointe peut se généraliser à plus de deux ensembles. Par exemple, pour trois ensembles quelconques A, B et C:

$A\dot \cup B \dot \cup C = ( \{ 0 \} \times A ) \cup ( \{ 1 \} \times B ) \cup ( \{ 2 \} \times C )$

On rappelle que l'entier de von Neumann 2 peut se définir comme {Ø, {Ø}} . Plus généralement, l'entier de von Neumann n étant défini, l'entier de von Neumann n+1 est défini par n+1 = n ∪ {n}.

On peut donc généraliser ce qui précède et définir ainsi la somme disjointe de n ensembles $A_0 , A_1, \cdots A_{n-1}$ quelconques :

$A_0 \dot\cup A_1 \dot\cup\cdots\dot\cup A_{n-1} = \bigcup_{i=0}^{n-1}(\{i\}\times A_i)$

D'autre part cette définition de la somme disjointe utilise les entiers de la théorie des ensembles, non ceux du méta-langage. On peut donc également généraliser cette notion à des ensembles quelconques (non nécessairement finis) d'indices, par exemple des réunions disjointes dénombrables.

La définition de la somme disjointe souffre d'un arbitraire inessentiel. On peut définir la somme disjointe comme étant la réunion $\bigcup_{i\in I} (A_i\times\{i\})$ ou bien $\bigcup_{i\in I} (\{i\}\times A_i)$ . Ces deux possibilités correspondent respectivement à un marquage « à droite » ou « à gauche » des éléments de la réunion $\bigcup_{i\in I} A_i$ selon l'indice associé à l'ensemble dont ils proviennent. Dans les deux cas, la somme disjointe peut être mise en bijection avec la réunion. (Voir la section famille d'ensembles pour la notation)

Produits infinis

On peut généraliser la notion de produit cartésien à celle de produit d'une famille d'ensembles indexée par un ensemble quelconque, fini ou infini.

Bien que plus générale, cette notion peut difficilement être introduite en théorie des ensembles avant celle de produit cartésien binaire, du moins naturellement, car elle fait appel à la notion de fonction, qui utilise à son tour justement celle de couple, et donc de produit cartésien binaire.^[4]

Famille d'ensembles

Une famille $A$ d'ensembles indexée par un ensemble $I$ est une fonction définie sur $I$ . L'image de $i$ par $A$ est notée $A i$ . Il s'agit juste d'une notation (adaptée à un certain usage) pour une construction connue.

La famille $A$ indexée par $I$ sera plutôt notée { $A i$ }. Au sens de la théorie des ensembles, la famille { $A i$ } peut être assimilée à son graphe, l'ensemble des couples ( $i$ , $A i$ ), pour ${i \in I}$ .

Toutefois, la réunion d'une famille { $A i$ }, notée $\bigcup_{i \in I}\, \begin{matrix} \, \\ A_i \end{matrix} \,$ , désigne bien la réunion des images $A i$ de la famille en tant que fonction, et non celle des éléments de la famille en tant que graphe, qui sont au sens strict les couples ( $i$ , $A i$ ).

Produit cartésien d'une famille d'ensembles

On peut maintenant définir le produit cartésien d'une famille d'ensembles { A_i } _i∈I, que l'on note habituellement $\prod_{i \in I}\, \begin{matrix} \, \\ A_i \end{matrix} \,$ , ou parfois $\begin{matrix} \, \\ \times \\ \,^{i \in I} \end{matrix} \, \begin{matrix} \, \\ A_i \end{matrix} \,$ .

Il s'agit de l'ensemble des fonctions $f$ de $I$ dans la réunion de la famille, telles que pour tout $i$ dans $I$ , $f (i)$ appartienne à $A i$ :

$\prod_{i \in I} A_i = \{ f : I \to \bigcup_{i \in I} A_i \ |\ \forall\ i , \, f(i) \in A_i \} \,$

Pour utiliser cette définition, il faut pouvoir extraire d'un élément du produit sa composante d'index j, élément de $I$ .

Pour cela, on définit pour tout j dans $I$ , la fonction appelée j-ème projection,

$\pi_{j} : \prod_{i \in I} A_i \to A_{j},$

par :

$\pi_{j}(f) = f(j)\,$ .

On peut énoncer l'axiome du choix ainsi : le produit d'une famille d'ensembles non vides est non vide.

Notes et références

↑ Harvey Friedman.
↑ Baez, quantum, node 4
↑ Colin McLarty, Elementary Categories, Elementary Toposes, Clarendon Press, Oxford, 1995.
↑ Une fonction de A dans B est souvent introduite comme un triplet ( A, B, C ), où C est un sous-ensemble du produit cartésien A × B, appelé graphe de la fonction et tel que tout élément de A figure (en première composante) dans exactement un couple de C. En pratique toutefois, s'il n'y a pas de risque d'ambiguïté, on peut par abus de langage assimiler la fonction à son graphe C. D'ailleurs en théorie des ensembles on définit souvent une fonction directement comme un ensemble de couples. La pratique est cohérente — être une fonction de A dans B devient alors une propriété de la fonction — mais pas à conseiller dans les cours d'introduction aux mathématiques.

Voir aussi

Opérations binaires

Numériques	En ensemble ordonné	Structurelles	Autres

Élémentaires $+$ Addition $-$ Soustraction $\times$ Multiplication $\div$ Division $\hat{}$ Puissance Arithmétiques $div$ Quotient euclidien $\mod$ Reste euclidien $pgcd$ PGCD $ppcm$ PPCM Combinatoires $()$ Coefficient binomial $A$ Arrangement	Ensembles de parties $\cup$ Union $\backslash$ Complémentation $\cap$ Intersection $Δ$ Différence symétrique Ordre total $min$ Minimum $max$ Maximum Treillis $\wedge$ Borne inférieure $\vee$ Borne supérieure	Ensembles $\times$ Produit cartésien $\dot{\cup}$ Somme disjointe $\hat{}$ Puissance ensembliste Groupes $\oplus$ Somme directe $\ast$ Produit libre $\wr$ Produit en couronne Modules $\otimes$ Produit tensoriel $Hom$ Homomorphisme $Tor$ Torsion $Ext$ Extension Arbres $\vee$ Enracinement Variétés connexes $\#$ Somme connexe Espaces pointés $\vee$ Bouquet $\wedge$ Smash produit $\ast$ Joint	Fonctionnelles $\circ$ Composition de fonctions $\ast$ Produit de convolution Vectorielles $\cdot$ Produit scalaire $\wedge$ Produit vectoriel Algébriques $[,]$ Crochet de Lie ${,}$ Crochet de Poisson $\wedge$ Produit extérieur Homologiques $\smile$ Cup produit $\cdot$ Produit d'intersection Séquentielles $+$ Concaténation

Logique booléenne : $\land$ ET (conjonction) • $\lor$ OU (disjonction) • $\oplus$ OU exclusif • $\Rightarrow$ IMP (implication) • $\Leftrightarrow$ EQV (équivalence)

Portail des mathématiques

Ce document provient de « Produit cart%C3%A9sien ».

Catégories : Théorie des ensembles | Opération

Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

Ensemble-Produit — Produit cartésien Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé ensemble produit, est l ensemble… … Wikipédia en Français
Produit cartesien — Produit cartésien Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé ensemble produit, est l ensemble… … Wikipédia en Français
Produit cartésien — Cet article fait référence au concept mathématique sur les ensembles. Pour les graphes, voir produit cartésien de graphes. En mathématiques, le produit cartésien de deux ensembles X et Y, appelé ensemble produit, est l ensemble de tous les… … Wikipédia en Français
Ensemble Dénombrable — En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire, contiennent trop d… … Wikipédia en Français
Ensemble denombrable — Ensemble dénombrable En mathématiques, un ensemble est dit dénombrable, ou infini dénombrable, lorsque ses éléments peuvent être listés sans omission ni répétition dans une suite indexée par les entiers. Certains ensembles infinis, au contraire,… … Wikipédia en Français
produit — [ prɔdɥi ] n. m. • 1554; p. p. subst. de produire I ♦ LE PRODUIT (DE). 1 ♦ Nombre qui est le résultat d une multiplication. Produit de plusieurs facteurs. Produit d un nombre multiplié par lui même. ⇒ carré. L espace parcouru est égal au produit… … Encyclopédie Universelle
Produit eulerien — Produit eulérien Leonhard Euler En mathématiques, et plus précisément en théorie analytique des nombres, un produit eulérien est un développement en produit infini, indexé par les nombres premiers. Il permet de mesurer la répartition des nombres… … Wikipédia en Français
Ensemble Flou — La théorie des sous ensembles flous[1] est une théorie mathématique du domaine de l’algèbre abstraite. Elle a été développée par Lotfi Zadeh[2] en 1965 afin de représenter mathématiquement l imprécision relative à certaines classes d objets et… … Wikipédia en Français
Produit vectoriel et algèbre — Produit vectoriel Le produit vectoriel est une opération vectorielle effectuée dans les espaces euclidiens orientés de dimension trois[1]. Le formalisme utilisé actuellement est apparu en 1881 dans un manuel d analyse vectorielle écrit par Josiah … Wikipédia en Français
Produit tensoriel et representations de groupes finis — Produit tensoriel et représentations de groupes finis En mathématiques et plus précisément dans le cadre des représentations d un groupe fini, le produit tensoriel est une technique permettant de construire une représentation à partir de deux… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Ensemble-produit

Produit cartésien

Sommaire