Exos pour futurs spés

Questions d’ordre mathématique et petits défis
Règles du forum
Pas d’aide aux devoirs de lycée ! ;-)
Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11210
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Exos pour futurs spés

Messagepar Miltøn » 02 juil. 2018, 22:30

Heu, alors en voici deux, que j’espère ne pas avoir déjà donnés ici. ^^

1° Soit A une R-algèbre unitaire, commutative, intègre et de dimension finie. Montrer que A est isomorphe à R ou à C.

2° Soient K un corps, E un K-ev, φ_1, …, φ_n et ψ des formes linéaires sur E. Montrer que ψ ∈ Vect(φ_1, …, φ_n) si, et seulement si ker ψ contient l’intersection des ker(φ_i).
Khôlleur en mathématiques, chargé de TD d’informatique. Anciennement codictateur du forum.

« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA

Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11210
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Exos pour futurs spés

Messagepar Miltøn » 09 juil. 2018, 23:06

Alors ? ;)
Pour le 1, commencez par montrer que A est un corps éventuellement. :)
Khôlleur en mathématiques, chargé de TD d’informatique. Anciennement codictateur du forum.

« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA

Zrun
Conseiller régional
Messages : 291
Inscription : 04 août 2016, 00:15

Re: Exos pour futurs spés

Messagepar Zrun » 10 juil. 2018, 07:51

J’ai le 2, je posterai la solution tout à l’heure . Merci pour l’indication !

Edit :
Spoiler :

4E5BC6CE-0948-4596-B62C-E8A70A1FAF60.jpeg
4E5BC6CE-0948-4596-B62C-E8A70A1FAF60.jpeg (218.46 Kio) Consulté 111 fois

Je ne sais pas si les bases anteduales en dimension infinie est au programme mais bon qui suit vraiment le programme ?? :mrgreen:
2017-2018: MPSI 2 , Tous des dieux !!!
2018-2019: MP*

Avatar de l’utilisateur
Darkpatric
Maire
Messages : 87
Inscription : 11 juin 2017, 08:56

Re: Exos pour futurs spés

Messagepar Darkpatric » 11 juil. 2018, 12:52

Zrun a écrit :J’ai le 2

Nom pas que j’en doute de ta capacité à le faire seul mais on l’a quand même eut en dm....
"Ils ne savaient pas que c'était impossible alors ils l'on fait"
Mark Twain

"La plupart des gens aiment les maths. L'ennui,c'est qu'ils ne le savent pas"
Mickaël Launay

2017-2018: MPSI 2 "tous des dieux"
2018-2019:MP*

Zrun
Conseiller régional
Messages : 291
Inscription : 04 août 2016, 00:15

Re: Exos pour futurs spés

Messagepar Zrun » 11 juil. 2018, 14:12

Darkpatric a écrit :
Zrun a écrit :J’ai le 2

Nom pas que j’en doute de ta capacité à le faire seul mais on l’a quand même eut en dm....

Ah tu es sur ? Je vois de quel dm tu parles mais je me souviens de la question telle quelle ...
2017-2018: MPSI 2 , Tous des dieux !!!
2018-2019: MP*

Avatar de l’utilisateur
Darkpatric
Maire
Messages : 87
Inscription : 11 juin 2017, 08:56

Re: Exos pour futurs spés

Messagepar Darkpatric » 11 juil. 2018, 14:59

C’etait En deux questions (mais on vas pas chipoter)
Il me semble
"Ils ne savaient pas que c'était impossible alors ils l'on fait"
Mark Twain

"La plupart des gens aiment les maths. L'ennui,c'est qu'ils ne le savent pas"
Mickaël Launay

2017-2018: MPSI 2 "tous des dieux"
2018-2019:MP*

Zrun
Conseiller régional
Messages : 291
Inscription : 04 août 2016, 00:15

Re: Exos pour futurs spés

Messagepar Zrun » 11 juil. 2018, 18:49

Ok je te crois ! Peut-être il faudrait que je relise nos DMs avant la reprise :mrgreen:
2017-2018: MPSI 2 , Tous des dieux !!!
2018-2019: MP*

Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11210
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Exos pour futurs spés

Messagepar Miltøn » 16 juil. 2018, 00:13

OK. Tu peux prouver l’existence de la base antéduale ? ;)

Au fait, j’attends toujours la correction des rugbymen sans déterminants. ;)
Khôlleur en mathématiques, chargé de TD d’informatique. Anciennement codictateur du forum.

« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA

Zrun
Conseiller régional
Messages : 291
Inscription : 04 août 2016, 00:15

Re: Exos pour futurs spés

Messagepar Zrun » 18 juil. 2018, 12:00

En dimension finie je peux , via l’isomorphisme entre E et son bidual. En dimension infinie, je suis même pas sûr que ça existe dans tous les cas , faudrait que je trouve un autre moyen qui contourne l’utilisation de la base antéduale et après je pourrais me lancer dans le premier exo !
2017-2018: MPSI 2 , Tous des dieux !!!
2018-2019: MP*

Avatar de l’utilisateur
Miltøn
Ancien
Messages : 11210
Inscription : 14 juin 2013, 21:14
Localisation : K-fêt

Re: Exos pour futurs spés

Messagepar Miltøn » 18 juil. 2018, 20:19

En fait en dimension infinie, ça n’a même pas forcément de sens de parler de base duale. Si tu te regardes par exemple E = R^(N) (les suites réelles à support fini) avec (e_n)_n la base canonique, les formes linéaires canoniquement associées aux e_n ne sont pas nécessairement une famille génératrice de E* (par exemple, que penses-tu de la forme linéaire qui a une suite associe la somme de ses termes ?). On peut même démontrer que dim(E) = dim(E*) ssi E est de dimension finie. :)

Cela dit, pour en revenir à nos moutons, ta preuve est très bien sous l’hypothèse que E est de dimension finie, mais ne semble pas pouvoir fonctionner dans le cas général. Mais ce n’est pas très grave, on peut essayer de se ramener à de la dimension finie de façon pas trop idiote ! :D Qu’est-ce que tu penses de l’application suivante ?
E ⟶ K^(n+1)
x ⟼ (φ1(x), …, φn(x), ψ(x))
Khôlleur en mathématiques, chargé de TD d’informatique. Anciennement codictateur du forum.

« Nous bâtirons le nouveau monde atomique où l’homme ne sera plus l’esclave de la nature. Laissons le passé aux nostalgiques, vivons l’aventure du futur. »

Monta ↝ Ozenne ↝ MP3 2013 ↝ MP* 2014 ↝ Ulm 2015 ↝ Dauphine MASH ↝ prep’ÉNA


Revenir vers « Forum maths »

Qui est en ligne ?

Utilisateurs parcourant ce forum : zhangmei et 1 invité