It is better to get real instead of merely being right. But if so, how can we get real? Susan Campbell in her book “Getting Real” advocates Radical Honesty:
Honest communication is not only the quickest, most direct path to wholeness, it is also the least expensive. Without spending years in a therapist’s office, you can learn a set of communication practices that will lead you to the truth of your present experience and out of the morass of judgments, generalizations, shoulds, withholdings, assessments, and explanations about why you are the way you are. These practices are a way of using language to help you stay with your present felt experience — what you see, hear, smell, feel, remember, sense, and intuit. You can learn these practices in a relatively short time period, since so many other explorers have already charted the way. Buddhist meditation practice, Gestalt therapy, Jungian analysis, sensory awareness, Reichian and bioenergetic body work — these are the main underpinnings of the work that I call Getting Real.
Today we will learn yet another way of getting real. Once we know how to be real, we will let ourselves to get complex. And then we will surf on the waves of complexity ….
Well, to some extent I am joking. But only to some extent. Indeed I want to get real. The group SU(1,1) that is at the basis of non-Euclidean hyperbolic geometry of the Poincare disk in the complex plane – that group is a group of complex matrices. That complicates calculations. It would be simpler to play with real matrices. Can it be done? Can complex be transformed into simple real? In this case the answer is yes. And the answer is provided by the magic of Cayley transform.
The Hermitian conjugated is
It is easy to verify that therefore is unitary.
One can check that, moreover, therefore is an element of the group SU(2) of complex unitary matrices of determinant one.
Now comes the magic. Let be a matrix from SU(1,1). We know it has the form
Let us calculate defined as
It is clear that has determinant one. Let us calculate explicitly:
The magic is that the matrix is real. One can easily check that conversely, for every real matrix of determinant one, the matrix defined as is in the group SU(1,1). The group of real real matrices of determinant one is denoted SL(2,R) (“Special Linear group”). Thus we have established isomorphism between the complex group SU(1,1) and the real group SL(2,R). We became real. In the next post we will learn what becomes then of our hyperbolic geometry.
Being complex is fun. But being real is also fun – just another version of it.