Orthogonal basis

Revision as of 22:28, 27 November 2024 by imported>Bo-3903 (Adding short description: "Basis for v whose vectors are mutually orthogonal")
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Template:Short description In mathematics, particularly linear algebra, an orthogonal basis for an inner product space <math>V</math> is a basis for <math>V</math> whose vectors are mutually orthogonal. If the vectors of an orthogonal basis are normalized, the resulting basis is an orthonormal basis.

As coordinatesEdit

Any orthogonal basis can be used to define a system of orthogonal coordinates <math>V.</math> Orthogonal (not necessarily orthonormal) bases are important due to their appearance from curvilinear orthogonal coordinates in Euclidean spaces, as well as in Riemannian and pseudo-Riemannian manifolds.

In functional analysisEdit

In functional analysis, an orthogonal basis is any basis obtained from an orthonormal basis (or Hilbert basis) using multiplication by nonzero scalars.

ExtensionsEdit

Symmetric bilinear formEdit

The concept of an orthogonal basis is applicable to a vector space <math>V</math> (over any field) equipped with a symmetric bilinear form Template:Tmath, where orthogonality of two vectors <math>v</math> and <math>w</math> means Template:Tmath. For an orthogonal basis Template:Tmath: <math display=block>\langle e_j, e_k\rangle = \begin{cases} q(e_k) & j = k \\ 0 & j \neq k, \end{cases}</math> where <math>q</math> is a quadratic form associated with <math>\langle \cdot, \cdot \rangle:</math> <math>q(v) = \langle v, v \rangle</math> (in an inner product space, Template:Tmath).

Hence for an orthogonal basis Template:Tmath, <math display=block>\langle v, w \rangle = \sum_k q(e_k) v_k w_k,</math> where <math>v_k</math> and <math>w_k</math> are components of <math>v</math> and <math>w</math> in the basis.

Quadratic formEdit

The concept of orthogonality may be extended to a vector space over any field of characteristic not 2 equipped with a quadratic form Template:Tmath. Starting from the observation that, when the characteristic of the underlying field is not 2, the associated symmetric bilinear form <math>\langle v, w \rangle = \tfrac{1}{2}(q(v+w) - q(v) - q(w))</math> allows vectors <math>v</math> and <math>w</math> to be defined as being orthogonal with respect to <math>q</math> when Template:Tmath.

See alsoEdit

ReferencesEdit

Template:Reflist

External linksEdit

  • {{#invoke:Template wrapper|{{#if:|list|wrap}}|_template=cite web

|_exclude=urlname, _debug, id |url = https://mathworld.wolfram.com/{{#if:OrthogonalBasis%7COrthogonalBasis.html}} |title = Orthogonal Basis |author = Weisstein, Eric W. |website = MathWorld |access-date = |ref = Template:SfnRef }}

{{#invoke:Navbox|navbox}} Template:Hilbert space Template:Functional analysis de:Orthogonalbasis