Donc ‖U ‖ est bien une norme sur l’espace Rn

Exercice 1 :

On considère l’espace euclidienne réel Rn soit

Exercice 2 :
u1

()
u2 On considère l’espace euclidienne réel C n soit
u= . on défini ‖u‖ par :
.
u1
.

()
un u2
u= . on défini ‖u‖ par :
n 1
.
‖U‖= (∑ ) i
ui 2 2 .
un

Vérifiez que ‖U ‖ est bien une norme sur l’espace Rn n 1

Réponse :
‖U‖= ( ∑|ui|
i
2 2
)
1) Soit λ ∈C et ∀ u ∈ Rn Vérifiez que ‖U ‖ est bien une norme sur l’espace C n

Réponse :
On a ‖λ u‖=¿ ¿
n 1
Soit λ ∈C et ∀ u ∈C n
¿ ( ∑ λ2 u i 2
i
) 2 4)

n 1 On a ‖λ u‖=¿ ¿
¿√λ
( ) 2
∑ ui
i
2 2

¿ (
n

∑ |λ| |ui| 2
1
2 2
)
n 1 i
¿λ | |(∑ ) ui 2 2
n 1

¿|λ|‖u‖
i
(∑ | | )
¿ √|λ|
2

i
ui
2 2

n 1
2) Soient U , V ∈ Rn
| |(∑ | | )
2 2
2 2 2
¿λ ui
On a ‖u+ v‖ =‖u‖ +‖v‖ + 2 ⟨ u|v ⟩ i

Par inégalité de Cauchy-Schwarz ¿|λ|‖u‖

⟨ u|v ⟩ ≤|⟨ u|v ⟩|≤‖u‖‖v‖ 5) Soient U , V ∈ Cn
2 2 2
D’où On a ‖u+ v‖ =‖u‖ +‖v‖ + 2 ⟨ u|v ⟩
‖u+ v‖2 ≤‖u‖2+‖v‖2+2‖u‖‖v‖=(‖u‖+‖v‖)2 Par inégalité de Cauchy-Schwarz
⟨ u|v ⟩ ≤|⟨ u|v ⟩|≤‖u‖‖v‖
Et donc
D’où
‖u+ v‖2 ≤‖u‖2+‖v‖2 ‖u+ v‖2 ≤‖u‖2+‖v‖2+2‖u‖‖v‖=(‖u‖+‖v‖)2

Et donc
3) Soit u ∈ R n tel que ‖u‖=0

d’où
‖u+ v‖2 ≤‖u‖2+‖v‖2

n 1
6) Soit u ∈C n tel que ‖u‖=0
‖U‖= ( ) ∑ ui2 2 =0
i
d’où
n
n 1
⇒ ∑ u i2 =0
i
‖U‖= ( ∑|ui| 2 =0
i
2
)
n
ui2 ≥0 implique ∑ u i2=0 ssi ui=0
i
 n
2
⇒ ∑|ui| =0
i

n
2 2
|ui| ≥ 0 implique ∑|ui| =0 ssi
i

|ui|=0 ⇒ ui =0
Donc ‖U ‖ est bien une norme sur l’espace C n

Exercice 3 :

On considère l’espace de fonctions continues C ( [ a , b ] )

f : x ∈ [ a , b ] → f ( x)

On défini ‖f ‖ par :

b
‖f ‖=∫ |f ( x)|d x
a

Vérifiez que ‖f ‖ est bien une norme sur l’espace C ( [ a , b ] )

Réponse :

1) Soit λ ∈C et ∀ f ∈C ( [ a , b ] )

b b b
‖λ f ‖=∫ |λ f (x)|d x=∫|λ||f (x )|d x=| λ|∫|f (x)|d x=|λ|‖f ‖
a a a

2) Soient f et g ∈C ( [ a , b ] )
b b b b
‖f + g‖=∫|( f + g )( x )|d x=∫ |f ( x ) + g(x )| d x ≤ ∫|f ( x )|d x+∫|g ( x )|d x ≤‖f ‖+‖g‖
a a a a
(Inégalité triangulaire)
3) Soit f ∈ C ( [ a , b ] ) tq ‖f ‖=0
D’où
b
‖f ‖=∫ |f ( x )|d x =0
a

Or |f ( x )|≥ 0

b
Donc ∫|f ( x )| d x=0 ⇒|f ( x )|=0
a

⇒ f ( x ) =0

Donc ‖f ‖ est bien une norme sur l’espace C ( [ a , b ] )