Bonjour,
Je ne parviens pas à résoudre l'énoncé suivant :
"Un segment initial d'un ensemble totalement ordonné (E, <) est un sous-ensemble I de E tel que ∀x∈I, ∀y∈E, y<x → y∈I
Un segment initial propre de (E, <) est un segment initial distinct de E.
1. (Résolu) Donner un exemple d'ensemble totalement ordonné isomorphe à un de ses segments initiaux propres.
2. Trouver un exemple de deux ensembles totalement ordonnés non isomorphes mais tels que chacun est isomorphe à un segment initial propre de l'autre."
J'ai un peu de mal à concevoir comment un ensemble de cardinal supérieur à un autre peut être isomorphe à un segment de cet autre ensemble plus "petit"...
Et ce, même en utilisant différents ordres..
Des pistes ?
Merci par avance pour votre aide.
-----