[<] Images et noyaux [>] Linéarité et colinéarité
Soit une application linéaire d’un espace vers un espace . Montrer que pour toute partie de ,
Soient et deux -espaces vectoriels, et deux sous-espaces vectoriels de . Montrer
Solution
Supposons l’inclusion .
Soit . On peut écrire avec et . On a alors et il existe donc tel que .
On a alors
avec et . Ainsi, .
Supposons l’inclusion .
Soit . Il existe tel que . Or et l’on peut donc écrire avec et . On a alors
Soient et des -espaces vectoriels. On se donne , une famille de sous-espaces vectoriels de et une famille de sous-espaces vectoriels de .
Montrer
Montrer que si est injective et si la somme des est directe alors la somme des est directe.
Montrer
Montrer que cette inclusion peut être stricte. Donner une condition suffisante pour qu’il y ait égalité.
Solution
Si alors on peut écrire avec . On alors avec et ainsi
Si alors on peut écrire avec . On a alors avec donc
Si avec alors donc car injective puis car les sont en somme directe et enfin . Ainsi les sont en somme directe.
Soit . On peut écrire avec donc . Ainsi,
On obtient une inclusion stricte en prenant par exemple pour une projection sur une droite et en prenant deux droites distinctes de et vérifiant .
ou sont des conditions suffisantes faciles…
Plus finement, supposons chaque inclus dans (et )
Pour , on peut écrire avec . Or donc il existe vérifiant . Évidemment, . Considérons alors , on a donc et . Ainsi,
puis l’égalité.
Soient un endomorphisme d’un -espace vectoriel et un sous-espace vectoriel de .
Exprimer en fonction de et de .
Exprimer en fonction de et de .
À quelle condition a-t-on ?
Solution
est un sous-espace vectoriel de qui contient et donc
Inversement, soit . On a donc il existe tel que et alors pour on a avec et . Ainsi,
est un sous-espace vectoriel de inclus dans et dans donc
Inversement, soit . Il existe tel que . Or, puisque , et donc . Ainsi,
On a si, et seulement si,
Si cette condition est vérifiée alors
et donc
ce qui entraîne
Inversement, si ces conditions sont vérifiées, on a immédiatement .
Finalement, si, et seulement si, .
[<] Images et noyaux [>] Linéarité et colinéarité
Édité le 21-09-2023
Bootstrap 3 - LaTeXML - Powered by MathJax