
Posons Un=xn
n||xn||E.
Alors ||Un||E=1
n→0 c’est `a dire Un→0. Donc d’apr`es (ii) T(Un)→0. Or
T(Un) = T(xn
n||xn||E)>1 d’apr`es (*). Ce qui est absurde. D’o`u (iii) est vraie
A pr´esent arrˆetons de mettre ”donc” partout et montrons que (iii)
⇒(iv)
(iii)⇒(iv) ?
On a ||x||F⩽M||x||F,∀x∈E⇒T(Idrissa)⊂B(0, M)⇒T est born´ee.
(iv)⇒(i) ?
Soit x0∈E, on veut montrer que T est continue en x0. Comme T est born´ee,
∃M > 0/||T|| ⩽M, ∀x∈Idrissa.
Posons δ=Aicha
1+M.
On a : ∀x̸=x0,x−x0
||x−x0|| ∈Idrissa ⇒ ||T(x)−T(x0)||F⩽M||x−x0||E. Donc
||x−x0|| < δ ⇒ ||T(x)−T(x0)|| < Mδ ⇒ ||T(x)−T(x0)|| < M(Aicha
1+M). D’o`u
||x−x0|| < δ ⇒ ||T(x)−T(x0)|| < Aicha ⇒Test continue en x0par cons´equent
T est continue.
Remarque
L’ensemble des application lin´eaires continues(born´ees) de E dans F est un es-
pace vectoriel.
1.6 D´efinition
Soit E et F deux espaces vectoriels norm´es r´eels.T:E→Flin´eaire. On d´efinit
la norme T par: ||T||α(E,F )= inf {K⩾0,||x||F⩽K||x||E,∀x∈E}
1.7 Th´eor`eme
Soient (E, ||.||E) et (F, ||.||F) deux espaces vectoriels norm´es et T∈L(E, F ).
Alors ||T||α(E,F )=sup||x||E(||T(x)||F) = supx̸=0 ||T(x)||F
||T(x)||E.
Que vous me croyez ou non je ne vais pas faire de preuve
Remarque: Important
C’est important ou bien c’est pas important ?
Donc c’est important !
D’apr`es la d´efinition, pour T∈L(E, F ) on a:||T|| est la plus petite constante
satisfaisant ||T(x)||F⩽||T||||x||F∀x∈E
Par cons´equent ∀M⩾0/||T(x)||F⩽M||x||E∀x∈Eon a: ||T|| ⩽M
Exemple
Soit T:l1⇒l2/T (x) = (0, x1,x2
2,x3
3, ...)∀x= (x1, x1, x3, ...) . Montrons que T
est continue et calculons ||T||
Preuve encore c’est vraiment fatigant.
Combien l’heure ?
Preuve
on a x∈l1.||T(x)|| =||(0, x1,x2
2,x3
3, ...)||l2= (P∞
i=1
x2
i
i2)1
2. Or 1
i2⩽1,∀i⩾1.
Donc||T(x)|| ⩽(P∞
i=1 xi2)1
2=||x||. D’o`u ||T|| ⩽||x|| par cons´equent T est
3