Isomorphisme
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
jeje56
- Membre Irrationnel
- Messages: 1187
- Enregistré le: 16 Jan 2007, 20:10
-
par jeje56 » 02 Nov 2020, 12:03
Bonjour à tous,

est le SEV de l'ensemble E des applications de classe C2 de

défini par

.
Il s'agit de montrer que l'application

de

dans

qui à

associe le couple
;f'(0)))
est un isomorphisme.
Les solutions de l'équation différentielle

sont les fonctions

définies par
=e^x(Acos(2x)+Bsin(2x)))
où

et

sont des réels quelconques.
Je montre que

est injective :
;f'(0))=(0;0) \iff (A=0 \text{ et } A+2B=0) \iff A=B=0 \iff f=0)
;
Je montre que

est surjective :
Pour tous couple
 \in \R^2)
, il existe
=e^x(y_1 cos(2x)+ \frac {y_2-y_1}{2} sin(2x)))
telle que
=(y_1;y_2))
.
Ma rédaction est-elle correcte ?
Merci de votre aide !
-
GaBuZoMeu
- Habitué(e)
- Messages: 6152
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 02 Nov 2020, 12:22
Bonjour,
Tu n'as pas démontré la linéarité de l'application.
Une fois la linéarité démontré, que peux-tu dire d'une application linéaire injective entre espaces vectoriels de même dimension finie (ici 2) ?
-
jeje56
- Membre Irrationnel
- Messages: 1187
- Enregistré le: 16 Jan 2007, 20:10
-
par jeje56 » 02 Nov 2020, 14:00
GaBuZoMeu a écrit:Bonjour,
Tu n'as pas démontré la linéarité de l'application.
Une fois la linéarité démontré, que peux-tu dire d'une application linéaire injective entre espaces vectoriels de même dimension finie (ici 2) ?
Qu'elle est bijective...
Merci GaBu !
-
GaBuZoMeu
- Habitué(e)
- Messages: 6152
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 02 Nov 2020, 18:33
Avec plaisir.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 82 invités