Ensemble dénombrable.

invitedfc9e014 · 08/05/2007, 16h48

Il me faudrait une petite aide pour demain... Il faudrait que je (re)trouve 2 démos:
-Soit E un ensemble dénombrable et f:E->F (ensemble quelquonque) une Fonction surjective, alors F est dénombrrable.
-Soit F un ensemble dénombrable et g:E->F injective. Alors E est dénombrable.

a priori, je crois qu'il faut déjà supposer que les ensembles sont infinis.
merci bien ^^

PS: Je parle d'ensembles dénombrables dans le sens ensemble équipotent à IN.

**invite4793db90** · 08/05/2007, 16h59

Salut,

pour une application sujective, c'est difficile pour l'image de contenir plus d'éléments que la source... Idem dans l'autre sens pour une fonction injective.

Cordialement.

invitedfc9e014 · 08/05/2007, 17h01

oui, dit comme ça, ça parait simple, mais en fait, comment monter une preuve en bonne et due forme? Il faut que je me donne des fonctions explicites non? parce que si je dit juste ça, ça risque de faire moyen non (c'est pour un TIPE en fait)

invite7553e94d · 08/05/2007, 17h04

Bonjour, il suffit d'utiliser les définitions de tes termes. Je te montre pour la première :

$\text{[math]}$ est dénombrable, ainsi il existe une bijection $\text{[math]}$ de $\text{[math]}$ dans $\text{[math]}$ . Ainsi,
$\text{[math]}$ (1)

Il existe une application f surjective de $\text{[math]}$ sur $\text{[math]}$ . Ainsi
$\text{[math]}$ (2)

On injecte (1) dans (2) :
$\text{[math]}$

Ainsi il existe une bijection $\text{[math]}$ de $\text{[math]}$ dans $\text{[math]}$ , donc $\text{[math]}$ est dénombrable.

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

invitedfc9e014 · 08/05/2007, 17h07

merci bien,
PS: il y a un tutorial ou des infos pour écrire mathématiques (somme, etc...) sur le forum ou bien c'est du Copié/collé depuis autre chose??

**Médiat** · 08/05/2007, 17h15

Salut prgasp77, dans ta dernière formule le "Il existe un et un seul n" est abusif (il vient du "Il existe x" de ta formule 2).

Donc ce que tu as démontré c'est que $\text{[math]}$ est une surjection, ce qui est d'ailleurs suffisant pour démontrer que F est au plus dénombrable (cf. les contre-exemples de Martini_bird, plus rapide que moi, cela doit être l'âge).

invite7553e94d · 08/05/2007, 17h18

Arf ! Mea culpa.
Il faut m'excuser il est encore bien tôt

Erratum :
$\text{[math]}$ est dénombrable, ainsi il existe une bijection $\text{[math]}$ de $\text{[math]}$ dans $\text{[math]}$ . Ainsi,
$\text{[math]}$ (1)

Il existe une application f surjective de $\text{[math]}$ sur $\text{[math]}$ . Ainsi
$\text{[math]}$ (2)

On injecte (1) dans (2) :
$\text{[math]}$

Ainsi il existe une surjection $\text{[math]}$ de $\text{[math]}$ sur $\text{[math]}$ , donc $\text{[math]}$ est au plus dénombrable, donc $\text{[math]}$ est dénombrable.

**invite4793db90** · 08/05/2007, 17h20

Envoyé par Médiat

cf. les contre-exemples de Martini_bird

Oups, fausse manip, je remets les exemples :

$\text{[math]}$

$\text{[math]}$

Cordialement.

invitedfc9e014 · 08/05/2007, 17h20

ben a priori, j'utilise les argumesnts de martini bird, ça devrait suffire à défaut de trouver une preuve plus convaincante

invitedfc9e014 · 09/05/2007, 00h39

Envoyé par prgasp77

Arf ! Mea culpa.

donc $\text{[math]}$ est au plus dénombrable, donc $\text{[math]}$ est dénombrable.

euh cette implication me parait louche non? (c'est justifié par le fait que les ensembles sont infinis alors n'est ce pas?)

invite7553e94d · 09/05/2007, 03h38

Envoyé par mystic_snake [Théo]

euh cette implication me parait louche non? (c'est justifié par le fait que les ensembles sont infinis alors n'est ce pas?)

En disant que $\text{[math]}$ est au plus dénombrable on dit que $\text{[math]}$ est fini (ex: {0,1,2,3}) ou infini dénombrable (ex : $\text{[math]}$ ).

invitedfc9e014 · 09/05/2007, 17h46

ok, mais j'aimerais savoir vraiment si le fait qu'un ensemble infini soit au plus dénombrable en fait automatiquement dénombrable?

**Médiat** · 09/05/2007, 18h46

Si ta question est de savoir s'il existe des infinis strictement plus petits que le dénombrable, la réponse est non.

invite7553e94d · 09/05/2007, 20h31

Quant à le démontrer ... c'est autre chose (petit clin d'oeil à ta signature Médiat

)

invitedfc9e014 · 09/05/2007, 22h44

parce que c'est comme dire qu'il n'existe rien entre les infinis de IN et de IR, on nous l'a dit, mais bon...

**Médiat** · 09/05/2007, 23h43

Envoyé par mystic_snake [Théo]

parce que c'est comme dire qu'il n'existe rien entre les infinis de IN et de IR, on nous l'a dit, mais bon...

Ah non, cela c'est l'hypothèse du continu dont il est démontré qu'elle est indécidable dans la théorie ZFC.

Envoyé par prgasp77

Quant à le démontrer ... c'est autre chose

Dans la mesure ou $\text{[math]}$ (l'infini dénombrable) est par définition le plus petit cardinal infini... il n'y a pas grand-chose à démontrer, il me semble

.

invite7553e94d · 10/05/2007, 00h15

Envoyé par Médiat

Dans la mesure ou $\text{[math]}$ (l'infini dénombrable) est par définition le plus petit cardinal infini... il n'y a pas grand-chose à démontrer, il me semble

.

SI, démontrer que le cardinal de $\text{[math]}$ est $\text{[math]}$

**Médiat** · 10/05/2007, 05h50

Envoyé par prgasp77

SI, démontrer que le cardinal de $\text{[math]}$ est $\text{[math]}$

Je ne vois pas pourquoi j'aurais à faire cela (dans ce contexte) puisque je n'ai pas parlé de $\text{[math]}$
Soit ; on fabrique une injection de vers , de la façon suivante :
1. Au plus petit élément $\text{[math]}$ de $\text{[math]}$ ( $\text{[math]}$ est un bon ordre) on fait correspondre 0, au plus petit élément de $\text{[math]}$ - { $\text{[math]}$ }, on fait correspondre 1, etc.
2. Soit cette application est une surjection, donc une bijection, donc les cardinaux de $\text{[math]}$ et de $\text{[math]}$ sont égaux.
3. Soit cette application n'est pas une surjection et l'ensemble des éléments de $\text{[math]}$ qui ne sont pas image dans cette application admet un plus petit élément n ( $\text{[math]}$ est un bon ordre) et alors $\text{[math]}$ est fini (sont cardinal est n puisque isomorphe au segment initial de $\text{[math]}$ identifié à n.
Donc pas de cardinal entre celui de et les cardinaux finis, donc celui de est le plus petit non fini.

invite9fee1f84 · 18/10/2008, 12h51

coucou ben j'ai le meme exo que toi et moi non plus je n'ai pas la solution...
tu l'as eu depuis le temps??
merci

Ensemble dénombrable.

Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Re : Ensemble dénombrable.

Discussions similaires

Espace connexe dénombrable

Compact métrique infini dénombrable

Ensemble dénombrable

Q est dénombrable

cardinal du groupe des bijections d'un ensemble dénombrable