En matemáticas , particularmente en álgebra lineal , una base ortogonal para un espacio producto interno es una base cuyos vectores son mutuamente ortogonales . Si se normalizan los vectores de una base ortogonal , la base resultante es una base ortonormal .![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Como coordenadas
Se puede utilizar cualquier base ortogonal para definir un sistema de coordenadas ortogonales . Las bases ortogonales (no necesariamente ortonormales) son importantes debido a su aparición a partir de coordenadas ortogonales curvilíneas en espacios euclidianos , así como en variedades riemannianas y pseudoriemannianas .![{\displaystyle V.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En análisis funcional
En análisis funcional , una base ortogonal es cualquier base obtenida a partir de una base ortonormal (o base de Hilbert) mediante la multiplicación por escalares distintos de cero .
Extensiones
Forma bilineal simétrica
El concepto de base ortogonal es aplicable a un espacio vectorial (sobre cualquier campo ) equipado con una forma bilineal simétrica , donde la ortogonalidad de dos vectores y la media . Para una base ortogonal :
![{\displaystyle \langle \cdot ,\cdot \rangle }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle w}](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)
forma cuadrática![{\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)
Por tanto, para una base ortogonal , ![{\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 w}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Forma cuadrática
El concepto de ortogonalidad puede extenderse a un espacio vectorial sobre cualquier campo de característica que no esté equipado con una forma cuadrática . Partiendo de la observación de que, cuando la característica del campo subyacente no es 2, la forma bilineal simétrica asociada permite que los vectores y se definan como ortogonales con respecto a cuando .![{\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 w}](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)
Ver también
Referencias
- Lang, Serge (2004), Álgebra , Textos de Graduado en Matemáticas , vol. 211 (Cuarta impresión corregida, tercera edición revisada), Nueva York: Springer-Verlag, págs. 572–585, ISBN 978-0-387-95385-4
- Milnor, J .; Husemoller, D. (1973). Formas bilineales simétricas . Ergebnisse der Mathematik und ihrer Grenzgebiete . vol. 73. Springer-Verlag . pag. 6.ISBN 3-540-06009-X. Zbl 0292.10016.
enlaces externos