Egalité de deux ensembles
Répondre à la discussion
Affichage des résultats 1 à 5 sur 5

Egalité de deux ensembles



  1. #1
    Seirios

    Egalité de deux ensembles


    ------

    Bonjour à tous,

    J'aimerais savoir comment l'on définit rigoureusement l'égalité de deux ensembles. Dans mon cours, il est admis d'avoir une vision intuitive de ce qu'est un ensemble, donc la question n'est pas vraiment abordée, il est simplement fait mention qu'un ensemble est déterminé par la donnée de ses éléments.

    Finalement pourquoi peut-on dire que ?

    Je pense que la double inclusion doit pouvoir être utilisée comme définition, mais dans mon cours elle est simplement mentionnée comme propriété (non-démontrée). Je pensais également que l'on pouvait utiliser les bijections pour définir l'égalité, mais le problème est que la notion d'application fait intervenir les relations, donc les couples et donc les ensembles...

    Bref, comment définit-on rigoureusement l'égalité de deux ensembles ?

    Merci d'avance,
    Phys2

    -----
    If your method does not solve the problem, change the problem.

  2. #2
    Guillaume69

    Re : Egalité de deux ensembles

    Bonsoir,

    Je pense que la double inclusion doit pouvoir être utilisée comme définition
    La double inclusion ne m'a jamais été présentée comme une propriété, mais comme une la définition de l'égalité de deux ensembles.
    Il y en a peut-être d'autres, mais comme il y a équivalence entre égalité et double inclusion, je ne vois pas pourquoi elle ne serait pas acceptable

  3. #3
    Seirios

    Re : Egalité de deux ensembles

    Je viens de trouver en théorie des ensembles l'axiome d'extensionnalité : , la réciproque étant déduite de l'axiome de réflexivité : et de , où est une formule (cette implication est-elle un axiome ? Je ne l'ai jamais rencontrée autrement).

    On a donc finalement : , ce qui correspond à la double inclusion.
    If your method does not solve the problem, change the problem.

  4. #4
    Médiat

    Re : Egalité de deux ensembles

    Citation Envoyé par Phys2 Voir le message
    Je viens de trouver en théorie des ensembles l'axiome d'extensionnalité :
    c'est bien la définition de l'égalité de deux ensembles.

    Citation Envoyé par Phys2 Voir le message
    la réciproque étant déduite de l'axiome de réflexivité : et de , où est une formule (cette implication est-elle un axiome ? Je ne l'ai jamais rencontrée autrement).
    Presque, c'est un schéma d'axiomes qui fait partie de la définition de l'égalité. En général on considère que la théorie des ensembles est une théorie égalitaire, c'est à dire est une théorie avec = dans son langage dont les axiomes sont ceux d'une relation d'équivalence plus le schéma d'axiomes que tu as cité, ce qui évite d'avoir à répéter ces axiomes à chaque théorie.

    Citation Envoyé par Phys2 Voir le message
    On a donc finalement : , ce qui correspond à la double inclusion.
    Que l'on peut donc trouver aussi comme définition.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

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

    Re : Egalité de deux ensembles

    Merci pour ces précisions
    If your method does not solve the problem, change the problem.

Discussions similaires

  1. Egalité de deux sous-ensembles de R^n
    Par Bleyblue dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 22/02/2008, 04h42
  2. Egalité de deux espaces engendrés
    Par Seirios dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 27/12/2007, 10h56
  3. Ensembles et sous ensembles
    Par invite43bf475e dans le forum Mathématiques du supérieur
    Réponses: 32
    Dernier message: 19/08/2007, 11h01
  4. Egalité entre deux complexes?
    Par invitebc0d17ee dans le forum Mathématiques du collège et du lycée
    Réponses: 4
    Dernier message: 24/12/2006, 16h17
  5. égalité de deux polynomes
    Par invite208983b7 dans le forum Mathématiques du supérieur
    Réponses: 35
    Dernier message: 01/03/2006, 11h13