Orthogonality (mathematics)

In mathematics, orthogonality is the generalization of the geometric notion of ''perpendicularity'' to linear algebra of bilinear forms.

Two elements and of a vector space with bilinear form $B$ are orthogonal when $B(\mathbf,\mathbf)= 0$. Depending on the bilinear form, the vector space may contain null vectors, non-zero self-orthogonal vectors, in which case perpendicularity is replaced with hyperbolic orthogonality.

In the case of function spaces, families of functions are used to form an orthogonal basis, such as in the contexts of orthogonal polynomials, orthogonal functions, and combinatorics.

Definitions

* In geometry, two Euclidean vectors are orthogonal if they are perpendicular, ''i.e.'' they form a right angle.
* Two vectors and in an inner product space $V$ are ''orthogonal'' if their inner product $\langle \mathbf, \mathbf \rangle$ is zero. This relationship is denoted $\mathbf \perp \mathbf$.
* A set of vectors in an inner product space is called pairwise orthogonal if each pairing of them is orthogonal. Such a set is called an orthogonal set (or orthogonal system). If the vectors are normalized, they form an orthonormal system.
* An orthogonal matrix is a matrix whose column vectors are orthonormal to each other.
* An orthonormal basis is a basis whose vectors are both orthogonal and normalized (they are unit vectors).
* A conformal linear transformation preserves angles and distance ratios, meaning that transforming orthogonal vectors by the same conformal linear transformation will keep those vectors orthogonal.
* Two vector subspaces $A$ and $B$ of an inner product space $V$ are called orthogonal subspaces if each vector in $A$ is orthogonal to each vector in $B$. The largest subspace of $V$ that is orthogonal to a given subspace is its orthogonal complement.
* Given a module $M$ and its dual $M^*$, an element $m'$ of $M^*$ and an element $m$ of $M$ are ''orthogonal'' if their natural pairing is zero, i.e. $\langle m',m \rangle = 0$. Two sets $S' \subseteq M^*$ and $S \subseteq M$ are orthogonal if each element of $S'$ is orthogonal to each element of $S$.
* A term rewriting system is said to be orthogonal if it is left-linear and is non-ambiguous. Orthogonal term rewriting systems are confluent.

In certain cases, the word ''normal'' is used to mean ''orthogonal'', particularly in the geometric sense as in the normal to a surface. For example, the ''y''-axis is normal to the curve $y = x^2$ at the origin. However, ''normal'' may also refer to the magnitude of a vector. In particular, a set is called orthonormal (orthogonal plus normal) if it is an orthogonal set of unit vectors. As a result, use of the term ''normal'' to mean "orthogonal" is often avoided. The word "normal" also has a different meaning in probability and statistics.

A vector space with a bilinear form generalizes the case of an inner product. When the bilinear form applied to two vectors results in zero, then they are orthogonal. The case of a pseudo-Euclidean plane uses the term hyperbolic orthogonality. In the diagram, axes x′ and t′ are hyperbolic-orthogonal for any given $\phi$.

Euclidean vector spaces

In Euclidean space, two vectors are orthogonal if and only if their dot product is zero, i.e. they make an angle of 90° ($\frac$ radians), or one of the vectors is zero. Hence orthogonality of vectors is an extension of the concept of perpendicular vectors to spaces of any dimension.

The orthogonal complement of a subspace is the space of all vectors that are orthogonal to every vector in the subspace. In a three-dimensional Euclidean vector space, the orthogonal complement of a line through the origin is the plane through the origin perpendicular to it, and vice versa.

Note that the geometric concept of two planes being perpendicular does not correspond to the orthogonal complement, since in three dimensions a pair of vectors, one from each of a pair of perpendicular planes, might meet at any angle.

In four-dimensional Euclidean space, the orthogonal complement of a line is a hyperplane and vice versa, and that of a plane is a plane.

Orthogonal functions

By using integral calculus, it is common to use the following to define the inner product of two functions $f$ and $g$ with respect to a nonnegative weight function $w$ over an interval ,b:

:$\langle f, g\rangle_w = \int_a^b f(x)g(x)w(x)\,dx.$

In simple cases, $w(x) = 1$.

We say that functions $f$ and $g$ are orthogonal if their inner product (equivalently, the value of this integral) is zero:

:$\langle f, g\rangle_w = 0.$

Orthogonality of two functions with respect to one inner product does not imply orthogonality with respect to another inner product.

We write the norm with respect to this inner product as
:$\, f\, _w = \sqrt$

The members of a set of functions$$ are ''orthogonal'' with respect to $w$ on the interval ,b if
:$\langle f_i, f_j \rangle_w=0 \mid i \ne j.$
The members of such a set of functions are ''orthonormal'' with respect to $w$ on the interval ,b if
:$\langle f_i, f_j \rangle_w=\delta_,$
where
:$\delta_=\left\{\begin{matrix}1, & & i=j \\ 0, & & i\neq j\end{matrix}\right.$
is the Kronecker delta.

In other words, every pair of them (excluding pairing of a function with itself) is orthogonal, and the norm of each is 1. See in particular the orthogonal polynomials.

Examples

* The vectors $(1,3,2)^\text{T} , (3,-1,0)^\text{T} , (1,3,-5)^\text{T}$ are orthogonal to each other, since $(1)(3) + (3)(-1) + (2)(0) = 0 \ ,$ $\ (3)(1) + (-1)(3) + (0)(-5) = 0 \ ,$ and $(1)(1) + (3)(3) + (2)(-5) = 0$.
* The vectors $(1,0,1,0, \ldots)^\text{T}$and $(0,1,0,1,\ldots)^\text{T}$are orthogonal to each other. The dot product of these vectors is zero. We can then make the generalization to consider the vectors in $\mathbb{Z}_2^n$:$\mathbf{v}_k = \sum_{i=0\atop ai+k < n}^{n/a} \mathbf{e}_i$ for some positive integer $a$, and for $1 \le k \le a-1$, these vectors are orthogonal, for example $\begin{bmatrix}1 & 0 & 0 & 1 & 0 & 0 & 1 & 0\end{bmatrix}$, $\begin{bmatrix}0 & 1 & 0 & 0 & 1 & 0 & 0 & 1\end{bmatrix}$, $\begin{bmatrix}0 & 0 & 1 & 0 & 0 & 1 & 0 & 0\end{bmatrix}$ are orthogonal.
* The functions $2t+3$ and $45t^2 + 9t - 17$ are orthogonal with respect to a unit weight function on the interval from −1 to 1: $\int_{-1}^1 \left(2t+3\right)\left(45t^2+9t-17\right)\,dt = 0$
* The functions $1, \sin{(nx)}, \cos{(nx)} \mid n \in \mathbb{N}$ are orthogonal with respect to Riemann integration on the intervals ,2\pi \pi,\pi/math>, or any other closed interval of length $2\pi$. This fact is a central one in Fourier series.

Orthogonal polynomials

Various polynomial sequences named for mathematicians of the past are sequences of orthogonal polynomials. In particular:
* The Hermite polynomials are orthogonal with respect to the Gaussian distribution with zero mean value.
* The Legendre polynomials are orthogonal with respect to the uniform distribution on the interval 1,1/math>.
* The Laguerre polynomials are orthogonal with respect to the exponential distribution. Somewhat more general Laguerre polynomial sequences are orthogonal with respect to gamma distributions.
* The Chebyshev polynomials of the first kind are orthogonal with respect to the measure $\frac{1}{\sqrt{1-x^2.$
* The Chebyshev polynomials of the second kind are orthogonal with respect to the Wigner semicircle distribution.

Combinatorics

In combinatorics, two $n \times n$ Latin squares are said to be orthogonal if their superimposition yields all possible $n^2$ combinations of entries.

Completely orthogonal

Two flat planes $A$ and $B$ of a Euclidean four-dimensional space are called ''completely orthogonal'' if and only if every line in $A$ is orthogonal to every line in $B$. In that case the planes $A$ and $B$ intersect at a single point $O$, so that if a line in $A$ intersects with a line in $B$, they intersect at $O$. $A$ and $B$ are perpendicular ''and'' Clifford parallel.

In 4 dimensional space we can construct 4 perpendicular axes and 6 perpendicular planes through a point. Without loss of generality, we may take these to be the axes and orthogonal central planes of a $(w,x,y,z)$ Cartesian coordinate system. In 4 dimensions we have the same 3 orthogonal planes $(xy,xz,yz)$ that we have in 3 dimensions, and also 3 others $(wx,wy,wz)$. Each of the 6 orthogonal planes shares an axis with 4 of the others, and is ''completely orthogonal'' to just one of the others: the only one with which it does not share an axis. Thus there are 3 pairs of completely orthogonal planes: $xy$ and $wz$ intersect only at the origin; $xz$ and $wy$ intersect only at the origin; $yz$ and $wx$ intersect only at the origin.

More generally, two flat subspaces $S_1$ and $S_2$ of dimensions $M$ and $N$ of a Euclidean space $S$ of at least $M+N$ dimensions are called ''completely orthogonal'' if every line in $S_1$ is orthogonal to every line in $S_2$. If $\dim(S) = M+N$ then $S_1$ and $S_2$ intersect at a single point $O$. If $\dim(S) > M+N$ then $S_1$ and $S_2$ may or may not intersect. If $\dim(S) = M+N$ then a line in $S_1$ and a line in $S_2$ may or may not intersect; if they intersect then they intersect at $O$.P.H.Schoute
''Mehrdimensionale Geometrie''. Leipzig: G.J.Göschensche Verlagshandlung. Volume 1 (Sammlung Schubert XXXV): Die linearen Räume, 1902.

See also

* Imaginary number
* Orthogonal complement
* Orthogonal group
* Orthogonal matrix
* Orthogonal polynomials
* Orthogonal polyhedron
* Orthogonal trajectory
* Orthogonalization
** Gram–Schmidt process
* Orthonormal basis
* Orthonormality
* Pan-orthogonality occurs in coquaternions
* Up tack

References

{{linear algebra

Abstract algebra
Linear algebra
*M