Skończony układ wielmianów i baza kanoniczna
: 8 mar 2015, o 10:51
Jak udowodnić liniową niezależnośc skończonego układu wielomianów ze zbioru: \(\displaystyle{ \left\{ p_{n} \in P(R) : p_{n}(x)=x^{n} \right\}}\), gdzie \(\displaystyle{ n \in \left\{ 0,1,2,...\right\}}\)?
Każdy z tych wielomianów jest różnego stopnia. Jak zpiszemy je w postaci liniowej kombinacji to widać od razu, że wektor zeorwy uzyskamy tylko, gdy wszystkie współczynniki będą zerami. Nie ma innej opcji.
Tylko czy to wystarczy do kompletnego dowodu?
Wpadłam jeszcze na pomysł, by skojarzyć wielomainy ze zwykłymi wektorami z \(\displaystyle{ R^{n}}\) w ten sposób, że np. wielomian \(\displaystyle{ p(x)=x^{2}}\) to wektor \(\displaystyle{ (1,0)}\). Wtedy widać, że wielomiany z naszego zbioru stają się jakby wektorami z bazy kanonicznej - a wtedy liniowa niezalezność jest oczywista.
Każdy z tych wielomianów jest różnego stopnia. Jak zpiszemy je w postaci liniowej kombinacji to widać od razu, że wektor zeorwy uzyskamy tylko, gdy wszystkie współczynniki będą zerami. Nie ma innej opcji.
Tylko czy to wystarczy do kompletnego dowodu?
Wpadłam jeszcze na pomysł, by skojarzyć wielomainy ze zwykłymi wektorami z \(\displaystyle{ R^{n}}\) w ten sposób, że np. wielomian \(\displaystyle{ p(x)=x^{2}}\) to wektor \(\displaystyle{ (1,0)}\). Wtedy widać, że wielomiany z naszego zbioru stają się jakby wektorami z bazy kanonicznej - a wtedy liniowa niezalezność jest oczywista.