0% ont trouvé ce document utile (0 vote)
17 vues1 page

CamerIA 1747774704

Le document traite des relations binaires et des isomorphismes d'ensembles ordonnés. Il définit les conditions sous lesquelles une fonction φ préserve des relations et constitue un isomorphisme, ainsi que les propriétés d'un plongement. Il démontre également que si φ est un isomorphisme, sa réciproque est également un isomorphisme d'ensembles ordonnés.

Transféré par

mathurinkopelga
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
17 vues1 page

CamerIA 1747774704

Le document traite des relations binaires et des isomorphismes d'ensembles ordonnés. Il définit les conditions sous lesquelles une fonction φ préserve des relations et constitue un isomorphisme, ainsi que les propriétés d'un plongement. Il démontre également que si φ est un isomorphisme, sa réciproque est également un isomorphisme d'ensembles ordonnés.

Transféré par

mathurinkopelga
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Exercice sur les Relations Binaires et Isomorphismes

CamerIA

Exercice 1
Soient R une relation binaire sur A et S une relation binaire sur B. Soit φ : A → B.

1. Quand dit-on que φ préserve les relations R et S?


On dit que φ préserve les relations R et S si pour tous x, y ∈ A, on a xRy si et seulement si φ( x )Sφ(y).

2. Quand dit-on que φ est un isomorphisme d’ensembles ordonnés ?


On dit que φ : A → B est un isomorphisme d’ensembles ordonnés si :
• φ est une bijection.
• φ préserve l’ordre, c’est-à-dire que pour tous x, y ∈ A, x ≤ A y si et seulement si φ( x ) ≤ B φ(y), où ≤ A et ≤ B
sont les relations d’ordre sur A et B respectivement.

3. Montrer que si φ : A → B est un isomorphisme d’ensembles ordonnés, alors sa réciproque


est aussi un isomorphisme d’ensembles ordonnés.
Supposons que φ : A → B est un isomorphisme d’ensembles ordonnés. Alors :
• φ est une bijection, donc φ−1 : B → A existe et est aussi une bijection.
• Pour tous x, y ∈ A, x ≤ A y si et seulement si φ( x ) ≤ B φ(y).
On veut montrer que pour tous u, v ∈ B, u ≤ B v si et seulement si φ−1 (u) ≤ A φ−1 (v). Soient u, v ∈ B. Comme
φ est surjective, il existe x, y ∈ A tels que u = φ( x ) et v = φ(y). Alors, u ≤ B v si et seulement si φ( x ) ≤ B φ(y).
Comme φ est un isomorphisme d’ensembles ordonnés, φ( x ) ≤ B φ(y) si et seulement si x ≤ A y. Donc, u ≤ B v si et
seulement si x ≤ A y. Or, x = φ−1 (u) et y = φ−1 (v). Donc, u ≤ B v si et seulement si φ−1 (u) ≤ A φ−1 (v). Ainsi, φ−1
préserve l’ordre. Par conséquent, φ−1 : B → A est un isomorphisme d’ensembles ordonnés.

4. On dit que φ : A → B est un plongement lorsque φ : A → φ( A) est un isomorphisme


d’ensembles ordonnés.
On dit que φ : A → B est un plongement si φ est injective et préserve l’ordre, c’est-à-dire que pour tous x, y ∈ A,
x ≤ A y si et seulement si φ( x ) ≤ B φ(y).

Vous aimerez peut-être aussi