| Orthogonal |
Article Index for Orthogonal |
Information AboutOrthogonal |
| CATEGORIES ABOUT ORTHOGONALITY | |
| abstract algebra | |
| linear algebra | |
|
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 . 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- Dimension al Euclidean Space , two vectors are orthogonal if their Dot Product is zero, i.e. they make an angle of 90° or π/2 Radian s. Hence orthogonality of vectors is a generalization of the concept of Perpendicular . In terms of Euclidean Subspace s, 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'''. Such a set is an '''orthonormal set''' if all its vectors are Unit Vector s. Non-zero pairwise orthogonal vectors are always Linearly Independent . ORTHOGONAL FUNCTIONS It is common to use the following inner product for two Function s ''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 Norm s with respect to this inner product and the weight function as | ||
|   | :<math>\langle F I, F J Angle | \int_{-\infty}^\infty f_i(x) f_j(x) w(x)\,dx=f_i^2\delta_{i,j}=f_j^2\delta_{i,j}</math> |
|
|