2014 dxdy logo

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

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




 
 Эвклидово векторное пространство
Сообщение11.06.2006, 21:00 
Вечер добрый!
Будьте любезны помогите с такой вот задачей:

Пусть $V$ конечномерное эвклидово векторное пространство и пусть $U_{1}, ..., U_{n} $ - его подпространства.
Д-ть:
dim($U_{1}$$\cap$ $U^{\perp}_{2}$) $\ge$ dim($U_{1}$) - dim($U_{2}$)

Под $U^{\perp}_{2}$ подразумевается ортогональное дополнение к $U_{2}$, т.е. $U^{\perp}_{2} = $\{$ $ v \in V $ $\mid$ $\forall$ $u$ $\in$ $U_{2}$: $\langle v,u \rangle$ =0$ $\}$.

Не понимаю с чего начать? Вообще очень смущает неравенство... :roll:

 
 
 
 
Сообщение11.06.2006, 22:01 
Зря оно вас смущает. Постарайтесь представить это в трехмерном случае, и сразу все станет понятно.

А для доказательства разложите подпространство $U_1$ в прямую сумму двух подпространств, одно из которых будет целиком лежать в $U_2$, а другое - в $U_2^\perp$.

 
 
 
 
Сообщение11.06.2006, 22:52 
Спасибо за идею... А разве такое предположение не ограничивает общность??? :?
Пусть:
$U_{1}$ = $U$ $_{a}$ $\oplus$ $U$ $_{b}$ и
$U$ $_{a}$ $\subseteq$ $U_{2}$, $U$ $_{b}$ $\subseteq$ $U^{\perp}_{2}$
Тогда следует, что dim($U$ $_{1}$) = dim($U$ $_{a}$) + dim($U$ $_{b}$) и
dim($U$ $_{a}$) $\le$  dim($U_{2}$) и
dim($U$ $_{b}$) $\le$ dim($U^{\perp}_{2}$).
Следовательно:
dim($U$ $_{1}$) $\le$ dim($U_{2}$) + dim($U^{\perp}_{2}$)
и:
dim($U^{\perp}_{2}$) $\ge$ dim($U_{1}$) - dim($U_{2}$)
и очевидно
dim($U_{1}$$\cap$ $U^{\perp}_{2}$) $<$ dim($U^{\perp}_{2}$)
А дальше снова стопор...

 
 
 
 
Сообщение11.06.2006, 23:51 
Аватара пользователя
Сумма размерностей подпространства и его ортогонального дополнения всегда равна размерности исходного пространства. Более того,исходное пространство раскладывается в прямую сумму любого своего подпространства и его ортогонального дополнения. Поэтому, сумма размерностей пересечения $U_1$ с $U_{2}$ и с $U^{\perp}_{2}$ равна размерности $U_1$, кроме того, dim($U_{1}$$\cap$ $U_{2}$) не превосходит dim($U_{2}$) .Вот и все.

 
 
 
 
Сообщение12.06.2006, 00:19 
Brukvalub писал(а):
кроме того, dim($U_{1}$$\cap$ $U_{2}$) не превосходит dim($U_{2}$).


Откуда это следует...??? Не понимаю...

 
 
 
 
Сообщение12.06.2006, 01:13 
Аватара пользователя
Пересечение пространств является подпространством в каждом из них, а размерность подпространства не превосходит размерности объемлющего пространства.

 
 
 
 
Сообщение12.06.2006, 10:54 
Phoenix писал(а):
Откуда это следует...??? Не понимаю...

Представьте себе, что у вас есть две (двумерные) плоскости в трехмерном пространстве. Их пересечение может быть прямой или плоскостью, но размерность пересечения не больше двух. При пересечении прямой и плоскости размерность пересечения не превышает единицы. То есть, размерность пересечения не больше минимума из размерностей пересекающихся подпространств.

 
 
 
 Урррра!!!
Сообщение12.06.2006, 15:21 
Brukvalub писал(а):
Пересечение пространств является подпространством в каждом из них, а размерность подпространства не превосходит размерности объемлющего пространства.

Ну да... Сегодня я это понимаю, другими словами нельзя впихнуть невпихуемое... :mrgreen:
И до меня наконец-то дошло... лучше позже, чем никогда :D

Всем огромнейщее человеческое спасибо...

 
 
 [ Сообщений: 8 ] 


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