Répondre à la discussion
Affichage des résultats 1 à 11 sur 11

Injection d'un ensemble dans un sous-ensemble



  1. #1
    morph

    Injection d'un ensemble dans un sous-ensemble


    ------

    Bonjour,
    si on prend un ensemble E infini, et F un sous ensemble de E infini ; est-il possible d'avoir une injection de E dans F ?
    Intuitivement ça parait peu probable, mais je vois pas comment argumenter.

    Merci.

    -----

  2. Publicité
  3. #2
    PlaneteF

    Re : Injection d'un ensemble dans un sous-ensemble

    Bonsoir,

    Ben si, dans le cas que tu décris, tu peux très bien avoir une injection, et même une bijection, ...

    Prend l'exemple tout simple de et , tu peux très facilement définir une bijection entre ces 2 ensembles ... je te laisse faire une proposition
    Dernière modification par PlaneteF ; 27/10/2012 à 19h21.

  4. #3
    Tryss

    Re : Injection d'un ensemble dans un sous-ensemble

    C'est d'ailleurs une propriété des ensembles infinis. On peut même définir les ensembles infini comme les ensembles qui possèdent une injection de lui même vers un de ses sous ensemble (strict, sinon c'est trivial)

  5. #4
    Médiat

    Re : Injection d'un ensemble dans un sous-ensemble

    L'existence d'une telle injection peut même servir de définition d'un ensemble infini, c'est la définition de Dedekind, mais cette définition n'est équivalente aux autres définitions qu'avec l'axiome du choix.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  6. #5
    morph

    Re : Injection d'un ensemble dans un sous-ensemble

    D'accord, donc je me trompais dès le départ, je ne suis pas très à l'aise avec l'infini.

    Qu'en est-il si on rajoute une structure algébrique (groupe ou corps par exemple) sur E, et qu'on impose que l'injection soit un morphisme (F étant un sous-groupe ou un sous corps de E, toujours inifini) ?
    Dernière modification par morph ; 27/10/2012 à 19h34.

  7. A voir en vidéo sur Futura
  8. #6
    Médiat

    Re : Injection d'un ensemble dans un sous-ensemble

    Tout sous-corps infini de IR répond à votre question.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  9. Publicité
  10. #7
    Tryss

    Re : Injection d'un ensemble dans un sous-ensemble

    Citation Envoyé par morph Voir le message
    D'accord, donc je me trompais dès le départ, je ne suis pas très à l'aise avec l'infini.

    Qu'en est-il si on rajoute une structure algébrique (groupe ou corps par exemple) sur E, et qu'on impose que l'injection soit un morphisme (F étant un sous-groupe ou un sous corps de E, toujours inifini) ?
    Pour les groupes, ça marche aussi ( penser à Z et à son sous groupe 2Z )

    Après, ça dépend plus de la structure (je n'ai pas d'exemple en tête pour les anneaux), par exemple, sur les espaces vectoriels de dimension fini, ça n'est pas possible (théorème du rang)

    Citation Envoyé par Médiat Voir le message
    Tout sous-corps infini de IR répond à votre question.
    Hum, pas tous, Q est un sous corps infini de R, et il n'y a pas d'injection de R dans Q
    Dernière modification par Tryss ; 27/10/2012 à 19h45.

  11. #8
    Médiat

    Re : Injection d'un ensemble dans un sous-ensemble

    Citation Envoyé par Tryss Voir le message
    Hum, pas tous, Q est un sous corps infini de R, et il n'y a pas d'injection de R dans Q
    Bien sur, j'ai voulu simplifier ma réponse initiale et il est resté un truc complètement faux.

    Je voulais dire : tous sous-corps strict de IR ayant une base de transcendance de taille
    Dernière modification par Médiat ; 27/10/2012 à 20h05.
    Je suis Charlie.
    J'affirme péremptoirement que toute affirmation péremptoire est fausse

  12. #9
    morph

    Re : Injection d'un ensemble dans un sous-ensemble

    En fait je travaillais sur le résultat : Q n'a pas de sous-corps propre.

    La preuve que je lisais suppose l'existence d'un tel sous corps propre de Q, qui contient 0 et 1 donc Z. Or Q = Frac(Z) est le plus petit corps qui contient Z, ce qui amène une contradiction.

    Mais Wikipédia indique :

    K(A) est le plus petit corps contenant A, au sens suivant : si L est un autre corps contenant A, il existe un morphisme injectif de A dans L donc un morphisme injectif de K(A) dans L.
    Et en fait, dans la preuve dont je parlais, je ne vois pas pourquoi on aurait pas un morphisme injectif (ou un isomorphisme) entre Q et le sous-corps propre que l'on considère.

  13. #10
    Tryss

    Re : Injection d'un ensemble dans un sous-ensemble

    Citation Envoyé par morph Voir le message
    En fait je travaillais sur le résultat : Q n'a pas de sous-corps propre.

    La preuve que je lisais suppose l'existence d'un tel sous corps propre de Q, qui contient 0 et 1 donc Z. Or Q = Frac(Z) est le plus petit corps qui contient Z, ce qui amène une contradiction.

    Mais Wikipédia indique :



    Et en fait, dans la preuve dont je parlais, je ne vois pas pourquoi on aurait pas un morphisme injectif (ou un isomorphisme) entre Q et le sous-corps propre que l'on considère.
    En fait dans ta preuve tu ne raisonnes pas avec les injections.

    Tu dis : Soit A un sous corps de Q qui contient 0 et 1

    Alors, par stabilité par + et -, il contient Z
    Puis, par stabilité par inverse, il contient tout les 1/n
    Puis par stabilité par produit, il contient toutes les fractions d'entiers

    Donc il contient Q

    Ainsi, tout sous corps de Q qui contient 0 et 1 contient Q, donc est égal à Q

  14. #11
    morph

    Re : Injection d'un ensemble dans un sous-ensemble

    J'ai compris, merci. En effet, inutile de faire intervenir des injections.

Discussions similaires

  1. Réponses: 11
    Dernier message: 16/01/2011, 18h08
  2. Cardinal d'un ensemble sous maple
    Par louis29 dans le forum Mathématiques du supérieur
    Réponses: 0
    Dernier message: 24/03/2009, 19h01
  3. Ensemble et injection
    Par makassi dans le forum Mathématiques du supérieur
    Réponses: 6
    Dernier message: 28/11/2007, 23h02
  4. [exo] adhérence d'un sous-ensemble de Q
    Par musgrave86 dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 09/02/2006, 11h26
  5. sous ensemble d'un espace vectoriel
    Par pft_217 dans le forum Mathématiques du supérieur
    Réponses: 2
    Dernier message: 05/03/2004, 23h07