Inscription / Connexion Nouveau Sujet
Niveau Maths sup
Partager :

Matrices DDS - Théorème de Hadamard

Posté par
monrow Posteur d'énigmes
01-03-08 à 14:20

Bonjour

J'ai un gros exo à faire, et je veux profiter un peu de votre expérience et m'indiquer un peu des pistes

Partie par partie !

Soit n un entier naturel supérieur ou égal à 2. K un sous corps de R ou C.

Pour tout vecteur x=(x_1,x_2,...,x_n) du K-espace vectoriel E=K^n on note ||x||_\infty=max(|x_1|,|x_2|,...,|x_n|) (norme infinie sur E).

On note B la base canonique de l'espace E=K^n. Soit u de L(E) un endomorphisme de E et U=(u_{ij}) sa matrice dans la base B. Ainsi, U est la matrice (carré) canonique associée à l'endomorphisme u.

1) On suppose dans cette question que la matrice U n'est pas inversible.

a- Justifier l'existence d'un vecteur x non nul de E tel que u(x)=0

U est inversible ssi rg(U)=n et Ker(U)=0. Puisque U est non inversible, alors Ker(U) différent de 0, et donc il existe x différent de 0 tel que u(x)=0.


b- Prouver qu'il existe i de |[1,n]| tel que 3$\rm |u_{ii}|||x||_\infty\le \Bigsum_{j=1\\{j\neq i}}^{n}|u_{ij}||x_j|

là je bloque et déjà la forme me fait peur !

Merci d'avance

Posté par
Camélia Correcteur
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 14:39

Bonjour

Tu ne vas pas te laisser terroriser par une formule!

Soit (y1,...,yn)=u(x).

On a y_j=\bigsum_{i=1}^nu_{ij}x_i=0 pour tout j.

Donc u_{ii}x_i=-\bigsum_{\begin{array}{c}j=1 \\ j\neq i\end{array}}^n u_{ij}x_j

Il existe i tel que |x_i|=||x||.

Pour ce i ça doit coller.

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 14:56

Salut Camélia

Moi je trouve 3$y_j=\Bigsum_{i=1}^{n}u_{j,i}x_i... non?

Posté par
Camélia Correcteur
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 14:59

OUI. Mais ça ne change rien... sauf peut-être l'indice i en j...

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 15:10

ça permute pas colonne et ligne? sinon j'ai compris le reste

je continue

En déduire qu'il existe i tel que 3$\rm%20|u_{ii}|\le%20\Bigsum_{j=1\\{j\neq%20i}}^{n}|u_{ij}|, déésolé mais ausune idée là aussi

Posté par
Camélia Correcteur
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 15:14

Non, je me suis trompée en écrivant directement à l'écran. Ne t'inquiéte pas...

Tu as un x non nul tel que u(x)=0. Remplaces-le par z=x/||x|| qui vérifie aussi u(z)=0 mais qui lui est de norme 1.

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 15:39

oui oui c'est clair ...

Ok on passe à une deuxième partie

Soit M=(m_{ij})\in\mathcal M_n(K).

On dit que M est une matrice à diagonale dominante stricte (DDS) si elle vérifie :

pour tout i : 3$\rm%20|m_{ii}|>%20\Bigsum_{j=1\\{j\neq%20i}}^{n}|m_{ij}|

Justifier: M est une DDS => M inversible (contraposée du résultat de la première partie)

Ce résultat est appelé thm de Hadamard.

Que pensez vous de la réciproque? Elle est fausse ( y a un exemple dans la première partie que j'ai pas tapé ))

3) Dans cette question n=2 ou 3.

Si z_0 est un complexe fixé et r_0 un réel positif fixé on note:

3$B(z_0,r_0)=\{z\in\mathbb C / |z-z_0|\le r_0\} (boule fermée, centrée en z_0 de rayon r_0).

a- Montrer:

si \alpha est une racine du polynôme caractéristique de A alors il existe i tel que 3$\rm\alpha\in B\(a_{ii},\Bigsum_{j=1\\j\neq i}^{n}|a_{ij}|\)

C'est le théorème de Gerschgorin !

Eh ben .... j'avoue n'avoir aucune piste là (je n'ai aucune notion de topologie moi) ...

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 15:40

3$B(z_0,r_0)=\{z\in\mathbb{C} /|z-z_0|\le r_0\} ...

Posté par
Camélia Correcteur
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 15:44


Citation :
C'est le théorème de Gerschgorin


Enchantée, jamais vu!

Je ne crois pas qu'il faille énormément de topologie. Pour démarrer, je commencerai par dire que est racine du poly caractéristique alors M-I est non inversible, puis j'essayerais d'appliquer la première question.

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 15:56

ok donc A-\alpha I est inversible on aura alors: 3$\rm%20|a_{ii}-\alpha|\le%20\Bigsum_{j=1\\{j\neq%20i}}^{n}|a_{ij}| et hop CQFD non?

Posté par
Camélia Correcteur
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 16:01

Oui. Ou sont passés z0 et r0?

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 16:03

Bon, une utilité de ce théorème:

Pour chacune des matrices suivantes: sans les calculer, hachurer la partie du plan complexe dans laquelle on est certain de trouver les racines (réelles ou complexes)  du polynôme caractéristique (localisation des valeurs propres).

3$\rm A=\begin{pmatrix} 1&-2 \\ 1&-2 \end{pmatrix}

il faut déterminer le i pour trouver le disque en question non?

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 16:05

Je viens de voir euh bah z_0=a_{ii} et r_0=\Bigsum_{j=1\\j\neq%20i}^{n}|a_{ij}| non?

Posté par
Camélia Correcteur
re : Matrices DDS - Théorème de Hadamard 01-03-08 à 16:15

Oui, c'est moi qui ai posé une question idiote! C'était simplement la définition de la notation B(z,r).

Dans ton cas particulier, ça n'a pas l'air trop fatigant!

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 02-03-08 à 15:26

Re ... je devais partir hier .. me revoilà

Pour la dernière question j'arrive toujours pas à hachurer la partie où se trouvent les valeurs propres

Posté par
Camélia Correcteur
re : Matrices DDS - Théorème de Hadamard 02-03-08 à 15:37

Ben, pour i=1, la somme pour ji etc. vaut 1 et pour i=2 elle vaut 2.

On sait que les valeurs propres sont dans une des boules, donc dans leur réunion:

B(1,1)\cap B(-2,2) ce qui colle avec la réalité car les valeurs propres sont 0 et -1

Posté par
monrow Posteur d'énigmes
re : Matrices DDS - Théorème de Hadamard 02-03-08 à 15:45

Je suis c**

merci beaucoup pour ton aide

Posté par
Camélia Correcteur
re : Matrices DDS - Théorème de Hadamard 02-03-08 à 15:53

Faut pas suivre l'exemple venu d'en haut! Mettons que tu as été distrait...



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1674 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !