• Aucun résultat trouvé

1. Soit E un espace vectoriel de dimension finie, K ⊂ E un compact convexe.

N/A
N/A
Protected

Academic year: 2022

Partager "1. Soit E un espace vectoriel de dimension finie, K ⊂ E un compact convexe."

Copied!
2
0
0

Texte intégral

(1)

TD DU 08/11/2010 ET DU 15/11/2010

1. Soit E un espace vectoriel de dimension finie, K ⊂ E un compact convexe.

Soit A un ensemble fini d’endomorphismes qui stabilisent K et qui commutent entre-eux. Pour a ∈ A on pose

a n = 1

n [Id E +a + · · · + a n−1 ].

Montrer que \

n∈ N

a∈A

a n (K) 6= ∅.

2. Soit E l’ensemble des suites complexes qui convergent vers 0 muni de k.k ∞ , Φ l’application lin´ eaire u ∈ E 7→

+∞

P

n=0

u n

2 n . On pose H = Ker Φ.

(1) Montrer que Φ est continue et calculer sa norme induite.

(2) Soit u n = 1

n + 1 , calculer Φ((u n )). Trouver la distance de u ` a H.

(3) Construire une suite (y p ) dans H tel que ku − y p k 6 d(u, H )(1 + 2 −p ).

1

(2)

TD DU 08/11/2010 ET DU 15/11/2010 1

Solution 1 On remarque que (Id E −a) ◦ a n = 1

n (Id E −a n+1 ) donc, si on pose x n = a n (x) pour x ∈ K alors (x n ) est born´ ee.

• K convexe ⇒ x n ∈ K ,

• K compact ⇒ x n born´ ee.

par cons´ equent (Id E −a) ◦ a n (x) → 0) et on sait que l’on peut extraire de la suite (x n ) un suite x ϕ(n) qui converge dans K vers x 0 . Alors (Id E −a)(x ϕ(n) ) → (Id E −a)(x 0 ) = 0 donc a(x 0 ) = x 0 . Il est alors facile de v´ erifier que a n (x 0 ) = x 0 donc K a = {x ∈ K | a(x) = x} est non vide et K a ⊂ \

n∈ N

a n (K).

On remarque en outre que K a est un compact (car K a ⊂ K born´ e et K a = (Id E −a) −1 (0) ferm´ e) convexe par lin´ earit´ e de a.

Soit a 0 ∈ A alors, pour x ∈ K a , a 0 (x) = a 0 ◦ a(x) = a ◦ a 0 (x) donc a 0 (x) ∈ K a donc a 0 (K a ) ⊂ K a . On peut donc appliquer le r´ esultat pr´ ec´ edent ` a a 0 et K a et par cons´ equent K a ∩ K a

0

6= ∅.

Par une r´ ecurrence imm´ ediate, on prouve que, si a 1 , a 2 . . . , a p sont des ´ el´ ements de A alors

p

\

i=1

K a

i

6= ∅.

Solution 2

(1) On a |Φ(u)| 6 kuk

+∞

P

n=0

1

2 n = 2kuk d’o` u Φ est continue et kΦk 6 2.

On consid` ere la suite (u p ) de E d´ efinie par u p n =

( 1 si n 6 p

0 si n > p alors, par un calcul imm´ ediat, on a Φ(u p ) = 1 − (1/2) p+1

1 − 1/2 = 2 − 2 −p → 2 d’o` u kΦk = 2.

(2) Φ(u) = 2 ln 2 (D.S.E. de ln(1 + x)). On utilise alors la formule d(u, H) = |Φ(u)|

kΦk = ln 2 : On a tout d’abord |Φ(u − y)| = |Φ(u)| 6 kΦk.ku − yk pour tout y ∈ H par cons´ equent

|Φ(u)| 6 kΦk d(u, H).

Soit maintenant a ∈ S(0, 1) tel que |Φ(a)| > kΦk − ε : on peut ´ ecrire u = y + Φ(u)α o` u α = a

Φ(a) et y ∈ H. Alors ku − yk = |Φ(u)|.kαk = |Φ(u)|

|Φ(a)| donc

d(u, H )(kΦk − ε) 6 ku − yk(kΦk − ε) 6 ku − yk.|Φ(a)| 6 |Φ(u)|

et ceci pour tout ε > 0 d’o` u l’in´ egalit´ e

d(u, H).kΦk 6 |Φ(u)|

ce qui permet de conclure ` a l’´ egalit´ e d(u, H ) = |Φ(u)|

kΦk .

(3) On reprend la d´ emonstration ci-dessus en prenant pour a la suite u p . Φ(u p ) = 2 − 2 −p d’o` u, avec y p = u − 2 ln 2

2 − 2 −p u p ,

ku − y p k(2 − 2 −p ) 6 |Φ(u)| = 2 ln 2 soit ku − y p k 6 ln 2

1 − 2 −p−1 = d(u, H )

1 − 2 −p−1 6 d(u, H )(1 + 2 1

p

).

Références

Documents relatifs

E peut s’´ ecrire comme la somme directe de deux sous-espaces f-stables de dimension 4 mais aucun bloc de la r´ eduite de Jordan de f a taille plus grande que 3.. E peut s’´

× ajoutant à cette matrice une colonne (resp. ligne) qui est une CL des autres colonnes (resp. lignes) de cette matrice,. × ajoutant à l’une des colonnes (resp. lignes) de cette

× ajoutant à l’une des colonnes (resp. lignes) de cette matrice une CL des autres colonnes (resp.. les colonnes) d’une matrice ne modifient pas son rang. Tous les autres blocs sont

Le point important ici est que f commute avec les endomorphismes dont on considère le noyau.. Par le calcul de rang déjà fait, les deux images sont de

En précisant les coordonnées dans E , calculer une base vériant la condition pré-

(Eexo62.tex) L’ensemble des suites de nombres r´ eels qui convergent vers 1 est-il un sous espace vectoriel de l’es- pace des

Montrer que le noyau de f est de dimension

Montrer que le noyau de f est de dimension