Assessment |
Biopsychology |
Comparative |
Cognitive |
Developmental |
Language |
Individual differences |
Personality |
Philosophy |
Social |

Methods |
Statistics |
Clinical |
Educational |
Industrial |
Professional items |
World psychology |

**Statistics:**
Scientific method ·
Research methods ·
Experimental design ·
Undergraduate statistics courses ·
Statistical tests ·
Game theory ·
Decision theory

In mathematics, **orthogonal** is synonymous with *perpendicular* when used as a simple adjective that is not part of any longer phrase with a standard definition. It means at right angles. It comes from the Greek *ὀρθός* *orthos*, meaning "straight", used by Euclid to mean *right*; and *γωνία* *gonia*, meaning *angle*. Two streets that cross each other at a right angle are orthogonal to one another.

## Explanation[]

Formally, two vectors and in an inner product space are orthogonal if their inner product is zero. This situation is denoted .

Two vector subspaces and of vector space are called **orthogonal subspaces** if each vector in is orthogonal to each vector in . The largest subspace that is orthogonal to a given subspace is its orthogonal complement.

A linear transformation is called an **orthogonal linear transformation** if it preserves the inner product. That is, for all pairs of vectors and in the inner product space ,

This means that preserves the angle between and , and that the lengths of and are equal.

A term rewriting system is said to be orthogonal if it is left-linear and is non-ambiguous. Orthogonal term rewriting systems are confluent.

The word **normal** is sometimes also used in place of orthogonal. However, *normal* can also refer to unit vectors. In particular, orthonormal refers to a collection of vectors that are both orthogonal and normal (of unit length). So, using the term *normal* to mean "orthogonal" is often avoided.

In some contexts, two things are said to be orthogonal if they are mutually exclusive.

## In Euclidean vector spaces[]

In 2- or 3-dimensional Euclidean space, two vectors are orthogonal if their dot product is zero, i.e. they make an angle of 90° or π/2 radians. Hence orthogonality of vectors is a generalization of the concept of perpendicular. In terms of vector subspaces, the orthogonal complement of a line is the plane perpendicular to it, and vice versa. Note however that there is no correspondence with regards to perpendicular planes, because vectors in subspaces start from the origin.

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

Several vectors are called **pairwise orthogonal** if any two of them are orthogonal, and a set of such vectors is called an **orthogonal set**. An orthogonal set is an **orthonormal set** if all its vectors are unit vectors. Non-zero pairwise orthogonal vectors are always linearly independent.

## Orthogonal functions[]

It is common to use the following inner product for two functions *f* and *g*:

Here we introduce a nonnegative weight function in the definition of this inner product.

We say that those functions are **orthogonal** if that inner product is zero:

We write the norms with respect to this inner product and the weight function as

The members of a sequence { *f*_{i} : *i* = 1, 2, 3, ... } are:

*orthogonal*if

*orthonormal*

where

is Kronecker's delta. In other words, any two of them are orthogonal, and the norm of each is 1 in the case of the orthonormal sequence. See in particular orthogonal polynomials.

## Examples[]

- The vectors (1, 3, 2), (3, −1, 0), (1/3, 1, −5/3) are orthogonal to each other, since (1)(3) + (3)(−1) + (2)(0) = 0, (3)(1/3) + (−1)(1) + (0)(−5/3) = 0, (1)(1/3) + (3)(1) − (2)(5/3) = 0. Observe also that the dot product of the vectors with themselves are the norms of those vectors, so to check for orthogonality, we need only check the dot product with every other vector.

- The vectors (1, 0, 1, 0, ...)
^{T}and (0, 1, 0, 1, ...)^{T}are orthogonal to each other. Clearly the dot product of these vectors is 0. We can then make the obvious generalization to consider the vectors in**Z**_{2}^{n}:

- for some positive integer
*a*, and for 1 ≤*k*≤*a*− 1, these vectors are orthogonal, for example (1, 0, 0, 1, 0, 0, 1, 0)^{T}, (0, 1, 0, 0, 1, 0, 0, 1)^{T}, (0, 0, 1, 0, 0, 1, 0, 0)^{T}are orthogonal.

