LINUX.ORG.RU
решено ФорумTalks

[жж] линал

 


0

0

Глубокоуважаемые господа линуксоиды, скажите, пожалуйста, как можно доказать то, что в унитарном пространстве любой оператор, сохраняющий длину элемента, является унитарным? В книжках, что я читал, написано, что доказывается по аналогии с указанным свойством ортогонального оператора в евклидовом пространстве, но у меня это не получается.

Deleted

Дано (Âx,Âx)=(x,x) для любого x.
Тогда для любых x и y верно
(Â(x+y),Â(x+y))=(x+y,x+y)
(Âx,Âx)+(Âx+Ây)+(Ây,Âx)+(Ây,Ây)=(x,x)+(x,y)+(y,x)+(y,y)
(Âx,Ây)+(Ây,Âx)=(x,y)+(y,x)

(Â(x+yi),Â(x+yi))=(x+yi,x+yi)
(Âx,Âx)-i(Âx+Ây)+i(Ây,Âx)+(Ây,Ây)=(x,x)-i(x,y)+i(y,x)+(y,y)
-(Âx,Ây)+(Ây,Âx)=-(x,y)+(y,x)

(Âx,Ây)=(x,y)
Значит Â - унитарный.

mqspi
()
Ответ на: комментарий от mqspi

mqspi спасибо, именно до второй части я и не додумался. мне это, слава богу, в билете вчера не попалось, но все равно интересно.

Deleted
()
Ответ на: комментарий от pupok

>>школота?

полутора-линейность кто будет использовать?

Ты наркоман что-ли? А что, по-твоему, он использовал, когда переходил от

(Â(x+yi),Â(x+yi))=(x+yi,x+yi)

к

(Âx,Âx)-i(Âx,Ây)+i(Ây,Âx)+(Ây,Ây)=(x,x)-i(x,y)+i(y,x)+(y,y)

?

mclaudt
()
Ответ на: комментарий от Lockywolf

Ну унитарные операторы/пространства я думаю точно не изучают...

Kosyak ★★★★
()
Ответ на: комментарий от Deleted

>>физфак мгу. полуторалинейности, кстати, у нас не было.

Как так не было? Унитарные пространства были, а полуторалинейнось - нет?

Гуглани, это всего лишь жаргонное название свойства скалярного произведения в унитарном пространстве выносить коэффициент из второго аргумента за скобки с комплексным сопряжением.

mclaudt
()
Ответ на: комментарий от mclaudt

Вы правы, у нас это было, только название «полуторалинейность» не использовалось.

Deleted
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.