Relation binaire et ensemble vide
$\newcommand{\dom}{\operatorname{dom}}\newcommand{\im}{\operatorname{im}}$Bonjour
Dans un livre, j'ai besoin d'un éclaircissement par rapport à un passage. Merci d'avance.
On considère deux ensembles (non vides) $X$ et $Y$ et une relation binaire $R$ entre les deux : $R$ = l'ensemble des couples $(x,y) \in X \times Y$ tels que $xRy$ (on confond une relation avec l'ensemble (le graphe) qui la définit, partie du produit cartésien $X \times Y$).
On définit $\dom R = \{x \mid \exists y,\ xRy \},\ \im R =\{y \mid \exists y,\ xRy \}$ (1ère et 2ème projection de $R$).
Puis le livre affirme (sans plus de précision et sans démonstration) pour l'exemple choisi : $X$ = ensemble d'hommes, $Y$ = ensemble de femmes, $R$ = ensemble des couples mariés : $\dom \emptyset = \emptyset$, ce que j'ai du mal à comprendre.
En effet, on peut considérer que $\emptyset = \{(x,y) \in R \mid (x,y) \notin X \times Y \} \subset R$ ; dans ce cas, on a bien $\dom \emptyset = \{x \mid \exists y, \ (x,y) \in \emptyset \} = \emptyset \subset X$ (vu que c'est impossible).
Ou bien que : $\emptyset = \{(x,y) \in R \mid non (x R y) \} \subset R$. Dans ce cas, $\dom \emptyset = \{x \mid \exists y,\ non ( x R y) \} = X$ (dès que le cardinal de $R$ est supérieur ou égal à $2$).
Questions.
1) Comment peut-on obtenir deux résultats différents, vu qu'il n'existe qu'un seul ensemble vide ?
2) Il me semble que la 2ème définition pour l'ensemble vide est plus proche de celle voulue par le livre, mais elle ne colle pas avec le résultat. Quel est votre avis ?
Je suis un peu perdue là, merci d'avance.
Dans un livre, j'ai besoin d'un éclaircissement par rapport à un passage. Merci d'avance.
On considère deux ensembles (non vides) $X$ et $Y$ et une relation binaire $R$ entre les deux : $R$ = l'ensemble des couples $(x,y) \in X \times Y$ tels que $xRy$ (on confond une relation avec l'ensemble (le graphe) qui la définit, partie du produit cartésien $X \times Y$).
On définit $\dom R = \{x \mid \exists y,\ xRy \},\ \im R =\{y \mid \exists y,\ xRy \}$ (1ère et 2ème projection de $R$).
Puis le livre affirme (sans plus de précision et sans démonstration) pour l'exemple choisi : $X$ = ensemble d'hommes, $Y$ = ensemble de femmes, $R$ = ensemble des couples mariés : $\dom \emptyset = \emptyset$, ce que j'ai du mal à comprendre.
En effet, on peut considérer que $\emptyset = \{(x,y) \in R \mid (x,y) \notin X \times Y \} \subset R$ ; dans ce cas, on a bien $\dom \emptyset = \{x \mid \exists y, \ (x,y) \in \emptyset \} = \emptyset \subset X$ (vu que c'est impossible).
Ou bien que : $\emptyset = \{(x,y) \in R \mid non (x R y) \} \subset R$. Dans ce cas, $\dom \emptyset = \{x \mid \exists y,\ non ( x R y) \} = X$ (dès que le cardinal de $R$ est supérieur ou égal à $2$).
Questions.
1) Comment peut-on obtenir deux résultats différents, vu qu'il n'existe qu'un seul ensemble vide ?
2) Il me semble que la 2ème définition pour l'ensemble vide est plus proche de celle voulue par le livre, mais elle ne colle pas avec le résultat. Quel est votre avis ?
Je suis un peu perdue là, merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
-- Schnoebelen, Philippe
En fait, il ne faut pas prendre la définition au pied de la lettre (mot pour mot), mais comprendre ce que l'auteur a voulu dire, même dans ce cas extrême.
$\dom \emptyset = \{x \in X \mid \exists y \in Y,\ (x,y) \in \emptyset \} = \emptyset $. En effet, on suppose qu'il existe $x \in X$ tel que $ \exists y \in Y, (x,y) \in \emptyset$, c'est impossible, donc un tel $x$ n'existe pas.