Проекция (линейная алгебра)

Преобразование P - это ортогональная проекция на прямую m .

В линейной алгебры и функционального анализа , А проекция является линейное преобразование из векторного пространства в себя такое , что . То есть всякий раз, когда применяется дважды к любому значению, он дает такой же результат, как если бы он был применен один раз ( идемпотент ). Он оставляет неизменным свой имидж. ^[1] Хотя это абстрактное определение «проекции» формализует и обобщает идею графической проекции . Можно также рассмотреть влияние проекции на геометрический объект, исследуя влияние проекции на точки в объекте.${\ displaystyle P}$${\ Displaystyle P ^ {2} = P}$${\ displaystyle P}$

Определения [ править ]

Проекция на векторном пространстве является линейным оператором таким образом, что .${\ displaystyle V}$${\ displaystyle P: V \ to V}$${\ Displaystyle P ^ {2} = P}$

Когда есть внутренний продукт и он завершен (т.е. когда это гильбертово пространство ), можно использовать концепцию ортогональности . Проекция на гильбертово пространство называется ортогональной проекцией, если она удовлетворяет всем . Неортогональная проекция на гильбертово пространство называется наклонной проекцией .${\ displaystyle V}$${\ displaystyle V}$${\ displaystyle P}$${\ displaystyle V}$${\ displaystyle \ langle Px, y \ rangle = \ langle x, Py \ rangle}$${\ displaystyle x, y \ in V}$

Матрица проекции [ править ]

• В конечномерном случае квадратная матрица называется проекционной матрицей, если она равна своему квадрату, т . Е. Если . ^{[2] : с. 38}${\ displaystyle P}$${\ Displaystyle P ^ {2} = P}$
• Квадратная матрица называется ортогональной матрицей проекции , если для вещественной матрицы, и , соответственно , для комплексной матрицы, где обозначает транспонирование и обозначает эрмиты транспонирования из . ^{[2] : с. 223}${\ displaystyle P}$${\ Displaystyle P ^ {2} = P = P ^ {\ mathrm {T}}}$${\ Displaystyle P ^ {2} = P = P ^ {\ mathrm {H}}}$${\ Displaystyle P ^ {\ mathrm {T}}}$${\ displaystyle P}$${\displaystyle P^{\mathrm {H} }}$${\displaystyle P}$
• Матрица проекции, которая не является ортогональной матрицей проекции, называется матрицей наклонной проекции .

Собственные значения матрицы проекции должны быть 0 или 1.

Примеры [ править ]

Ортогональная проекция [ править ]

Например, функция, которая отображает точку в трехмерном пространстве на точку, является ортогональной проекцией на плоскость x - y . Эта функция представлена матрицей${\displaystyle (x,y,z)}$${\displaystyle \mathbb {R} ^{3}}$${\displaystyle (x,y,0)}$

${\displaystyle P={\begin{bmatrix}1&0&0\\0&1&0\\0&0&0\end{bmatrix}}.}$

Действие этой матрицы на произвольный вектор есть

${\displaystyle P{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}x\\y\\0\end{pmatrix}}.}$

Чтобы увидеть, что это действительно проекция, т. Е. Вычисляем${\displaystyle P}$${\displaystyle P=P^{2}}$

${\displaystyle P^{2}{\begin{pmatrix}x\\y\\z\end{pmatrix}}=P{\begin{pmatrix}x\\y\\0\end{pmatrix}}={\begin{pmatrix}x\\y\\0\end{pmatrix}}=P{\begin{pmatrix}x\\y\\z\end{pmatrix}}}$.

Наблюдение, которое показывает, что проекция является ортогональной проекцией.${\displaystyle P^{\mathrm {T} }=P}$

Косая проекция [ править ]

Простым примером неортогональной (наклонной) проекции (определение см. Ниже) является

${\displaystyle P={\begin{bmatrix}0&0\\\alpha &1\end{bmatrix}}.}$

Через умножение матриц видно , что

${\displaystyle P^{2}={\begin{bmatrix}0&0\\\alpha &1\end{bmatrix}}{\begin{bmatrix}0&0\\\alpha &1\end{bmatrix}}={\begin{bmatrix}0&0\\\alpha &1\end{bmatrix}}=P.}$

доказывая, что это действительно проекция.${\displaystyle P}$

Проекция ортогональна тогда и только тогда, потому что только тогда .${\displaystyle P}$${\displaystyle \alpha =0}$${\displaystyle P^{\mathrm {T} }=P}$

Свойства и классификация [ править ]

Идемпотенция [ править ]

По определению, проекция является идемпотентная (т.е. ).${\displaystyle P}$${\displaystyle P^{2}=P}$

Взаимодополняемость диапазона и ядра [ править ]

Позвольте быть конечномерным векторным пространством и быть проекцией на . Пусть подпространства и являются диапазон и ядро из соответственно. Тогда обладает следующими свойствами:${\displaystyle W}$${\displaystyle P}$${\displaystyle W}$ ${\displaystyle U}$${\displaystyle V}$${\displaystyle P}$${\displaystyle P}$

1. ${\displaystyle P}$является тождественным оператором на${\displaystyle I}$${\displaystyle U}$

   ${\displaystyle \forall x\in U:Px=x}$.

2. У нас есть прямая сумма . Каждый вектор может быть разложен однозначно как с и , и где .${\displaystyle W=U\oplus V}$${\displaystyle x\in W}$${\displaystyle x=u+v}$${\displaystyle u=Px}$${\displaystyle v=x-Px=(I-P)x}$${\displaystyle u\in U,v\in V}$

Диапазон и ядро ​​проекции дополняют друг друга , как и . Оператор также является проекцией, поскольку диапазон и ядро становятся ядром и диапазоном, и наоборот. Мы говорим, что это проекция на (ядро / диапазон) и это проекция на .${\displaystyle P}$${\displaystyle Q=I-P}$${\displaystyle Q}$${\displaystyle P}$${\displaystyle Q}$${\displaystyle P}$${\displaystyle V}$${\displaystyle U}$${\displaystyle Q}$${\displaystyle U}$${\displaystyle V}$

Спектр [ править ]

В бесконечномерных векторных пространствах спектр проекции содержится в как${\displaystyle \{0,1\}}$

${\displaystyle (\lambda I-P)^{-1}={\frac {1}{\lambda }}I+{\frac {1}{\lambda (\lambda -1)}}P.}$

Только 0 или 1 могут быть собственными значениями проекции. Это означает, что ортогональная проекция всегда является положительно полуопределенной матрицей. В общем, соответствующие собственные подпространства являются (соответственно) ядром и диапазоном проекции. Разложение векторного пространства на прямые суммы не единственно. Следовательно, для данного подпространства может быть много проекций, диапазон (или ядро) которых равен .${\displaystyle P}$${\displaystyle V}$${\displaystyle V}$

Если проекция нетривиальна, она имеет минимальный многочлен , который делится на различные корни и, таким образом , диагонализуем .${\displaystyle x^{2}-x=x(x-1)}$${\displaystyle P}$

Продукт прогнозов [ править ]

Продукт проекций, как правило, не является проекцией, даже если они ортогональны. Если две проекции коммутируют, то их произведение является проекцией, но обратное неверно: произведение двух некоммутирующих проекций может быть проекцией.

Если два ортогональных проектора коммутируют, то их произведение является ортогональным проектором. Если продукт двух ортогональных проекций является ортогональным проектором, то эти два ортогональных проектора коммутируют (в более общем смысле: два самосопряженных эндоморфизма коммутируют тогда и только тогда, когда их произведение самосопряжено).

Ортогональные проекции [ править ]

Когда векторное пространство имеет внутренний продукт и является полным (является гильбертовым пространством ), можно использовать концепцию ортогональности . Ортогональная проекция является проекцией , для которого диапазон и нуль - пространство являются ортогональные подпространства . Таким образом, для каждого и в , . Эквивалентно:${\displaystyle W}$${\displaystyle U}$${\displaystyle V}$${\displaystyle x}$${\displaystyle y}$${\displaystyle W}$${\displaystyle \langle Px,(y-Py)\rangle =\langle (x-Px),Py\rangle =0}$

${\displaystyle \langle x,Py\rangle =\langle Px,Py\rangle =\langle Px,y\rangle }$.

Проекция ортогональна тогда и только тогда, когда она самосопряжена . Используя Самосопряженные и идемпотентным свойство для любого и в нас есть , и${\displaystyle P}$${\displaystyle x}$${\displaystyle y}$${\displaystyle W}$${\displaystyle Px\in U}$${\displaystyle y-Py\in V}$

${\displaystyle \langle Px,y-Py\rangle =\langle P^{2}x,y-Py\rangle =\langle Px,P(I-P)y\rangle =\langle Px,(P-P^{2})y\rangle =0\,}$

где есть скалярное произведение , связанное с . Следовательно, и являются ортогональными проекциями. ^[3] Другое направление, а именно, что если ортогонально, то оно самосопряженное, следует из${\displaystyle \langle \cdot ,\cdot \rangle }$${\displaystyle W}$${\displaystyle Px}$${\displaystyle y-Py}$${\displaystyle P}$

${\displaystyle \langle x,Py\rangle =\langle Px,y\rangle =\langle x,P^{*}y\rangle }$

для каждого и в ; таким образом .${\displaystyle x}$${\displaystyle y}$${\displaystyle W}$${\displaystyle P=P^{*}}$

Доказательство существования

Пусть полное метрическое пространство с внутренним произведением , и пусть замкнутое линейное подпространство в (и , следовательно , полное, а).${\displaystyle H}$${\displaystyle U}$${\displaystyle H}$ Для каждого следующего набора неотрицательных значений нормы имеет нижнюю грань , а в силу ее полноты является минимумом . Мы определяем как точку, в которой достигается этот минимум.${\displaystyle x}$${\displaystyle \{\|x-u\||u\in U\}}$${\displaystyle U}$${\displaystyle Px}$${\displaystyle U}$ Очевидно, находится в . Осталось показать, что удовлетворяет и что это линейно.${\displaystyle Px}$${\displaystyle U}$${\displaystyle Px}$${\displaystyle \langle x-Px,Px\rangle =0}$ Давайте определимся . Для любого ненулевого in выполняется следующее:${\displaystyle a=x-Px}$${\displaystyle v}$${\displaystyle U}$ ${\displaystyle \|a-{\frac {\langle a,v\rangle }{\|v\|^{2}}}v\|^{2}=\|a\|^{2}-{\frac {{\langle a,v\rangle }^{2}}{\|v\|^{2}}}}$ Определив, мы видим, что если не обращается в нуль. Поскольку было выбрано в качестве минимума из указанного выше множества, следует, что действительно обращается в нуль. В частности, (для ): .${\displaystyle w=Px+{\frac {\langle a,v\rangle }{\|v\|^{2}}}v}$${\displaystyle \|x-w\|<\|x-Px\|}$${\displaystyle \langle a,v\rangle }$${\displaystyle Px}$${\displaystyle \langle a,v\rangle }$${\displaystyle y=Px}$${\displaystyle \langle x-Px,Px\rangle =0}$ Линейность следует из обращения в нуль для каждого :${\displaystyle \langle x-Px,v\rangle }$${\displaystyle v\in U}$ ${\displaystyle \langle \left(x+y\right)-P\left(x+y\right),v\rangle =0}$ ${\displaystyle \langle \left(x-Px\right)+\left(y-Py\right),v\rangle =0}$ Взяв разницу между уравнениями, мы имеем ${\displaystyle \langle Px+Py-P\left(x+y\right),v\rangle =0}$ Но поскольку мы можем выбирать (как оно есть ), отсюда следует следующее . Аналогично для каждого скаляра .${\displaystyle v=Px+Py-P(x+y)}$${\displaystyle U}$${\displaystyle Px+Py=P(x+y)}$${\displaystyle \lambda Px=P(\lambda x)}$ ${\displaystyle \lambda }$

Свойства и особые случаи [ править ]

Ортогональная проекция - это ограниченный оператор . Это потому, что для каждого в векторном пространстве, согласно неравенству Коши – Шварца :${\displaystyle v}$

${\displaystyle \|Pv\|^{2}=\langle Pv,Pv\rangle =\langle Pv,v\rangle \leq \|Pv\|\cdot \|v\|}$

Итак .${\displaystyle \|Pv\|\leq \|v\|}$

Для конечномерных комплексных или вещественных векторных пространств можно заменить стандартный внутренний продукт .${\displaystyle \langle \cdot ,\cdot \rangle }$

Формулы [ править ]

Простой случай возникает, когда ортогональная проекция находится на прямой. Если - единичный вектор на прямой, то проекция задается внешним произведением${\displaystyle u}$

${\displaystyle P_{u}=uu^{\mathrm {T} }.}$

(Если является комплексным, транспонирование в приведенном выше уравнении заменяется эрмитовым транспонированием). Этот оператор оставляет u инвариантным и аннулирует все векторы, ортогональные ему , доказывая, что это действительно ортогональная проекция на прямую, содержащую u . ^[4] Простой способ увидеть это рассмотреть произвольный вектор в виде суммы компоненты на линии (т.е. прогнозируемого вектора мы ищем) , а другой перпендикулярно к ней, . Применяя проекцию, получаем${\displaystyle u}$${\displaystyle u}$${\displaystyle x}$${\displaystyle x=x_{\parallel }+x_{\perp }}$

${\displaystyle P_{u}x=uu^{\mathrm {T} }x_{\parallel }+uu^{\mathrm {T} }x_{\perp }=u\left(\mathrm {sign} (u^{\mathrm {T} }x_{\parallel })\|x_{\parallel }\|\right)+u\cdot 0=x_{\parallel }}$

по свойствам скалярного произведения параллельных и перпендикулярных векторов.

Эту формулу можно обобщить на ортогональные проекции на подпространство произвольной размерности. Пусть быть ортонормированный базис подпространства , и пусть обозначим матрицу, столбцы которой являются , например . Тогда проекция дается следующим образом: ^[5]${\displaystyle u_{1},\ldots ,u_{k}}$${\displaystyle U}$${\displaystyle A}$${\displaystyle n\times k}$${\displaystyle u_{1},\ldots ,u_{k}}$${\displaystyle A={\begin{bmatrix}u_{1}&\ldots &u_{k}\end{bmatrix}}}$

${\displaystyle P_{A}=AA^{\mathrm {T} }}$

который можно переписать как

${\displaystyle P_{A}=\sum _{i}\langle u_{i},\cdot \rangle u_{i}.}$

Матрица - это частичная изометрия, которая исчезает на ортогональном дополнении, и изометрия, которая вкладывается в базовое векторное пространство. Диапазон , следовательно , является окончательным пространством из . Также ясно, что это тождественный оператор на .${\displaystyle A^{\mathrm {T} }}$${\displaystyle U}$${\displaystyle A}$${\displaystyle U}$${\displaystyle P_{A}}$${\displaystyle A}$${\displaystyle AA^{\mathrm {T} }}$${\displaystyle U}$

Условие ортонормированности также можно отбросить. Если это базис (не обязательно ортонормированный), и матрица с этими векторами в качестве столбцов, тогда проекция будет такой: ^{[6] [7]}${\displaystyle u_{1},\ldots ,u_{k}}$${\displaystyle A}$

${\displaystyle P_{A}=A(A^{\mathrm {T} }A)^{-1}A^{\mathrm {T} }.}$

Матрица по- прежнему встраивается в базовое векторное пространство, но в целом больше не является изометрией. Матрица - это «нормализующий коэффициент», восстанавливающий норму. Например, оператор ранга 1 не является проекцией, если после деления на мы получаем проекцию на подпространство, натянутое на .${\displaystyle A}$${\displaystyle U}$${\displaystyle (A^{\mathrm {T} }A)^{-1}}$${\displaystyle uu^{\mathrm {T} }}$${\displaystyle \|u\|\neq 1.}$${\displaystyle u^{\mathrm {T} }u=\|u\|^{2},}$${\displaystyle u(u^{\mathrm {T} }u)^{-1}u^{\mathrm {T} }}$${\displaystyle u}$

В общем случае у нас может быть произвольная положительно определенная матрица, определяющая скалярное произведение , а проекция задается выражением . потом${\displaystyle D}$${\displaystyle \langle x,y\rangle _{D}=y^{\dagger }Dx}$${\displaystyle P_{A}}$${\displaystyle P_{A}x=\mathrm {argmin} _{y\in \mathrm {range} (A)}\|x-y\|_{D}^{2}}$

${\displaystyle P_{A}=A(A^{\mathrm {T} }DA)^{-1}A^{\mathrm {T} }D.}$

Когда диапазон пространство проекции порождаются кадром (то есть число образующих больше , чем его размерность), формула для проекции имеет вид: . Здесь обозначает псевдообратную матрицу Мура – ​​Пенроуза . Это лишь один из многих способов создания оператора проекции.${\displaystyle P_{A}=AA^{+}}$${\displaystyle A^{+}}$

Если является невырожденной матрицей и (т.е. является матрицей нулевого пространства ), ^[8] выполняется следующее: ${\displaystyle {\begin{bmatrix}A&B\end{bmatrix}}}$${\displaystyle A^{\mathrm {T} }B=0}$${\displaystyle B}$${\displaystyle A}$

${\displaystyle {\begin{aligned}I&={\begin{bmatrix}A&B\end{bmatrix}}{\begin{bmatrix}A&B\end{bmatrix}}^{-1}{\begin{bmatrix}A^{\mathrm {T} }\\B^{\mathrm {T} }\end{bmatrix}}^{-1}{\begin{bmatrix}A^{\mathrm {T} }\\B^{\mathrm {T} }\end{bmatrix}}\\&={\begin{bmatrix}A&B\end{bmatrix}}\left({\begin{bmatrix}A^{\mathrm {T} }\\B^{\mathrm {T} }\end{bmatrix}}{\begin{bmatrix}A&B\end{bmatrix}}\right)^{-1}{\begin{bmatrix}A^{\mathrm {T} }\\B^{\mathrm {T} }\end{bmatrix}}\\&={\begin{bmatrix}A&B\end{bmatrix}}{\begin{bmatrix}A^{\mathrm {T} }A&O\\O&B^{\mathrm {T} }B\end{bmatrix}}^{-1}{\begin{bmatrix}A^{\mathrm {T} }\\B^{\mathrm {T} }\end{bmatrix}}\\[4pt]&=A(A^{\mathrm {T} }A)^{-1}A^{\mathrm {T} }+B(B^{\mathrm {T} }B)^{-1}B^{\mathrm {T} }\end{aligned}}}$

Если ортогональная условие усиливается к с неособо, имеет место следующее:${\displaystyle A^{\mathrm {T} }WB=A^{\mathrm {T} }W^{\mathrm {T} }B=0}$${\displaystyle W}$

${\displaystyle I={\begin{bmatrix}A&B\end{bmatrix}}{\begin{bmatrix}(A^{\mathrm {T} }WA)^{-1}A^{\mathrm {T} }\\(B^{\mathrm {T} }WB)^{-1}B^{\mathrm {T} }\end{bmatrix}}W.}$

Все эти формулы также верны для сложных внутренних пространств продукта при условии, что вместо транспонирования используется сопряженное транспонирование. Более подробную информацию о суммах проекторов можно найти в Banerjee and Roy (2014). ^[9] Также см. Banerjee (2004) ^[10] о применении сумм проекторов в базовой сферической тригонометрии.

Косые проекции [ править ]

Термин " наклонные проекции" иногда используется для обозначения неортогональных проекций. Эти проекции также используются для представления пространственных фигур на двухмерных чертежах (см. Наклонную проекцию ), хотя и не так часто, как ортогональные проекции. В то время как для вычисления подобранного значения обычной регрессии методом наименьших квадратов требуется ортогональная проекция, для вычисления подобранного значения регрессии инструментальных переменных требуется наклонная проекция.

Проекции определяются своим нулевым пространством и базисными векторами, используемыми для характеристики их диапазона (который является дополнением к нулевому пространству). Когда эти базисные векторы ортогональны нулевому пространству, тогда проекция является ортогональной проекцией. Когда эти базисные векторы не ортогональны нулевому пространству, проекция является наклонной проекцией. Пусть векторы образуют основу для диапазона проекции, и соберите эти векторы в матрицу . Диапазон и пустое пространство являются дополнительными пространствами, поэтому пустое пространство имеет размерность . Отсюда следует, что ортогональное дополнение к нулевому пространству имеет размерность . Позволять${\displaystyle u_{1},\ldots ,u_{k}}$${\displaystyle n\times k}$${\displaystyle A}$${\displaystyle n-k}$${\displaystyle k}$${\displaystyle v_{1},\ldots ,v_{k}}$формируют основу для ортогонального дополнения нулевого пространства проекции и собирают эти векторы в матрицу . Тогда проекция определяется как${\displaystyle B}$

${\displaystyle P=A(B^{\mathrm {T} }A)^{-1}B^{\mathrm {T} }.}$

Это выражение обобщает формулу для ортогональных проекций, приведенную выше. ^{[11] [12]}

Поиск проекции с помощью внутреннего продукта [ править ]

Позвольте быть векторным пространством (в данном случае плоскостью), натянутым на ортогональные векторы . Позвольте быть вектор. Можно определить проекцию на как${\displaystyle V}$${\displaystyle u_{1},u_{2},\cdots ,u_{p}}$${\displaystyle y}$${\displaystyle y}$${\displaystyle V}$

${\displaystyle \operatorname {proj} _{V}y={\frac {y\cdot u^{j}}{u^{j}\cdot u^{j}}}u^{j}}$

где означает обозначение суммы Эйнштейна . Вектор можно записать в виде ортогональной суммы, такой что . иногда обозначается как . В линейной алгебре есть теорема, которая гласит, что это кратчайшее расстояние от до и обычно используется в таких областях, как машинное обучение.${\displaystyle j}$${\displaystyle y}$${\displaystyle y=\operatorname {proj} _{V}y+z}$${\displaystyle \operatorname {proj} _{V}y}$${\displaystyle {\hat {y}}}$${\displaystyle z}$${\displaystyle y}$${\displaystyle V}$

Канонические формы [ править ]

Любая проекция на векторное пространство размерности над полем является диагонализуемой матрицей , поскольку ее минимальный многочлен делит , который разбивается на различные линейные множители. Таким образом, существует базис, имеющий вид${\displaystyle P=P^{2}}$${\displaystyle d}$${\displaystyle x^{2}-x}$${\displaystyle P}$

${\displaystyle P=I_{r}\oplus 0_{d-r}}$

где ранг . Вот единичная матрица размера , а - нулевая матрица размера . Если векторное пространство является сложным и снабжено внутренним произведением , то существует ортонормированный базис, в котором матрица P равна ^[13]${\displaystyle r}$${\displaystyle P}$${\displaystyle I_{r}}$${\displaystyle r}$${\displaystyle 0_{d-r}}$${\displaystyle d-r}$

${\displaystyle P={\begin{bmatrix}1&\sigma _{1}\\0&0\end{bmatrix}}\oplus \cdots \oplus {\begin{bmatrix}1&\sigma _{k}\\0&0\end{bmatrix}}\oplus I_{m}\oplus 0_{s}}$ .

где . Целые и действительные числа определяются однозначно. Обратите внимание на это . Фактор соответствует максимальному инвариантному подпространству, на котором действует как ортогональная проекция (так что сама точка P ортогональна тогда и только тогда, когда ), а -блоки соответствуют наклонным компонентам.${\displaystyle \sigma _{1}\geq \sigma _{2}\geq \ldots \geq \sigma _{k}>0}$${\displaystyle k,s,m}$${\displaystyle \sigma _{i}}$${\displaystyle 2\,k+s+m=d}$${\displaystyle I_{m}\oplus 0_{s}}$${\displaystyle P}$${\displaystyle k=0}$${\displaystyle \sigma _{i}}$

Проекции на нормированные векторные пространства [ править ]

Когда лежащее в основе векторное пространство является (не обязательно конечномерным) нормированным векторным пространством , необходимо рассмотреть аналитические вопросы, не относящиеся к конечномерному случаю. Предположим, теперь это банахово пространство .${\displaystyle X}$${\displaystyle X}$

Многие из рассмотренных выше алгебраических результатов переживают переход к этому контексту. Данное разложение прямой суммы на дополнительные подпространства по-прежнему определяет проекцию, и наоборот. Если - прямая сумма , то оператор, определенный в, по- прежнему является проекцией с диапазоном и ядром . Также ясно, что . Наоборот, если есть проекция на , т. Е. Легко проверить, что . Другими словами, это тоже проекция. Соотношение подразумевает и является прямой суммой .${\displaystyle X}$${\displaystyle X}$${\displaystyle X=U\oplus V}$${\displaystyle P(u+v)=u}$${\displaystyle U}$${\displaystyle V}$${\displaystyle P^{2}=P}$${\displaystyle P}$${\displaystyle X}$${\displaystyle P^{2}=P}$${\displaystyle (1-P)^{2}=(1-P)}$${\displaystyle 1-P}$${\displaystyle P^{2}=P}$${\displaystyle 1=P+(1-P)}$${\displaystyle X}$${\displaystyle \operatorname {rg} (P)\oplus \operatorname {rg} (1-P)}$

Однако, в отличие от конечномерного случая, проекции, вообще говоря, не обязательно должны быть непрерывными . Если подпространство из не замкнуто в топологии нормы, то проекция на не является непрерывным. Другими словами, диапазон непрерывной проекции должен быть замкнутым подпространством. Кроме того, ядро ​​непрерывной проекции (в общем, непрерывного линейного оператора) замкнуто. Таким образом, непрерывная проекция дает разложение на два дополнительных замкнутых подпространств: .${\displaystyle U}$${\displaystyle X}$${\displaystyle U}$${\displaystyle P}$${\displaystyle P}$${\displaystyle X}$${\displaystyle X=\operatorname {rg} (P)\oplus \operatorname {ker} (P)=\operatorname {ker} (1-P)\oplus \operatorname {ker} (P)}$

Обратное также верно с дополнительным предположением. Предположим , это замкнутое подпространство в . Если существует замкнутое подпространство такое, что X = U ⊕ V , то проекция с диапазоном и ядром непрерывна. Это следует из теоремы о замкнутом графике . Предположим, что x _n → x и Px _n → y . Это нужно показать . Поскольку замкнуто и { Px _n } ⊂ U , y лежит в , т. Е. Py =${\displaystyle U}$${\displaystyle X}$${\displaystyle V}$${\displaystyle P}$${\displaystyle U}$${\displaystyle V}$${\displaystyle Px=y}$${\displaystyle U}$${\displaystyle U}$у . Кроме того, x _n - Px _n = ( I - P ) x _n → x - y . Посколькузамкнуто и {( I - P ) x _n } ⊂ V , имеем, т.е.что доказывает утверждение.${\displaystyle V}$${\displaystyle x-y\in V}$${\displaystyle P(x-y)=Px-Py=Px-y=0}$

