 Research
 Open Access
 Published:
Relationships between fixed points and eigenvectors in the group GL(2,\mathbb{R})
Fixed Point Theory and Applications volume 2013, Article number: 55 (2013)
Abstract
PSL(2,\mathbb{R}) is the most frequently studied subgroup of the Möbius transformations. By adding antiautomorphisms
to the group PSL(2,\mathbb{R}), the group G=PSL(2,\mathbb{R})\cup {G}^{\mathrm{\prime}} is obtained. The elements of this group correspond to matrices of GL(2,\mathbb{R}). In this study, we consider the relationships between fixed points of the elements of the group G and eigenvectors of matrices corresponding to the elements of this group.
MSC:20H10, 15A18.
1 Introduction
Let {\mathbb{C}}_{\mathrm{\infty}}=\mathbb{C}\cup \{\mathrm{\infty}\} be the extended complex plane. A Möbius transformation is a function f of the form
where a,b,c,d\in \mathbb{C} and adbc\ne 0. Each Möbius transformation is a meromorphic bijection of {\mathbb{C}}_{\mathrm{\infty}} onto itself and is called an automorphism of {\mathbb{C}}_{\mathrm{\infty}}.
Möbius transformations form a group with respect to composition. If T is a Möbius transformation, then the composition T\circ R is called an antiautomorphism of {\mathbb{C}}_{\mathrm{\infty}}, where R(z)=\overline{z}. The union of automorphisms and antiautomorphisms also form a group under the composition of functions.
If coefficients of Möbius transformations are taken as real numbers, we obtain the most frequently studied subgroup of this group:
By adding antiautomorphisms {G}^{\mathrm{\prime}}=\{\frac{{a}^{\mathrm{\prime}}\overline{z}+{b}^{\mathrm{\prime}}}{{c}^{\mathrm{\prime}}\overline{z}+{d}^{\mathrm{\prime}}}:{a}^{\mathrm{\prime}},{b}^{\mathrm{\prime}},{c}^{\mathrm{\prime}},{d}^{\mathrm{\prime}}\in \mathbb{R},{a}^{\mathrm{\prime}}{d}^{\mathrm{\prime}}{b}^{\mathrm{\prime}}{c}^{\mathrm{\prime}}=1\} to the group PSL(2,\mathbb{R}), the group G=PSL(2,\mathbb{R})\cup {G}^{\mathrm{\prime}} is obtained. The elements of this group correspond to the matrices of GL(2,\mathbb{R}). If we take T(z)\in G, then T(z) has the matrix presentation T=\pm \left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in GL(2,\mathbb{R}).
The fixed points of automorphisms and antiautomorphisms of the extended complex plane have especially been of great interest in many fields of mathematics, for example, in number theory, functional analysis, theory of complex functions, geometry and group theory (see [1–5] and references therein).
In [6], Beardon gave some relationships between the fixed points of Möbius maps and the lines of the eigenvectors of their corresponding matrices. So, these studies include the transformations of PSL(2,\mathbb{R}). In this study, we investigate similar relationships for transformations of {G}^{\mathrm{\prime}}. Thus we complete the problem for the group G.
2 Preliminaries
In this section we give brief information about complex lines and fixed points of the transformations of G.
Definition 1 [6]
A complex line is a onedimensional subspace of the vector space {\mathbb{C}}^{2,t} of complex column vectors {({z}_{1},{z}_{2})}^{t}. A complex line L is the set of complex scalar multiples of some nonzero point in {\mathbb{C}}^{2,t}, and so it is of the form
If {z}_{2}\ne 0, we can form the quotients \frac{r{z}_{1}}{r{z}_{2}} of the coordinates of the nonzero points on the line L in Definition 1 and the common value of all of these quotients is the slope \frac{{z}_{1}}{{z}_{2}} of L. The single complex line whose slope is not defined is
and, by convention, we say that this line has slope ∞. Given a complex number w, there is a unique complex line L(w) with slope w, namely
Theorem 1 [6]
Let f be a Möbius map with corresponding matrix A. Then f(w)=w if and only if L(w) is a line of eigenvectors of A.
Here we mention types of the elements in the group G briefly. For each T\in G, the point z\in {\mathbb{C}}_{\mathrm{\infty}} is called a fixed point of T if T(z)=z, and the trace of T(z) is defined by tr(T)=a+d. There is a relation between the fixed points and the trace of a transformation of G. Thus we can determine fixed points location in {\mathbb{C}}_{\mathrm{\infty}} with the trace.
If T(z)\in PSL(2,\mathbb{R}), then the number of fixed points of T(z) is at most two. Also, if

(i)
tr(T)>2, then there are two fixed points in \mathbb{R}\cup \{\mathrm{\infty}\} and T(z) is called a hyperbolic element.

(ii)
tr(T)=2, then there is one fixed point in \mathbb{R}\cup \{\mathrm{\infty}\} and T(z) is called a parabolic element.

(iii)
tr(T)<2, then there are two conjugate fixed points in \mathbb{C}\cup \{\mathrm{\infty}\} and T(z) is called an elliptic element.
If , then it has two fixed points or the set of fixed points is a circle. Also, if

(iv)
tr(T)\ne 0, then there are two distinct fixed points on the \mathbb{R}\cup \{\mathrm{\infty}\} and T(z) is called a glide reflection.

(v)
tr(T)=0, then the set of the fixed points is a circle and T(z) is called a reflection. For more information, one can consult the references [7] and [8].
Now we find the fixed points of the glide reflections and reflections in the group G. Some straightforward computations show that the fixed points of T(z) are
and these points lie on \mathbb{R}\cup \{\mathrm{\infty}\} for any T(z)=\frac{a\overline{z}+b}{c\overline{z}+d}\in G with tr(T)\ne 0. For any T(z)=\frac{a\overline{z}+b}{c\overline{z}+d}\in G with tr(T)=0, the fixed points of T(z) form a circle centered at M(\frac{a}{c},0) and of radius r=\frac{1}{c}.
3 Eigenvectors of the matrices corresponding to the transformations in the group G
If T(z)\in PSL(2,\mathbb{R}), then the connection between fixed points of T(z) and lines of eigenvectors for the matrix T corresponding to T(z) is explained by Theorem 1. Now we consider the transformations of the group G which belong to .
Let be any transformation with the corresponding matrix T=\pm \left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\in GL(2,\mathbb{R}). The characteristic polynomial for this matrix is
We use the eigenvector representation \left(\begin{array}{c}{k}_{1}\\ {k}_{2}\end{array}\right) for the matrix T. First we begin with the glide reflections.
3.1 Glide reflections
We will show that the fixed points of a glide reflection T(z) correspond to the two lines of eigenvectors for the matrix T corresponding to T(z). In the following two lemmas, we determine the eigenvalues and eigenvectors of the matrices which correspond to the glide reflections.
Lemma 1 Let the matrix T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right) correspond to any glide reflection. The eigenvalues of T are
and the eigenvectors of T are
Proof It is easy to compute the eigenvalues by the condition a+d\ne 0 and (3.1). For an eigenvalue λ, we obtain the eigenvector by the following equation
Thus we have (a\lambda ){k}_{1}+b{k}_{2}=0 and c{k}_{1}+(d\lambda ){k}_{2}=0. If we choose {k}_{2}=r as a parameter, we find the eigenvector as \left(\begin{array}{c}\frac{\lambda d}{c}r\\ r\end{array}\right). Therefore we obtain the eigenvectors as
□
Theorem 2 Let T(z) be a glide reflection map in the group G with corresponding matrix T. Then T(w)=w if and only if L(w) is a line of eigenvectors of T.
Proof Let T(z) be a glide reflection map in the group G with a corresponding matrix T. For glide reflections, the lines with slope w, where w=\frac{ad\pm \sqrt{{(a+d)}^{2}+4}}{2c} is a fixed point of T(z), are
Then T maps L(w) to L({w}^{\mathrm{\prime}}) if and only if T(w)={w}^{\mathrm{\prime}}. Thus, w is a fixed point of T(z) if and only if T maps L(w) to itself, and so if and only if each nonzero point on L(w) is an eigenvector of T. □
Example 1 By (2.3) we find the fixed points of the glide reflection T=\left(\begin{array}{cc}1& 2\\ 1& 1\end{array}\right) as x=\pm \sqrt{2}. By (3.2) we find the eigenvalues as . Hence, by Lemma 1, we obtain the following eigenvectors
respectively. We have the slopes {w}_{1}=\sqrt{2} and {w}_{2}=\sqrt{2}.
3.2 Reflections
Recall that we have tr(T)=0 for any reflection transformation.
Lemma 2 Let the matrix T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right) correspond to any reflection. The eigenvalues of T are
Proof By (3.1), if we use the condition tr(T)=0, the result is obtained. □
First we begin the case c=0. For this case, the set of fixed points is a circle with radius ∞ (that is, a line on the complex plane).
Lemma 3 Let the matrix T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right) correspond to any reflection with c=0. We have
Proof The proof is easy by the facts that adbc=1 (a,b,c,d\in \mathbb{R}) and tr(T)=0. □
Lemma 4

