ensembles dénombrables juste du bon sens dans ce cas??
Répondre à la discussion
Affichage des résultats 1 à 17 sur 17

ensembles dénombrables juste du bon sens dans ce cas??



  1. #1
    invite56460777

    ensembles dénombrables juste du bon sens dans ce cas??


    ------

    Soit A et B deux ensembles dénombrables et A inter B = ensemble vide,
    alors A U B est dénombrable.

    J'ai l'impression que c'est du bon sens. Les deux ensembles sont séparément dénombrables et ils n'ont pas d'éléments communs donc le dénombrement de l'union des deux ensembles devient possible. D'ailleurs si les ensembles sont finis, alors il suffit d'ajouter les éléments de l'un à l'autre.

    Seulement, je trouve cette explication insuffisante, pas assez mathématique. Mon explication relève du sens commun (il faut toujours se méfier du sens commun) et donc est très facilement attaquable. Avez-vous d'autres démonstrations ou facons de le montrer?

    En revanche, j'ai l'impression que l'on ne peut pas dénombrer A U B si leur intersection est différente de l'ensemble vide. En effet, il n'est peut-être pas possible de dénombrer les éléments dans l'intersection, bien que A et B soient dénombrables. Mais là, il n'y a que de l'intuition.

    -----

  2. #2
    inviteca3a9be7

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Salut,

    La réunion de deux ensembles dénombrables est dénombrable.

    C'est pas dur et en plus c'est très bien expliqué là (p. 100 et suivantes) : http://perso.wanadoo.fr/mathprepa/co...ai/algebre.pdf

  3. #3
    invite56460777

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Je ne suis pas certaine que la démonstration donnée corresponde exactement à celle que je recherche, car on est là dans le cas de suites?

  4. #4
    inviteca3a9be7

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Salut,

    Un ensemble dénombrable c'est une suite d'éléments distincts.

  5. A voir en vidéo sur Futura
  6. #5
    shokin

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    A un théorème peuvent exister plusieurs démonstrations. Si oui, tu as l'embarras du choix.

    #(AuB)+#(AnB)=#(A)+#(B)

    # signifiant le cardinal, le nombre d'éléments d'un ensemble fini.

    Avec le diagrame de Venn, tu peux facilement illustrer cela.

    C'est peut-être pas très mathématique, mais c'est logique (Boole).

    Bien le pdf !

    Shokin
    Pardon, humilité, humour, hasard, tolérance, partage, curiosité et diversité => liberté et sérénité.

  7. #6
    invitea48de938

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Sinon j'peux proposer la dem suivante , seulement elle passe par montrer que A x B est denombrable . Donc donc montrons le i-e que N x N l'est : il suffit de remarquer que f : N x N -> N* , (a,b) -> 2^a(2^b + 1) est bijective .

    Maintenant : il existe g1 : N -> A et g2 : N -> B toutes 2 bijectives (par definition) .
    On pose alors f : {1 ; 2} x N -> A U B , (i,n) -> gi (n ) . Cette fonction est surjective et {1 ; 2} x N est denombrable (par ce qui precede) alors A U B l'est : ) Ca m'a l'air correct comme truc mais si vous détectez qqchose de bizarre dites le moi .

  8. #7
    inviteca3a9be7

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Citation Envoyé par K2R RiDdiM
    f : N x N -> N* , (a,b) -> 2^a(2^b + 1) est bijective.
    Elle est injective, d'accord. Mais comment produis-tu 7, 11, 13, ... ?

  9. #8
    invitea48de938

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    c parske me suis planté en écrivant c 2^a (2*b + 1 ) , qui vient de la decomposition unique d'un nombre en produit de puissance de 2 et d'un entier impaire . (cf DEFP ) .
    Donc mea culpa pour la faute de frappe

  10. #9
    invite56460777

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Citation Envoyé par shokin
    A un théorème peuvent exister plusieurs démonstrations. Si oui, tu as l'embarras du choix.

    #(AuB)+#(AnB)=#(A)+#(B)

    # signifiant le cardinal, le nombre d'éléments d'un ensemble fini.

    Avec le diagrame de Venn, tu peux facilement illustrer cela.

    C'est peut-être pas très mathématique, mais c'est logique (Boole).

    Bien le pdf !

    Shokin
    Dans ce cas tu ne peux pas utiliser le cardinal, car on n'a pas deux ensembles finis mais deux ensembles dénombrables. La facon la plus efficace de démontrer la propriété ici est de passer par la bijection...

  11. #10
    invite51f4efbf

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Um moyen simple : A est en bijection avec IN car dénombrable. B est en bijection avec Q-IN car dénombrable (et Q-IN est dénombrable parce qu'il est infini et contenu dans un ensemble dénombrable). La réunion disjointe des deux est donc en bijection avec (Q-N)UN = Q, qui est dénombrable.

  12. #11
    invite51f4efbf

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Citation Envoyé par Brumaire
    Dans ce cas tu ne peux pas utiliser le cardinal, car on n'a pas deux ensembles finis mais deux ensembles dénombrables. La facon la plus efficace de démontrer la propriété ici est de passer par la bijection...
    Juste au passage : son argument est faux, mais il n'est pas impropre de parler de cardinal pour un ensemble infini. Strico-sensu, un cardinal c'est une classe d'équivalence sur la collection des ensembles (la relation étant l'existence d'une bijection).

  13. #12
    invite56460777

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    On n'a pas encore défini le cardinal dans notre cours.
    Sinon qu'entends-tu par Q-IN ou Q?

  14. #13
    invite4793db90

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Salut,
    j'ai un peu plus simple: on met A en bijection avec les entiers pairs et B avec les entiers impairs!

  15. #14
    invite56460777

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Quand l'intersection est différente de l'ensemble vide, on ne doit plus arriver à trouver de bijection pour l'intersection? Ou me tromperais-je?

  16. #15
    invite51f4efbf

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Citation Envoyé par Brumaire
    On n'a pas encore défini le cardinal dans notre cours.
    Sinon qu'entends-tu par Q-IN ou Q?
    Q est l'ensemble des rationnels (les fractions si tu préfères). Il est dénombrable. Q-N c'est simplement Q privé de N.

    Je ne comprends pas ta dernière question.

    @martini : oui, j'aurai dû mettre celle-là. J'ai pris la première qui me venait à l'esprit

  17. #16
    invite56460777

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    On a supposé pour faire la démonstration que A inter B était différente de l'ensemble vide

  18. #17
    invite4793db90

    Re : ensembles dénombrables juste du bon sens dans ce cas??

    Citation Envoyé par Brumaire
    On a supposé pour faire la démonstration que A inter B était différente de l'ensemble vide
    Salut, E et F sont d'intersection non vide, tu peux te ramener au cas précédent en considérant l'union disjointe

    E U F = (E \ (E inter F) ) U F.

Discussions similaires

  1. Ensembles dénombrables
    Par invite572ebd1a dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 13/10/2007, 20h13
  2. [L3]Mesure finie, ensembles dénombrables...
    Par inviteaeeb6d8b dans le forum Mathématiques du supérieur
    Réponses: 12
    Dernier message: 28/09/2007, 17h10
  3. Démontrer que l'union de 2 ensembles dénombrables est dénombrable.
    Par invite96e76cc9 dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 16/09/2006, 10h56
  4. 1 cas où OH- est un bon groupe partant
    Par invitea613181e dans le forum Chimie
    Réponses: 4
    Dernier message: 04/03/2006, 15h35
  5. Moteur qui tourne pas dans le bon sens
    Par invite8a1ee9f2 dans le forum Électronique
    Réponses: 10
    Dernier message: 06/03/2004, 06h55