In linear algebra, two vectors in an inner product space are orthonormal, if they are orthogonal and unit vectors. A set of vectors form an orthonormal set, if all vectors in the set are mutually orthogonal and all of unit length. An orthonormal set which forms a basis is called an orthonormal basis.
The construction of orthogonality of vectors is motivated by a desire to extend the intuitive notion of perpendicular vectors to higherdimensional spaces. In the Cartesian plane, two vectors are said to be perpendicular if the angle between them is 90° (i.e. if they form a right angle). This definition can be formalized in Cartesian space by defining the dot product and specifying that two vectors in the plane are orthogonal if their dot product is zero.
Similarly, the construction of the norm of a vector is motivated by a desire to extend the intuitive notion of the length of a vector to higherdimensional spaces. In Cartesian space, the norm of a vector is the square root of the vector dotted with itself. That is,
Many important results in linear algebra deal with collections of two or more orthogonal vectors. But often, it is easier to deal with vectors of unit length. That is, it often simplifies things to only consider vectors whose norm equals 1. The notion of restricting orthogonal pairs of vectors to only those of unit length is important enough to be given a special name. Two vectors which are orthogonal and of length 1 are said to be orthonormal.
What does a pair of orthonormal vectors in 2D Euclidean space look like?
Let u = (x_{1}, y_{1}) and v = (x_{2}, y_{2}). Consider the restrictions on x_{1}, x_{2}, y_{1}, y_{2} required to make u and v form an orthonormal pair.
Expanding these terms gives 3 equations:
Converting from Cartesian to polar coordinates, and considering Equation and Equation immediately gives the result r_{1} = r_{2} = 1. In other words, requiring the vectors be of unit length restricts the vectors to lie on the unit circle.
After substitution, Equation becomes . Rearranging gives . Using a trigonometric identity to convert the cotangent term gives
It is clear that in the plane, orthonormal vectors are simply radii of the unit circle whose difference in angles equals 90°.
Let be an innerproduct space. A set of vectors
is called orthonormal if and only if
where is the Kronecker delta and is the inner product defined over .
Orthonormal sets are not especially significant on their own. However, they display certain features that make them fundamental in exploring the notion of diagonalizability of certain operators on vector spaces.
Orthonormal sets have certain very appealing properties, which make them particularly easy to work with.
Proof of the GramSchmidt theorem is constructive, and discussed at length elsewhere. The GramSchmidt theorem, together with the axiom of choice, guarantees that every vector space admits an orthonormal basis. This is possibly the most significant use of orthonormality, as this fact permits operators on innerproduct spaces to be discussed in terms of their action on the space's orthonormal basis vectors. What results is a deep relationship between the diagonalizability of an operator and how it acts on the orthonormal basis vectors. This relationship is characterized by the Spectral Theorem.
The standard basis for the coordinate space F^{n} is
{e_{1}, e_{2},...,e_{n}} where  e_{1} = (1, 0, ..., 0) 
e_{2} = (0, 1, ..., 0)  


e_{n} = (0, 0, ..., 1) 
Any two vectors e_{i}, e_{j} where i≠j are orthogonal, and all vectors are clearly of unit length. So {e_{1}, e_{2},...,e_{n}} forms an orthonormal basis.
When referring to realvalued functions, usually the L² inner product is assumed unless otherwise stated. Two functions and are orthonormal over the interval if
The Fourier series is a method of expressing a periodic function in terms of sinusoidal basis functions. Taking C[−π,π] to be the space of all realvalued functions continuous on the interval [−π,π] and taking the inner product to be
It can be shown that
forms an orthonormal set.
However, this is of little consequence, because C[−π,π] is infinitedimensional, and a finite set of vectors cannot span it. But, removing the restriction that n be finite makes the set dense in C[−π,π] and therefore an orthonormal basis of C[−π,π].
None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.
All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.
The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.