recherche de demo, ensemble bien ordonné isomorphe à un ordinal

**TD1234** · 14/03/2009, 17h18

bonjour tout le monde.
Je suis a la recherche d'une démonstration qui montre que tout ensemble bien ordonné est isomorphe à un unique ordinal. Connaissez-vous des sites internet qui l'auront?

Merci

**God's Breath** · 14/03/2009, 17h28

Oui, tu peux télécharger ce document.

**TD1234** · 14/03/2009, 17h33

merci mais j'ai vu que le théorème qui m'intéresse, il fait noter, résultat admis (c'est le thm 5.1 sur le pdf), il donne pas la démo...

**God's Breath** · 14/03/2009, 17h48

Essaie le cours de Patrick Dehornoy.

A voir en vidéo sur Futura · Aujourd'hui

**Médiat** · 14/03/2009, 18h04

Envoyé par TD1234

Je suis a la recherche d'une démonstration qui montre que tout ensemble bien ordonné est isomorphe à un unique ordinal

Connais-tu le théorème qui dit que pour tout bon ordre X et tout bon ordre Y, soit ils sont égaux soit l'un est segment initial (strict) de l'autre ? Si oui, il suffit de comparer ton ensemble bien ordonné X avec la classe des ordinaux (qui est un bon ordre).

**TD1234** · 14/03/2009, 19h21

je ne connaissais pas mais sur le pdf "le cours de Patrick Dehornoy" il en parle. Je suis en train de lire ça. C'est parfait.

merci bcp

recherche de demo, ensemble bien ordonné isomorphe à un ordinal

recherche de demo, ensemble bien ordonné isomorphe à un ordinal

Re : recherche de demo, ensemble bien ordonné isomorphe à un ordinal

Re : recherche de demo, ensemble bien ordonné isomorphe à un ordinal

Re : recherche de demo, ensemble bien ordonné isomorphe à un ordinal

Re : recherche de demo, ensemble bien ordonné isomorphe à un ordinal

Re : recherche de demo, ensemble bien ordonné isomorphe à un ordinal

Discussions similaires

isométriquement isomorphe

Isomorphe

Ensemble ordonné et treillis

dualité ordonné désordonné dans l'expansion de l'univers

Corps totalement ordonné complet.