Конкретный линейный базис (математика)
В математике , особенно в линейной алгебре , ортонормированный базис для пространства внутреннего произведения V с конечной размерностью — это базис , векторы которого ортонормированы , то есть все они являются единичными векторами и ортогональны друг другу. [1] [2] [3] Например, стандартным базисом евклидова пространства является ортонормированный базис, где соответствующим внутренним произведением является скалярное произведение векторов. Образ стандартного базиса при вращении или отражении ( или любом ортогональном преобразовании ) также ортонормирован, и каждый ортонормированный базис возникает таким образом.
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Для общего пространства внутреннего продукта ортонормированный базис может использоваться для определения нормализованных ортогональных координат . В соответствии с этими координатами внутренний продукт становится скалярным произведением векторов. Таким образом, наличие ортонормированного базиса сводит исследование конечномерного пространства скалярного произведения к изучению скалярного произведения. Каждое конечномерное пространство внутреннего продукта имеет ортонормированный базис, который можно получить из произвольного базиса с помощью процесса Грама – Шмидта .![{\displaystyle V,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle В.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
В функциональном анализе концепция ортонормированного базиса может быть обобщена на произвольные (бесконечномерные) пространства внутреннего произведения . [4] Для данного прегильбертова пространства ортонормированный базис представляет собой ортонормированный набор векторов, обладающий тем свойством, что каждый вектор в нем можно записать как бесконечную линейную комбинацию векторов базиса. В этом случае ортонормированный базис иногда называют базисом Гильберта. Обратите внимание, что ортонормированный базис в этом смысле обычно не является базисом Гамеля , поскольку требуются бесконечные линейные комбинации. В частности, линейная оболочка базиса должна быть плотной, но не может занимать все пространство.![{\ displaystyle H,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Х.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle H,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если мы перейдем к гильбертовым пространствам , неортонормированный набор векторов, имеющий ту же линейную длину, что и ортонормированный базис, может вообще не быть базисом. Например, любая интегрируемая с квадратом функция на интервале может быть выражена ( почти всюду ) как бесконечная сумма полиномов Лежандра (ортонормированный базис), но не обязательно как бесконечная сумма мономов
![{\displaystyle x^{n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Другое обобщение относится к пространствам псевдовнутренних произведений, конечномерным векторным пространствам, снабженным невырожденной симметричной билинейной формой, известной как метрический тензор . В таком базисе метрика принимает вид с положительными и отрицательными.![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{diag}}(+1,\cdots,+1,-1,\cdots,-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Примеры
- Для набор векторов называется стандартным базисом и образует ортонормированный базис относительно стандартного скалярного произведения. Обратите внимание, что как стандартный базис, так и стандартное скалярное произведение рассматриваются как декартово произведение.
![{\displaystyle \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{e_{1}=(1,0,0),e_{2}=(0,1,0),e_{3}=(0,0,1)\right\}, }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} \times \mathbb {R} \times \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Доказательство: простое вычисление показывает, что скалярные произведения этих векторов равны нулю и что каждая из их величин равна единице. Это означает, что это ортонормированный набор. Все векторы можно выразить как сумму базисных векторов, масштабированных
![{\displaystyle \left\langle e_{1},e_{2}\right\rangle =\left\langle e_{1},e_{3} \right\rangle =\left\langle e_{2},e_{ 3}\вправо\rangle =0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\|e_{1}\right\|=\left\|e_{2}\right\|=\left\|e_{3}\right\|=1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{e_{1},e_{2},e_{3}\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (x,y,z)\in \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (x,y,z)=xe_{1}+ye_{2}+ze_{3},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
поэтому охватывает и, следовательно, должно быть основой. Можно также показать, что стандартный базис, повернутый вокруг оси, проходящей через начало координат, или отраженный в плоскости, проходящей через начало координат, также образует ортонормированный базис .![{\displaystyle \left\{e_{1},e_{2},e_{3}\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Для стандартный базис и внутренний продукт определяются аналогично. Любой другой ортонормированный базис связан со стандартным базисом ортогональным преобразованием в группе O(n).
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Для псевдоевклидова пространства ортогональный базис с метрикой вместо этого удовлетворяет условиям if , if и if . Любые два ортонормированных базиса связаны псевдоортогональным преобразованием. В случае это преобразования Лоренца.
![{\displaystyle \mathbb {R} ^{p,q},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \{e_ {\mu }\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \эта }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \eta (e_{\mu},e_{\nu})=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \neq \nu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \eta (e_ {\mu },e_ {\mu }) = +1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1\leq \mu \leq p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \eta (e_{\mu},e_{\mu})=-1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p+1\leq \mu \leq p+q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (p,q)=(1,3)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Множество где обозначает показательную функцию , образует ортонормированный базис пространства функций с конечными интегралами Лебега относительно 2-нормы . Это фундаментально для изучения рядов Фурье .
![{\displaystyle \left\{f_{n}:n\in \mathbb {Z} \right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f_{n}(x)=\exp(2\pi inx),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \exp }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L^{2}([0,1]),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Набор с if и иначе образует ортонормированный базис
![{\displaystyle \left\{e_{b}:b\in B\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle e_{b}(c)=1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle b=c}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle e_{b}(c)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \ell ^{2}(B).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Собственные функции задачи Штурма–Лиувилля .
- Векторы -столбцы ортогональной матрицы образуют ортонормированный набор.
Основная формула
Если это ортогональный базис, то каждый элемент можно записать как![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle H,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\in H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x=\sum _{b\in B}{\frac {\langle x,b\rangle {\lVert b\rVert ^{2}}}b.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Когда ортонормировано, это упрощается до![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x=\sum _{b\in B}\langle x,b\rangle b}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
может![{\displaystyle х}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|x\|^{2}=\sum _{b\in B}|\langle x,b\rangle |^{2}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Даже если is uncountable , только счетное число членов этой суммы будет ненулевым, и поэтому выражение корректно определено. Эту сумму также называют разложением Фурье , а формулу обычно называют тождеством Парсеваля .![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle x,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если - ортонормированный базис, то он изоморфен в следующем смысле: существует биективное линейное отображение такое, что![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle H,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi:H\to \ell ^{2}(B)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle \Phi (x),\Phi (y)\rangle =\langle x,y\rangle \quad {\text{для всех}}x,y\in H.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Неполные ортогональные множества
Учитывая гильбертово пространство и набор взаимно ортогональных векторов, мы можем взять наименьшее замкнутое линейное подпространство , содержащее Тогда будет ортогональный базис, который, конечно, может быть меньше самого себя , будучи неполным ортогональным набором, или быть, когда он является полный ортогональный набор.![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle H,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle С.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V;}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle H,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Существование
Используя лемму Цорна и процесс Грама – Шмидта (или, проще говоря, хорошо упорядоченную и трансфинитную рекурсию), можно показать, что каждое гильбертово пространство допускает ортонормированный базис; [6] кроме того, любые два ортонормированных базиса одного и того же пространства имеют одинаковую мощность (это можно доказать способом, аналогичным доказательству обычной теоремы о размерности для векторных пространств , с отдельными случаями, зависящими от того, является ли больший кандидат в базис счетно или нет). Гильбертово пространство сепарабельно тогда и только тогда, когда оно допускает счетный ортонормированный базис. (Последнее утверждение можно доказать, не используя аксиому выбора.)
Выбор базиса как выбор изоморфизма
Для конкретности мы обсуждаем ортонормированные базисы для вещественного размерного векторного пространства с положительно определенной симметричной билинейной формой . ![{\displaystyle п}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi =\langle \cdot,\cdot \rangle}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Один из способов рассматривать ортонормированный базис относительно - это набор векторов , которые позволяют нам писать для , и или . По отношению к этой основе компоненты особенно просты:![{\ displaystyle \ фи }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {B}}=\{e_{i}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v=v^{i}e_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v\in V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v^{i}\in \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (v^{i})\in \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ фи }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi (e_{i},e_{j})=\delta _{ij}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Теперь мы можем рассматривать базис как карту , которая является изоморфизмом пространств внутреннего произведения: чтобы сделать это более явным, мы можем написать![{\displaystyle \psi _{\mathcal {B}}:V\rightarrow \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \psi _ {\mathcal {B}}:(V,\phi)\rightarrow (\mathbb {R} ^{n},\delta _{ij}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Явно мы можем написать, где находится двойственный базисный элемент для .![{\displaystyle (\psi _{\mathcal {B}}(v))^{i}=e^{i}(v)=\phi (e_{i},v)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle е^{я}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle e_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Обратное - это карта компонентов
![{\displaystyle C_{\mathcal {B}}:\mathbb {R} ^{n} \rightarrow V,(v^{i})\mapsto \sum _{i=1}^{n}v^{i }e_{i}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Эти определения показывают, что существует биекция
![{\displaystyle \{{\text{Пространство ортогональных оснований }}{\mathcal {B}}\}\leftrightarrow \{{\text{Пространство изоморфизмов }}V\leftrightarrow \mathbb {R} ^{n}\ }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Пространство изоморфизмов допускает действия ортогональных групп как на стороне, так и на стороне. Для конкретности мы фиксируем изоморфизмы в направлении и рассматриваем пространство таких отображений . ![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{n}\rightarrow V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{Iso}}(\mathbb {R} ^{n}\rightarrow V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Это пространство допускает левое действие группы изометрий , то есть такое , что с действием, заданным композицией:![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R\in {\text{GL}}(V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \phi (\cdot,\cdot) = \phi (R\cdot,R\cdot)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R*C=R\circ C.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Это пространство также допускает правильное действие группой изометрий , то есть , с действием, снова заданным композицией: .![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R_{ij}\in {\text{O}}(n)\subset {\text{Mat}}_{n\times n}(\mathbb {R})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C*R_{ij}=C\circ R_{ij}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Как главное однородное пространство
Множество ортонормированных базисов со стандартным скалярным произведением является главным однородным пространством или G-торсором ортогональной группы и называется многообразием Штифеля ортонормированных -фреймов . [7]
![{\displaystyle V_{n}(\mathbb {R} ^{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle п}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Другими словами, пространство ортонормированных базисов похоже на ортогональную группу, но без выбора базовой точки: в пространстве ортонормированных базисов нет естественного выбора ортонормированного базиса, но как только он дан, появляется один -однозначное соответствие между основаниями и ортогональной группой. Конкретно, линейное отображение определяется тем, куда оно отправляет данный базис: точно так же, как обратимое отображение может перевести любой базис в любой другой базис, ортогональное отображение может перевести любой ортогональный базис в любой другой ортогональный базис.
Другие многообразия Стифеля для неполных ортонормированных базисов (ортонормальных -фреймов ) по-прежнему являются однородными пространствами для ортогональной группы, но не главными однородными пространствами: любой -фрейм может быть переведен в любой другой -фрейм с помощью ортогонального отображения, но это отображение не является однозначно определяется.![{\displaystyle V_{k}(\mathbb {R} ^{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k<n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Множество ортонормированных базисов для является G-торсором для .
![{\displaystyle \mathbb {R} ^{p,q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G={\text{O}}(p,q)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Множество ортонормированных базисов для является G-торсором для .
![{\displaystyle \mathbb {C} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G={\text{U}}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Множество ортонормированных базисов для является G-торсором для .
![{\displaystyle \mathbb {C} ^{p,q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G={\text{U}}(p,q)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Множество правых ортонормированных базисов для является G-торсором для
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G={\text{SO}}(n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Смотрите также
Рекомендации
Внешние ссылки
- В этом сообщении Stack Exchange обсуждается, почему набор дельта-функций Дирака не является основой L 2 ([0,1]).