Bonjour à tous,
Dans un cas général, une application f : E -> F est dite surjective si
Im(f) = F.
Mais quelle est la démonstration concrète pour prouver cette égalité ?
Où quelles sont les autres possibilités pour prouver qu'une application est bijective si on sait déjà qu'elle est injective et que l'espace d'arrivée est de dimension finie ?
J'espère que mes questions sont assez claires !
Je tâcherai de les préciser si besoin,
En vous remerciant d'avance,
H.Poincaré
J'ai mis en gras deux choses contradictoires, il faudrait donc que tu précises ta question : parles-tu de bijections ou d'isomorphismes ?Envoyé par H.Poincaré
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse
Je parle d'isomorphisme d'espaces vectoriels
J'imagine que tu parles d'applications linéaires, alors dans ce cas Im f est défini comme l'ensemble des éléments de F admettant un antécédent. Tu as donc déjà Im f qui est inclus dans F, après il est immédiat que la fonction est surjective lorsque Im f = F (tout élément de F appartient à Im f donc admet un antécédent)
Ensuite, pour un espace de dimension finie et que ton application est injective, alors 2 cas :
- soit les ensembles de départ et d'arrivée ont même cardinal et l'application est bijective
- sinon elle n'est pas surjective.
Pour le cas d'une application quelconque
C'est immédiat, en regardant la définition de.
En effet
dire que
faut oublier ce que j'ai dit dans l'autre post sur la dimension finie, dans un instant de folie j'ai lu tout simplement un espace vectoriel fini(ca existe ca d'ailleurs ou pas ?)
oui ça existe, tu asfaut oublier ce que j'ai dit dans l'autre post sur la dimension finie, dans un instant de folie j'ai lu tout simplement un espace vectoriel fini
donc tu peux munir naturellement
OK merci beaucoup pour cette précision ^^
Aie je me rends compte en relisant ce que j'ai écrit que je me suis très mal exprimé.
Je reprends :
Soit f: E -> F une application linéaire. On veut prouver que cette application est un isomorphisme d'espace vectoriel.
On sait déjà que cette application est injective et que l'ensemble d'arrivée (F) est une espace vectoriel de dimension finie égal à 2.
Ma question est : quelles sont les possibilités à partir de hypothèses pour montrer que f est aussi surjective ?
Je sais par exemple qu'on peut montrer que Im(f) = F. Mais ma question est : comment procéder ?
J'espère avoir été plus clair.
E de dimension finie ou pas spécialement?
Sous ces hypothèse, c'est faux
tu peux prendre
Cette application n'est pas surjective.
Si c'est en dimension finie, utilise le theoreme du rang.
ta f injective donc ker f= {0}.
donc on en deduit quelque chose sur les dimensions.
et on a evidemment
On peut conclure
il manque un argument a mon truc,
Le but de la question est de montrer que f est un isomorphisme de R-ev et d'en conclure que E est de même dimension que F.
Je pensais que ne pas donner le détail de l'application f suffirait mais bon :
f : E -> F est une application qui envoie toute suite (u) défini par une récurrence linéaire d'ordre 2 (u_n+2 = a*u_n+1 + b*u_n) sur (u_0,u_1) ...
La question est : montrer que f est un isomorphisme de R-ev.
Pour montrer que f est linéaire, pas de problème, pour montrer qu'elle est injective c'est aussi okay mais me reste la surjectivité ... peut-être la formule du rang comme quelqu'un l'a proposé ?
ben pour tout couple (x,y) de IR² tu prends la suite déifinie par
D'où la surjectivité de
Non, la formule du rang ca marche si tu connais deja les dimensions des espaces, or c'est ce que tu cherches apparemment. Ce qu'il faut c'est montrer que pour tout couple (x,y) il existe une suite definie par ton truc telle que u_0=x et u_1=y. Autrement dit, montrer que tout element de l'ensemble d'arrivée a au moins un antecedent.
Je crois que je me compliquais un peu trop la tâche ... Merci pour ces quelques éclaircissements !