- Take two quadratic functions 2
*t*+ 3 and 5*t*^{2}+*t*− 17/9. These functions are orthogonal with respect to a unit weight function on the interval from −1 to 1. The product of these two functions is 10*t*^{3}+ 17*t*^{2}− 7/9*t*− 17/3, and now,

- The functions 1, sin(
*nx*), cos(*nx*) :*n*= 1, 2, 3, ... are orthogonal with respect to Lebesgue measure on the interval from 0 to 2π. This fact is basic in the theory of Fourier series.

- Various eponymously named polynomial sequences are sequences of orthogonal polynomials. In particular:
- The Hermite polynomials are orthogonal with respect to the normal distribution with expected value 0.
- The Legendre polynomials are orthogonal with respect to the uniform distribution on the interval from −1 to 1.
- 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
- The Chebyshev polynomials of the second kind are orthogonal with respect to the Wigner semicircle distribution.

## Derived meanings[]

Other meanings of the word *orthogonal* evolved from its earlier use in mathematics.

### Art[]

In art the perspective imagined lines pointing to the vanishing point are referred to as 'orthogonal lines'.

### Computer science[]

Orthogonality is a system design property which facilitates the making of complex designs feasible and compact. Orthogonality guarantees that modifying the technical effect produced by a component of a system neither creates nor propagates side effects to other components of the system. The emergent behaviour of a system consisting of components should be controlled strictly by formal definitions of its logic and not by side effects resulting from poor integration, i.e. non-orthogonal design of modules and interfaces. Orthogonality reduces testing and development time because it is easier to verify designs that neither cause side effects nor depend on them.

For example, a car has orthogonal components and controls, e.g. accelerating the vehicle does not influence anything else but the components involved in the acceleration. On the other hand, a car with non-orthogonal design might have, for example, its steering influence its braking (e.g. Electronic Stability Control), or its speed influence its suspension.^{[1]} Consequently, this usage is seen to be derived from the use of *orthogonal* in mathematics: One may project a vector onto a subspace by projecting it onto each member of a set of basis vectors separately and adding the projections if and only if the basis vectors are mutually orthogonal.

An instruction set is said to be **orthogonal** if any instruction can use any register in any addressing mode. This terminology results from considering an instruction as a vector whose components are the instruction fields. One field identifies the registers to be operated upon, and another specifies the addressing mode. An orthogonal instruction set uniquely encodes all combinations of registers and addressing modes.

### Radio communications[]

In radio communications, multiple access schemes are **orthogonal** when a receiver can (theoretically) completely reject an arbitrarily strong unwanted signal. An example of an orthogonal scheme is Code Division Multiple Access, CDMA. Examples of non-orthogonal schemes are TDMA and FDMA.

### Social sciences/Statistics/Econometrics[]

In the social sciences, variables that affect a particular result are said to be orthogonal if they are independent. That is to say that by varying each separately, one can predict the combined effect of varying them jointly. If synergistic effects are present, the factors are not orthogonal. This meaning derives from the mathematical one, because orthogonal vectors are linearly independent.

### Taxonomy[]

In taxonomy, an orthogonal classification is one in which no item is a member of more than one group, that is, the classifications are mutually exclusive.

### Combinatorics[]

In combinatorics, two *n*×*n* Latin squares are said to be orthogonal if their superimposition yields all possible *n*^{2} combinations of entries. One can also have a more general definition of combinatorial orthogonality.

### Quantum mechanics[]

In quantum mechanics, two eigenstates of a wavefunction, and , are orthogonal unless they are identical (i.e. *m=n*). This means, in Dirac notation, that unless *m=n*, in which case . The fact that is because wavefunctions are normalized.

## See also[]

- orthogonalization
- Gram-Schmidt process

- orthogonal complement
- orthonormality
- Pan-orthogonality occurs in coquaternions
- orthonormal basis
- orthogonal polynomials
- orthogonal matrix
- orthogonal group
- surface normal

## References and external links[]

- ↑ Lincoln Mark VIII speed-sensitive suspension (MPEG video). URL accessed on 2006-09-15.

This page uses Creative Commons Licensed content from Wikipedia (view authors). |