Endomorphismes s'annulant en V sev de E
Bonjour, j'ai refait un exercice que j'ai fait l'année dernière. Donc on pose E un ev de dimension n et V un sev de E. Ensuite on considère l'ensemble des endomorphismes f de E tels que V soit inclus dans ker f.
Il s'agit bien évidement d'un espace vectoriel dont on peut bien sûr trouver la dimension (qui est justement l'objectif de la question d'après).
On considère ainsi un supplémentaire de V sur E et ensuite une base adaptée à la somme directe créée.
(Pour ma part j'ai noté qu'une base de E est (e1, e2, ..., en). Et que, en notant p la dimension de V on avait ainsi une base de V qui est ( e1, ..., ep).)
Ensuite on a f(e1) =... =f(ep)=0 par l'hypothèse de départ.
Et donc on se rend compte qu'il reste simplement à choisir les valeurs des f(ei) pour trouver la dimension de notre espace vectoriel.
Seulement voilà le problème, j'ai pour cela considéré les couples ( x, f(x) ). Avec x dans le supplémentaire de V.
Je suis d'accord que pour x on a seulement n-p éléments, car on identifie en quelque sorte E\V par sa base comme pour écrire la matrice. Mais pourquoi aurait-on n choix possibles pour chaque f(x) alors qu'on peut en créer une infinité en réalité ?
Je pourrais me contenter de l'admettre et passer à autre chose mais je n'y arrive pas et je préfère vous demander votre point de vue qui va sûrement me décoincer de ce mauvais mode de pensée. Désolé à l'avance pour cette question un peu bête je pense.
Il s'agit bien évidement d'un espace vectoriel dont on peut bien sûr trouver la dimension (qui est justement l'objectif de la question d'après).
On considère ainsi un supplémentaire de V sur E et ensuite une base adaptée à la somme directe créée.
(Pour ma part j'ai noté qu'une base de E est (e1, e2, ..., en). Et que, en notant p la dimension de V on avait ainsi une base de V qui est ( e1, ..., ep).)
Ensuite on a f(e1) =... =f(ep)=0 par l'hypothèse de départ.
Et donc on se rend compte qu'il reste simplement à choisir les valeurs des f(ei) pour trouver la dimension de notre espace vectoriel.
Seulement voilà le problème, j'ai pour cela considéré les couples ( x, f(x) ). Avec x dans le supplémentaire de V.
Je suis d'accord que pour x on a seulement n-p éléments, car on identifie en quelque sorte E\V par sa base comme pour écrire la matrice. Mais pourquoi aurait-on n choix possibles pour chaque f(x) alors qu'on peut en créer une infinité en réalité ?
Je pourrais me contenter de l'admettre et passer à autre chose mais je n'y arrive pas et je préfère vous demander votre point de vue qui va sûrement me décoincer de ce mauvais mode de pensée. Désolé à l'avance pour cette question un peu bête je pense.
Réponses
-
Bonjour
Ce n'est pas tout à fait clair ce que tu dis, même si il y a des choses à exploiter.
Mais d'abord tu ne dis pas combien tu trouves pour la dimension de l'espace demandé.
P.S a posteriori je crois comprendre que tu fais une sorte de confusion entre dimension d'un espace vectoriel et cardinal d'un espace vectoriel.
De toute façon pour régler ce genre de problème, au début, il faut que tu t'obliges à formuler tout raisonnement de la façon la plus parfaite possible. -
J a écrit:http://www.les-mathematiques.net/phorum/read.php?3,2304224,2304224#msg-2304224
on identifie en quelque sorte E\V par sa base
Attention. $E\setminus V$ n'est pas supplémentaire de $V$ dans $E$. -
J a écrit:(Pour ma part j'ai noté qu'une base de E est (e1, e2, ..., en). Et que, en notant p la dimension de V on avait ainsi une base de V qui est ( e1, ..., ep).)
Maladresse d'expression ?
Cordialement. -
J'avais complètement oublié cette discussion. Merci pour vos réponses, j'avais finalement réussi à trouver le bon raisonnement pour ne pas m'embrouiller.
S'il y a des maladresses dans mes précédents messages c'est sans aucun doute parce que c'était encore flou dans mon esprit.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 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
- 62 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
- 312 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
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres