Complex conjugate as a Mobius transformation

In summary: I just didn't see it because it wasn't what I was looking for. Thank you for pointing that out!In summary, the Mobius transformation for T(z)=z* is the composition of complex conjugation with an automorphism of Ʃ.
  • #1
iLoveTopology
11
0
Hi guys,

I am having a very stupid problem. I can't figure out what Mobius transformation represents T(z)=z*, where z* is the complex conjugate of z.

In my book we are learning about Mobius transformations and how they represent the group of automorphisms of the extended complex plane (Ʃ). [ NOTE: My book lists 4 generators for the automorphisms of Ʃ: 1) rotations R(z)=cz (c a complex number) 2) Inversions J(z)=1/z, 3) scaling S(z)=rz, (r a real number), and 4) translations T(z)=z+t. Complex conjugation T(z)=z* is NOT listed as one of the generators. I mention this because reading some other documents I see some people do list this as a separate generator. So I'm not sure if this is relevant]

In my book "anti - automorphisms" is brought up and they have the form:

T(z) = (az*+b)(cz* + d) where z* is the complex conjugate of z.

In the book they say, each anti-automorphism T is the composition of complex conjugation with an automorphism of Ʃ. Then they say - "complex conjugation being given by reflection in the plane through ℝ U {∞}). Geometrically I understand - but algebraically I don't. What is the Mobius transformation that will take a point z to it's complex conjugate z*?

If I try T(z)=1/z (the Mobius transformation where a=0, b=1, c=1, d=0), I don't see how this works - because 1/z = z*/|z|2, not just z*. How can I get rid of the |z|2? I don't see how I can because it's dependent upon my z and it's squared and the Mobius transformations are rational.

I feel completely stupid for not seeing this!tl;dr

What is the Mobius transformation for T(z)=z* ? Again, geometrically I understand WHY there is one - because we're just doing a simple reflection of a point so this is just an automorphism of Ʃ and therefore since all automorphisms of Ʃ are represented by Mobius transformations there should be a Mobius transformation to represent this transformation. But I don't know what it is! Once I have T(z)=z*, then I can compose this with my "goal" R(z)=(az+b)(cz+d) to get (az*+b)/(cz*+d) but I'm just not sure how to get that initial T(z)=z*.
 
Last edited:
Physics news on Phys.org
  • #2
just in case anyone ever sees this, I think* I figured out why z* is listed as a Mobius transformation. Because think of this, Mobius transformations are mappings T(z):C* --> C* (where C* is the extended complex plane). We know that the extended complex plane is isomorphic to the Reimann sphere, where the distance of any point on the Reimann sphere to the origin is exactly 1. So say we have some complex number z. z = a+bi. Then it's complex conjugate, is z* = a-bi. We can represent z* as |z|^2/z. Here's my thinking. z is analogous to some point on the Reimann sphere, and if z is a point on the Reimann sphere, it's modulus (distance from origin) is 1 so z* = 1/z.

I hope this thinking is in the right direction because it's the only thing I can figure out
 
  • #3
Complex conjugation is not an analytic map. All Mobius transformations are. Thus, you will never find a Mobius transformation representing complex conjugation. The automorphisms of the unit disk involve taking the conjugate of one of the fixed points, not the variable z.
 
  • #4
Oh... if its taking the conjugate of a fixed point , that actually makes sense and clears up so much confusion. But that is not what my book says which is why I'm confused. Perhaps you can take a look at what the author is saying and you will understand what he means and where I'm going wrong.

Here's a link to the piece I'm speaking about I found it on google books

http://books.google.com/books?id=_U...=ANTI-AUTOMORPHISMS complex functions&f=false

In case it doesn't go to the right place, its p. 19 where he speaks of anti-automorphisms.

edit:
Oh wait... I feel so stupid. He was pointing these anti-automorphisms out as something distinct from the automorphisms of the Reimann sphere, which are Mobius transforms. These aren't automorphisms of the sphere, so there are no MT to represent them. The answer is right there in the definition!
 
  • #5


I can provide a response to this content by explaining the concept of complex conjugates and how they relate to Mobius transformations.

Firstly, a complex conjugate is a number that has the same real part but opposite imaginary part as the original complex number. For example, the complex conjugate of 3+4i is 3-4i. This is denoted by z*, where z is the original complex number.

Now, a Mobius transformation is a transformation of the form T(z)=(az+b)/(cz+d), where a, b, c, and d are complex numbers and z is a complex variable. This transformation maps points in the complex plane to other points in the complex plane.

In the context of automorphisms of the extended complex plane, Mobius transformations can represent rotations, inversions, scaling, and translations. However, complex conjugation, which is the transformation of reflecting a point across the real axis, is not explicitly listed as one of the generators.

But, as mentioned in the content, each anti-automorphism T can be written as the composition of complex conjugation with an automorphism of the extended complex plane. This means that we can represent complex conjugation as a Mobius transformation by composing it with one of the generators listed in the book.

For example, the Mobius transformation T(z)=1/z represents inversion, which is also an automorphism of the extended complex plane. By composing this with complex conjugation, we get T(z)=z*, which is the transformation we are looking for.

So, to get rid of the |z|2 in your attempt of T(z)=1/z, you can compose it with complex conjugation to get T(z)=z*. This can also be written as T(z)=(1/z)*, which is equivalent to T(z)=z*.

In conclusion, the Mobius transformation for T(z)=z* is T(z)=(1/z)* or T(z)=z*. This transformation represents the reflection of a point across the real axis, which is an automorphism of the extended complex plane.
 

FAQ: Complex conjugate as a Mobius transformation

What is a complex conjugate?

A complex conjugate is a pair of complex numbers that have the same real part and opposite imaginary parts. For example, if z = a + bi, then its complex conjugate is z* = a - bi.

What is a Mobius transformation?

A Mobius transformation is a function that maps points from the complex plane to itself. It is expressed as f(z) = (az + b) / (cz + d), where a, b, c, and d are complex numbers and ad - bc ≠ 0.

How is a complex conjugate used in a Mobius transformation?

A Mobius transformation can be expressed as a combination of linear transformations and inversions, which are represented by complex conjugates. The complex conjugate of a point is used to reflect it across the real axis, while the inverse of a point is used to reflect it across the unit circle.

What properties do complex conjugates have in a Mobius transformation?

Complex conjugates in a Mobius transformation preserve angles and the orientation of points, lines, and circles. They also preserve the cross-ratio of four points, which is a measure of their collinearity.

How is a Mobius transformation related to the geometry of the complex plane?

A Mobius transformation can be thought of as a geometric transformation of the complex plane. It can translate, rotate, scale, and reflect points, lines, and circles. It can also map the entire plane onto a different shape, such as a line, circle, or other conic section.

Similar threads

Replies
1
Views
1K
Replies
9
Views
2K
Replies
4
Views
1K
Replies
8
Views
2K
Replies
2
Views
2K
Back
Top