Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 24-10-2023 08:56:22
- bridgslam
- Membre
- Lieu : Rospez
- Inscription : 22-11-2011
- Messages : 1 458
Coupures en général
Bonjour,
Je suis tombé sur un exo qui définit ainsi les coupures sur un ensemble tot. ordonné E:
(A,B) est une coupure ssi {A,B} est une partition de E et tout élément de A est inférieur à tout élément de B.
On a un ordre total selon l'inclusion entre A et A' ( parties inférieures de deux coupures), vide éventuellement s'il n'y a pas de coupures.
Ceci se fait facilement.
On définit par la suite l'amalgame comme la réunion de E et de ses coupures et on prolonge les ordres en disant que x dans E est inférieur à (A, B) si x appartient à A, supérieur sinon.
Ok pour obtenir ainsi un ordre total sur l'amalgame.
On demande ensuite de montrer que E est dense dans l'amalgame.
Et c'est là que je ne suis pas d'accord, sans hypothèses supplémentaires.
Ok pour dire que E est dense au sein des coupures.
Par contre je vois mal comment affirmer que E est dense dans tout l'amalgame.
A mon sens il faudrait déjà que E soit dense dans lui-même, et aussi que la partie gauche des coupures n'ait pas de plus grand élément, donc modifier leur définition.
Bref, ou je ne capte pas quelque chose, ou l'énoncé est faux
(ou inclusif...).
A.
"Ceux qui ne savent rien en savent toujours autant que ceux qui n'en savent pas plus qu'eux" -Pierre Dac
"Travailler sur un groupe haddock, ou être heureux comme un poisson dans l'eau..."
Hors ligne
#2 24-10-2023 10:49:52
- Glozi
- Invité
Re : Coupures en général
Bonjour,
Dans la construction des coupures que je connais on ne rajoute pas $E$ à l'ensemble des coupures mais on identifie plutôt les points de $E$ à certaines coupures.
Si ton $E$ est fini discret, alors, si j'ai bien compris ta définition, ton amalgame sera aussi discret et fini de cardinal strictement plus grand que celui de $E$. Aucune chance que $E$ soit dense la dedans ?
Bonne journée
#3 24-10-2023 11:18:52
- bridgslam
- Membre
- Lieu : Rospez
- Inscription : 22-11-2011
- Messages : 1 458
Re : Coupures en général
Bonjour,
C'était aussi celle que je connaissais, mais dans l'exercice ce n'était pas le cas du tout, on n'identifie pas les points de E à des coupures, d'où le vocabulaire d'"amalgame".
Il y a une incohérence je pense quelque part en suivant strictement les hypothèses de départ.
Cela semble ok par contre en rajoutant E dense dans E, et la version (A,B) des coupures où A est sans plus grand élément et B sans plus petit élément:
Si x < y éléments de E , il existe z dans E : x < z < y
Si x < (A,B) , x est dans A , et l'ordre étant total il existe y dans A , y > x, donc x < y < (A,B)
Si (A,B) < x idem de façon symétrique
Si (A,B) < (C,D) il existe un x dans C non dans A, donc dans B , d'où (A,B) < x < (C,D).
Ces conditions plus restrictives me semblent aussi nécessaires, sauf erreur.
A.
"Ceux qui ne savent rien en savent toujours autant que ceux qui n'en savent pas plus qu'eux" -Pierre Dac
"Travailler sur un groupe haddock, ou être heureux comme un poisson dans l'eau..."
Hors ligne
Pages : 1