Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#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

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quatre-vingt dix plus quarantedeux
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums