2014 dxdy logo

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

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




 
 Ортогональное отражение
Сообщение08.05.2008, 18:53 
Подскажите, как доказать, что ортогональное отражение в пространстве L, является или нет ортогональным преобразованием.

 
 
 
 
Сообщение08.05.2008, 19:02 
Аватара пользователя
Проверьте линейность этого преобразования и сохранение длин при его действии.

 
 
 
 
Сообщение08.05.2008, 20:00 
А поподробнее? Мне по условию сказано, что некий оператор А - отражение, т.е. А^2=1. Если А - ортогональное преобразование, то (х,х)=(А(х),А(х)). Я не понимаю, что значит ортогональное отражение. И потом как это все связать?

 
 
 
 
Сообщение08.05.2008, 20:12 
Аватара пользователя
А пространство конечномерное или не важно?

 
 
 
 
Сообщение08.05.2008, 20:19 
конечномерное

 
 
 
 
Сообщение08.05.2008, 20:28 
Аватара пользователя
Что такое отражение действительно не понятно.

Я вначале подумал, что $A$ называется отражением, если $A^2 = E$. Но вот возьмём

$$
A = 
\left(
\begin{array}{cc}
0 & 2 \\
1/2 & 0
\end{array}
\right)
$$

Что-то не похоже преобразование, задаваемое матрицей $A$, на какое-то "отражение от чего-то".

 
 
 
 
Сообщение08.05.2008, 20:39 
А - вообще-то, оператор, а не его матрица. Скажем, I-единичный оператор, не единичная матрица. Тогда композиция операторов А и А есть оператор А^2, причем А^2=I. Это есть отражение. А что такое ортогональное отражение?

 
 
 
 
Сообщение08.05.2008, 21:28 
Аватара пользователя
malykh89 писал(а):
А - вообще-то, оператор, а не его матрица. Скажем, I-единичный оператор, не единичная матрица.

А Вы что, усматриваете какую-то принципиальнцю разницу между линейным оператором в конечномерном пространстве и матрицей ?

 
 
 
 
Сообщение08.05.2008, 21:48 
Аватара пользователя
malykh89 писал(а):
Скажем, I-единичный оператор, не единичная матрица.
Беда в том, что матрица единичного оператора в любом базисе будет единичной. Возможно, ортогональное отражение - это аналог осевой симметрии, только производимой относительно гиперпплоскости, имеющей на 1 меньшую размерность, чем само пространство. Тогда необходимо разложить вектор в сумму его проекции на эту гиперплоскость и ортогонального к этой компоненте дополнения и результатом отображения считать вектор, противоположный к этой компоненте дополнения. Иного смысла в термине
malykh89 писал(а):
ортогональное отражение в пространстве L
я не нахожу :roll:

 
 
 
 
Сообщение08.05.2008, 22:54 
Все это очень мило, но как доказать исходное утв?

 
 
 
 
Сообщение08.05.2008, 23:11 
Аватара пользователя
malykh89 писал(а):
Все это очень мило, но как доказать исходное утв?
Вот я мило и писал Вам, как доказать:
Brukvalub писал(а):
Проверьте линейность этого преобразования и сохранение длин при его действии.
(эх, люблю, когда меня цитируют, даже если цитирую я сам) :D

 
 
 
 
Сообщение08.05.2008, 23:50 
Аватара пользователя
Пусть $H$ - гильбертово пространство, $M$ - его замкнутое подпространство. Тогда определено $L=M^{\bot}$. Тогда для любого $x\in H$ существуют единственные $y\in M$ и $z\in L$, что $x=y+z$. Положим $Ax=y-z$. Тогда $A$ называется оператором ортогональной симметрии.
Таким образом, $(Ax,\,Ax) = (y-z,\,y-z) = (y,\,y)+(z,\,z)-(z,\,y)-(y,\,z)=(y,\,y)+(z,\,z)$ ввиду ортогональности $y$ и $z$. Однако $(x,\,x)=(y+z,\,y+z)=(y,\,y)+(z,\,z)+(z,\,y)+(y,\,z)=(y,\,y)+(z,\,z)$.

 
 
 
 
Сообщение11.05.2008, 20:45 
Попробую перевести на немного другой язык.
Оператор $A$ в гильбертовом пространстве называется оператором отражения относительно подпространства $L$, если $(A\vec x-\vec x)\perp L\ \ (\forall\vec x)$ и $(A\vec x+\vec x)\in L\ \ (\forall\vec x)$.

Явные формулы для такого оператора:
$$A\vec x=2\;P_L\vec x-\vec x$$
или
$$A\vec x=\vec x-2\;P_{L^{\perp}}\vec x$$,
где $P_L$ и $P_{L^{\perp}}$ -- операторы ортогонального проектирования на само подпространство и на его ортогональное дополнение (какая проще -- зависит от того, размерность какого подпространства меньше). Эти формулы явные, т.к. явно выписываются через ортонормированный базис $\{\vec u_k\}$ подпространства (если, конечно, задача сепарабельна -- например, конечномерна):
$$P_L\vec x=\sum\limits_k{(\vec x,\vec u_k)\over||\vec u_k||^2}\,\vec u_k$$.
Оператор $A$ при этом автоматически линеен и самосопряжён (т.к. ортопроекторы -- самосопряжены). Его ортогональность, или унитарность (т.е. сохранение им нормы) проверяется, например, в лоб:
$$||A\vec x||^2=4||P_L\vec x||^2-4(P_L\vec x,\vec x)+||\vec x||^2=||\vec x||^2$$
(последнее верно потому, что $P_L^2=P_L$ и, следовательно, $(P_L\vec x,P_L\vec x)=(P_L\vec x,\vec x)$).

-----------------------------------------
Что казается $A^2=E$. Для оператора отражения это, конечно, верно -- просто потому, что он одновременно унитарен и самосопряжён. Обратно, если $A^2=E$ и плюс к этому оператор $A$ самосопряжен, то это -- оператор отражения. При этом
$L$ -- это собственное подпространство, отвечающее его единичному собственному числу (а подпространство $L^{\perp}$ отвечает собственному числу, равному $(-1)$).

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


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