Non existence d'un supplémentaire topologique
Bonjour, en réfléchissant à un exercice il m'est apparu que son énoncé était équivalent au fait que C^0([0,1],R) n'admet pas de supplémentaire topologique dans B([0,1],R).
Je réfléchis donc à cette question mais les quelques pistes que j'ai ne semblent pas aboutir.
(On connaît la forme de la décomposition d'une fonction bornée en une partie continue et une autre partie qui conserve toutes les discontinuités mais cela n'impose a priori quasi aucune autre condition : par exemple si on considère par l'absurde un projecteur continu sur C^0([0,1],R) je n'arrive pas du tout à savoir à quoi ressemble la projection d'une fonction ayant ne serait-ce qu'un saut de discontinuité comme la fonction qui vaut 1 sur [0,1[ et 0 en 1)
Cette impossibilité à trouver des informations sur la projection semble rendre difficile une absurdité à base de suite de fonctions bornées ayant un nombre fini de discontinuités qui converge vers une fonction bornée ayant un nombre infini de discontinuités vis-à-vis de la projection.
Par ailleurs j'imagine qu'il y a moyen de répondre facilement avec des théorèmes plus ou moins fort sur les duals topologiques (en parlant de réflexivité etc) de C^0([0,1],R) et de B([0,1],R) ou des arguments du genre mais j'aimerais bien une réponse élémentaire si possible (avec les outils d'analyse fonctionnelle les plus sommaires possibles).
Voilà, si vous avez des idées n'hésitez pas à les partager.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
(Je poste aussi ce message pour essayer de lancer la discussion)
Je ne connaissais pas en effet la notion d'espace de Banach injectif mais il me paraît non trivial de montrer que B([0,1],R) est injectif (ni totalement évident que tout espace de Banach injectif contient une copie de l^inf, après je n'y ai sûrement pas réfléchi assez longtemps pour l'instant). Néanmoins la réponse a le mérite d'être claire.
L'exercice en question est censé être à la portée d'un spé (L2) donc on devrait pouvoir se passer d'outils aussi avancés. Après c'est peut être moi qui ai compliqué la chose en reformulant le problème de la sorte, mais vu que je n'arrivais pas à grand chose «à la main» et que la question de départ est équivalente à celle-ci je me suis dit qu'on disposait de plus d'outils pour répondre sous cette forme.
L'énoncé original: Montrer qu'il n'existe pas d'opérateur linéaire continu de (B([0,1],R),||.||inf) vers (C([0,1],R),||.||inf) qui coïncide avec l'identité sur C([0,1],R).
PS: Merci quand-même pour la réponse
Pour l'autre point, il me semble avoir trouvé quelque chose de relativement direct: si A \subset B sont deux Banach T:A->B([0,1],R) est continu, on considère pour x€[0,1], T_x:A->R la composée de T avec l'évaluation en x, alors par Hahn-Banach, les T_x se prolongent en U_x:B->R continues de même norme et U:B->B([0,1],R) b|->(x|->U_x(b)) est bien à valeurs dans B([0,1],R) car la norme de U_x est celle de T_x, sa restriction à A est T et enfin U est continue car sa norme est celle de T toujours pour la même raison.
Par contre ça utilise l'AC et c'est pas trop niveau spé mais on avance déjà .