5) Матрицы перехода ...
A в чём проблема? Есть два базиса
![$$f=(f_1, f_2, ... , f_n)$$ $$f=(f_1, f_2, ... , f_n)$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24f%3D%28f_1%2C%20f_2%2C%20...%20%2C%20f_n%29%24%24)
и
![$$g=(g_1, g_2, ... , g_n)$$ $$g=(g_1, g_2, ... , g_n)$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24g%3D%28g_1%2C%20g_2%2C%20...%20%2C%20g_n%29%24%24)
. Любой вектор
![$$ x$$ $$ x$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20x%24%24)
можно разложить по базису
![$$f$$ $$f$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24f%24%24)
. Коэффициенты в разложении вектора называются координатами этого вектора в базисе
![$$f$$ $$f$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24f%24%24)
и из них можно составить координатный столбец
![$$ [x] $$ $$ [x] $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20%5Bx%5D%20%24%24)
, a само разложение вектора
![$$ x$$ $$ x$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20x%24%24)
в базисе записать в виде
![$$ x=f[x] $$ $$ x=f[x] $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20x%3Df%5Bx%5D%20%24%24)
. Матрица перехода
![$$T$$ $$T$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24T%24%24)
от базиса
![$$f$$ $$f$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24f%24%24)
к базису
![$$g$$ $$g$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24g%24%24)
по определению составлена из координатных столбов векторов
![$$g_i$$ $$g_i$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24g_i%24%24)
в базисе
![$$f $$ $$f $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24f%20%24%24)
:
![$$T=([g_1], [g_2], ... , [g_n] ) $$ $$T=([g_1], [g_2], ... , [g_n] ) $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24T%3D%28%5Bg_1%5D%2C%20%5Bg_2%5D%2C%20...%20%2C%20%5Bg_n%5D%20%29%20%24%24)
, a сам переход в матричной форме можно записать так:
(*)
![$$g=fT $$ $$g=fT $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24g%3DfT%20%24%24)
Если векторы базисов
![$$f $$ $$f $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24f%20%24%24)
и
![$$g $$ $$g $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24g%20%24%24)
сами заданы своими координатами в некотором базисе
![$$e $$ $$e $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24e%20%24%24)
, то это означает, что заданы матрицы перехода от базиса
![$$e $$ $$e $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24e%20%24%24)
к базисам
![$$f $$ $$f $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24f%20%24%24)
и
![$$g$$ $$g$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24g%24%24)
:
![$$f=eF $$ $$f=eF $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24f%3DeF%20%24%24)
и
![$$g=eG $$ $$g=eG $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24g%3DeG%20%24%24)
, подставив в (*) получаем
![$$eG=eFT $$ $$eG=eFT $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24eG%3DeFT%20%24%24)
Законность матричной записи, в частности ассоциативности, вполне очевидна.
Так как
![$$e$$ $$e$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24e%24%24)
- это базис, то в последнем равенстве на
![$$e$$ $$e$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24e%24%24)
можно сократить.
Аналогичным образом проверяется, что при двух последовательных переходах от одного базиса к другому, a потом к третьему, матрицы переходов перемножаются.
6) Какая то полная смерть ...
Надо просто взять какой-нибудь базис, к примеру
![$$1, x, x^2$$ $$1, x, x^2$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%241%2C%20x%2C%20x%5E2%24%24)
, и подвергнуть его процессу ортогонализации Грама-Шмидта - фактически это означает выбрать линейную функцию
![$$ x+a$$ $$ x+a$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20x%2Ba%24%24)
, ортогональную к 1, a затем квадратный трёхчлен
![$$ x^2+px+q$$ $$ x^2+px+q$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20x%5E2%2Bpx%2Bq%24%24)
, ортогональный к 1 и к
![$$ x+a$$ $$ x+a$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20x%2Ba%24%24)
.[/quote]
7) Пусть D, S, L - операторы ...
Тождественный оператор перестановочен c любым, отсюда перестановочны не только
![$$ D $$ $$ D $$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20D%20%24%24)
и
![$$ D - I$$ $$ D - I$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%20D%20-%20I%24%24)
, но и любые их степени. Неперестаночность
![$$D$$ $$D$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24D%24%24)
и
![$$S$$ $$S$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24S%24%24)
обнаруживается сразу - ткните наугад, кроме нуля.
Неперестановочность
![$$(D-I)^n$$ $$(D-I)^n$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%28D-I%29%5En%24%24)
и
![$$S$$ $$S$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24S%24%24)
очевидна отсюда:
![$$(D-I)^nS(e^x)=e^{2x}$$ $$(D-I)^nS(e^x)=e^{2x}$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%28D-I%29%5EnS%28e%5Ex%29%3De%5E%7B2x%7D%24%24)
![$$(D-I)(e^x)=0$$ $$(D-I)(e^x)=0$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%28D-I%29%28e%5Ex%29%3D0%24%24)
Попутно: в силу перестаночности
![$$D$$ $$D$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24D%24%24)
и
![$$I$$ $$I$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24I%24%24)
оператор
![$$(D-I)^n$$ $$(D-I)^n$$](http://fx.ifz.ru/tex2.php?d=120&i=%24%24%28D-I%29%5En%24%24)
можно расписать по биному.