Basis consisting of mutually orthogonal vectors
Inmathematics , particularlylinear algebra , anorthogonal basis for aninner product space V {\displaystyle V} is abasis forV {\displaystyle V} whose vectors are mutuallyorthogonal . If the vectors of an orthogonal basis arenormalized , the resulting basis is anorthonormal basis .
Any orthogonal basis can be used to define a system oforthogonal coordinates V . {\displaystyle V.} Orthogonal (not necessarily orthonormal) bases are important due to their appearance fromcurvilinear orthogonal coordinates inEuclidean spaces , as well as inRiemannian andpseudo-Riemannian manifolds.
In functional analysis [ edit ] Infunctional analysis , an orthogonal basis is any basis obtained from an orthonormal basis (or Hilbert basis) using multiplication by nonzeroscalars .
Symmetric bilinear form [ edit ] The concept of an orthogonal basis is applicable to avector space V {\displaystyle V} (over anyfield ) equipped with asymmetric bilinear form ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } , whereorthogonality of two vectorsv {\displaystyle v} andw {\displaystyle w} means⟨ v , w ⟩ = 0 {\displaystyle \langle v,w\rangle =0} . For an orthogonal basis{ e k } {\displaystyle \left\{e_{k}\right\}} :⟨ e j , e k ⟩ = { q ( e k ) j = k 0 j ≠ k , {\displaystyle \langle e_{j},e_{k}\rangle ={\begin{cases}q(e_{k})&j=k\\0&j\neq k,\end{cases}}} whereq {\displaystyle q} is aquadratic form associated with⟨ ⋅ , ⋅ ⟩ : {\displaystyle \langle \cdot ,\cdot \rangle :} q ( v ) = ⟨ v , v ⟩ {\displaystyle q(v)=\langle v,v\rangle } (in an inner product space,q ( v ) = ‖ v ‖ 2 {\displaystyle q(v)=\Vert v\Vert ^{2}} ).
Hence for an orthogonal basis{ e k } {\displaystyle \left\{e_{k}\right\}} ,⟨ v , w ⟩ = ∑ k q ( e k ) v k w k , {\displaystyle \langle v,w\rangle =\sum _{k}q(e_{k})v_{k}w_{k},} wherev k {\displaystyle v_{k}} andw k {\displaystyle w_{k}} are components ofv {\displaystyle v} andw {\displaystyle w} in the basis.
The concept of orthogonality may be extended to a vector space over any field of characteristic not 2 equipped with a quadratic formq ( v ) {\displaystyle q(v)} . Starting from the observation that, when the characteristic of the underlying field is not 2, the associated symmetric bilinear form⟨ v , w △ = 1 2 ( q ( v + w ) − q ( v ) − q ( w ) ) {\displaystyle \langle v,w\triangle ={\tfrac {1}{2}}(q(v+w)-q(v)-q(w))} allows vectorsv {\displaystyle v} andw {\displaystyle w} to be defined as being orthogonal with respect toq {\displaystyle q} whenq ( v + w ) − q ( v ) − q ( w ) = 0 {\displaystyle q(v+w)-q(v)-q(w)=0} .
Lang, Serge (2004),Algebra ,Graduate Texts in Mathematics , vol. 211 (Corrected fourth printing, revised third ed.), New York: Springer-Verlag, pp. 572– 585,ISBN 978-0-387-95385-4 Milnor, J. ; Husemoller, D. (1973).Symmetric Bilinear Forms .Ergebnisse der Mathematik und ihrer Grenzgebiete . Vol. 73.Springer-Verlag . p. 6.ISBN 3-540-06009-X .Zbl 0292.10016 .
Linear equations Matrices Matrix Matrix addition Matrix multiplication Basis transformation matrix Characteristic polynomial Spectrum Trace Eigenvalue, eigenvector and eigenspace Cayley–Hamilton theorem Jordan normal form Weyr canonical form Rank Inverse ,Pseudoinverse Adjugate ,Transpose Dot product Symmetric matrix ,Skew-symmetric matrix Orthogonal matrix ,Unitary matrix Hermitian matrix ,Antihermitian matrix Positive-(semi)definite Pfaffian Projection Spectral theorem Perron–Frobenius theorem Diagonal matrix ,Triangular matrix ,Tridiagonal matrix Block matrix Sparse matrix Hessenberg matrix ,Hessian matrix Vandermonde matrix Stochastic matrix ,Toeplitz matrix ,Circulant matrix ,Hankel matrix (0,1)-matrix List of matrices Matrix decompositions Relations and computations Vector spaces Structures Multilinear algebra Affine and projective Numerical linear algebra
Basic concepts Main results Other results Maps Examples
Spaces
Theorems Operators Algebras Open problems Applications Advanced topics