O(2)
still being written
An elementary example of a Lie group is afforded by O(2),the orthogonal group in two dimensions. This is the setof transformations
of the plane which fix the origin andpreserve the distance between points. It may be shownthat a transform has this property if and only if it is ofthe form
where is a matrix such that .(Such a matrix is called orthogonal.)
It is easy enough to check that this is a group. To seethat it is a Lie group, we first need to make sure that itis a manifold. To that end, we will parameterize it.Calling the entries of the matrix , the conditionbecomes
which is equivalent to the following system of equations:
The first of these equations can be solved by introducing aparameter and writing and . Then the second equation becomes , which can be solved byintroducing a parameter :
Substituting this into the third equation results in ,so or . This means we have two matrices foreach value of :
Since more than one value of will produce the samematrix, we must restrict the range in order to obtain abona fide coordinate. Thus, we may cover with anatlas consisting of four neighborhoods:
Every element of must belong to at least one ofthese neighborhoods. It its trivial to check that thetransition functions between overlapping coordinatepatches are