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

Compact, fermé borné complet... vrai?



  1. #1
    invite158967239

    Talking Compact, fermé borné complet... vrai?


    ------

    Bonjour à tous,

    je me demandais si compact était équivalant à fermé borné complet.

    Car:
    compact implique les 3:
    - u_n converge implique u_n converge dans le compact en extrayant une sous suite
    - borné : si c'est pas borné, on prend une suite qui tend en norme vers l'infini, ça va être dur d'extraire une sous suite convergente
    - complet : de toute suite de Cauchy on peut extraire une sous suite convergente. Donc ça va converger (ou alors j'ai loupé un passage)

    Mais la réciproque... je ne vois pas. Dans le cas général évidemment: dimension quelconque, corps de référence quelconque etc...

    Merci d'avance,
    Pierre

    -----

  2. #2
    invite986312212
    Invité

    Re : Compact, fermé borné complet... vrai?

    bonjour,

    déjà, la compacité est une notion topologique et pas métrique.

  3. #3
    invite158967239

    Re : Compact, fermé borné complet... vrai?

    la fermeture aussi...
    Je pense que la réciproque est fausse. Mais il faudrait un contre exemple...

  4. #4
    invite986312212
    Invité

    Re : Compact, fermé borné complet... vrai?

    dans un espace de Banach de dimension infinie, la boule unité fermée est bien un fermé borné complet mais n'est pas compacte.

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

    Re : Compact, fermé borné complet... vrai?

    Merci pour cet exemple, mais pourrais-tu expliquer pourquoi cette boule est complète?
    Pour sa non compacité, c'est évident.
    Merci,
    Pierre

  7. #6
    Erik_314

    Re : Compact, fermé borné complet... vrai?

    Bonjour,
    Cette boule unité est complète car elle est fermée!
    Il y a effectivement un résultat faisant intervenir la complétude : uu peux montrer que dans un espace métrique, il y a équivalence à être compact et précompact+complet.
    Cordialement

    Erik
    "Aucun chemin de fleurs ne conduit à la gloire." de la Fontaine

  8. #7
    invite158967239

    Re : Compact, fermé borné complet... vrai?

    Je ne suis pas d'accord.

    Q est un Q-ev, donc Q est fermé dans Q (toute suite convergeant dans Q converge dans Q), mais Q n'est pas complet.

    A moins que ma définition de "fermé" soit fausse.
    Pour moi: A est un fermé de E si toute suite d'éléments de A convergeant dans E converge dans A

  9. #8
    KerLannais

    Re : Compact, fermé borné complet... vrai?

    Salut

    Il semble que la question soit dans le cadre des espaces métriques. De toute façon la réponse est non quand même.

    Intuitivement la définition de compacité à l'aide de sous-suite convergente dit que si quelqu'un se ballade dans un compact, au bout d'un temps infini il fini par repasser indéfiniment par (ou pas très loin) un ou plusieurs endroits. Grosso modo on tourne en rond comme un étudiant dans une chambre de cité U
    Parmis les défauts de compacité possibles il y a effectivement, par ordre d'évidence,
    1) l'ensemble est non borné, on peut se ballader à l'infini sans jamais repasser sur ses pas
    2) l'ensemble est non fermé, on peut se ballader en direction d'un trou de l'ensemble sans jamais l'atteindre et sans repasser sur ses pas (comme quelqu'un aspiré par un trou noir)
    3) l'ensemble est non complet, il a donc quand même un trou même s'il est fermé mais le problème vient du fait que l'espace total est incomplet (dans un espace métrique complet les fermés sont complets), on se ballade comme en 2) vers un trou de l'ensemble qui est aussi un trou de l'espace contenant l'ensemble.

    On pourrait croire que ce sont les seuls défauts possible mais non. Le théorème de Riesz dit que la boule unité fermée (complète) d'un espace vectoriel normé (et donc espace métrique) est compacte si et seulement si l'espace est de dimension finie.

    Autrement dit, on peut rajouter
    4)dans un fermé borné complet d'un espace vectoriel de dimension infinie on peut se ballader sans revenir sur ses pas, en changeant à chaque pas de dimension (on peut se le permettre il y en a une infinité). On peut s'évader en voyageant dans des dimensions parallèles comme dans sliders

    la liste des défaults que j'ai donné n'est pas exhaustive mais c'est les seuls que je connaisse
    Les mathématiques ne s'apprennent pas elles se comprennent.

  10. #9
    invite986312212
    Invité

    Re : Compact, fermé borné complet... vrai?

    Citation Envoyé par pierreM Voir le message
    Merci pour cet exemple, mais pourrais-tu expliquer pourquoi cette boule est complète?
    Pour sa non compacité, c'est évident.
    ah tiens, j'aurais dit le contraire: évident que la boule unité fermée B est complète car une suite de Cauchy de B est toujours une suite de Cauchy de E qui est complet, donc a une limite dans E et cette limite est dans B car B est fermée. Mais montrer que B n'est pas compacte me semble moins trivial. Je ne me souviens plus de comment on montre ça (un théorème de Riesz je crois).

  11. #10
    invite158967239

    Re : Compact, fermé borné complet... vrai?

    Merci à tous pour ces précisions
    En effet je connaissais le théorème de Riesz, qui est très simple à démontrer dans le cadre d'un evn en prenant une suite de vecteurs de norme 1 et orthogonaux deux à deux. (pour un espace métrique, j'avoue ne pas savoir)

  12. #11
    invite986312212
    Invité

    Re : Compact, fermé borné complet... vrai?

    ah ok, mais attention, qui dit vecteurs orthogonaux pense espace de Hilbert. Un Banach est juste un e.v.n. complet.

  13. #12
    invite158967239

    Re : Compact, fermé borné complet... vrai?

    oups c'est vrai ca... au temps pour moi

  14. #13
    invite986312212
    Invité

    Re : Compact, fermé borné complet... vrai?

    ben je viens de regarder dans le cours de Schwartz: le théorème de Riesz y est énoncé pour des espaces vectoriels topologiques (même pas normés donc) et la preuve est très courte (mais c'est schwartz, ses démonstrations sont toujours ... compactes)

Discussions similaires

  1. Borne Supérieure, Borne Inférieure
    Par Kiiiwi dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 20/12/2009, 20h53
  2. borne superieure,borne inferieure
    Par ksi dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 03/06/2008, 19h27
  3. fermé borné
    Par C.F dans le forum Mathématiques du supérieur
    Réponses: 3
    Dernier message: 26/04/2008, 19h32
  4. Compact toujours fermé ?
    Par davidsebaoun dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 04/02/2008, 23h18
  5. Un fermé borné...
    Par Gpadide dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 05/09/2006, 17h33