Application multilinéaire continue !

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

Application multilinéaire continue !

par barbu23 » 13 Jan 2009, 21:27

Bonjour :
Théorème :
Soient : et des espaces vectoriels normés.
On munit : de la norme :
est un espace vectoriel normé.
Soit : une application linéaire.
Les conditions suivantes sont équivalentes :
. est continue sur .
. est continue seulement en : .
. est bornée sur , où : désigne la boule unité de .
. est bornée sur , où : désigne la sphère unité de .
. :

Questions :
Comment démontrer : .
Merci infiniment !



Joker62
Membre Transcendant
Messages: 5027
Enregistré le: 24 Déc 2006, 19:29

par Joker62 » 13 Jan 2009, 21:34

Haileau ;)
Pour tout n-uplet de S1xS2x...xSn on a la majoration L(x1,x2,...,xn) <= M

On se donne (x1,...,xn) quelconque dans E1xE2x...xEn on a alors

L(x1/N(x1) , x2/N(x2), ... , xn/N(xn)) <= M
On sort les normes par n-linéarité et on balance de l'autre côté.

Faire attention au cas où un xi serait nul :^)

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 13 Jan 2009, 21:45

Salut "Joker" et bonne année 2009 :
Tout à l'heure, tu as écrit :
Or : car : ils appartiennent tous au cercle unité !
Mais on obtient pas , il y'a quelques choses qui ne va pas dans la démonstration, ou bien peut être, on montre autrement ce théorème !
Est ce que tu sais comment montrer ce théorème ? Ce n'est pas comme ça : ?
Merci infiniment !

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 11:07

par Doraki » 13 Jan 2009, 22:08

barbu23 a écrit:Tout à l'heure, tu as écrit :
Or : car : ils appartiennent tous au cercle unité !


Non il a dit de regarder (x1, ..., xn) quelconques dans E.
Pour prouver 5), on prend un n-uplet quelconque et on cherche à majorer L(x1...xn).

Si aucun xi est nul, on peut dire que xi = (xi / N(xi))*N(xi), pour justement faire apparaître des éléments qui sont sur les sphères pour justement pouvoir appliquer l'hypothèse 4).

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 14 Jan 2009, 12:44

Ah oui, c'est vrai "Doraki", merci beaucoup !

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 14 Jan 2009, 12:51

Bonjour :
Je fais en ce moment une petite révision de d'algèbre multilinéaire et continuité, et je bloque dans la démonstration de la propriété suivante :
Propriété :
Soient , , ... , et des espaces vectoriels normés.
On munit : de la norme :

est un espace vectoriel normé.
Soit :

une application linéaire.
. : .

. est continue sur .
Démonstration :
Soit :
Soient et :
.
Quelqu'un peut-t-il m'aider à developper par multilinéarité la dernière expression çi-dessus ?
Merci infiniment !

Anneauprincipal
Membre Relatif
Messages: 147
Enregistré le: 10 Jan 2009, 13:36

par Anneauprincipal » 14 Jan 2009, 13:18

Pour t'aider dans les notations : il suffit de démontrer que L est continue en 0. Et de plus L(a1,...,an)-L(b1,...,bn)=L(a1-b1,...,an-bn).

Doraki
Habitué(e)
Messages: 5021
Enregistré le: 20 Aoû 2008, 11:07

par Doraki » 14 Jan 2009, 13:26

Non l'application est multi-R-linéaire, pas R^n-linéaire
Et je crois qu'il veut boucler son théorème en montrant 5 => 1 donc 5 => 2 ça lui suffira pas.


Là tu fais apparaître beaucoup trop de termes dans ton calcul.
L'application est multilinéaire donc tu peux faire appraître les (xi-ai) un par un, t'es pas obligé de tous les mettre en même temps.

L(x1...xn) - L(a1...an) = L(x1-a1, x2...xn) + L(a1, x2...xn) - L(a1, a2...an)
et tu continues en faisant pareil variable par variable, etc...

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 14 Jan 2009, 14:21

Salut :
Voiçi ce qe j'ai trouvé ( Merci à vous deux pour vos reponses ):

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 14 Jan 2009, 16:47

Bonjour :
On note : l'espace vectoriel des applications linéaires continues.
, on pose :

Question :
Montrer que : est une quantité qui est bien définie ( i.e : ) en montrant que :
:
Merci infiniment !!

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 14 Jan 2009, 18:36

svp aidez moi ! Merci d'avance !

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 15 Jan 2009, 12:04

Bonjour :
Quelqu'un connait-t-il la reponse à la question qe je viens de poster çi dessus ?
Merci infiniment !

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 83 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite