2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу 1, 2, 3  След.
 
 Кострикин. Снова линейность
Сообщение14.09.2013, 15:23 
Привет.

Пусть $L$ и $M$ - линейные пространства над полем $K$. $\lbrace l_1,\cdots,l_n\rbrace\subset L$ и $\lbrace m_1,\cdots,m_n\rbrace\subset M$ - два семейства векторов с одинаковым числом элементов. Тогда:
а)если линейная оболочка $\lbrace l_1,\cdots,l_n\rbrace$ совпадает с $L$, то существует не более одного линейного отображения $f:L\rightarrow M$, для которого $f(l_i)=m_i$ при всех $i$.

Доказательство. Пусть $f$ и $f'$ - пара отображений с $f(l_i)=f'(l_i)=m_i$ для всех $i$. Рассмотрим отображение $g=f-f'$, где $(f-f')(l)=f(l)-f'(l)$. Легко проверить, что оно линейно.

не получается проверить. На что надо обратить внимание?

Спасибо.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 15:36 
Аватара пользователя
Проверить выполнение свойств линеного отображения. Формально это группировка и вынесение за скобки общего множителя. Линейные отображения сами образуют линейное пространство.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 15:51 
Как я могу расскрыть скобки $(f-f')(l_1+l_2)=f(l_1+l_2)-f'(l_1+l_2)$ с правой стороны от знака равно. Там говориться, что это пара отображений. Не сказано, что они линейны. Или я вас неправильно понял?

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 15:53 
Аватара пользователя
Barabashka в сообщении #763790 писал(а):
...то существует не более одного линейного отображения $f:...$

Раз начали говорить про линейные, то и дальше подразумеваются только линейные.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 15:57 
Хорошо, значит $f$ - линейное отображение.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:06 
Линейный оператор однозначно определяется своими значениями на элементах базиса. Так как-то естественней звучит. И конечномерность, кстати не нужна.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:12 
Аватара пользователя
Нет, приведённая формулировка шире. Может ведь быть, что и не быть.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:14 
bot в сообщении #763809 писал(а):
Нет

в каком смысле "нет", я написал неправильное утверждение?

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:18 
Что может не быть. Можно поконкретнее. Он в пункте б) переходит к базисам.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:19 
Аватара пользователя
Правильное, но задача другая - система образующих не предполагается линейно независимой.

-- Сб сен 14, 2013 20:21:07 --

Barabashka в сообщении #763815 писал(а):
Он в пункте б) переходит к базисам.

Кто он - Кострикин? Правильно - это другая половина задачи.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:21 
bot в сообщении #763818 писал(а):
Правильное, но задача другая - система образующих не предполагается линейно независимой.

Хорошо, что Вы это понимаете. Я дал комментарий, проясняющий существо дела, и в частности природу несуществования оператора.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:24 
Barabashka в сообщении #763815 писал(а):
Что может не быть. Можно поконкретнее.

В условиях задачи вполне может и не оказаться такого отображения. Утверждается лишь, что если оно и существует, то единственно.

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:27 
Barabashka

попробуйте построить оператор $A:\mathbb{R}^2\to\mathbb{R}^2$ такой, что $A(0,1)=(0,1),\quad A(1,0)=(1,0),\quad A(2,2)=(1,1)$

 
 
 
 Re: Кострикин. Снова линейность
Сообщение14.09.2013, 16:28 
Кострикин - автор книги.

Ясно. В пункте б) сказано, что если базисы, то существует.

Это просто доказательсво.

-- Сб сен 14, 2013 18:06:03 --

Я думал прояснить себе некоторые моменты доказательсва. Но без примеров усваивается плохо. Я не знаю как строить оператор. Попробую. Я так понимаю вы отображаете два ортонормированных базиса.

Получается, если допустить, что $A$ - линейное отображение, получается $A(2,2) = A(2(0,1)+2(1,0)) = 2A(0,1) + 2A(1,0) = (0,2)+(2,0) = (2,2)$, а в условии $A(2,2)=(1,1)$. У меня получается, что $A$ - нелинейно.

Так что ли?

 
 
 
 Re: Кострикин. Снова линейность
Сообщение15.09.2013, 06:34 
Аватара пользователя
Да, так
Barabashka в сообщении #763824 писал(а):
Я так понимаю вы отображаете два ортонормированных базиса.
Это не при чём и неверно.

Barabashka в сообщении #763790 писал(а):
Рассмотрим отображение $g=f-f'$, где $(f-f')(l)=f(l)-f'(l)$. Легко проверить, что оно линейно.
Проверяйте.

 
 
 [ Сообщений: 35 ]  На страницу 1, 2, 3  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group