Ensemble discret inclus dans un compact
Répondre à la discussion
Affichage des résultats 1 à 5 sur 5

Ensemble discret inclus dans un compact



  1. #1
    FAN FAN

    Ensemble discret inclus dans un compact


    ------

    Bonjour, voici ma question :

    Dans la correction d'un exercice, il y a l'affirmation suivante donnée comme évidente :

    "On a donc un ensemble discret dans un compact, cet ensemble est donc fini"

    Cela ne me paraît pas évident du tout. Comment le démontrer ou démontrer qu'un ensemble discret infini ne peut pas être inclus dans un compact ?
    Je cherche une démonstration : recouvrement du compact par des boules centrées sur les points de l'ensemble discret ?...

    Merci d'avance à qui pourra m'éclairer.

    -----
    Les seules questions stupides sont celles que l'on ne pose pas.

  2. #2
    Tiky

    Re : Ensemble discret inclus dans un compact

    Bonjour,

    C'est manifestement faux. En effet l'ensemble est discret dans le compact et n'est pas fini.
    En revanche un ensemble compact et discret est évidemment fini. Dans ton cas je pense qu'il voulait dire que l'ensemble discret est fermé dans un compact.

  3. #3
    FAN FAN

    Re : Ensemble discret inclus dans un compact

    Citation Envoyé par Tiky Voir le message
    Bonjour,

    C'est manifestement faux. En effet l'ensemble est discret dans le compact et n'est pas fini.
    En revanche un ensemble compact et discret est évidemment fini. Dans ton cas je pense qu'il voulait dire que l'ensemble discret est fermé dans un compact.
    Oui c'est bien ça : l'ensemble est discret et fermé. Toutefois, cela ne me semble pas évident.
    Les seules questions stupides sont celles que l'on ne pose pas.

  4. #4
    Tiky

    Re : Ensemble discret inclus dans un compact

    Tu as pourtant donné la démonstration. Si l'ensemble est fermé dans un compact , alors il est compact.
    Si on suppose de plus que est discret dans , on peut pour chaque élément ,
    trouver un voisinage ouvert de (noté ) de la topologie de qui ne contient aucun autre élément de .
    La famille recouvre . On en extrait un sous-recouvrement fini ( une partie finie de ). Donc est fini.

    Une autre manière de voir les choses est d'oublier le compact . Soit un ensemble muni de la topologie discrète qui est compact, alors est fini.
    En effet les ensembles sont des ouverts de et le recouvrent. On extrait un sous-recouvrement, etc.
    Dernière modification par Tiky ; 05/01/2013 à 18h31.

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

    Re : Ensemble discret inclus dans un compact

    Merci beaucoup pour cette explication. C'est clair pour moi maintenant.
    Les seules questions stupides sont celles que l'on ne pose pas.

Discussions similaires

  1. un ensemble compact
    Par amal20 dans le forum Mathématiques du supérieur
    Réponses: 6
    Dernier message: 07/11/2012, 11h59
  2. Ensemble continue/discret
    Par anamir-22 dans le forum Mathématiques du supérieur
    Réponses: 7
    Dernier message: 08/05/2012, 10h53
  3. Ensemble continue/discret
    Par anamir-22 dans le forum Physique
    Réponses: 2
    Dernier message: 08/05/2012, 09h13
  4. Ker A orthogonal inclus dans Im A
    Par ketchupi dans le forum Mathématiques du supérieur
    Réponses: 6
    Dernier message: 02/12/2011, 08h26
  5. ensemble compact
    Par membreComplexe12 dans le forum Mathématiques du supérieur
    Réponses: 17
    Dernier message: 14/04/2010, 07h17