В математике , особенно в линейной алгебре , ортогональный базис пространства внутреннего продукта — это базис , векторы которого взаимно ортогональны . Если векторы ортогонального базиса нормализованы , результирующий базис является ортонормированным базисом .![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
В качестве координат
Для определения системы ортогональных координат можно использовать любой ортогональный базис. Ортогональные (не обязательно ортонормированные) базисы важны из-за их появления из криволинейных ортогональных координат в евклидовых пространствах , а также в римановых и псевдоримановых многообразиях.![{\displaystyle В.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
В функциональном анализе
В функциональном анализе ортогональный базис — это любой базис, полученный из ортонормированного базиса (или базиса Гильберта) с помощью умножения на ненулевые скаляры .
Расширения
Симметричная билинейная форма
Понятие ортогонального базиса применимо к векторному пространству (над любым полем ), снабженному симметричной билинейной формой , где ортогональность двух векторов и означает . Для ортогонального базиса :
![{\displaystyle \langle \cdot,\cdot \rangle}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle ш}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle v,w\rangle =0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{e_{k}\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle e_{j},e_{k}\rangle = {\begin{cases}q(e_{k})&j=k\\0&j\neq k,\end{cases}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
квадратичная форма![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle \cdot,\cdot \rangle:}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q(v)=\langle v,v\rangle}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q(v)=\Vert v\Vert ^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Следовательно , для ортогонального базиса![{\displaystyle \left\{e_{k}\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle v,w\rangle =\sum _{k}q(e_{k})v^{k}w^{k},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle ш}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Квадратичная форма
Понятие ортогональности может быть расширено на векторное пространство над любым полем характеристики, отличной от 2, снабженной квадратичной формой . Начиная с наблюдения, что, когда характеристика основного поля не равна 2, соответствующая симметричная билинейная форма позволяет определить векторы и как ортогональные относительно момента .![{\ displaystyle q (v)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \langle v,w\rangle = {\tfrac {1}{2}}(q(v+w)-q(v)-q(w))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle ш}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q(v+w)-q(v)-q(w)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Смотрите также
Рекомендации
- Ланг, Серж (2004), Алгебра , Тексты для выпускников по математике , том. 211 (Исправленное четвертое издание, исправленное третье издание), Нью-Йорк: Springer-Verlag, стр. 572–585, ISBN. 978-0-387-95385-4
- Милнор, Дж .; Хусемоллер, Д. (1973). Симметричные билинейные формы . Ergebnisse der Mathematik und ihrer Grenzgebiete . Том. 73. Шпрингер-Верлаг . п. 6. ISBN 3-540-06009-Х. Збл 0292.10016.
Внешние ссылки