(i)
For the matrix T=\left(\begin{array}{cc}1& b\\ 0& 1\end{array}\right), we have the eigenvalues \lambda =1 and \lambda =1 and the eigenvectors
\left(\genfrac{}{}{0ex}{}{r}{0}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\left(\genfrac{}{}{0ex}{}{\frac{b}{2}r}{r}\right),(3.5)
respectively.

(ii)
For the matrix T=\left(\begin{array}{cc}1& b\\ 0& 1\end{array}\right), we have the eigenvalues \lambda =1 and \lambda =1 and the eigenvectors
\left(\genfrac{}{}{0ex}{}{\frac{b}{2}r}{r}\right)\phantom{\rule{1em}{0ex}}\mathit{\text{and}}\phantom{\rule{1em}{0ex}}\left(\genfrac{}{}{0ex}{}{r}{0}\right),(3.6)
respectively.
Proof It is easy to compute the eigenvalues \lambda =1 and \lambda =1 by the condition a+d=0 and (3.1). For these eigenvalues, we obtain the eigenvectors by the following equation
If we choose {k}_{2}=r as a parameter, we find the eigenvectors as \left(\begin{array}{c}r\\ 0\end{array}\right) and \left(\begin{array}{c}\frac{b}{2}r\\ r\end{array}\right). The second part of the proof can be obtained similarly. □
In the first part of Lemma 4, we have the slopes as {w}_{1}=\mathrm{\infty} and {w}_{2}=\frac{b}{2}. In the second part, we have {w}_{1}=\frac{b}{2} and {w}_{2}=\mathrm{\infty}.
Lemma 5

(i)
The matrix T=\left(\begin{array}{cc}1& b\\ 0& 1\end{array}\right) represents the reflection T(z)=\frac{\overline{z}+b}{1}. The set of the fixed points of this reflection is a circle with radius ∞, that is, the line x=\frac{b}{2}.

(ii)
The matrix T=\left(\begin{array}{cc}1& b\\ 0& 1\end{array}\right) represents the reflection T(z)=\overline{z}+b. The set of the fixed points of this reflection is the circle x=\frac{b}{2}.
Proof The proof follows by straightforward computations. □
In the following theorem, we explain the relationship between fixed points of the reflections with c=0 and eigenvectors of the matrices corresponding to those reflections.
Theorem 3 Let T(z) be a reflection map in the group G with c=0 and let T be the matrix corresponding to T(z). Then L(\mathrm{\infty}) and L(\pm \frac{b}{2}) are the lines of the eigenvectors of the matrix T and the set of the fixed points of the reflection T(z) is the line x=\pm \frac{b}{2}.
Proof The proof follows by Lemma 3, Lemma 4 and Lemma 5. □
Finally, we consider the reflections with c\ne 0. Lemma 6 can be proven in a similar way as Lemma 4.
Lemma 6 Let the matrix T=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right) correspond to any reflection with c\ne 0. We have the following eigenvectors for the eigenvalues \lambda =1 and \lambda =1
respectively.
In Lemma 6, we have the slopes as {w}_{1}=\frac{1d}{c} and {w}_{2}=\frac{d+1}{c}. In the following theorem, we explain the relationship between the set of fixed points of the reflections with c\ne 0 and eigenvectors of matrices corresponding to those reflections.
Theorem 4 Let T(z) be a reflection map in the group G with c\ne 0 and let T be the corresponding matrix of T(z). If L({w}_{1}) and L({w}_{2}) are the lines of the eigenvectors of the matrix T, then the set of the fixed points of the reflection T(z) is the circle centered at M(\frac{{w}_{1}+{w}_{2}}{2},0) and of radius \frac{{w}_{1}{w}_{2}}{2}.
Proof For the slopes {w}_{1}=\frac{1d}{c} and {w}_{2}=\frac{d+1}{c}, we have
and
Then the proof follows by Lemma 6. □
Example 2 The fixed point set of the reflection T=\left(\begin{array}{cc}2& 3\\ 1& 2\end{array}\right) is a circle. By Theorem 4, we find the equation of this circle. By Lemma 6, eigenvectors of the matrix T are
Then we have {w}_{1}=3 and {w}_{2}=1. Thus the fixed point set is a circle centered at M(\frac{{w}_{1}+{w}_{2}}{2},0)=M(2,0) and of radius \frac{{w}_{1}{w}_{2}}{2}=\frac{31}{2}=1.
References
Ressler W: On binary quadratic forms and the Hecke groups. Int. J. Number Theory 2009, 5: 1401–1418. 10.1142/S1793042109002730
Schmidt TA, Sheingorn M: Length spectra of the Hecke triangle groups. Math. Z. 1995, 220(1):369–397. 10.1007/BF02572621
Rosen D: A class of continued fractions associated with certain properly discontinuous groups. Duke Math. J. 1954, 21: 549–563. 10.1215/S0012709454021547
Fine B: Trace classes and quadratic forms in the modular group. Can. Math. Bull. 1994, 37: 202–212. 10.4153/CMB19940301
Özdemir N, İskender BB, Yılmaz Özgür N: Complex valued neural network with Möbius activation function. Commun. Nonlinear Sci. Numer. Simul. 2011, 16(12):4698–4703. 10.1016/j.cnsns.2011.03.005
Beardon AF: Algebra and Geometry. Cambridge University Press, Cambridge; 2005.
Jones GA, Singerman D: Complex Functions an Algebraic and Geometric Viewpoint. Cambridge University Press, Cambridge; 1987.
Lehner J: Discontinuous Groups and Automorphic Functions. Am. Math. Soc., Providence; 1964.
Acknowledgements
Dedicated to Professor Hari M Srivastava.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Demir, B., Yılmaz Özgür, N. & Koruoğlu, Ö. Relationships between fixed points and eigenvectors in the group GL(2,\mathbb{R}). Fixed Point Theory Appl 2013, 55 (2013). https://doi.org/10.1186/16871812201355
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201355
Keywords
 eigenvalues
 eigenvectors
 fixed points