demonstration pas comprise : Card(ExF)=card(E)Card(F)
Répondre à la discussion
Affichage des résultats 1 à 5 sur 5

demonstration pas comprise : Card(ExF)=card(E)Card(F)



  1. #1
    brune555

    demonstration pas comprise : Card(ExF)=card(E)Card(F)


    ------

    bonsoir, alors voilà, mon cours de maths sur les dénombrements est sur poly et les demonstrations ne sont pas assez détaillées à mon gout. alors je demande votre aide. voici lapreuve du theoreme telle qu'elle est dans mon cours

    theoreme:
    Soient E et F sont deux ensembles non vides. alors Card(ExF)=card(E)Card(F)

    preuve :
    nous allons appliquer le principe des bergers. considerons @ l'application premiere coordonnée de ce produit
    @: ExF->E qui est defini par
    @((x,y))=x quelque soit (x,y) appartenant à ExF.
    on observe que @ est surjective et les fibres [COLOR="#0000FF"]de @ sont toutes en bijection avec F. plus precisement pour tot x appartenant à E, on forme: c'est à partir de là que je ne comprend pas
    µx: @-1 ({x})->F par : µx((x,y))=y quelqe soit (x,y) appartenant @-1({x}). et on verifie aisement que quelquesoit x appartenant à E, µx est ne bijection. ainsi les fibres de @ ont toutes meme cardinal card(F). d'ou le resultat et là je ne vois pas comment on abouti au resultat


    merci pour votre aide.

    -----

  2. #2
    Linkounet

    Re : demonstration pas comprise : Card(ExF)=card(E)Card(F)

    Ben on a partitionné l'ensemble des couples (x,y) en card(E) ensembles, chacun du type (x,yi) pour x fixé. Et on a montré que chacun est de cardinal card(F) donc Card(ExF)=card(E)Card(F)

  3. #3
    yootenhaiem

    Re : demonstration pas comprise : Card(ExF)=card(E)Card(F)

    Bonsoir,
    Tout d'abord bienvenue au forum.
    On a tout simplement montré que pour tout élément de E il y'a n valeurs possibles pour former un couple (x,y), et puisque µx est une bijection entre deux ensemble finis alors ce n= Card(F).
    «Il faut toute la vie pour apprendre à vivre.»

  4. #4
    brune555

    Re : demonstration pas comprise : Card(ExF)=card(E)Card(F)

    ce que je ne comprend c'est pourquoi choisir des applications definies ainsi et je ne vois pas comment @-1{(x)} serait en bijection avec F

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

    Re : demonstration pas comprise : Card(ExF)=card(E)Card(F)

    En d'autre terme, ils ont même cardinal, i.e. il existe une application bijective du 1er vers le 2eme.
    «Il faut toute la vie pour apprendre à vivre.»

Discussions similaires

  1. 18f4550 et sd card
    Par EmKa69 dans le forum Électronique
    Réponses: 1
    Dernier message: 12/01/2009, 23h10
  2. Micro Sd Card
    Par invitee5f8bc07 dans le forum Matériel - Hardware
    Réponses: 1
    Dernier message: 02/08/2008, 14h40
  3. Basci Card
    Par invite6ac3a3cf dans le forum Électronique
    Réponses: 5
    Dernier message: 04/11/2006, 14h18
  4. Card(N) = Card(Q) = nf0
    Par prgasp77 dans le forum Mathématiques du supérieur
    Réponses: 6
    Dernier message: 24/10/2006, 19h13
  5. Problème SD Card
    Par invite6cf75a28 dans le forum Matériel - Hardware
    Réponses: 0
    Dernier message: 21/03/2005, 19h53