Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
220 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Bon ordre, ensemble totalement ordonné

Envoyé par raphitek 
Bon ordre, ensemble totalement ordonné
il y a quatre semaines
Bonjour à tous,
Je cherche à appliquer le lemme de Zorn à des objets catégoriques. Je pense être arrivé à peu près au bout de ce que voulais prouver à un détail près.
Il me faudrait savoir soit :
- que si $x$ et $y$ sont deux éléments d'un ensemble bien ordonné avec $x\leq y$ alors il est possible de passer de $x$ à $y$ en un nombre fini d'étapes du type $a\mapsto s(a)$ le successeur de $a$ ;
- que si $A$ est un ensemble totalement ordonné alors il existe une suite croissante $(a_n)_{n\in \N}$ d'éléments de $A$ telle que pour tout $x\in A$, il existe $n\in \N,\ x\leq a_n$.

Je n'ai aucune idée de si l'un de ces deux résultats est vrai, ni comment le montrer. Je suis en M2 de mathématiques.
Any help ?
Merci d'avance.

[Pour avoir $LaTeX$ il ne suffit pas d’écrire des commandes avec des \, il faut aussi toutes les encadrer avec des $\$$. AD]



Edité 1 fois. La dernière correction date de il y a quatre semaines et a été effectuée par AD.
Re: Bon ordre, ensemble totalement ordonné
il y a quatre semaines
Citation
raphitek
- Que si x et y sont deux éléments d'un ensemble bien ordonné avec x<=y alors il est possible de passer de x à y en un nombre fini d'étapes du type a\maptso s(a) le successeur de a.
C'est faux dans $\N \cup \{\infty\}$ (ou n'importe quel ordinal plus grand; poser $x=0$, $y=\infty$).

Citation
raphitek
- Que si A est un ensemble totalement ordonné alors il existe une suite croissante (a_n)_{n\in N} d'éléments de A tel que pour tout x\in A, il existe n\in N, x<= a_n.
C'est faux si $A$ est le plus petit ordinal non dénombrable (toute suite y étant bornée).



Edité 1 fois. La derni&egrave;re correction date de il y a quatre semaines et a &eacute;t&eacute; effectu&eacute;e par Foys.
Re: Bon ordre, ensemble totalement ordonné
il y a quatre semaines
Ta seconde propriété sera vérifiée si et seulement si la cofinalité de ton ensemble $A$ est dénombrable, ce qui n'est pas toujours le cas.

Comme l'a dit Foys, la première ne sera vérifiée que si le type d'ordre est plus petit que $\omega$, le plus petit ordinal infini.
Re: Bon ordre, ensemble totalement ordonné
il y a quatre semaines
Damn...
Bon, je ne sais pas comment je vais me débrouiller, mais merci du coup.



Edité 1 fois. La derni&egrave;re correction date de il y a quatre semaines et a &eacute;t&eacute; effectu&eacute;e par AD.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 137 360, Messages: 1 329 721, Utilisateurs: 24 412.
Notre dernier utilisateur inscrit Rita09.


Ce forum
Discussions: 2 115, Messages: 41 168.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page