Lemme de Zorn
Bonsoir,
Si nous prenons $ ( \mathbb{N} , | ) $ considéré comme un ensemble partiellement ordonné pour la relation d'ordre partielle $ ''|'' $.
Toute famille d’éléments de $ ( \mathbb{N} , | ) $ totalement ordonnée par $ ''|'' $ admet un plus grand élément. Donc, $ ( \mathbb{N} , | ) $ est un système inductif. Mais, $ ( \mathbb{N} , | ) $ n'a pas un élément maximal.
Où est le hic ?
Merci d'avance.
Si nous prenons $ ( \mathbb{N} , | ) $ considéré comme un ensemble partiellement ordonné pour la relation d'ordre partielle $ ''|'' $.
Toute famille d’éléments de $ ( \mathbb{N} , | ) $ totalement ordonnée par $ ''|'' $ admet un plus grand élément. Donc, $ ( \mathbb{N} , | ) $ est un système inductif. Mais, $ ( \mathbb{N} , | ) $ n'a pas un élément maximal.
Où est le hic ?
Merci d'avance.
Réponses
-
Bonjour.
Pablo, pourrais-tu, s'il te plaît, donner au moins un exemple (avec diagramme de Hasse pour pouvoir visualiser) car je ne cerne pas tout à fait où tu veux en venir.
Merci et à bientôt.Cherche livres et objets du domaine mathématique :
Intégraphes, règles log et calculateurs électromécaniques.
-
Bonjour Dreamer,
C'est un peu compliqué d'utiliser le diagramme de Hasse.
Il me semble que je n'étais pas assez clair.
$ ( \mathbb{N} , | ) $ est un système inductif ( J'ai expliqué pourquoi ). D'après le lemme de Zorn, il admet un élément maximal. Or, $ \mathbb{N} $ n'a pas en réalité un élément maximal. Ce qui est absurde.
Alors, je n'arrive pas à comprendre ce qui ne va pas à ce stade de raisonnement.
Merci de m'indiquer l'erreur. -
Bonjour, peux-tu donner un exemple de système inductif de $(\mathbb{N},\vert)$ qui ne soit pas fini ?Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré
-
Pardon. Non pas système inductif, mais ensemble inductif. Voir ici, https://fr.wikipedia.org/wiki/Ensemble_inductif
-
Peux-tu donner un exemple de partie totalement ordonnée de $(\mathbb{N},\vert)$ non finie
qui admet un majorant. elle aurait un élément maximal s'il en existe une!Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré -
Merci Alain Lyon, c'était là où je voulais en venir.
Cherche livres et objets du domaine mathématique :
Intégraphes, règles log et calculateurs électromécaniques.
-
C'est fou parce que Pablo arrive à une bonne conclusion pour une fois (je n'ai aucune idée de comment), cherche une explication dans le lemme de Zorn qui n'a pas grand chose avec le schmil-blick, et à la fin dit que la conclusion est fausse.
Explique nous comment tu prouves qu'il est inductif.
Ensuite explique nous pourquoi tu penses que $(\mathbb N, \mid)$ n'a pas d'élément maximal.
Au moins une de ces deux explications contiendra une erreur (je pense que tes 2 explications contiennent une erreur), et là des personnes pourront t'aider -
AlainLyon a écrit:Peux-tu donner un exemple de partie totalement ordonnée de $(\mathbb{N},\vert)$ non finie qui admet un majorant ?
Une partie totalement ordonnée de $(\mathbb{N},\vert)$ non finie qui admet un majorant n'existe pas. Oui, je comprends alors où est le hic. ;-)
Merci. -
Pourquoi affirmer un truc clairement faux dès le départ sans le vérifier ? Je peux aussi démontrer la conjecture de Hodge en fonctionnant comme ça !
-
Euh, en réalité, $(\N,|)$ possède un maximum qui vaut $0$.
-
Bisam : oui, cf mon message :-D je voulais voir quand Pablo arriverait à cette conclusion seul (visiblement j'allais attendre longtemps)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres