Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 25-01-2020 13:32:24

Tmota
Membre
Inscription : 18-12-2019
Messages : 113

Un produit scalaire déjà connu ?

Bonjour,

dans un exercice, je dois montrer que :

$(A,B)\in M_n(\mathbb{R})^2\to tr(^tAB)$

est un produit scalaire.

Je note :
$A=(a_{ij})$
$^tA=(a'_{ij})$ avec $a'_{ij}=a_{ji}$
$B=(b_{ij})$

Alors, par définition du produit matriciel, en notant $C=^tAB=(c_{ij})$, on a :

$c_{ij}=\sum_{k=1}^na'_{ik}b_{kj}=\sum_{k=1}^na_{ki}b_{kj}$

Par suite :

$tr(^tAB)=tr(C)=\sum_{i=1}^nc_{ii}=\sum_{i=1}^n\sum_{k=1}^na_{ki}b_{ki}=\sum_{i,k=1}^na_{ki}b_{ki}$

Cette expression est connue comment étant le calcul du produit scalaire canonique. Et donc je peux que l'application proposé est bien un produit scalaire.

Le doute que je peux avoir est que je ne passe pas par la définition de montrer que l'application est une forme bilinéaire définie positive.

Qu'en pensez-vous ?

Dernière modification par Tmota (25-01-2020 13:34:02)

Hors ligne

#2 26-01-2020 12:19:37

raphael.thiers
Membre
Inscription : 24-01-2020
Messages : 37

Re : Un produit scalaire déjà connu ?

Bonjour,

De mon point de vue ça peut passer;
mais prouver qu'elle est symétrique définie positive est très rapide également (avec des calculs tres proches des tiens).

Hors ligne

#3 26-01-2020 17:53:26

Tmota
Membre
Inscription : 18-12-2019
Messages : 113

Re : Un produit scalaire déjà connu ?

Merci de la réponse.
J'ai écris les deux méthodes.
L'une permet de gagner énormément de temps, l'autre est plus rigoureuse disons.

Mais je n'arrive pas à me convaincre que la plus rapide est aussi rigoureuse.

Hors ligne

Pied de page des forums