• 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

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

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