Identité de polarisation

En mathématiques, les identités de polarisation concernent l'algèbre multilinéaire. Elles correspondent à une caractérisation des formes bilinéaires symétriques, des formes hemitiennes et des formes sesquilinéaires. Si E est un espace vectoriel, ces formes sont des applications de ExE dans le corps des scalaires (réels ou complexes). Elles sont intégralement caractérisées par leur comportement sur la diagonale, c'est-à-dire par la connaissance d'une telle forme φ sur l'ensemble des points (x, x) où x est un élément quelconque de E. L'application qui à x associe φ(x, x) est la forme quadratique associée.

Il existe ainsi une équivalence entre les formes bilinéaires symétriques et les formes quadratiques. Une identité de polarisation permet d'exprimer une forme bilinéaire symétrique ou une forme sesquilinéaire (à gauche) à partir de la forme quadratique associée.

Sommaire

1 Identités de polarisation
2 Correspondance entre formes bilinéaires symétriques et formes quadratiques
3 Normes issues d'un produit scalaire
- 3.1 Cas réel
- 3.2 Cas complexe
4 Notes et références
- 4.1 Sources
5 Liens externes

Identités de polarisation

Les Identités de polarisation sont de deux types différents, celles qui s'appliquent sur les formes bilinéaires et celles pour les formes sesquilinéaires.

Formes bilinéaires symétriques

Le contexte des identités de polarisation est celui d'un espace vectoriel E quelconque sur un corps K commutatif et de caractéristique différente de deux. Soit φ une forme quadratique sur E, non nécessairement définie et non nécessairement positive (si le corps K est ordonné).

Définition — On appelle identités polaires, chacune des trois égalités suivantes, qui définissent l'unique forme bilinéaire symétrique ψ de ExE dans K telle que $ψ(x, x) = φ(x)$ :

$\forall x,y\in E\quad \psi(x,y) = \frac12\bigl(\varphi(x+y)-\varphi(x)-\varphi(y)\bigr)$

$\forall x,y\in E\quad \psi(x,y) = \frac12\bigl(\varphi(x)+\varphi(y)-\varphi(x-y)\bigr)$

$\forall x,y\in E\quad \psi(x,y) = \frac14\bigl(\varphi(x+y)-\varphi(x-y)\bigr)$

En particulier, soit E un espace préhilbertien réel dont la norme d'un vecteur x est notée : $\scriptstyle {\|x\|}$ et le produit scalaire de deux vecteurs x et y : $\scriptstyle {(x|y)}$ . Les deux égalités suivantes sont vérifiées :

$\forall x,y \in E \quad (x|y) = \frac12\bigl(\|x+y\|^2-\|x\|^2-\|y\|^2\bigr)\;\text{ou}\quad (x|y)= \frac14 \bigl( \|x+y\|^2 -\|x-y\|^2\bigr)$

Ces résultats proviennent de la propriété suivante, si ψ est une forme bilinéaire de ExE quelconque :

$\forall x,y\in E\quad \psi(x+y,x+y) = \psi(x,x) + \psi(y,y) + \psi(x,y) + \psi(y,x)$

Et l'application qui à (x, y) associe ½(ψ(x, y) + ψ(y, x)) est symétrique.

Formes sesquilinéaires et formes hermitiennes

Si le corps K sous-jacent à E n'est pas R mais est, comme lui, muni d'une valeur absolue, la notion de norme conserve un sens. Si K est l'ensemble des nombres complexes, la « valeur absolue » est le module. De ce point de vue, la notion de forme sesquilinéaire est l'analogue, sur un espace vectoriel complexe, de celle de forme bilinéaire sur un espace vectoriel réel. Dans ce paragraphe E est un espace vectoriel complexe.

Soit f une forme sesquilinéaire à gauche (non nécessairement hermitienne) sur E. On note $φ(x) = f (x, x)$ la forme quadratique associée :

Définition — On appelle formule de polarisation^[1] ou forme polaire de $φ$ ^[2] l'égalité suivante, permettant de retrouver la forme sesquilinéaire à gauche f de ExE dans C :

$\forall x,y\in E\quad f(x,y) = \frac14\bigl(\varphi(x+y)-\varphi(x-y)+ i\varphi(x-iy)-i\varphi(x+iy)\bigr)$

Ici i désigne l'unité imaginaire.

Formes hermitiennes

