Question Number 115391 by Faetma last updated on 25/Sep/20
$$\mathrm{Who}\:\mathrm{can}\:\mathrm{explain} \\ $$$$\mathrm{me}\:\mathrm{what}\:\mathrm{is}\:“\mathbb{R}_{{n}} \left[{x}\right]''? \\ $$$${In}\:{French}\:{if}\:{possible}. \\ $$
Answered by Olaf last updated on 26/Sep/20
$$\mathrm{Le}\:\mathbb{R}\:\mathrm{c}'\mathrm{est}\:\mathrm{l}'\mathrm{ensemble}\:\mathrm{des}\:\mathrm{reels}. \\ $$$$\mathrm{Le}\:\mathrm{X}\:\mathrm{signifie}\:\mathrm{que}\:\mathrm{les}\:\mathrm{objets}\:\mathrm{dependent} \\ $$$$\mathrm{d}'\mathrm{une}\:\mathrm{seule}\:\mathrm{variable}\:\mathrm{reelle} \\ $$$$\mathrm{traditionnellement}\:\mathrm{notee}\:{x}\:\mathrm{et} \\ $$$$\mathrm{fait}\:\mathrm{reference}\:\mathrm{a}\:\mathrm{la}\:\mathrm{notion}\:\mathrm{de} \\ $$$$\mathrm{polynomes}. \\ $$$$ \\ $$$$\mathbb{R}\left[\mathrm{X}\right]\:\mathrm{est}\:\mathrm{l}'\mathrm{espace}\:\mathrm{vectoriel} \\ $$$$\left(\mathrm{l}'\mathrm{ensemble}\:\mathrm{pour}\:\mathrm{faire}\:\mathrm{simple}\right) \\ $$$$\mathrm{de}\:\mathrm{tous}\:\mathrm{les}\:\mathrm{polynomes}\:\mathrm{sur}\:\mathrm{le}\:\mathrm{corps} \\ $$$$\mathrm{des}\:\mathrm{reels}. \\ $$$$ \\ $$$$\mathbb{R}_{{n}} \left[\mathrm{X}\right]\:\mathrm{est}\:\mathrm{plus}\:\mathrm{restreint}. \\ $$$$\mathrm{C}'\mathrm{est}\:\mathrm{l}'\mathrm{espace}\:\mathrm{vectoriel} \\ $$$$\mathrm{des}\:\mathrm{polynomes}\:\:\mathrm{de}\:\mathrm{degre}\:{n} \\ $$$$\mathrm{au}\:\mathrm{plus}\:\mathrm{sur}\:\mathrm{le}\:\mathrm{corps}\:\mathrm{des}\:\mathrm{reels}. \\ $$$$ \\ $$$$\mathrm{C}'\mathrm{est}\:\mathrm{un}\:\mathrm{espace}\:\mathrm{vectoriel}. \\ $$$$\mathrm{Il}\:\mathrm{y}\:\mathrm{a}\:\mathrm{donc}\:\mathrm{un}\:\mathrm{element}\:\mathrm{neutre} \\ $$$$\mathrm{pour}\:\mathrm{l}'\mathrm{addition},\:\mathrm{le}\:\mathrm{polynome}\:\mathrm{nul}. \\ $$$$\mathrm{Il}\:\mathrm{y}\:\mathrm{a}\:\mathrm{une}\:\mathrm{base},\:\mathrm{les}\:{x}^{{k}} ,\:{k}\leqslant{n}. \\ $$$$\mathrm{Et}\:\mathrm{tout}\:\mathrm{element}\:\mathrm{de}\:\mathbb{R}_{{n}} \left[\mathrm{X}\right]\:\mathrm{est} \\ $$$$\mathrm{combinaison}\:\mathrm{lineaire}\:\mathrm{des}\:\mathrm{elements} \\ $$$$\mathrm{de}\:\mathrm{la}\:\mathrm{base}\:\mathrm{et}\:\mathrm{s}'\mathrm{ecrit}\:\mathrm{donc}\:\underset{{k}=\mathrm{0}} {\overset{{n}} {\sum}}{a}_{{k}} {x}^{{k}} . \\ $$$$\mathrm{Tu}\:\mathrm{peux}\:\mathrm{additionner}\:\mathrm{les}\:\mathrm{elements} \\ $$$$\mathrm{de}\:\mathbb{R}_{{n}} \left[\mathrm{X}\right]\:\mathrm{et}\:\mathrm{le}\:\mathrm{resultat}\:\mathrm{est}\:\mathrm{un}\:\mathrm{element} \\ $$$$\mathrm{de}\:\mathbb{R}_{{n}} \left[\mathrm{X}\right]. \\ $$$$ \\ $$$$\mathrm{Exemples}\:: \\ $$$$\mathrm{3}{x}^{\mathrm{2}} −\mathrm{4}{x}+\mathrm{7}\:\in\mathbb{R}_{\mathrm{2}} \left[\mathrm{X}\right] \\ $$$$\mathrm{2}{x}−\mathrm{3}\:\in\mathbb{R}_{\mathrm{2}} \left[\mathrm{X}\right]\:\mathrm{mais}\:\notin\mathbb{R}_{\mathrm{0}} \left[\mathrm{X}\right] \\ $$$$\mathrm{5}{x}^{\mathrm{3}} +\mathrm{3}{x}^{\mathrm{2}} −\mathrm{4}{x}+\mathrm{7}\:\notin\mathbb{R}_{\mathrm{2}} \left[\mathrm{X}\right]\:\mathrm{mais}\:\in\mathbb{R}_{\mathrm{3}} \left[\mathrm{X}\right] \\ $$$$\left(\mathrm{3}+{i}\right){x}^{\mathrm{2}} −\mathrm{4}{ix}+\mathrm{7}\:\notin\mathbb{R}_{\mathrm{2}} \left[\mathrm{X}\right]\:\mathrm{mais}\:\in\mathbb{C}_{\mathrm{2}} \left[\mathrm{X}\right] \\ $$$$ \\ $$
Commented by Faetma last updated on 25/Sep/20
$$\mathrm{Merci}\:\mathrm{infiniment}\:! \\ $$