Couples et Produit Cartésien

Introduction

En mathématiques et en logique, le concept de couples et de produit cartésien permet de représenter des ensembles et leurs relations. C'est une notion fondamentale pour comprendre notamment la notions de relations et de fonctions.

Les couples ordered

Un couple ordonné est une liste de deux éléments, notée \((a, b)\), où l'ordre est important. Par exemple, \((3, 5)\) est différent de \((5, 3)\).

Les couples sont utilisés pour représenter une relation entre deux ensembles.

Les ensembles

Soient deux ensembles \(A\) et \(B\).

• Ensemble A : un ensemble de éléments, par exemple \(A = \{1, 2, 3\}\)
• Ensemble B : un autre ensemble, par exemple \(B = \{a, b\}\)

Le produit cartésien

Le produit cartésien de deux ensembles \(A\) et \(B\) est l'ensemble de tous les couples possibles \((a, b)\) où \(a \in A\) et \(b \in B\).

Il est noté \(A imes B\) et défini par :

  A 	imes B = \{ (a, b) \mid a \in A,\, b \in B \}

Exemple

Si \(A = \{1, 2\}\) et \(B = \{a, b\}\), alors :

  A 	imes B = \{ (1, a), (1, b), (2, a), (2, b) \}

Propriétés importantes

• Le produit cartésien n'est pas commutatif, c'est-à-dire que, en général, \(A imes B eq B imes A\).
• On a \(A imes B eq \emptyset\) si et seulement si \(A eq \emptyset\) et \(B eq \emptyset\).

Utilisation dans la logique

Les couples permettent de représenter des relations entre deux propriétés ou deux ensembles dans des raisonnements logiques, notamment dans la définition de fonctions, relations, et dans l'étude de la logique mathématique.

Résumé

• Un couple ordonné est une paire d'éléments avec un ordre précis.
• Le produit cartésien \(A imes B\) est l'ensemble de tous les couples possibles formés avec un élément de \(A\) et un de \(B\).