Inscription / Connexion Nouveau Sujet
Niveau Master
Partager :

Operateur lineaires

Posté par
elhoussine12
26-05-15 à 00:25

bonjour
que vous disez de ce travail?
Enoncée:
soit X un espace de Banach (dimension infini)
(Tn)n une suits des application lineairs continues de X dans X telle que:
xX    limnTn(x)=T(x)
Montrer que T est linéaire continue.
Reponse:
soient x,yX
T(x+y)=limnTn(x+y)
      =limnTn(x)+limnTn(y)
      =T(x)+T(y)
donc T est linéaire
pour la continuité norm(T) supnnorm(Tn)
ou "norm désigne une norme sur l'ensemble des application linéaires continues"
donc T est continue
Merci pour vos vos idées

Posté par
Jygz
re : Operateur lineaires 26-05-15 à 02:07

Relis la définition de ce qu'est une application linéaire.

Pour ce qui est de la continuité, comment justifies-tu que ce supp n'est pas + l'infini ?

Posté par
carpediem
re : Operateur lineaires 26-05-15 à 10:43

salut

pour la continuité un classique :

T(x) - T(y) = T(x) - Tn(x) + Tn(x) - Tn(y) + Tn(y) - T(y)

puis traduire avec des epsilon le fait que :

x tend vers y
Tn tend vers T

...

Posté par
luzak
re : Operateur lineaires 26-05-15 à 23:31

Bonsoir carpediem.
Sans la limite uniforme je ne penses pas que ton procédé réussisse : pour obtenir |T_n(x)-T_n(y)|<\varepsilon avec une condition du genre |x-y|<\alpha ton \alpha va dépendre de n.

Posté par
luzak
re : Operateur lineaires 27-05-15 à 09:26

Bonjour !
Pour elhoussine12 : tu ne peux pas utiliser la notation "norm(T)" avant de démontrer la continuité.

Je pense que ce qui suit peut convenir pour la continuité, en notant \nu la norme de \mathcal{L}_c(X), espace des applications linéaires continues :
T_{n+p}-T_n est linéaire et continue. Il existe alors y\in X, de norme 1, tel que \nu(T_{n+p}-T_n)=\lVert T_{n+p}(y)-T_n(y)\rVert.
On en déduit que (T_n)_{n\in\N} est une suite de Cauchy dans \mathcal{L}_c(X). Comme cet espace est complet puisque X l'est, la limite T est bien dans l'espace \mathcal{L}_c(X).

Posté par
luzak
re : Operateur lineaires 27-05-15 à 09:30

Enfer et damnation !
Je me suis fait avoir : mon y dépend de n,p de sorte que pour la suite de Cauchy c'est pas gagné !
Il faut encore chercher mais je chercherais aussi un contre-exemple car j'ai des doutes avec juste l'hypothèse de convergence simple des T_n.

Posté par
Jygz
re : Operateur lineaires 27-05-15 à 10:17

Je comprends pas pourquoi tu te tues à démontrer quoique ce soit alors qu'il parle de continuité dans un EV de dimension infinie sans préciser de norme....

Posté par
WilliamM007
re : Operateur lineaires 27-05-15 à 11:33

Citation :
Je comprends pas pourquoi tu te tues à démontrer quoique ce soit alors qu'il parle de continuité dans un EV de dimension infinie sans préciser de norme....

Je pense qu'il est sous-entendu que la norme pour laquelle on cherche la continuité est la norme pour laquelle l'espace est complet.

Posté par
luzak
re : Operateur lineaires 27-05-15 à 12:42

Bonjour !
Si on dit "espace de Banach" je pense qu'il y a une norme de X qui induit une norme des applications linéaires continues (borne supérieure des images de la boule unité de X).
La convergence simple de T_n se fait selon la norme de X et il faut établir que cette limite s'obtient en fait dans l'espace des applications linéaires continues.

