Chap 1 : Espaces vectoriels normés

Chap 1 : Espaces vectoriels normés

Inégalités classiques
1/ 2 1/2
n
 n 2  n 2
Cauchy-Schwarz : ((ui )i ,(vi )i )  ( n 2
) 
i 1
u v
i i    i    | vi | 
 i 1
| u |
  i 1 
(xi2 )(yi2 )  (xi yi )2  0
1/ 2 1/2 1/2
 n   n   n 
Minkowski (I) : ((ui )i ,(vi )i )  ( )   | ui  vi |2 
n 2
   | ui |2     | vi |2  (mettre 2  CS )
 i 1   i 1   i 1 
1
max
( xi )i [0,1]n
x x
i j
i j  1
n
( xi )2  1   xi x j , yi  1  1   xi yi  x 2
i n

1 1 1 1
( p, q) ]1; [ 2 tq   1, ( ,  )  
2
,    p   q
p q p q

1 1
Holdër : ( p, q) ]1; [ 2 tq  1
p q
1/ p 1/ q
n
 n p   n q  xi yi
((ui )i ,(vi )i )  ( n 2
) 
i 1
u v
i i    | ui | 
 i 1 
  | vi | 
 i 1 
(lemme  sur
( ( xi )) ( ( xiq ))1/ q
p 1/ p
)

1 1  n
 n
 n 
1/ p
 xi 
  1, S  ( yi )i  n
/  y  1 q
( xi )i  n
 max  xi yi    xip   yi  
( xi p )1/ q
 i 
p q  i 1  ( yi )i S
i 1  i 1   
1/ p 1/ p 1/ p
 n   n   n 
Minkowski (II) : p ]1; [ ((ui )i ,(vi )i )  ( n 2
)  | ui  vi | p    | ui | p    | vi | p 
 i 1   i 1   i 1 

1
Inégalité arithmético-géométrique : ( x1...xn )  
n
, n x1...xn  ( x1  ...  xn )
n

I. Normes
E est un  ev avec E  ou

Une norme sur E est une application N : E   vérifiant :

( N1 ) x  E , N ( x)  0  x  0 (séparation)
( N2 ) x  E ,   , N ( x) |  | N ( x)
( N3 ) ( x, y )  E 2 N ( x  y )  N ( x)  N ( y ) (sous-additivité / inégalité triangulaire)
( E , N ) est alors un espace vectoriel normé (evn)

Une application p : E   vérifiant ( N1 ) et ( N2 ) est une semi-norme

* Convexité :   [0,1], ( x, y )  E 2 N ( x  (1   ) y )   N ( x)  (1   ) N ( y )
* ( x, y )  E 2 , | N ( x)  N ( y ) | N ( x  y ) N est 1  lipschitzienne pour elle-même
* Sur la droite x , il y a 2 vecteurs normés si  , une infinité si  (cercle unité)

 | f | 
1/2
  | f | (CV en moyenne)
b b
Sur C pm ([a, b], ), a  b f 1
f 2
 2
(CV en moyenne quad)
a a

1
et 2
sont des semi-normes sur C pm ([a, b], ), ce sont des normes sur C ([a, b], )

Fiches de maths - MP* - http://evarin.fr/ - 1

Chap 1 : Espaces vectoriels normés

Une distance sur X (ensemble) est une application d : X 2   vérifiant :

(d1 ) ( x, y )  X 2
d ( x, y )  0  x  y
(d 2 ) ( x, y )  X 2
d ( x, y )  d ( y , x )
(d3 ) ( x, y, z )  X 3
d ( x, y )  d ( x , z )  d ( z , y )
( X , d ) est alors un espace métrique

II. Boules, sphères, parties bornées

( E, ) evn. Sur E 2 , on pose d ( x, y)  x  y ( X , d ) espace métrique

Soient (a, r )  E   (i) r  0 La boule ouverte de centre a et de rayon r : B(a, r )  {x  E / d (a, x)  r}

(ii) La boule fermée de centre a et de rayon r : B(a, r )  {x  E / d (a, x)  r}
(iii) La sphère de centre a et de rayon r : S (a, r )  {x  E / d (a, x)  r}

Soit A  X . On a équivalence entre :

(1) Il existe une boule ouverte B(a, R) de X qui contient A
(2) a  X , R  0 tq A  B(a, R)
(3) {d ( x, y} / ( x, y )  A2 } est borné
On dit alors que A est une partie bornée de X

Diamètre d'une partie bornée A de X : diam( A)  d ( A)  sup d ( x, y )   diam()  0

( x , y )A2

La notion de borné dépend de la norme en dimension infinie

III. Fonctions bornées, lispschitziennes

X ensemble, E evn. Une fonction f : X  E est bornée si : M  0 tq x  X , f ( x)  M
On pose f 
 sup f ( x)
xX

 f maj : M  / x  X , f ( x)  M
E 
 f bornée  f maj et min

( xn )n est bornée si M  0, n  , xn  M

Si ( xn )n non bornée,  :  stt croissante tq x ( n ) 

n

En dimension infinie, la notion de convergence dépend de la norme

A  ( E, E
) evn, ( F , F
) evn. f : A  F est k  lispschitzienne si
( x, y )  A2 , f ( x)  f ( y) F
k x y E
k est le rapport de Lispschitz de f

IV. Convergence des suites dans un evn

( E, ) evn

( xn )n  E converge lorsqu'il existe l  E tel que   0, n  , n  n , xn  l  

( xn ) CV vers l  ( xn  l )n tend vers 0 dans

Fiches de maths - MP* - http://evarin.fr/ - 2

Chap 1 : Espaces vectoriels normés

La limite est unique, si elle existe : on la note lim xn

n

Une suite convergente est bornée. La limite suit les combinaisons linéaires.
 ou
Une algèbre ( A, , , ) est telle que ( A, , ) est un  ev
est une application bilinéaire de A  A vers A

i.e : x  A, y x y est linéaire, y y x aussi, et se développe comme un produit (non comm.)

L'algèbre est commutative si l'est, associative si l'est, unitaire si admet un élément neutre

) est un evn et : ( x, y)  A2 , x y  x y ( x n  x )
n
( A, ) est une algèbre normée si ( A,

B( X , )  { f  F( X , ) bornée} munie des lois naturelles et de 

A algèbre normée. (( xn )n ,( yn )n )  ( An )2 , lim xn  l , lim yn  l  xn yn converge vers l l '

n n

V. Convergence dans les espaces de fonctions

X ensemble, E evn

( f n ) n  F ( X , E ) converge simplement si, x  X , ( f n ( x)) n converge

 X  E
f est la limite simple de ( f n )n
 x nlim

f ( x)

Convergence simple  x  X ,   0, nx,  / n  nx, , f n ( x)  f ( x)  

( f n )n  F ( X , E ) converge uniformément vers f lorsque :

  0, n  / n  n , x  X , f n ( x)  f ( x)   ( sup f n ( x)  f ( x)   )
xX

La convergence uniforme implique la convergence simple. La réciproque est FAUSSE

 f n  f bornée à partir d'un certain rang

f n 
CVU
f 
 fn  f   0


b
( f n )n  C ([a, b], ) converge en moyenne vers f  C ([a, b], ) lorsque : f n  f 1
 0   | fn  f |  0
a

 
b 1/2
( f n )n  C ([a, b], ) converge en moyenne quadratique vers f lorsque : f n  f 2
0 | f n  f |2 0
a

Ces notions sont distinctes : CVU  CVMQ  CVM mais l'inverse est faux
 n   n 
Césaro : ( xn )n  E  l  , ( k ) k  ( *
 ) tq ( k ) k    ( yn ) n     k xk  /   k   CV vers l
  k 1   k 1  n
2
b I n1 n I n1
f  C ([a, b], ), I n   f n  ~ In  f   f n  (  f n1 )(  f n1 )   f 
a In In
ln + Cesaro  mm lim, I n  M (b  a)1/ n  M
un up
un  m  u n  u m  CV dans  {} Div euclid, l  inf
n p * p
Fiches de maths - MP* - http://evarin.fr/ - 3
Chap 1 : Espaces vectoriels normés

VI. Extractions, valeurs d’adhérence

Un extraction est une application  :  strictement croissante

La composée de 2 extractions est une extraction. Si  extraction, n  , (n)  n

A partie infinie de . Il existe  extraction telle que A   ( )

 (0)  min A  (n)  min( A \ { (0)... (n 1)})  surj : p.absurde : a  A \  ( )  a  

X un ensemble

v  X est extraite de u  X s'il existe  :  strictement croissante tq : n  , vn  u ( n )

u non majorée   extraction tq u ( n ) strictement croissante  

u  0    0,  extraction tq n, u ( n )  

// HP //
Procédé diagonal : (apcr = à partir d’un certain rang)
(k ) k famille d'extractions.  extraction tq  soit extraite apcr de TOUTES les extractions 0 ...  p
i.e p  , N p  ,  p extraction tq n  N p ,  (n)  (0 ...  p )  p (n)
par exemple :  : n 0 ... n (n)

VII. Valeurs d’adhérence

u  E , a  A. On a équivalence entre :
   0, N  , n  N / un  a  
   0, {n  / un  a   } est infini
  extraction tq (u ( n ) ) n converge en a
a est alors appelée valeur d'adhérence de u

Si (un )n converge vers l , l est l'unique valeur d'adhérence de (un )n

(un )  possède au moins une sous-suite monotone

Preuve : A  {n  / k  n, uk  un } Si , A   ( ) avec  extraction. Si fini, A maj con str par rec

Bolzano-Weierstrass : Toute suite réelle bornée possède au moins une valeur d'adhérence

Toute suite réelle possède une valeur d'adhérence dans .

p
Toute suite complexe bornée possède au moins une valeur d'adhérence. Idem pour

(un )n suite réelle bornée. (un )n converge  (un )n possède AU PLUS une valeur d'adhérence

Preuve :  (un ) non CV vers a unique v.a.  (u ( n ) ) tq n, u ( a )  a    bornée+BW 2 e v.a 

VIII. Suites de Cauchy

( E, ) evn. u  E est de Cauchy si :   0, n  / (m, n)  2
,(m  n et n  n  un  um   )

Toute suite convergente est de Cauchy. Toute suite de Cauchy est bornée.

Fiches de maths - MP* - http://evarin.fr/ - 4

Chap 1 : Espaces vectoriels normés

u  E de Cauchy. u convergente  u possède au moins une valeur d'adhérence

L'evn ( E, ) est complet si toute suite de Cauchy converge

n
, ,( , 
) sont complets

IX. Suites récurrentes réelles


Si f , (un ) est monotone
un1  f (un )  

Si f ,f f et (u2 n ), (u2 n1 ) sont monotones

A  ( E, ) f : A  E est strictement contractante si : k ]0,1[, ( x, y)  A2 , f ( x)  f ( y)  k x  y

Si f :[a, b]  [a, b] est strictement contractante, !l [a, b] tq f (l )  l

u0  [a, b]
De plus, toute suite (un )n  n
telle que  est correctement définie et converge vers l
un1  f (un )

Preuve : g  f  Id + TVI. | un1  l || f (un )  f (l ) | k | un  l | k n1 | u0  l |

I intervalle de . f C 1 ( I , I )
// HP //
Points attractifs, répulsifs : l point fixe de f . On dit que l est :
 attractif si | f '(l ) | 1
 neutre si | f '(l ) | 1
 répulsif si | f '(l ) | 1
 (i ) Si l est attractif,   0 tq J  [l   ; l   ]  I soit stable par f
Pour toute suite u telle que u0  J et un1  f (un ), u converge vers l
(ii ) Si l est répulsif et si u  I vérifie (n, un1  f (un ) et (un )  l ) , la suite u est stationnaire

Preuve : i)k tq | f '(l ) | k  1. f C  J / x  J ,| f ( x)  f (l) |  | f '( c ) || x  l |  k

1
EAF J

un1  l u l
ii) ABS : n, un  l , | f '(l ) | .k tq | f '(l ) | k  1. Pour n grand : n1  k | un p  l | 
un  l un  l

Techniques utiles :
1 1
Pour avoir un équivalent d'une suite un1  f (un ), chercher  tel que 
 converge
un1 u n
Pour étudier une expression du type | z n1  z n | , penser à diviser par | z n | ...

Fiches de maths - MP* - http://evarin.fr/ - 5