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

montrer qu'un élément appartient à un complété



  1. #1
    nandayo

    montrer qu'un élément appartient à un complété


    ------

    Bonjour,

    Je souhaite caractériser les éléments du complété d'un espace E : un truc du genre
    x appartient au complété de E ssi certaines propriétés sur x.
    Partant d'un élément dont je suppose ces propriétés, quels sont les possibilités qui s'offrent à moi pour montrer qu'il appartient à ce fameux complété ? A part montrer que cet élément est la limite d'une suite de Cauchy d'éléments de E, je vois pas ce que je pourrais faire d'autre. J'ai cherché à droite à gauche, mais j'ai rien trouvé.

    Si vous avez en tête des démarches classiques autres que celle que j'ai évoquée...

    Merci !

    -----

  2. Publicité
  3. #2
    invite986312212
    Invité

    Re : montrer qu'un élément appartient à un complété

    en général je ne suis pas sûr qu'il y ait d'autre caractérisation, vu qu'on construit le complété justement comme "ensemble des limites des suites de Cauchy" (avec un énorme abus de langage). Par contre dans des cas particuliers, il y a d'autres caractérisations, notamment pour le corps ordonné Q, dont on peut construire le complété à l'aide de coupures.

  4. #3
    nandayo

    Re : montrer qu'un élément appartient à un complété

    Oui non moi c'est pas des espaces comme Q ou R que je manipule.

    Donc il n'y a vraiment que ça, arf... au passage, je vois pas trop en quoi, comme on le dit effectivement, compléter n'est qu'ajouter à l'espace les limites des suites de Cauchy : c'est beaucoup plus que ça non ? (puisque la complétude entraine le fait que toute suite de Cauchy converge, il s'agit pas seulement de prendre les limites de celles qui convergent déjà...)

    Au passage, j'ai un soucis de notion entre complétude et fermeture. En effet, Si E' est le complété de E, alors E dense dans E'. Mais alors, ça veut dire que la fermeture de E est égal à E', et donc je tombe sur la proposition abbérante que le fermé et le complété sont un même objet

  5. #4
    Aleph-0

    Re : montrer qu'un élément appartient à un complété

    Le complété d'un espace E peut être vue intuitivement comme l'ensemble des suites de Cauchy dans cette espace modulo une relation d'equivalence qui identifie les suites qui se "rapprochent" à l'infini. C'est ce qu'on fait pour passer de Q à R mais aussi de n'importe quel espace vectoriel topologique à son complété (en utilisant des filtres...).
    Il se trouve alors qu'on peut definir canoniquement une topologie sur le complété qui est telle que
    - le complété E' est bien complet
    - l'espace E s'injecte de façon continue dans E'
    - E est dense en tant que partie de E' (et donc pour la topologie de E').
    Le fait que la fermeture de E (pour la topologie de E') soit égale à E' ne veut pas dire que fermeture et completion sont les même notions. Par exemple, la fermeture de E pour la topologie de E est égale à E.

  6. #5
    invite58633955

    Re : montrer qu'un élément appartient à un complété

    Heu "n'importe quel espace topologique" non (fut il vectoriel) il faut qu'il soit métrique au minimum pour parler de suite de Cauchy.

  7. A voir en vidéo sur Futura
  8. #6
    God's Breath

    Re : montrer qu'un élément appartient à un complété

    Citation Envoyé par Therodre Voir le message
    Heu "n'importe quel espace topologique" non (fut il vectoriel) il faut qu'il soit métrique au minimum pour parler de suite de Cauchy.
    Heu... il me semble que l'espace (vectoriel) des fonctions test définies sur est muni d'une structure uniforme pour laquelle c'est un espace complet, mais qu'il n'est pas métrisable pour autant.
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  9. Publicité
  10. #7
    invite58633955

    Re : montrer qu'un élément appartient à un complété

    C'est un espace de Frechet non? il est métrisable si on prend par exemple la famille de semi normes associés au pavés donc les coefficients des sommets sont rationnels, on peut construire une distance assoicée à ces semi norme qui en fait un espace complet...

    Apres bon, je ne connais que la définition de suite de Cauchy dans un espace métrique, mais sans doute y en a t'il de plus generale? C'est quoi ta définition d'espace topologique complet?

  11. #8
    God's Breath

    Re : montrer qu'un élément appartient à un complété

    Citation Envoyé par nandayo Voir le message
    Donc il n'y a vraiment que ça, arf... au passage, je vois pas trop en quoi, comme on le dit effectivement, compléter n'est qu'ajouter à l'espace les limites des suites de Cauchy : c'est beaucoup plus que ça non ? (puisque la complétude entraine le fait que toute suite de Cauchy converge, il s'agit pas seulement de prendre les limites de celles qui convergent déjà...)
    C'est là que le passage au complété est magique !!!

    En ajoutant des limites pour les suites de Cauchy divergentes, il se trouve que toutes les suites de Cauchy du complété obtenu, même celles qui utilisent les points ajoutés, sont convergentes.

    La situation est différente pour la complétion algébrique d'un corps:
    Si on ajoute à un corps les racines de tous les polynômes à coefficients dans , on obtient un corps , mais il peut se faire que certains éléments de n'aient pas de racines. Pour obtenir une clôture algébrique de , on est obligé d'itérer le procédé.
    Et Dieu, dans sa colère, pour punir les humains, envoya sur la Terre les mathématiciens.

  12. #9
    Garnet

    Re : montrer qu'un élément appartient à un complété

    Citation Envoyé par God's Breath Voir le message
    La situation est différente pour la complétion algébrique d'un corps:
    Si on ajoute à un corps les racines de tous les polynômes à coefficients dans , on obtient un corps , mais il peut se faire que certains éléments de n'aient pas de racines. Pour obtenir une clôture algébrique de , on est obligé d'itérer le procédé.
    En fait si:

    Si sont deux anneaux et si est l'ensemble des éléments de entier sur , alors tout élément entier sur l'est aussi sur , i.e. .

    Exemple: l'ensemble des nombres complexes entiers sur est un corps clos.



    Sinon concernant l'uniformité:
    On peut définir l'uniformité sur des groupes topologiques.
    Une suite de est de Cauchy si:
    voisinage de , .

  13. #10
    Aleph-0

    Re : montrer qu'un élément appartient à un complété

    Citation Envoyé par Therodre Voir le message
    Heu "n'importe quel espace topologique" non (fut il vectoriel) il faut qu'il soit métrique au minimum pour parler de suite de Cauchy.
    Si, n'importe quel espace vectoriel topologique (séparé). On n'a pas besoin de métrique. On définit le complété à partir de filtres de Cauchy.

Sur le même thème :

Discussions similaires

  1. Montrer qu'un vecteur est le gradient d'une fonction?
    Par Mangaf dans le forum Mathématiques du supérieur
    Réponses: 5
    Dernier message: 26/01/2009, 16h48
  2. Montrer qu'un polynôme n'a que des racines simples
    Par izguit dans le forum Mathématiques du supérieur
    Réponses: 8
    Dernier message: 29/10/2008, 15h19
  3. Montrer qu'un nombre est premier
    Par dolmen dans le forum Mathématiques du collège et du lycée
    Réponses: 4
    Dernier message: 05/01/2007, 15h36
  4. Montrer qu'un nombre est rationnel
    Par portakat dans le forum Mathématiques du supérieur
    Réponses: 10
    Dernier message: 03/12/2004, 22h07
  5. il y a toujours un élément plus petit qu'un autre?
    Par Arimix dans le forum Physique
    Réponses: 7
    Dernier message: 13/03/2004, 11h01