Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 08-07-2024 11:21:37

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Isométrie

Bonjour,

On considère [tex]E[/tex] l'ensemble des suites convergeant vers [tex]0[/tex] muni de la norme infinie. Soit [tex]u\in l^1[/tex]. Soit [tex]f_u(v)=\sum_{i\ge 1} u_iv_i[/tex] pour tout [tex]v\in E[/tex]. J'ai montré que cette application est continue sur [tex]E[/tex] et linéaire.

J'essaye de montrer que [tex]f : l^1 \to E', u\to f_u[/tex] est une isométrie bijective. En montrant qu'elle est bijective, il restera à montrer qu'elle est surjective.

J'ai déjà montré que [tex]||f(u)||_{E'}\le ||u||_{l^1}[/tex] et je bloque pour démontrer l'inégalité inverse.

Pour bien faire, il suffirait de trouver une suite particulière [tex](y_n)[/tex] de E telle que [tex]\frac{|f_u(y)|}{||y||_{\infty}}=||u||_{l^1}[/tex].

Je tourne en rond pour le choix de cette suite. Avez-vous une méthode ? J'ai tenté des choses à base de signe([tex]u_i[/tex]), sans succès.

Merci d'avance !

Hors ligne

#2 08-07-2024 11:40:46

Eust_4che
Membre
Inscription : 09-12-2021
Messages : 154

Re : Isométrie

Bonjour,

Tu peux prendre la suite $(v_n)$ tels que $v_n(p) = \textrm{sign}(u_i)$ pout tout $p \leq n$ et $0$ sinon, où ici $\textrm{sign}$ désigne la fonction numérique telle que $\textrm{sign}(x) = 1$ si $x \geq 0$ et $-1$ sinon.

Modification : J'ai lu trop vite le message. Je n'ai pas fais attention à la fin. Où le problème avec la suite des $\textrm{sign}(u_n)$ ? Quelle que soit l'entier $n$, on a bien

$$\frac{  \left | f( (v_n) ) \right |}{ \| (v_n) \| } = \left | \sum_{i = 0}^n \textrm{sign}(u_i) u_i \right | = \sum_{i = 0}^n |u_i|. $$

D'où le résultat, en passant à la limite.

E.

Dernière modification par Eust_4che (08-07-2024 12:39:43)

Hors ligne

#3 08-07-2024 15:24:38

Vincent62
Membre
Inscription : 26-05-2022
Messages : 314

Re : Isométrie

Merci Eust_4ne ! Encore une fois, je me suis noyé dans un verre d'eau.
J'essaye de compléter la preuve concernant la surjectivité de l'application.

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quatre-vingt seize moins soixante dix-neuf
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums