Rédaction algèbre linéaire

Un problème, une question, un nouveau théorème ?
Répondre

Messages : 30

Enregistré le : 22 juin 2019 09:19

Classe : Mpsi

Rédaction algèbre linéaire

Message par Fromhktosun » 22 juin 2019 13:15

Salut,

Je serai à la rentrée prochaine en MPSI et je me suis formé cette année en autodidacte sur le bouquin tout en un MPSI. J'ai avancé fastidieusement sur certains chapitres mais j'ai apprécié de me creuser la tête sur le cours. Je m'efforce à faire certains exercices afin de mettre en pratique la théorie acquise même si ce sera surtout l'objet de mes heures de maths en septembre prochain. Il y a une question que je me pose souvent. Par exemple, regardons l'exercice suivant :

Montrer que la famille formée des $ f_{\alpha}:x\mapsto x^{\alpha} $ avec $ \alpha\in\mathbb R $ est libre dans $ \mathbb R^{[1,+\infty[} $.

Voilà comment je m'y prendrais pour la rédaction. D'après le cours, il suffit de montrer que toute sous-famille finie est libre. Soit $ n\in\mathbb N^* $ et $ \alpha_0,\dots,\alpha_n\in\mathbb R $ deux à deux distincts. Quitte à réordonner les $ \alpha_i $, on peut supposer que $ \alpha_0<\dots <\alpha_n $. Soit $ (a_0,\dots,a_n)\in\mathbb R^{n+1} $ tel que $ a_0f_{\alpha_0}+\dots+a_nf_{\alpha_n}=0 $. Donc en divisant par $ f_{\alpha_n} $ qui ne s'annule pas, $ a_0 f_{\alpha_0-\alpha_n}+\dots+a_{n-1}f_{\alpha_{n-1}-\alpha_n}+a_n=0 $. Donc en passant à la limite en $ +\infty $, on obtient $ a_n=0 $. D'où $ a_0f_{\alpha_0}+\dots +a_{n-1}f_{\alpha_{n-1}}=0 $. En refaisant la même chose un nombre fini de fois, on obtient donc $ a_{n-1}=\dots=a_0=0 $. Donc la famille $ (f_{\alpha_0},\dots,f_{\alpha_n}) $ est libre, ce qui résout l'exercice.

Je lis un peu partout que la rigueur en MPSI doit être parfaite. Du coup, à la fin de mon exercice, lorsque je dis qu'en refaisant cela un nombre fini de fois, est-ce autorisé ? Je sais que je peux formaliser une récurrence évidente mais je trouve que ça n'apporte rien. Mais est-ce obligatoire de l'écrire ?

Messages : 728

Enregistré le : 17 sept. 2017 22:09

Re: Rédaction algèbre linéaire

Message par Nabuco » 22 juin 2019 13:41

Si tu veux avoir une rédaction parfaite raisonne par l'absurde et introduit i l'entier maximum entre 0 et n tel que alpha_i est non nul. Tu peux refaire le même raisonnement (ou i devient n) pour avoir une rédaction parfaite. Après rédiger comme ça ne me semble pas choquant, mais considérer un max ou min des scalaires non nul ça sert assez souvent dans ces questions de liberté.

Messages : 30

Enregistré le : 22 juin 2019 09:19

Classe : Mpsi

Re: Rédaction algèbre linéaire

Message par Fromhktosun » 22 juin 2019 13:50

Ah merci je regarde !

Messages : 5495

Enregistré le : 04 sept. 2005 19:27

Localisation : Versailles

Re: Rédaction algèbre linéaire

Message par JeanN » 22 juin 2019 17:43

La récurrence n’a rien d’une récurrence évidente en fait.
Professeur de maths MPSI Lycée Sainte-Geneviève

Messages : 108

Enregistré le : 26 mars 2019 23:00

Classe : ζ(2)²/ζ(4)

Re: Rédaction algèbre linéaire

Message par Von_ » 22 juin 2019 18:20

JeanN a écrit :
22 juin 2019 17:43
La récurrence n’a rien d’une récurrence évidente en fait.
+1
L'examinateur sort son portable de sa poche et le place à la verticale sur la table. Le portable tombe. Expliquer

Répondre