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

Hahn-Banach



  1. #1
    kpikpo

    Hahn-Banach


    ------

    Bonjour, il y a quelquechose que je ne comprends pas sur les applications du théorème de hahn-banach:
    Dans mon cours le théorème s'énonce ainsi:

    Cas réel: "Soit E un espace normé séparable sur R et a dans E. Il existe une forme linéaire continue g sur E de norme 1 telle que g(a) = //a//."

    Cas complexe: "Soit E un espace normé séparable sur C et a dans E. Il existe une forme linéaire continue g sur E de norme 1 telle que g(a) = //a//."

    Après il y a le corollaire suivant:
    "Si E est un espace normé, E' son dual et B' la boule unité de E', on a pour tout x de E: //x// = sup( pour f dans B'( /f(x)/ ))"

    Ce que je ne comprends pas c'est que dans la démonstration de ce corollaire on applique Hahn-Banach sans avoir l'hypothèse de séparable pour E, et il en est de même pour un autre corollaire. L'hypothèse "séparable" ne paraît alors pas utile pour appliquer le théorème et pourtant elle l'était pour sa démonstration.

    Merci d'avance de m'éclairer à ce sujet.

    -----

  2. #2
    G13

    Re : Hahn-Banach

    L'hypothèse séparable n'est pas utile pour Hahn-Banach. On peut utiliser le lemme de Zorn et prendre un sous-espace maximal contenant sur lequel . Pour cela, soit l'ordre sur les sous-espace contenant munis d'une forme linéaire de norme égale à 1:
    ssi et restreint à est égale à .
    Il faut montrer que tout ensemble totalement ordonné de sous-espaces admet un majorant (c'est la réunion des sous-espaces) pour appliquer le lemme de Zorn.
    Dernière modification par G13 ; 01/08/2008 à 15h13.

Discussions similaires

  1. vers le théorème de Hahn-Banach
    Par rhomuald dans le forum Mathématiques du supérieur
    Réponses: 13
    Dernier message: 04/05/2008, 12h59
  2. Paradoxe de Banach-Tarski
    Par Theyggdrazil dans le forum Mathématiques du supérieur
    Réponses: 4
    Dernier message: 06/08/2007, 11h11
  3. TIPE 2006 : paradoxe Banach-Tarski
    Par yalala dans le forum TPE / TIPE et autres travaux
    Réponses: 73
    Dernier message: 22/08/2006, 07h03
  4. Espace de Banach & suites
    Par Cyp dans le forum Mathématiques du supérieur
    Réponses: 9
    Dernier message: 22/01/2006, 23h35
  5. De la perle... à la Lune? (Paradoxe de Banach-Tarski)
    Par Staind dans le forum Mathématiques du supérieur
    Réponses: 23
    Dernier message: 13/04/2005, 11h36