PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
orthogonal group (Definition)

Let $ Q$ be a non-degenerate symmetric bilinear form over the real vector space $ \mathbb{R}^n$. A linear transformation $ T\colon V \to V$ is said to preserve $ Q$ if $ Q(Tx,Ty) = Q(x,y)$ for all vectors $ x,y \in V$. The subgroup of the general linear group $ \operatorname{GL}(V)$ consisting of all linear transformations that preserve $ Q$ is called the orthogonal group with respect to $ Q$, and denoted $ \operatorname{O}(n,Q)$.

If $ Q$ is also positive definite (i.e., $ Q$ is an inner product), then $ \operatorname{O}(n,Q)$ is equivalent to the group of invertible linear transformations that preserve the standard inner product on $ \mathbb{R}^n$, and in this case the group $ \operatorname{O}(n,Q)$ is usually denoted $ \operatorname{O}(n)$.

Elements of $ \operatorname{O}(n)$ are called orthogonal transformations. One can show that a linear transformation $ T$ is an orthogonal transformation if and only if $ T^{-1} = T^{\operatorname{T}}$ (i.e., the inverse of $ T$ equals the transpose of $ T$).



"orthogonal group" is owned by djao.
(view preamble)

View style:

Also defines:  orthogonal transformation

Attachments:
dimension of the special orthogonal group (Result) by stevecheng
Log in to rate this entry.
(view current ratings)

Cross-references: transpose, inverse, invertible linear transformations, group, equivalent, inner product, positive definite, general linear group, subgroup, vectors, preserve, linear transformation, vector space, real, symmetric bilinear form, non-degenerate
There are 14 references to this entry.

This is version 3 of orthogonal group, born on 2002-02-22, modified 2006-04-05.
Object id is 2482, canonical name is OrthogonalGroup.
Accessed 7392 times total.

Classification:
AMS MSC20G20 (Group theory and generalizations :: Linear algebraic groups :: Linear algebraic groups over the reals, the complexes, the quaternions)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)