Décomp. des noyaux, espaces caractéristiques
Bonjour,
Certaines notions d'algèbre linéaire me posent souci : le théorème de décomposition des noyaux et les sous-espaces caractéristiques. J'arrive à les manipuler algébriquement et je comprends leur utilisation mais je ne parviens pas à sentir leur signification, autrement dit à en construire une représentation intuitive. Ainsi, peut-on se représenter géométriquement ce que signifient la multiplicité d'une valeur propre et les sous-espaces caractéristiques ? Peut-on « voir ce qu'il se passe » dans l'application du lemme des noyaux ?
Merci pour votre aide.
Certaines notions d'algèbre linéaire me posent souci : le théorème de décomposition des noyaux et les sous-espaces caractéristiques. J'arrive à les manipuler algébriquement et je comprends leur utilisation mais je ne parviens pas à sentir leur signification, autrement dit à en construire une représentation intuitive. Ainsi, peut-on se représenter géométriquement ce que signifient la multiplicité d'une valeur propre et les sous-espaces caractéristiques ? Peut-on « voir ce qu'il se passe » dans l'application du lemme des noyaux ?
Merci pour votre aide.
Réponses
-
Je ne sais pas si ça aide, mais voici un exemple.
Soit $E = \mathcal C^\infty (\R,\C)$, et $d$ l'opérateur de dérivation : $d(f) = f'$.
Les valeurs propres de $d$ sont tous les complexes $\lambda$, et les vecteurs propres sont les exponentielles $x \mapsto \exp(\lambda \cdot x)$.
Le sous-espace caractéristique $N_0(d)$ pour $\lambda = 0$ est la réunion des noyaux itérés de $d$.
Or $\ker\big(d^n\big) = \C_{n-1}[X]$, donc $N_0(d) = \C[X]$ l'espace des fonctions polynomiales.
Pour $\lambda\in\C$, par méthode de variation de la constante, on a : $\ker\big((d-\lambda \cdot I)^n\big) = \C_{n-1}[X] \cdot \exp(\lambda \cdot X)$.
En tout : $N_\lambda(d) = \C[X] \cdot \exp(\lambda \cdot X)$.
Donnons-nous une équation différentielle linéaire à coefficients constants : $\big(P(d)\big)(f) = 0$.
L'espace des solutions est bien une somme directe $
\ker\big(P(d)\big)
= \bigoplus\limits_{P(\lambda)=0}
\C_{m_P(\lambda)-1}[X] \cdot \exp(\lambda X)
$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres