ABSTRACT

In this article, we start by a review of the circle group $\mathbb{T}$ [1] and its topology induced [1] by the quotient metric, which we later use to define a topological structure on the unit circle $\left({\mathbb{S}}^1,{\tau }_{{\mathbb{S}}^1}\right)$ . Using points on ${\mathbb{S}}^1$ 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 $G_P\left(\left[\theta \right]\right)$ of projection matrices. Together with the induced topology, it will be demonstrated that $G_P\left(\left[\theta \right]\right)$ is Hausdorff and Second Countable forming a topological manifold. Moreover, I will use an example of a group action on $G_P\left(\left[\theta \right]\right)$ to generate subgroups of $G_p\left(\left[\theta \right]\right)$ .

Keywords:

Projection, Orthogonal Projections, Projective Operators, Projective Manifolds

1. Introduction

Orthogonal Projection is a very familiar topic in Linear Algebra [2] . With reference to [2] , it is already known that if V is a finite-dimensional vector space and P is a projection on $W\subset V$ , where W is a subspace of V. Then P is idempotent, that is $P^2=P$ . P is the identity operator on W, that is $\forall x\in W:Px=x$ . We also know that W is the range of P and if U is the kernel of P then $V=W\oplus U,w\in W,u\in U$ . It is easy to show that $w=Px,u=\left(I-P\right)x$ . It is also a known fact that these operators are bounded i.e. $\Vert Px\Vert \le \Vert x\Vert$ . In this paper we will focus on projections in ${ℝ}^2$ and define a different construct for these operators. Starting in the next section with the circle group $\mathbb{T}$ [1] it is possible to endow the set of projective operators with a group and topological structure.

2. Notation Used in This Article

1) $\left({\mathbb{S}}^1,{\tau }_{{\mathbb{S}}^1}\right)$ The unit circle as a Topological Group.

2) $\mathbb{T}$ The circle group defined as $\mathbb{T}:=ℝ/2\pi \mathbb{Z}$ .

3) $\left[\theta \right]$ is an element in the topology of $\mathbb{T}$ .

4) ${\tau }_{ℝ}$ the usual topology on $ℝ$ .

5) ${\tau }_{{\mathbb{S}}^1}$ the topology on the unit circle ${\mathbb{S}}^1$ .

6) $d_{\mathbb{T}}\left(\left[{\theta }_1\right],\left[{\theta }_2\right]\right)$ is the Quotient Metric on $\mathbb{T}$ .

7) $\mathcal{B}\left(\left[\theta \right],ϵ\right)$ opens balls in $\mathbb{T}$ .

8) $\mathcal{B}\left(\theta ,ϵ\right)$ is open in $ℝ$ .

9) $\left(\mathbb{T},\cdot ,\tau \text{\_}\mathbb{T}\right)$ the circle group as a topological group.

10) $\left({\mathbb{S}}^1,\cdot ,{\tau }_{{\mathbb{S}}^1}\right)$ the unit circle as topological group.

11) ${\mathcal{O}}_{{\mathbb{S}}^1}^{{\alpha }_{+}}$ open set in ${\mathbb{S}}^1$ generated by counter-clockwise rotation.

12) ${\mathcal{O}}_{{\mathbb{S}}^1}^{{\alpha }_{-}}$ open set in ${\mathbb{S}}^1$ generated by clockwise rotation.

13) $P_{\left[\theta \right]}$ A projection matrix at angle $\left[\theta \right]$ .

14) $G_p\left(\left[\theta \right]\right)$ the topological projection manifold.

15) ${\mathcal{P}}_{\alpha }$ open sets in $G_p\left(\left[\theta \right]\right)$ .

3. A Brief Review of the Circle Group 𝕋 and Its Topology

3.1. The Group Structure

The topological group as in [1] is constructed by viewing the real line $ℝ$ as topological group where we identify $x=\theta$ . The topology is the usual topology induced by the metric $d_{ℝ}\left({\theta }_1,{\theta }_2\right):=\left|{\theta }_1-{\theta }_2\right|$ . We then define the following equivalence relation

${\theta }_1\sim {\theta }_2\iff {\theta }_1-{\theta }_2=2\text{π}k,k\in \mathbb{Z}$ (1)

Without proof, we see that this is an equivalence relation. The circle group is then defined as

$\mathbb{T}:=ℝ/2\pi \mathbb{Z}$

That is,

$\mathbb{T}:=\left\{\left[\theta \right]|\theta \in ℝ,\left[\theta \right]=\left\{\theta +2\pi k,k\in \mathbb{Z}\right\}\right\}$

It is very clear that this forms a group under addition such that

$\left[{\theta }_1\right]+\left[{\theta }_2\right]:=\left[{\theta }_1+{\theta }_2\right]$ (2)

With the identity $\theta =0$

$\left[{\theta }_1\right]+\left[0\right]=\left[{\theta }_1+0\right]=\left[{\theta }_1\right]$ (3)

The additive inverse is simply given by ${\left[\theta \right]}^{-1}:=\left[-{\theta }_1\right]=-\left[{\theta }_1\right]$ such that

$\left[\theta \right]+{\left[\theta \right]}^{-1}=\left[{\theta }_1\right]+\left[-{\theta }_1\right]=\left[{\theta }_1-{\theta }_1\right]=\left[0\right]$ (4)

where $\left[0\right]:=\left\{2\pi k,k\in \mathbb{Z}\right\}$ .

It is clear that this is associative and hence $\mathbb{T}$ is a group.

3.2. The Topological Structure on 𝕋 [1] [3]

First, we see that we have the projection mapping such that

$\pi :ℝ\to \mathbb{T}$

Such that

$\pi \left(\theta \right)=\left[\theta \right]$

Since $ℝ$ is a topological space we can define the topology on $\mathbb{T}$ be declaring an open set $U\in \mathbb{T}$ to be open if and only if ${\pi }^{-1}\left(U\right)$ is open in $ℝ$ .

Suppose we have some open $\mathcal{O}\in ℝ$ then we have $\pi \left(\mathcal{O}\right)=\left\{\left[\theta \right]|\theta \in \mathcal{O}\right\}$ hence we define $U:=\left\{\left[\theta \right]|\theta \in \mathcal{O}\right\}$ to be open in $\mathbb{T}$ . It is clear that ${\pi }^{-1}\left(U\right)$ is open in $ℝ$ . Next, we show the closure w.r.t unions and intersections. From topology, it is well known that the union of open sets is open and the intersection of open sets is also open, therefore, we can see that

${\displaystyle \underset{\alpha }{\cup }{U}_{\alpha }}\in \tau \Rightarrow {\pi }^{-1}\left({\displaystyle \underset{\alpha }{\cup }{U}_{\alpha }}\right)={\displaystyle \underset{\alpha }{\cup }{\pi }^{-1}\left(U_{\alpha }\right)}\in {\tau }_{ℝ},\alpha \in I$

For the intersections we get

${\pi }^{-1}\left({\displaystyle {\cap }_{\alpha }{U}_{\alpha }}\right)={\displaystyle {\cap }_{\alpha }{\pi }^{-1}\left(U_{\alpha }\right)},\alpha \in I$

Clearly, ${\pi }^{-1}\left(U_{\alpha }\right)$ is open in $ℝ$ since ${\pi }^{-1}\left(U_{\alpha }\right)={\mathcal{O}}_{\alpha }$ .

3.3. The Quotient Metric on the Circle Group

The quotient topology ${\tau }_{\mathbb{T}}$ is induced by the quotient metric defined as

$d_{\mathbb{T}}\left(\left[{\theta }_1\right],\left[{\theta }_2\right]\right):={\inf }_{k\in \mathbb{Z}}\left\{\left|{\theta }_1-{\theta }_2+2\pi k\right|\right\}$

We can define an open ball from this metric in the following way

$\mathcal{B}\left(\left[\theta \right],ϵ\right):=\left\{\left[{\theta }^{\prime }\right]\in \mathbb{T}:d\text{\_}\mathbb{T}\left(\left[\theta \right],\left[{\theta }^{\prime }\right]\right)<ϵ,ϵ>0\right\}$

Let $\left[\theta \right]\in \mathbb{T}$ and $q_k$ be the k^th representative of $\left[\theta \right]$ , that is $q_k:=\theta +2\pi k$ for some $k\in \mathbb{Z}$ . Let $\left[{\theta }^{\prime }\right]$ be some other point in $\mathbb{T}$ . Then we think of $d_{\mathbb{T}}:={\inf }_{k\in \mathbb{Z}}\left\{d\left(q_k,{\theta }^{\prime }\right)|d\left(q_k,{\theta }^{\prime }\right)=\left|q_k-{\theta }^{\prime }\right|\right\}$ . Hence, the open sets in $\mathbb{T}$ can be defined by using the definition of the open balls (above) and the canonical projection mapping $\pi$ .

In order for the canonical map $\pi$ to make sense and in order to satisfy ${\inf }_{k\in \mathbb{Z}}\left\{d\left(q_k,{\theta }^{\prime }\right)|d\left(q_k,{\theta }^{\prime }\right)=\left|q_k-{\theta }^{\prime }\right|\right\}$ we construct the open balls as discussed above

$\mathcal{B}\left(\left[\theta \right],ϵ\right):=\left\{\left[{\theta }^{\prime }\right]|{\theta }^{\prime }\in \mathcal{O},d\left(\theta ,{\theta }^{\prime }\right)=\left|\theta -{\theta }^{\prime }\right|<ϵ,ϵ>0\right\}$

Note that

${\pi }^{-1}\left(\mathcal{B}\left(\left[\theta \right],ϵ\right)\right)=\mathcal{B}\left(\theta ,ϵ\right)$

Such that

$\mathcal{B}\left(\theta ,ϵ\right):=\left\{{\theta }^{\prime }\in ℝ|d\left(\theta ,{\theta }^{\prime }\right)=\left|\theta -{\theta }^{\prime }\right|<ϵ,{\theta }^{\prime }\in {\mathcal{O}}_{\alpha },ϵ>0\right\}$

This defines a topology on $\mathbb{T}$ . Furthermore, even though $\mathcal{B}\left(\theta ,ϵ\right)$ is open and bounded in $ℝ$ , any open set in $ℝ$ can be written as the countable union of open balls $\mathcal{B}\left(\theta ,ϵ\right)$ .

Also we note that this metric is a pseudo-metric. A pseudo-metric is metric is similar to usual metric spaces with the exception that it possible to have the following result

$d_{\mathbb{T}}\left(\left[\theta \right],\left[{\theta }^{\prime }\right]\right)=0\nRightarrow \theta ={\theta }^{\prime }$

In fact, this implies that ${\theta }^{\prime }=q_k=\theta +2\pi k,k\in \mathbb{Z}\Rightarrow \left[\theta \right]=[q_k],\forall k\in \mathbb{Z}.$

Hence, $\mathbb{T}$ is a topological group, denoted $\left(\mathbb{T},+,\tau \text{\_}\mathbb{T}\right)$ .

4. The Mapping $I:\mathbb{T}\to {\mathbb{S}}^1$

We now consider the unit circle as the set

${\mathbb{S}}^1:=\left\{x\in {ℝ}^2:x^2+y^2=1\right\}$

Clearly, ${\mathbb{S}}^1$ can e endowed with the subspace topology ${\tau }_{{\mathbb{S}}^1}$ generated by the metric $d:{\mathbb{S}}^1\times {\mathbb{S}}^1\to \left[0,\infty \right)$ such that we define the metric to be $d\left({\text{e}}^{i\theta },{\text{e}}^{i{\theta }^{\prime }}\right)$ i.e. the shortest arc length between the points $\left({\text{e}}^{i\theta },{\text{e}}^{i{\theta }^{\prime }}\right)$ .

Clearly, this defines a topology on ${\mathbb{S}}^1$ . Equipped with this topology we can say that $\left({\mathbb{S}}^1,\cdot ,{\tau }_{{\mathbb{S}}^1}\right)$ is a topological group. The mapping

$I:\left(\mathbb{T},+,{\tau }_{\mathbb{T}}\right)\to \left(\mathbb{S},\cdot ,{\tau }_{{\mathbb{S}}^1}\right)$

such that

$I\left(\left[\theta \right]\right):={\text{e}}^{i\left[\theta \right]},\left[\theta \right]\in \mathbb{T}$

This, clearly defines an isomorphism. The group operation on the circle is given by multiplication as follows

${\text{e}}^{i\theta }{\text{e}}^{i{\theta }^{\prime }}={\text{e}}^{i\left(\theta +{\theta }^{\prime }\right)}=I\left(\left[\theta \right]+\left[{\theta }^{\prime }\right]\right)$ (5)

Furthermore

$\begin{array}{l}{\text{e}}^{i\theta }{\text{e}}^{i{\theta }^{\prime }}=\left(\cos \theta +i\sin \theta \right)\left(\cos {\theta }^{\prime }+i\sin {\theta }^{\prime }\right)\\ =\cos \theta \cos {\theta }^{\prime }+i\cos \theta \sin {\theta }^{\prime }+i\sin \theta \cos {\theta }^{\prime }-\sin \theta \sin {\theta }^{\prime }\\ =\cos \left(\theta +{\theta }^{\prime }\right)+i\sin \left(\theta +{\theta }^{\prime }\right)=I\left(\left[\theta \right]+\left[{\theta }^{\prime }\right]\right)\end{array}$ (6)

With

$d_{\mathbb{T}}\left(\left[\theta \right],\left[{\theta }^{\prime }\right]\right)=d\left({\text{e}}^{i\theta },{\text{e}}^{i{\theta }^{\prime }}\right)$

It is clear that open balls on $\mathbb{T}$ are mapped into open arcs on ${\mathbb{S}}^1$ .

5. Defining Projections on $\left({\mathbb{S}}^1,\cdot ,{\tau }_{{\mathbb{S}}^1}\right)$

We now focus on the topology generated by open arcs. We can write

${\text{e}}^{i\theta }=\cos \theta +i\sin \theta ={\left(\cos \theta ,\sin \theta \right)}^{\text{T}}\in {\mathbb{S}}^1$ (7)

${\text{e}}^{-i\theta }=\cos \theta -i\sin \theta ={\left(\cos \theta ,-\sin \theta \right)}^{\text{T}},\in {\mathbb{S}}^1$ (8)

We define the following mapping