On ne trouve une forme hermitienne que si la forme f de départ était hermitienne (à gauche).
Si la fonction $φ$ est réelle, $\varphi (x)\in \mathbf R$ , et si $φ( - x) = φ(x)$ , la formule de polarisation montre que f est nécessairement hermitienne :

$f(y,x)=\overline{f(x,y)}$ .

La dernière remarque sur les formes bilinéaires symétriques s'applique encore si E est un espace préhilbertien complexe et avec les notations du paragraphe précédent (et une forme hermitienne à gauche) :

$\forall x,y \in E \quad (x|y) = \frac14 \bigl( \|x+y\|^2 -\|x-y\|^2 + i\|x-iy\|^2 -i\|x+iy\|^2\bigr)$

Autres formules, cas des formes sesquilinéaires à droite

Si la forme de départ était sesquilinéaire à droite, la formule de polarisation serait la suivante :

$\forall x,y\in E\quad f(x,y) = \frac14\bigl(\varphi(x+y)-\varphi(x-y)+ i\varphi(x+iy)-i\varphi(x-iy)\bigr)$

Il existe d'autres formules de polarisation (données ici pour une forme sesquilinéaire à droite^[2]) :

$\forall x,y\in E\quad f(x,y) = \frac12\bigl(\varphi(x+y)+i\varphi(x+iy)-(1+i)(\varphi(x)+\varphi(y))\bigr)$

$\forall x,y\in E\quad f(x,y) = -\frac12\bigl(\varphi(x-y)+i\varphi(x-iy)-(1+i)(\varphi(x)+\varphi(y))\bigr)$

