In this article, we start by a review of the circle group? [1] and its topology induced [1] by the quotient metric, which we later use to define a topological structure on the unit circle . Using points on? under the complex exponential map, we can construct orthogonal projection operators. We will show that under this construction, we arrive at a topological group, denoted? of projection matrices. Together with the induced topology, it will be demonstrated that? is Hausdorff and Second Countable forming a topological manifold. Moreover, I will use an example of a group action on? to generate subgroups of?.
References
[1]
The Circle Group by Prof Girardi The Circle Group.
[2]
Roman, S. (2008) Advanced Linear Algebra. 3rd Edition, Springer, Berlin. https://doi.org/10.1007/978-1-4757-2178-2
[3]
Tu, L.W. (2011) An Introduction to Manifolds. 2nd Edition, Springer, Berlin. https://doi.org/10.1007/978-1-4419-7400-6
[4]
Jacobson, N. (1951) Lectures in Abstract Algebra I, Basic Concepts. Springer, Berlin. https://doi.org/10.1007/978-1-4612-9872-4
[5]
Jacobson, N. (1955) Lectures in Abstract Algebra II. The Mathematical Gazette, 39, 76-77. https://doi.org/10.2307/3611127