
2 FONCTIONS DE PLUSIEURS VARIABLES
Proposition 1.3. L’application
∶ (, ) ∈ ×↦d⋅(, )
vérifie les propriétés suivantes :
pour tout , ,  ∈,
— (séparation) d(, )=0si et seulement si =,
— (inégalité triangulaire) d(, )d(, ) + d(, ).
Une application ∶×→ℝ+vérifiant les propriétés précédentes est appelée distance.
Définition 1.4. Soient ∈et ∈ℝ+.
La boule ouverte de centre et de rayon est le sous-ensemble de :
(, )={∈∶ d(, )< }.
La boule fermée de centre ∈et de rayon ∈ℝ+est le sous-ensemble de :
(, )={∈∶ d(, )}.
Exemple 1.5.La valeur absolue définit une norme sur
ℝ
:
∶↦
. La distance induite est
d(, ) = −
. Les boules ouvertes sont les intervalles ouverts
]−,  +[
. Les boules fermées
sont les intervalles fermés [−,  +].
Toutes les normes sur
ℝ
sont un multiple non nul de la valeur absolue : si
∶ℝ→ℝ+
est une
norme, alors par homogénéité on a pour tout
∈ℝ
,
() = (× 1) = (1)
et par séparation,
on a (1) >0.
En dimension supérieure, une façon de définir une norme est d’utiliser un produit scalaire : si
(, (⋅∣⋅))
est un espace préhilbertien, alors c’est également un espace vectoriel normé, muni de la
norme euclidienne associée,
∀∈, =(∣).
Lorsque qu’une norme est ainsi associée à un produit scalaire, on parle de norme euclidienne.
Par exemple la valeur absolue est une norme euclidienne.
Dans
ℝ
, la norme euclidienne standard est la norme associée au produit scalaire canonique,
c’est à dire la norme :
(1,…, )=
=1
2
,∀(1,…, ) ∈ ℝ.
On l’appelle parfois la norme euclidienne.
Dans
ℝ
, nous pouvons généraliser la norme euclidienne en une famille de normes dépendant
d’un paramètre
∈ [1,+∞]
qui ne sont néanmoins pas euclidiennes sauf dans le cas
= 2
(ou en
dimension 1) :
Proposition 1.6. Dans ℝ, les quantités définies pour tout = (1,…, )par
=
=11
si ∈ [1,+∞),
∞= sup1si = ∞,
définissent des normes sur ℝ.
Démonstration.
Il est facile de montrer que les quantités précédentes vérifient la propriété de
séparation et celle d’homogénéité. L’inégalité triangulaire est également facile dans le cas
= ∞
:
(1,…, )+(1,…, )∞= sup{1+1,…,+}
sup{1,…,} + sup{1,…,}
=(1,…, )∞+(1,…, )∞.
Dans le cas ∈ [1,+∞[, nous devons montrer l’inégalité de Minkowsky :
=1
(+)1
=1 1
+
=1 1
,∀= (1,…, ),  = (1,…, ) ∈ ℝ.