Pour une forme hermitienne positive (la positivité n'est pas obligatoire), à partir des formules précédentes, on obtient en isolant la partie réelle :

$\begin{array}{l} \text{Re}\langle u, v \rangle = \frac{1}{2}\left(\|u+v\|^2 - \|u\|^2 - \|v\|^2\right), \\[3pt] \text{Re}\langle u, v \rangle = \frac{1}{2}\left(\|u\|^2 + \|v\|^2 - \|u-v\|^2\right), \\[3pt] \text{Re}\langle u, v \rangle = \frac{1}{4}\left(\|u+v\|^2 - \|u-v\|^2\right). \end{array}$

Pour la partie imaginaire d'une forme hermitienne (positive) à droite :

$\begin{array}{l} \text{Im}\langle u, v \rangle = \frac{1}{2}\left(\|u+iv\|^2 - \|u\|^2 - \|v\|^2\right), \\[3pt] \text{Im}\langle u, v \rangle = \frac{1}{2}\left(\|u\|^2 + \|v\|^2 - \|u-iv\|^2\right), \\[3pt] \text{Im}\langle u, v \rangle = \frac{1}{4}\left(\|u+iv\|^2 - \|u-iv\|^2\right). \end{array}$

Correspondance entre formes bilinéaires symétriques et formes quadratiques

L'application qui, à une forme bilinéaire symétrique (resp. une forme sesquilinéaire à gauche) associe sa forme quadratique est un monomorphisme d'espaces vectoriels. La forme polaire correspond à l'isomorphisme réciproque.

Normes issues d'un produit scalaire

Il est possible d'aller plus loin à l'aide de la règle du parallélogramme.

Cas réel

Dans ce paragraphe E désigne un espace vectoriel réel. Si φ est une forme quadratique, elle vérifie l'égalité suivante dite, règle du parallélogramme :

$\forall x,y \in E \quad \varphi(x+y) + \varphi(x-y) = 2\bigl( \varphi(x) + \varphi(y)\bigr)$

Il est naturel de se poser la question de savoir ce qu'il en est d'une norme quelconque satisfaisant cette égalité :

Théorème de Fréchet-Von Neumann-Jordan cas réel^[3] — Soit N une norme de E. N dérive d'un produit scalaire si et seulement si elle respecte l'identité du parallélograme. Ce produit scalaire est alors unique, et est donné par l'identité de polarisation :

$\forall x,y \in E \quad \varphi (x,y) = \frac 14 \Big( N(x+y)^2 -N(x-y)^2 \Big)$

Il n'est pas nécessaire d'imposer à N d'être une norme. Il suffit qu'elle soit strictement positive sur tout vecteur de E non nul, nulle pour le vecteur nul et continue.

Démonstration

Si λ est un scalaire et x un vecteur de E, alors :

$N(\lambda \cdot x) = |\lambda |\cdot N(x)$

Montrons dans un premier temps que l'image de -x par N est celle de x :

$N(0 + x)^2 + N(0 -x)^2 = 2\Big( N(0)^2 + N(x)^2\Big)\quad \text{et}\quad N(x) = N(-x)$

On vérifie que N(0.x) est égal à zéro, N(1.x) est égal à N(x) et par récurrence, N(n.x) =n.N(x) en effet :

$N((n+1)\cdot x)^2 = 2N(n\cdot x)^2 + 2N(x)^2 -N((n-1)\cdot x)^2=(2n^2+2-(n-1)^2)N(x)^2=(n+1)^2N(x)^2\quad \text{et}\quad N((n+1)\cdot x)=(n+1)N(x)\;$

Si y est égal à n.x, alors les résultats précédents montrent que :

$\forall y \in E,\; \forall n \in \mathbb N^* \quad N(\frac 1ny)=\frac 1n N(y)$

Les trois derniers résultats montrent que :

$\forall x \in E,\; \forall q \in \mathbb Q \quad N(q\cdot x)=|q|\cdot N(x)$

La continuité de N, ainsi que le fait que l'ensemble des nombres rationnels est dense dans R montre le résultat recherché.

Si x et y sont deux vecteurs de E tel que N(x + y)² = N(x)² + N(x)², alors pour tout λ et $μ$ réels, N(λx + μy)² = λ²N(x)² + μ²N(x)² :

Si λ est nul, la proposition est une conséquence directe de la proposition précédente. Montrons que la proposition est vraie si λ est égal à un. Elle est vraie si μ est égal à zéro ou un. Supposons qu'elle est vraie jusqu'à p et montrons-la pour p + 1:

$N(x + (p+1)\cdot y)^2 = 2N(x + p\cdot y)^2 +2N(y) -N(x+(p-1)\cdot y)=N(x)^2+(p^2+2p+1)\cdot N(y)=N(x)^2+(p+1)^2\cdot N(y)$

Ce qui montre le résultat par récurrence. Un raisonnement analogue au précédent montre que le résultat est vrai pour tout réel. Si λ est différent de zéro:

$N(x + \frac{\mu}{\lambda}\cdot y)^2=N(x)^2+\Big(\frac{\mu}{\lambda}\Big)^2N(y)^2$

On en déduit :

$N(\lambda\cdot x + \mu \cdot y)^2 = \lambda^2\cdot N(x + \frac{\mu}{\lambda}\cdot y)^2= \lambda^2\cdot N(x)^2+ \mu^2 \cdot N(y)^2$

L'expression de l'application N est donc simple dans le cas où x et y sont orthogonaux c'est-à-dire si le carré de l'image de la somme de x et y est égal à la somme des carrés des images.

Si x et y forment une famille libre, alors il existe deux vecteurs orthogonaux et normés e₁ et e₂ tel que l'espace engendré par ces deux vecteurs contient x et y :

le vecteur x est non nul car il appartient à une famille libre. Soit e₁ le vecteur égal à 1/N(x).x. Considérons l'application f du segment [-1, 1] dans E définie par :

$\forall \lambda \in [-1,1] f(\lambda)= \lambda e_1 + (1 - \lambda^2)y$

Considérons la fonction g du segment [-1, 1] dans R définie par :

$\forall \lambda \in [-1,1] \quad g(\lambda)=\varphi (e_1,f(\lambda))$

Ici φ désigne l'identité polaire associée à la fonction N :

$\forall \xi_1,\xi_2 \in E \quad \varphi(\xi_1,\xi_2)=\frac 12 \Big(N(\xi_1+\xi_2)^2-N(\xi_1)^2 -N(\xi_2)^2\Big)$

La fonction g est continue, de plus g(-1) = -1 et g(1) = 1, il existe donc une valeur λ₀ tel que g(λ₀) est égal à zéro. Définissons e₂ comme un vecteur normalisé et colinéaire à f(λ₀). La proposition précédente montre que la famille (e₁, e₂) vérifie les propriétés requises.

L'application φ est bilinéaire symétrique définie positive si E est de dimension deux :

La proposition précédente montre l'existence d'une base (e₁, e₂) orthonormée. Soit x (resp. y) un vecteur de E, Soit α₁ et α₂ (resp. β₁, β₂) les coordonnées de x (resp. y) dans la base, alors :

$\varphi(x,y)= \frac 12\Big(N((\alpha_1+\beta_1)\cdot e_1+(\alpha_2 + \beta_2)\cdot e_2)^2-N(\alpha_1\cdot e_1+\alpha_2\cdot e_2)^2-N(\beta_1\cdot e_1+\beta_2\cdot e_2)^2\Big)$

La deuxième proposition montre que :

$\varphi(x,y)=\frac 12\Big((\alpha_1+\beta_1)^2 + (\alpha_2 + \beta_2)^2 -\alpha_1^2 -\beta_1^2-\alpha_2^2 -\beta_2^2\Big) = \alpha_1\beta_1 + \alpha_2\beta_2$

La dernière égalité montre le caractère bilinéaire et symétrique de l'application φ. Le carré de N est bien la forme quadratique associée, ce qui montre le caractère défini positif.

L'application φ est bilinéaire symétrique définie positive :

Soit x₁, x₂ et y trois éléments de E et λ un scalaire. Montrons que :

$\varphi(x_1 + \lambda\cdot x_2,y)=\varphi(x_1,y)+\lambda\cdot \varphi(x_2,y)$

Si les trois vecteurs sont liées la proposition précédente permet de conclure car sur l'espace engendré par les trois vecteurs, φ est bilinéaire symétrique. Sinon, soit x le vecteur x₁ + λ.x₂ et (f₁, f₂) une base orthonormale de l'espace vectoriel engendré par x et y tel que f₁ et x₁ soient colinéaires. Alors φ est bien une application bilinéaire définie positive dans l'espace engendré par x et y, on en déduit :

$\varphi(x,y)=\varphi(x,f_1)\cdot \varphi(y,f_1)\quad \text{car}\quad x=\varphi(x,f_1)\cdot f_1\quad \text{et}\quad y=\varphi(y,f_1)\cdot f_1+\varphi(y,f_2)\cdot f_2$

Comme x et f₁ sont colinéaires et que x est combinaison linéaire de x₁ et x₂, ces quatre vecteurs sont dans un espace vectoriel de dimension deux. La restriction de φ à cet espace est bilinéaire symétrique, donc :

$\varphi(x_1 + \lambda\cdot x_2,y)=\varphi(x_1 + \lambda\cdot x_2,f_1)\cdot \varphi(y,f_1)= \Big(\varphi(x_1,f_1)+ \lambda\cdot \varphi(x_2,f_1)\Big)\cdot \varphi(y,f_1)= \varphi(x_1,y)+\lambda\cdot \varphi(x_2,y)$ Le caractère symétrique de φ provient de la définition d'une forme polaire, φ est définie positive car N² est sa forme quadratique associée.

Cas complexe

Dans ce paragraphe E désigne un espace vectoriel complexe préhilbertien. L'identité du parallélogramme est encore valable pour la norme.

La situation est ici encore analogue à celle des espaces réels. La norme d'un produit scalaire hermitien le caractérise. Toute norme satisfaisant l'égalité du parallélogramme est issue d'un produit scalaire.

Théorème de Fréchet-Von Neumann-Jordan cas complexe — Soit N une norme de E. N dérive d'un produit scalaire hermitien si et seulement si elle respecte l'identité du parallélograme. Ce produit scalaire est alors unique, et déterminé par l'identité de polarisation.

Remarque : suivant le choix de la formule de polarisation, on obtient une forme hermitienne à gauche ou à droite (avec unicité dans chacun des deux cas).

Démonstration

La méthode est analogue à celle du cas réel. Dans un premier temps, on montre que ce résultat est vrai en dimension un, puis deux puis dans le cas général. Comme le cas réel est déjà traité (la démonstration est donnée dans l'article Espace euclidien), si E est considéré comme un espace vectoriel réel noté E_R il est équipé d'un produit scalaire <.,.>_R dont la norme dérive.

Le résultat est vrai si la dimension de E est égale à un .

Soit e₁ un vecteur de norme égal à un. Soit λe₁ et μe₁ deux vecteurs quelconques de E. Définissons le produit scalaire complexe <.,.>_C par :

$\langle \lambda.e_1,\mu.e_1\rangle_{\mathbb C} = \lambda\cdot \bar\mu$

Comme N est une norme et que N(e₁) est égal à un, le produit scalaire précédent convient.

Le résultat est vrai si la dimension de E est égale à deux :

Soit e₁ un vecteur défini comme précédemment. Remarquons que e₁ et i.e₁ sont orthonormaux pour <.,.>_R. En effet :

$N(e_1+i.e_1)^2= |1+i|^2N(e_1)^2= 2N(e_1)^2= N(e_1)^2 + N(i.e_1)^2\;$

Le théorème de Pythagore est vérifié sur les vecteurs e₁ et i.e₁, ce qui montre qu'ils sont orthogonaux pour le produit scalaire <.,.>_R. Ce résultat est vrai pour les produits scalaires réels mais faux dans le cas complexe. Soit f l'application de E_R qui au vecteur a associe i.a. La fonction f est un endomorphisme de E_R, c'est de plus une isométrie donc un automorphisme orthogonal. L'espace vectoriel E_1R engendré par e₁ et i.e₁ est stable par f, son orthogonal pour <.,.>_R est stable par f, en effet, soit y un élément de l'orthogonal. Comme f est une isométrie et que f² est égal à l'homothétie de rapport -1 :

$\forall x \in E_{1\mathbb R} \quad \langle x,f(y)\rangle=\langle f(x),f^2(y)\rangle=-\langle f(x),y\rangle=0$

Il suffit en effet de remarquer que f(x) est élément de E_1R et donc qu'il est orthogonal à y. Cette propriété est générique à tous les endomorphismes normaux. Soit e₂ un vecteur de l'orthogonal de E_1R et de norme un. On remarque que la famille (e₁, i.e₁, e₂, i.e₂) est une base orthonormale de E_R. Définissons <.,.>_C comme le produit scalaire tel que la base (e₁, e₂) soit orthonormale. Soit x un vecteur quelconque de E. Alors il existe quatre réels α₁, α₂, β₁ et β₂ tels que :

$x=(\alpha_1 + i.\alpha_2)e_1 + (\beta_1 + i.\beta_2)e_2 \quad \text{et}\quad \langle x,x\rangle_{\mathbb C} = \langle (\alpha_1 + i.\alpha_2)e_1 + (\beta_1 + i.\beta_2)e_2,(\alpha_1 + i.\alpha_2)e_1 + (\beta_1 + i.\beta_2)e_2\rangle_{\mathbb C}$ $\langle x,x\rangle_{\mathbb C} = \alpha_1^2 + \alpha_2^2 + \beta_1^2 + \beta_2^2 = \langle x,x\rangle_{\mathbb R}=N(x)^2$

L'unicité provient du fait que ce produit scalaire est aussi donné par la forme polaire.

Le résultat est vrai quelle que soit la dimension de E :

La démonstration est calquée sur celle des espaces euclidiens. Soit φ l'application de ExE dans R définie par :

$\forall a,y \in E \quad \varphi(a,b)=\frac14\Big(N(a+b)^2 - N(a-b)^2 + iN(a+ib)^2 - iN(a-ib)^2\Big)$

Soit x₁, x₂ et y trois éléments de E et λ un nombre complexe. Montrons que :

$\varphi(x_1 + \lambda\cdot x_2,y)=\varphi(x_1,y)+\lambda\cdot \varphi(x_2,y)$

Si les trois vecteurs sont liés, la proposition précédente permet de conclure car sur l'espace engendré par les trois vecteurs, φ est un produit scalaire. Sinon, soit x le vecteur x₁ + λ.x₂ et (f₁, f₂) une base orthonormale de l'espace vectoriel engendré par x et y tel que f₁ et x₁ soient colinéaires. Alors φ est un produit scalaire sur l'espace vectoriel engendré par x et y d'après la proposition précédente. Un calcul à l'aide des coefficients de Fourier sur la base orthonormale permet de montrer que :

$\varphi(x,y)=\varphi(x,f_1)\cdot \overline {\varphi(y,f_1)}\quad \text{car}\quad x=\varphi(x,f_1)\cdot f_1\quad \text{et}\quad y=\varphi(y,f_1)\cdot f_1+\varphi(y,f_2)\cdot f_2$

Comme x et f₁ sont colinéaires et que x est combinaison linéaire de x₁ et x₂, ces quatre vecteurs sont dans un espace vectoriel de dimension deux. La restriction de φ à cet espace est un produit scalaire, donc :

$\varphi(x_1 + \lambda\cdot x_2,y)=\varphi(x_1 + \lambda\cdot x_2,f_1)\cdot\overline{\varphi(y,f_1)} = \Big(\varphi(x_1,f_1)+ \lambda\cdot \varphi(x_2,f_1)\Big)\cdot\overline{\varphi(y,f_1)}= \varphi(x_1,y)+\lambda\cdot \varphi(x_2,y)$ Un calcul analogue montre que le produit est semilinéaire par rapport à la deuxième variable. Le caractère hermitien défini positif provient du fait que la forme sesquilinéaire dérive de la forme polaire d'une norme^[4].

Notes et références

↑ Bourbaki, EVT, chapitre V, page 2
↑ ^{a et b} Ramis, Deschamp, Odoux, Cours de mathématiques spéciales, tome 2, page 103
↑ Cette dénomination est indiquée dans : Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions] p 87
↑ Cette démonstration se trouve aussi dans la référence précédente

Sources

N. Bourbaki, EVT, chapitre V, page 2
Ramis, Deschamp, Odoux, Cours de mathématiques spéciales, tome 2, éd. Masson
Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions]
K. Yosida Functional Analysis Springer 1980 (ISBN 3-540-10210-8)