В приведенном выше аргументе используется предположение, что оба и закрыты. В общем, для данного замкнутого подпространства не обязательно существует дополнительное замкнутое подпространство , хотя для гильбертовых пространств это всегда можно сделать, взяв ортогональное дополнение . Для банаховых пространств одномерное подпространство всегда имеет замкнутое дополнительное подпространство. Это непосредственное следствие теоремы Хана – Банаха . Позвольте быть линейной оболочкой . По Хану – Банаху существует ограниченный линейный функционал такой, что φ ( u ) = 1 . Оператор удовлетворяет , т.е. это проекция. Ограниченность${\displaystyle U}$${\displaystyle V}$${\displaystyle U}$${\displaystyle V}$${\displaystyle U}$${\displaystyle u}$${\displaystyle \varphi }$${\displaystyle P(x)=\varphi (x)u}$${\displaystyle P^{2}=P}$${\displaystyle \varphi }$влечет непрерывность и, следовательно, является замкнутым дополнительным подпространством .${\displaystyle P}$${\displaystyle \operatorname {ker} (P)=\operatorname {rg} (I-P)}$${\displaystyle U}$

Приложения и дальнейшие соображения [ править ]

Проекции (ортогональные и другие) играют важную роль в алгоритмах некоторых задач линейной алгебры:

• QR-разложение (см. Преобразование Хаусхолдера и разложение Грама – Шмидта );
• Разложение по сингулярным числам
• Приведение к форме Хессенберга (первый шаг во многих алгоритмах собственных значений )
• Линейная регрессия
• Проективные элементы матричных алгебр используются при построении некоторых K-групп в операторной K-теории.

Как было сказано выше, проекции - это частный случай идемпотентов. С аналитической точки зрения ортогональные проекции являются некоммутативными обобщениями характеристических функций . Идемпотенты используются при классификации, например, полупростых алгебр , тогда как теория меры начинается с рассмотрения характеристических функций измеримых множеств. Поэтому, как можно догадаться, проекции очень часто встречаются в контексте операторных алгебр . В частности, алгебра фон Неймана порождается своей полной решеткой проекций.

Обобщения [ править ]

В более общем смысле, если дано отображение между нормированными векторными пространствами, можно аналогичным образом попросить, чтобы это отображение было изометрией на ортогональном дополнении ядра: это была изометрия (сравните Частичная изометрия ); в частности он должен быть включен. Случай ортогональной проекции - это когда W является подпространством в V. В римановой геометрии это используется в определении римановой субмерсии .${\displaystyle T\colon V\to W,}$${\displaystyle (\ker T)^{\perp }\to W}$

См. Также [ править ]

• Центрирующая матрица , являющаяся примером матрицы проекции.
• Ортогонализация
• Инвариантное подпространство
• Свойства следа
• Алгоритм проекции Дикстры для вычисления проекции на пересечение множеств

Заметки [ править ]

Ссылки [ править ]

• Банерджи, Судипто; Рой, Аниндия (2014), Линейная алгебра и матричный анализ для статистики , Тексты в статистической науке (1-е изд.), Чепмен и Холл / CRC, ISBN 978-1420095388
• Dunford, N .; Шварц, JT (1958). Линейные операторы. Часть I: Общая теория . Interscience.
• Мейер, Карл Д. (2000). Матричный анализ и прикладная линейная алгебра . Общество промышленной и прикладной математики. ISBN 978-0-89871-454-8.

Внешние ссылки [ править ]

• Лекция MIT по линейной алгебре по проекционным матрицам на YouTube , от MIT OpenCourseWare
• Линейная алгебра 15d: Преобразование проекции на YouTube , Павел Гринфельд .
• Учебное пособие по плоским геометрическим проекциям - простое в использовании учебное пособие, объясняющее различные типы плоских геометрических проекций.