24 lines
962 B
Markdown
24 lines
962 B
Markdown
up:: [[norme]], [[structure d'algèbre|algèbre]]
|
|
#s/maths/algèbre
|
|
|
|
> [!definition] norme d'algèbre
|
|
> Une norme $\|\|$ sur une $\mathbb{R}$-[[structure d'algèbre|algèbre]] $E$ est dite **norme d'algèbre** si :
|
|
> $\forall x, y \in E \quad \|x\cdot y\| \leq \|x\|\cdot \|y\|$
|
|
^definition
|
|
|
|
# Propriétés
|
|
|
|
# Exemples
|
|
|
|
> [!example] sur $\mathbb{R}^{n}$
|
|
> On peut munir $\mathbb{R}^{n}$ d'une structure d'algèbre en définissant $\times$ :
|
|
> $\forall x, y \in \mathbb{R}^{n},\quad x \times y = (x_1, x_2 , \dots ,x_{n}) \times (y_1, y_2, \dots, y_{n}) = (x_1y_1, x_2y_2, \dots, x_{n}y_{n})$
|
|
> le produit dimension par dimension.
|
|
> On peut alors vérifier que $\|\cdot\|_{\infty}$ la [[norme infini]] est une [[norme d'algèbre]] :
|
|
> On a pour $1 \leq k \leq n$ :
|
|
> $|x_{k}y_{k}| = |x_{k}| |y_{k}| \leq \|x_{k}\|_{\infty} \|y_{k}\|_{\infty}$
|
|
> Ainsi, en prenant le maximum, on obtient :
|
|
> $\|x_{k}y_{k}\|_{\infty} \leq \|x_{k}\|_{\infty}\|y_{k}\|_{\infty}$
|
|
|
|
|