$\Phi \left({\text{e}}^{i\left[\theta \right]}\right):=\{\begin{array}{l}{\text{e}}^{i\left[\theta \right]}\otimes {\left({\text{e}}^{i\left[\theta \right]}\right)}^{\text{T}},\forall \theta \in {\mathcal{O}}_{{\mathbb{S}}^1}^{{\alpha }_{+}}\\ P_e,\theta =0\\ {\text{e}}^{i\left[-\theta \right]}\otimes {\left({\text{e}}^{i\left[-\theta \right]}\right)}^{\text{T}},\forall \theta \in {\mathcal{O}}_{{\mathbb{S}}^1}^{{\alpha }_{-}}\end{array}$ (9)

Given that each open set in the topology satisfies the metric $d\left({\text{e}}^{i\theta },{\text{e}}^{i{\theta }^{\prime }}\right)<\pi$ implies that $\Phi$ is bijective and hence has an inverse.

Moreover, we have

$\Phi \left({\text{e}}^{i\left[\theta \right]}{\text{e}}^{i\left[{\theta }^{\prime }\right]}\right)=\Phi \left({\text{e}}^{i\left[\theta +{\theta }^{\prime }\right]}\right)={\text{e}}^{i\left[\theta +{\theta }^{\prime }\right]}\otimes {\left({\text{e}}^{i\left[\theta +{\theta }^{\prime }\right]}\right)}^{\text{T}}$ (10)

The group operation of the projector is defined as follows

$\phi \left(P_{\left[\theta \right]},P_{\left[{\theta }^{\prime }\right]}\right)=P_{\left[\theta +{\theta }^{\prime }\right]}$

where $P_{\left[\theta \right]}={\text{e}}^{i\left[\theta \right]}\otimes {\left({\text{e}}^{i\left[{\theta }^{\prime }\right]}\right)}^{\text{T}}$ and $P_{\left[\theta +{\theta }^{\prime }\right]}={\text{e}}^{\left[\theta +{\theta }^{\prime }\right]}\otimes {\left({\text{e}}^{\left[\theta +{\theta }^{\prime }\right]}\right)}^{\text{T}}$ respectively.

Clearly, it can be easily verified that this defines an abelian group as per definition from [4] [5] . Also, this is consistent with the group operation on ${\mathbb{S}}^1$ and shows that $\Phi$ is a group homomorphism.

Image and Kernel

Let $u\in {ℝ}^2$ . The vector can be written as $u=\left(\Vert u\Vert \cos {\theta }_u,\Vert u\Vert \sin {\theta }_u\right)$ . ${\theta }_u$ denotes the angle between vector u and the x-axis. Then we have

$\begin{array}{l}{\text{e}}^{i\left[\theta \right]}\otimes {\left({\text{e}}^{i\left[\theta \right]}\right)}^{\text{T}}u=\left[\begin{array}{cc}{\cos }^2\theta & \cos \theta \sin \theta \\ \sin \theta \cos \theta & {\sin }^2\theta \end{array}\right]\left[\begin{array}{c}\Vert u\Vert \cos {\theta }_u\\ \Vert u\Vert \sin {\theta }_u\end{array}\right]\\ =\Vert u\Vert \left[\begin{array}{c}{\cos }^2\theta \cos {\theta }_u+\cos \theta \sin \theta \sin {\theta }_u\\ \sin \theta \cos \theta \cos {\theta }_u+{\sin }^2\theta \sin {\theta }_u\end{array}\right]\\ =\Vert u\Vert \left(\cos \theta \cos {\theta }_u+\sin \theta \sin {\theta }_u\right)\left[\begin{array}{c}\cos \theta \\ \sin \theta \end{array}\right]\end{array}$

This is just the familiar projection formula. Hence, the image is just the 1-dimensional subspace spanned by ${\text{e}}^{i\left[\theta \right]}$ .

The Kernel, substitution of ${\theta }_u$ by $\theta \pm \frac{\pi }{2}$ gives us the following result

$\begin{array}{l}\Vert u\Vert \left(\cos \theta \cos \left(\theta +\frac{\pi }{2}\right)+\sin \theta \sin \left(\theta +\frac{\pi }{2}\right)\right)\left[\begin{array}{c}\cos \theta \\ \sin \theta \end{array}\right]\\ =\Vert u\Vert \left(-\cos \theta \sin \theta +\sin \theta \cos \theta \right)\left[\begin{array}{c}\cos \theta \\ \sin \theta \end{array}\right]=0\end{array}$

Hence, the kernel is the orthogonal complement of the subspace spanned by ${\text{e}}^{i\left[\theta \right]}$ . It is also easy to verify that ${\text{e}}^{i\left[\theta \right]}\otimes {\left({\text{e}}^{i\left[\theta \right]}\right)}^{\text{T}}$ is idempotent.

6. Projections as a Topological Manifold

Clearly, the topology $\left({\mathbb{S}}^1,\cdot ,{\tau }_{{\mathbb{S}}^1}\right)$ induces a topological structure on the projector group $G_p\left(\left[\theta \right]\right)$ .

Lemma

The topology $\left(G_p\left(\left[\theta \right]\right),{\tau }_{G_p}\right)$ is Hausdorff and Second Countable.

Proof

Suppose we have 2 points ${\text{e}}^{i\left[\theta \right]}$ and ${\text{e}}^{i\left[{\theta }^{\prime }\right]}$ , there exists ${\mathcal{O}}_{{\mathbb{S}}^1}^{\alpha }$ such that ${\text{e}}^{i\left[\theta \right]}\in {\mathcal{O}}_{{\mathbb{S}}^1}^{\alpha }$ and an open arc ${\mathcal{O}}_{{\mathbb{S}}^1}^{{\alpha }^{\prime }}$ such that ${\text{e}}^{i\left[{\theta }^{\prime }\right]}\in {\mathcal{O}}_{{\mathbb{S}}^1}^{\alpha }$ such that ${\mathcal{O}}_{{\mathbb{S}}^1}^{\alpha }\cap {\mathcal{O}}_{{\mathbb{S}}^1}^{{\alpha }^{\prime }}=\varnothing$ . Hence, by the group homomorphism we

$\Phi \left({\mathcal{O}}_{{\mathbb{S}}^1}^{\alpha }\cap {\mathcal{O}}_{{\mathbb{S}}^1}^{{\alpha }^{\prime }}\right)=\Phi \left({\mathcal{O}}_{{\mathbb{S}}^1}^{\alpha }\right)\cap \Phi \left({\mathcal{O}}_{{\mathbb{S}}^1}^{{\alpha }^{\prime }}\right)=\varnothing$

Therefore, it is Hausdorff.

For the second countability property, we proceed as follows.

Starting by using a countable basis in $ℝ$ of the form $\left(\theta ,{\theta }^{\prime }\right)$ where $\theta ,{\theta }^{\prime }\in \mathbb{Q}$ . Since $\mathbb{Q}$ is countable then the set

$\mathcal{M}:=\left\{\left(\theta ,\theta \text{'}\right)\in ℝ|\theta ,{\theta }^{\prime }\in \mathbb{Q}\right\}$

Is a countable basis on $ℝ$ . This implies that the mapping

$\exp \left\{i\mathcal{M}\right\}$

induces a second countable basis on $\left({\mathbb{S}}^1,\cdot ,{\tau }_{{\mathbb{S}}^1}\right)$ , which in turn, implies that $\Phi$ induces a second countable on $G_P\left(\left[\theta \right]\right)$ .

Hence, we have a topological manifold.

Lemma 2

The topological manifold $G_p\left(\left[\theta \right]\right)$ is homeomorphic to $ℝ$ .

Proof

We can define an atlas as follows

$\mathcal{A}:=\left\{\left({\mathcal{P}}_{\alpha },\varphi \right)|\Phi \left({\mathcal{O}}_{{\mathbb{S}}^1}^{\alpha }\right)={\mathcal{P}}_{\alpha }\in {\tau }_{G_P},\varphi :G_P\to ℝ\right\}$

where

$\varphi \left({\text{e}}^{i\left[\theta \right]}\otimes {\left({\text{e}}^{i\left[\theta \right]}\right)}^{\text{T}}\right)=\left[\theta \right]\in ℝ/2\pi \mathbb{Z}\to \mathcal{B}\left(\left[\theta \right],ϵ\right)$

The mapping is bijective since

$\varphi \left({\text{e}}^{i\left[\theta \right]}\otimes {\left({\text{e}}^{i\left[\theta \right]}\right)}^{\text{T}}\right)=\varphi \left({\text{e}}^{i\left[{\theta }^{\prime }\right]}\otimes {\left({\text{e}}^{i\left[{\theta }^{\prime }\right]}\right)}^{\text{T}}\right)$

Implies that

$\left[\theta \right]=\left[{\theta }^{\prime }\right]\iff {\theta }^{\prime }=\theta \pm 2\pi k,k\in \mathbb{Z}$

Or

${\theta }^{\prime }=\theta \pm k\pi ,k\in \mathbb{Z}$

Since we can get the following result

${\text{e}}^{i\left[{\theta }^{\prime }\right]}\otimes {\left({\text{e}}^{i\left[{\theta }^{\prime }\right]}\right)}^{\text{T}}={\text{e}}^{i\left[\theta \pm \pi k\right]}\otimes {\left({\text{e}}^{i\left[\theta \pm \pi k\right]}\right)}^{\text{T}}$

We get the following matrix

$\left[\begin{array}{cc}{\cos }^2\left(\theta \pm \pi k\right)& \cos \left(\theta \pm \pi k\right)\sin \left(\theta \pm \pi k\right)\\ \sin \left(\theta \pm \pi k\right)\cos \left(\theta \pm \pi k\right)& {\sin }^2\left(\theta \pm \pi k\right)\end{array}\right]$

Now it is easy to show that

$\cos \left(\theta \pm \pi k\right)=\pm \cos \theta ,\sin \left(\theta \pm \pi k\right)=\pm \sin \theta$

Therefore, we have

$\begin{array}{l}\left[\begin{array}{cc}{\cos }^2\left(\theta \pm \pi k\right)& \cos \left(\theta \pm \pi k\right)\sin \left(\theta \pm \pi k\right)\\ \sin \left(\theta \pm \pi k\right)\cos \left(\theta \pm \pi k\right)& {\sin }^2\left(\theta \pm \pi k\right)\end{array}\right]\\ =\left[\begin{array}{cc}{\cos }^2\theta & \cos \theta \sin \theta \\ \sin \theta \cos \theta & {\sin }^2\theta \end{array}\right]\end{array}$

However, since ${\mathcal{O}}_{{\mathbb{S}}^1}^{\alpha }$ is bounded such that $d\left({\text{e}}^{i\theta },{\text{e}}^{i{\theta }^{\prime }}\right)<\pi$ implies that $\varphi$ is bijective on each ${\mathcal{P}}_{\alpha },\forall \alpha \in I$ . It is easy to see that $\varphi$ is also continuous hence it defines a homeomorphism. For the transition functions, we arbitrarily choose some ${\mathcal{P}}_{\alpha },{{\mathcal{P}}^{\prime }}_{\alpha }\in {\tau }_{G_P}$ such that ${\mathcal{P}}_{\alpha }\cap {{\mathcal{P}}^{\prime }}_{\alpha }\ne \varnothing$ then we have

$\varphi \circ {\varphi }^{-1}\left({\mathcal{P}}_{\alpha }\cap {{\mathcal{P}}^{\prime }}_{\alpha }\right)=\mathcal{B}\left(\left[\theta ,ϵ\right]\right)\cap \mathcal{B}\left(\left[{\theta }^{\prime }\right],ϵ\right)$

Is open in $ℝ/2\pi \mathbb{Z}$ .

Theorem 3. The topological manifold $G_P\left(\left[\theta \right]\right)$ is a Lie Group.

Proof

Let

$\mu :G_P\left(\left[\theta \right]\right)\times G_P\left(\left[\theta \right]\right)\to G_P\left(\left[\theta \right]\right)$

Such that

$\mu \left(P_{\left[\theta \right]},P_{\left[{\theta }^{\prime }\right]}\right)\to P_{\left[\theta +{\theta }^{\prime }\right]}\in G_P\left(\left[\theta \right]\right)$

And

$l\left(P_{\left[\theta \right]}\right)\to {\left(P_{\left[\theta \right]}\right)}^{-1}=P_{\left[-\theta \right]}$

Since the group operation is addition of angles $\theta$ and ${\theta }^{\prime }$ implies that $\mu$ is both continuous and $C^{\infty }$ . Same argument applies to the inverse mapping. It also clear that elements of these matrices are smooth transcendental functions of $\theta$ which are also $C^{\infty }$ . Hence, we have a Lie Group. ■

7. Group Action of ℤ on $G_P\left(\left[\theta \right]\right)$

We now define the following group action of $\mathbb{Z}$ on the Lie Group $G_P\left(\left[\theta \right]\right)$ in the following way

$\xi :\mathbb{Z}\times G_P\left(\left[\theta \right]\right)\to G_P\left(\left[\theta \right]\right)$

Such that

$\xi \left(z,P_{\left[\theta \right]}\right)=P_{\left[z\theta \right]}$

Lemma 4. Let $\left[\theta \right]\in \mathbb{T}$ be some point in the circle group for some fixed $\theta \in ℝ$ . Then $\left[z\theta \right]$ , $z\in \mathbb{Z}$ is a subgroup of $\mathbb{T}$ .

Proof

The action of $\mathbb{Z}$ on $\mathbb{T}$ given by $\left[z\theta \right],z\in \mathbb{Z}$ generates a subgroup since

$\left[z\theta \right]+\left[z^{\prime }\theta \right]=\left[z\theta +z^{\prime }\theta \right]=\left[\left(z+z^{\prime }\right)\theta \right]\in \mathbb{T}$

With the additive identity and additive inverse in $\mathbb{Z}$ , we have a subgroup of $\mathbb{T}$ . ■

8. Conclusion

In conclusion, we have demonstrated the link between the circle group, the circle and the projection group. There is much to do to continue developing the theory. We wish to continue on this topic in subsequent articles.

Acknowledgements

I wish to extend my gratitude for the all, the very helpful advice from Prof. Nigel Atkins from Kingston University who was kind enough to take my numerous phone calls despite his busy teaching schedule.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

Cite this paper

Niglio, J.-F. (2018) The Projective Group as a Topological Manifold. Advances in Linear Algebra & Matrix Theory, 8, 135-142. https://doi.org/10.4236/alamt.2018.84012

References