Comme on ne peut pas prendre à priori la norme de T_n-T (on n'est pas dans le bon espace) j'ai essayé de passer par une suite de Cauchy dans l'espace des applications linéaires continues (donc majorer \nu(T_n-T_{n+p})) puis, par limite sur p, obtenir la continuité de T_n-T donc celle de T

Il y a peut-être une astuce que je ne vois pas permettant (pour des applications linéaires) de passer des normes de T_n(0)-T(0) (la continuité en 0 de T suffit) à cette borne supérieure ?

J'ai bien un exemple de limite simple qui n'est pas continue mais, pour le moment, je n'arrive pas à prouver que les applications linéaires de ma suite sont continues.

Posté par
WilliamM007
re : Operateur lineaires 27-05-15 à 17:55

Bonjour.

Soit (y_{n})_{n} une suite qui tend vers 0.

|T(y_{n+p})-T(y_{n})|\leq |T(y_{n+p})-T_{k}(y_{n+p})|+|T_{k}(y_{n+p})-T_{k}(y_{n})|+|T_{k}(y_{n})-T(y_{n})|
|T(y_{n+p})-T_{k}(y_{n+p})|\leq \epsilon/3 pour k assez grand
|T_{k}(y_{n})-T(y{n})|\leq\epsilon /3 pour k assez grand
Et pour k assez grand fixé, par continuité de T_{k},
|T_{k}(y_{n+p})-T_{k}(y{n})|\leq \epsilon /3 à partir de n assez grand

Finalement, pour tout \epsilon >0, il existe un rang N, indépendant de p, à partir duquel on a toujours :
\forall n>N,\quad |T(y_{n+p})-T(y_{n})|\leq \epsilon

La suite (T(y_{n}))_{n} est donc de Cauchy, donc converge car l'espace est complet :
(y_{n}\to 0) \Rightarrow (T(y_{n})\to L\in\mathbb{R})

Reste à voir pourquoi L=0, ce qui prouverait la continuité de T en 0 et donc partout.

Posté par
carpediem
re : Operateur lineaires 27-05-15 à 19:21

c'est donc exactement ce que je dis ....

T(x) - T(y) = T(x) - Tn(x) + Tn(x) - Tn(y) + Tn(y) - T(y)

les première et dernière différences tendent vers 0 car T_n(x) --> T(x)  (et idem avec y)

la deuxième différence tend vers 0 par continuité de T_n (quand x --> y)

...

Posté par
luzak
re : Operateur lineaires 27-05-15 à 19:31

A William007 :

Citation :
|T_{k}(y_{n})-T(y{n})|\leq\epsilon /3 pour k assez grand

Comme tu n'as pas la convergence uniforme ton rang "assez grand" dépend de n et ce n'est pas le même pour y_{n+p} et tu peux rien en tirer à mon avis.

Je pense que ce qui suit est le schéma d'une démonstration :
Un espace complet vérifie la propriété de Baire : une intersection dénombrable d'ouverts denses est un ensemble dense.
Avec cette propriété on peut établir (mais je ne donne aucun détail*) : toute limite simple de fonctions continues admet au moins un point de continuité (en fait un ensemble dense de points de continuité).
Pour une application linéaire la continuité en un point suffit.

Je n'ai pas plus simple !

* : ceux qui disposent d'une bibliothèque bien garnie peuvent consulter le problème 7, partie 2, question 5 de l'ouvrage : Maths Xtrêmes chez Ellipses.

Posté par
luzak
re : Operateur lineaires 27-05-15 à 19:43

Bonsoir carpediem : je reprends ce que j'avais déjà écrit.
Les "tend vers" ne prouvent rien, il faut majorer par des \varepsilon.
La continuité de T_n s'écrit en FIXANT n mais tu ne peux assurer que les n convenant pour y (il y en aura une infinité) soient toujours les mêmes.

Plus détaillé : si la norme de  T_n(x)-T(x) se majore par  \varepsilon pour n>k l'entier k dépend de x : notons-le k(x).
Tu auras donc une infinité de k(y) sans assurance qu'il y en ait un plus grand que tous les autres.

Ce que tu essaies de faire c'est d'établir (ce qui est faux) la continuité pour une limite simple : prends le cas simple f_n(x)=x^n sur \R et écris explicitement tes inégalités, tu comprendras ce que je veux dire.

Posté par
carpediem
re : Operateur lineaires 27-05-15 à 20:17

oui il semble que tu ait raison .... effectivement ...

Posté par
WilliamM007
re : Operateur lineaires 28-05-15 à 02:32

Citation :
Comme tu n'as pas la convergence uniforme ton rang "assez grand" dépend de n et ce n'est pas le même pour y_{n+p} et tu peux rien en tirer à mon avis.

Oui bien vu... J'ai cru contourner le problème mais pas du tout x)



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1674 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !