Exercice sur algebre lineaire
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 03:16
Bonjour,
Votre aide SVP
merci
Question $1$ :
$F$ est un sous espace vectoriel de $F$ si et seulement si:
soient
Question $2$:
<br />F=\{ f\in E\mid f(x)= e^{3x}(a\cos(2x)+b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \})

est S.E.V de

si et seulement si :

on montre que
+g(x) \in F)
en effet
+g(x)=k\times (e^{3x}(a\cos(2x)+b\sin(2x) ) +(e^{3x}(c\cos(2x)+d\sin(2x))=e^{3x}((ka+c)\cos(2x)+(kb+d)\sin(2x))
comme
)
et
)
dans

alors
+g(x) \in F)
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 09:39
Salut !
1. Si est F est un espace vectoriel, alors F est naturellement un des sous-espaces vectoriels de F.
Je pense que ce que l'on a attend ici, c'est la définition d'un sous-espace vectoriel F d'un espace vectoriel E.
2. C'est inexact ; attention aux objets que tu manipules : si

, il faut montrer qu'alors

(

est un ensemble de fonctions).
Qu'en est-il du reste ?
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 09:44
j'ai pas continue le reste mais pour la
QUestion 1
Soit $E$ un R-espace Vectoriel et $F$ une partie de $E$. F est un S.E.V. de $E$ ssi:
ou bien
\in F^{2} \Longrightarrow \lambda\times x+y\in <br />F)
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 10:00
Pour ta première proposition, tu peux simplifier en disant que

est un sous-espace vectoriel de

si pour tous

et

, f+\lambda g\in F.
Ta deuxième proposition m'est incompréhensible...
3. Je vois deux manière de procéder :
a) En remarquant que
)
, avec

et

deux fonctions dans

à préciser, montre que la famille constituée de

et

est libre.
b) Soit tu exhibes un isomorphisme d'espaces vectoriels entre

et

.
La dimension est alors évidente :+++:
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 10:06
capitaine nuggets a écrit:Pour ta première proposition, tu peux simplifier en disant que

est un sous-espace vectoriel de

si pour tous

et

, f+\lambda g\in F.
Ta deuxième proposition m'est incompréhensible...
3. Je vois deux manière de procéder :
a) En remarquant que
)
, avec

et

deux fonctions dans

à préciser, montre que la famille constituée de

et

est libre.
b) Soit tu exhibes un isomorphisme d'espaces vectoriels entre

et

.
La dimension est alors évidente :+++:
merci mais je m'intersse a faire une bonne redaction
pour la question 2
On remarque que (application nulle )
=0= e^{3x}(0\cos(2x)+0\sin(2x))\in F)
Donc $F$ n'est pas vide.
Soient

telle que
= e^{3x}(a\cos(2x)+b\sin(2x))$ et $g(x)=f(x)= e^{3x}(c\cos(2x)+d\sin(2x)))
et soient

. Le but est de montrer que:
+ g(x)\in F)
en effet,
+g(x)=k\times (e^{3x}(a\cos(2x)+b\sin(2x) ) +(e^{3x}\\(c\cos(2x)+d\sin(2x))=e^{3x}((ka+c)\cos(2x)+(kb+d)\sin(2x))
comme
)
et
$ dans $\mathbb{R})
alors
+g(x) \in F)
Donc

est bien un sous-espace vectoriel de

-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 10:16
capitaine nuggets a écrit:2. C'est inexact ; attention aux objets que tu manipules : si

, il faut montrer qu'alors

(

est un ensemble de fonctions).
adamNIDO a écrit:merci mais je m'intersse a faire une bonne redaction
adamNIDO a écrit:(...) Le but est de montrer que:
+ g(x)\in F)
(...) alors
+g(x) \in F)
Donc

est bien un sous-espace vectoriel de

As-tu seulement lu mon post ?
Si cherche à bien rédiger, pourquoi ne pas suivre la remarque que je t'ai donnée ?
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 10:23
capitaine nuggets a écrit:2. C'est inexact ; attention aux objets que tu manipules : si

, il faut montrer qu'alors

(

est un ensemble de fonctions).
adamNIDO a écrit:merci mais je m'intersse a faire une bonne redaction
adamNIDO a écrit:(...) Le but est de montrer que:
+ g(x)\in F)
(...) alors
+g(x) \in F)
Donc

est bien un sous-espace vectoriel de

As-tu seulement lu mon post ?
Si tu cherches à bien rédiger, pourquoi ne pas suivre la remarque que je t'ai donnée ?
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 10:24
c'est pas ca mais j'ai pas compris tu peux me donner la version correcte merci
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 10:30
adamNIDO a écrit:c'est pas ca mais j'ai pas compris tu peux me donner la version correcte merci
Qu'est-ce que tu ne comprends pas ?

est un espace fonctionnel et toi tu montres que le réel
+g(x))
appartient à cet espace : tu ne vois pas qu'il y a un problème, c'est absurde puisque

ne contient pas de réels. C'est comme si tu me comparais des patates et des haricots... D'où ma remarque lors de mon post précédent.
Pourquoi ne pas essayer faire "une version correcte" par toi-même ? (surtout que tu as fais le plus gros). C'est très réducteur et déprimant de se dire qu'il n'y a qu'une seule manière de faire quelque chose en maths...
:we:
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 10:53
capitaine nuggets a écrit:Qu'est-ce que tu ne comprends pas ?

est un espace fonctionnel et toi tu montres que le réel
+g(x))
appartient à cet espace : tu ne vois pas qu'il y a un problème, c'est absurde puisque

ne contient pas de réels. C'est comme si tu me comparais des patates et des haricots... D'où ma remarque lors de mon post précédent.
Pourquoi ne pas essayer faire "une version correcte" par toi-même ? (surtout que tu as fais le plus gros). C'est très réducteur et déprimant de se dire qu'il n'y a qu'une seule manière de faire quelque chose en maths...
:we:
alors la nouvelle version de la question 2
On remarque que (application nulle )
=0= e^{3x}(0\cos(2x)+0\sin(2x)) alors f=0\in F)
Donc

n'est pas vide.
Soient

telle que
= e^{3x}(a\cos(2x)+b\sin(2x)) et g(x)=f(x)= e^{3x}(c\cos(2x)+d\sin(2x)))
et soient

. Le but est de montrer que:

en effet,
+g(x)=k\times (e^{3x}(a\cos(2x)+b\sin(2x) ) +(e^{3x}\\(c\cos(2x)+d\sin(2x))=e^{3x}((ka+c)\cos(2x)+(kb+d)\sin(2x))
comme
)
et
 dans \mathbb{R})
alors

Donc

est bien un sous-espace vectoriel de

-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 10:57
adamNIDO a écrit:alors la nouvelle version de la question 2
On remarque que (application nulle )
=0= e^{3x}(0\cos(2x)+0\sin(2x)) alors f=0\in F)
Donc

n'est pas vide.
Soient

telle que
= e^{3x}(a\cos(2x)+b\sin(2x)) et g(x)=f(x)= e^{3x}(c\cos(2x)+d\sin(2x)))
et soient

. Le but est de montrer que:

en effet,
+g(x)=k\times (e^{3x}(a\cos(2x)+b\sin(2x) ) +(e^{3x}\\(c\cos(2x)+d\sin(2x))=e^{3x}((ka+c)\cos(2x)+(kb+d)\sin(2x))
comme
)
et
 dans \mathbb{R})
alors

Donc

est bien un sous-espace vectoriel de

modulo les quelques coquilles qui se sont glissées, c'est bon :++:
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 11:04
capitaine nuggets a écrit:modulo les quelques coquilles qui se sont glissées, c'est bon :++:
est ce qu'il reste quelque chose pour que je fais la finalisation de cettte question puisque tu ma dis
"modulo les quelques coquilles qui se sont glissées"
pour la question 3
on a
= e^{3x}(a\cos(2x)+b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ e^{3x}a\cos(2x)+ e^{3x}b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ a\times e^{3x}\cos(2x)+ b\times e^{3x}\sin(2x),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=Vect\{ e^{3x}\cos(2x);e^{3x}\sin(2x) \} \\<br />\end{align*})
Donc la famille $
;e^{3x}\sin(2x) ))
$ est une famille génératrice de $F$
donc comment je vais la montrer qu'elle libre
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 11:08
adamNIDO a écrit:est ce qu'il reste quelque chose pour que je fais la finalisation de cettte question puisque tu ma dis
"modulo les quelques coquilles qui se sont glissées"
Relis ce que tu as écrit :++:
adamNIDO a écrit:est ce qu'il reste quelque chose pour que je fais la finalisation de cettte question puisque tu ma dis
"modulo les quelques coquilles qui se sont glissées"
pour la question 3
on a
= e^{3x}(a\cos(2x)+b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ e^{3x}a\cos(2x)+ e^{3x}b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ a\times e^{3x}\cos(2x)+ b\times e^{3x}\sin(2x),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=Vect\{ e^{3x}\cos(2x);e^{3x}\sin(2x) \} \\<br />\end{align*})
Donc la famille $
;e^{3x}\sin(2x) ))
$ est une famille génératrice de $F$
donc comment je vais la montrer qu'elle libre
Tout simplement en utilisant la définition...
Je tiens également à te rappeler que les éléments qui constituent ta famille sont des fonctions, même si on ne l'écrit pas toujours clairement.
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 11:14
capitaine nuggets a écrit:Relis ce que tu as écrit :++:
Tout simplement en utilisant la définition...
Il ne doit pas y avoir de "

" dans tes égalités d'ensembles.
Je tiens également à te rappeler que les éléments qui constituent ta famille sont des fonctions, même si on ne l'écrit pas toujours clairement.
on a
= e^{3x}(a\cos(2x)+b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ e^{3x}a\cos(2x)+ e^{3x}b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ a\times e^{3x}\cos(2x)+ b\times e^{3x}\sin(2x),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=Vect\{ e^{3x}\cos(2x);e^{3x}\sin(2x),\quad x\in\mathbb{R} \} \\<br />\end{align*})
ou bien
=e^{3x}\cos(2x)$ et $g(x)=e^{3x}\sin(2x)\quad for all x\in \mathbb{R})
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 11:48
adamNIDO a écrit:pour la question 3
on a
= e^{3x}(a\cos(2x)+b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ e^{3x}a\cos(2x)+ e^{3x}b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ a\times e^{3x}\cos(2x)+ b\times e^{3x}\sin(2x),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=Vect\{ e^{3x}\cos(2x);e^{3x}\sin(2x) \} \\<br />\end{align*})
Donc la famille $
;e^{3x}\sin(2x) ))
$ est une famille génératrice de $F$
capitaine nuggets a écrit:Il ne doit
pas y avoir de "

" dans tes égalités d'ensembles.
Je tiens également à te rappeler que les éléments qui constituent ta famille sont des fonctions, même si on ne l'écrit pas toujours clairement.
adamNIDO a écrit:on a
= e^{3x}(a\cos(2x)+b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ e^{3x}a\cos(2x)+ e^{3x}b\sin(2x)),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=\{ a\times e^{3x}\cos(2x)+ b\times e^{3x}\sin(2x),\quad x\in \mathbb{R},a,b\in\mathbb{R} ) \}\\<br />&=Vect\{ e^{3x}\cos(2x);e^{3x}\sin(2x),\quad x\in\mathbb{R} \} \\<br />\end{align*})
:hum: Tu m'as fait un copié-collé de ton précédent post !
Je me demande si tu comprends la nature des objets que tu manipules :hein:
adamNIDO a écrit:ou bien
=e^{3x}\cos(2x)$ et $g(x)=e^{3x}\sin(2x)\quad for all x\in \mathbb{R})
Oui, ça ressemble plus à ça, mais sans de "ou bien". On a déjà utilisé plusieurs fois f et g, donnons-leur un autre nom. Ainsi, on a
)
où
=e^{3x}\cos(2x))
et
=e^{3x}\sin(2x))
, pour tout

réel.
:lol3:
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 12:02
capitaine nuggets a écrit:Il ne doit
pas y avoir de "

".
Je tiens également à te rappeler que les éléments qui constituent ta famille sont des fonctions, même si on ne l'écrit pas toujours clairement.
adamNIDO a écrit:on a
;e^{3x}\sin(2x),\quad x\in\mathbb{R} \} \\<br />\end{align*})
Je me demande si tu comprends la nature des objets que tu manipules :hein:
adamNIDO a écrit:ou bien
=e^{3x}\cos(2x)$ et $g(x)=e^{3x}\sin(2x)\quad for all x\in \mathbb{R})
Oui, ça ressemble plus à ça, mais sans de "ou bien". On a déjà utilisé plusieurs fois f et g, donnons-leur un autre nom. Ainsi, on a
)
où
=e^{3x}\cos(2x))
et
=e^{3x}\sin(2x))
, pour tout

réel.
:lol3:
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 12:13
capitaine nuggets a écrit:Je me demande si tu comprends la nature des objets que tu manipules :hein:
Oui, ça ressemble plus à ça, mais sans de "ou bien". On a déjà utilisé plusieurs fois f et g, donnons-leur un autre nom. Ainsi, on a
)
où
=e^{3x}\cos(2x))
et
=e^{3x}\sin(2x))
, pour tout

réel.
:lol3:
donc il me reste de montrer la liberte non ou bien il ya autre methode plus simple pour trouver la base de F
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 12:36
voir post précédent :dodo:
capitaine nuggets a écrit:3. Je vois deux manières de procéder :
a) En remarquant que
)
, avec

et

deux fonctions dans

à préciser, montre que la famille constituée de

et

est libre.
b) Soit tu exhibes un isomorphisme d'espaces vectoriels entre

et

.
Les deux méthodes ne sont pas difficiles :lol3:
-
adamNIDO
- Membre Rationnel
- Messages: 967
- Enregistré le: 22 Jan 2014, 00:47
-
par adamNIDO » 04 Juil 2015, 12:44
capitaine nuggets a écrit:voir post précédent :dodo:
Les deux méthodes ne sont pas difficiles :lol3:
d'abord on travaille avec la 1er
la complitude de la question $3$
pour la liberite:
On cherche tous les réels

vérifiant :
} \\<br />\alpha\times e^{3x}\cos(2x) +\beta\times e^{3x}\sin(2x)&=0_{\mathbb{R}} \quad \forall x\in\mathbb{R} \\<br />\end{align*})
en particulier

 +\beta\times e^{3x}\sin(2\pi)&=0_{\mathbb{R}} \\<br />\alpha\times e^{3\pi}) &=0_{\mathbb{R}} \\<br />\end{align*})
comme

donc

de même pour

donc la famille libre
-
capitaine nuggets
- Modérateur
- Messages: 3931
- Enregistré le: 13 Juil 2012, 22:57
- Localisation: nulle part presque partout
-
par capitaine nuggets » 04 Juil 2015, 13:04
Ta démarche me semble confuse.
On se donne deux réels

et

tels que

(si tu veux noter avec rigueur la fonction identiquement nulle provenant de

).
Il faut donc montrer que

.
Pour cela, prouve que
+\beta f_2(x)=(\alpha - i\beta) e^{i(2x)})
.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 163 invités