Liens externes

Forme quadratique,polarisation par V. et F. Bayart dans Bibmath.net
Espaces préhilbertiens par C.Antonini, J.F. Quint, P. Borgnat, J. Bérard, E. Lebeau, E. Souche, A. Chateau, O. Teytaud dans les mathématiques.net 2001

Portail des mathématiques

Catégories :

Algèbre bilinéaire
Identité mathématique

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Identité de polarisation de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

Identite de polarisation — Identité de polarisation En mathématiques, l identité de polarisation concerne l algèbre bilinéaire. Elle correspond à une caractérisation des formes symétriques, bilinéaires ou sesquilinéaires. Si E est un espace vectoriel ces formes sont des… … Wikipédia en Français
Identité De Polarisation — En mathématiques, l identité de polarisation concerne l algèbre bilinéaire. Elle correspond à une caractérisation des formes symétriques, bilinéaires ou sesquilinéaires. Si E est un espace vectoriel ces formes sont des applications de ExE dans le … Wikipédia en Français
Identité du parallélogramme — Règle du parallélogramme En mathématiques, la forme la plus simple de la règle du parallélogramme est celle de géométrie élémentaire. Elle dit que la somme des carrés des longueurs des quatre cotés d un parallélogramme est égale à la somme des… … Wikipédia en Français
Identité idéologique — Idéologie Une idéologie est au sens large, la science d un système d idées imaginées. L idéologie s accompagne de notions, d opinions, de convictions et est parfois constitués en doctrine. Pour Karl Marx, l idéologie sert de masque à la… … Wikipédia en Français
Espace hermitien — Charles Hermite en 1887 En mathématiques, un espace hermitien est un espace vectoriel sur le corps commutatif des complexes de dimension finie et muni d un produit scalaire. La géométrie d un tel espace est analogue à celle d un espace euclidien … Wikipédia en Français
Espace Euclidien — En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le… … Wikipédia en Français
Espace euclidien (algèbre linéaire) — Espace euclidien En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique … Wikipédia en Français
Espaces euclidiens — Espace euclidien En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique … Wikipédia en Français
Espace euclidien — En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le… … Wikipédia en Français
Espace Préhilbertien — En mathématiques, un espace préhilbertien est défini comme un espace vectoriel réel ou complexe muni d un produit scalaire. Cette notion généralise celles d espace euclidien ou hermitien, en omettant l hypothèse de la dimension finie. Le cas… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Identité de polarisation

Sommaire

Identités de polarisation

Formes bilinéaires symétriques

Formes sesquilinéaires et formes hermitiennes

Autres formules, cas des formes sesquilinéaires à droite

Correspondance entre formes bilinéaires symétriques et formes quadratiques

Normes issues d'un produit scalaire

Cas réel

Cas complexe

Notes et références

Sources

Liens externes

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Identité de polarisation

Sommaire

Identités de polarisation

Formes bilinéaires symétriques

Formes sesquilinéaires et formes hermitiennes

Autres formules, cas des formes sesquilinéaires à droite

Correspondance entre formes bilinéaires symétriques et formes quadratiques

Normes issues d'un produit scalaire

Cas réel

Cas complexe

Notes et références

Sources

Liens externes

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link