Proving the One-to-One Property and Image of a Complex Function

Click For Summary
SUMMARY

The function f(z) = (1 - iz) / (1 + iz) is proven to be one-to-one for z in the unit disk \mathbb{D} = {z : |z| < 1}. The image of this function is the right half-plane, represented as {w : Re(w) > 0}. The proof involves showing that if f(z1) = f(z2) for z1, z2 in \mathbb{C}, then z1 must equal z2, confirming the one-to-one property. Additionally, the real part of the function's output is derived from its rectangular coordinates, which is essential for establishing the image of f.

PREREQUISITES
  • Complex function theory
  • Understanding of the unit disk in complex analysis
  • Rectangular coordinates in complex functions
  • Properties of real and imaginary parts of complex numbers
NEXT STEPS
  • Study the properties of one-to-one functions in complex analysis
  • Learn about the mapping of the unit disk under Möbius transformations
  • Explore the implications of the image of complex functions
  • Investigate the conditions for the existence of inverses of complex functions
USEFUL FOR

Students and professionals in mathematics, particularly those focused on complex analysis, as well as educators teaching advanced calculus or mathematical proofs related to complex functions.

BSMSMSTMSPHD
Messages
131
Reaction score
0

Homework Statement



Let [tex]f(z) = \frac{1-iz}{1+iz}[/tex] and let [tex]\mathbb{D} = \{z : |z| < 1 \}[/tex].

Prove that [tex]f[/tex] is a one-to-one function and [tex]f(\mathbb{D}) = \{w : Re(w) > 0 \}[/tex].

2. The attempt at a solution

I've already shown the first part: Assume [tex]f(z_1) = f(z_2)[/tex] for some [tex]z_1, z_2 \in \mathbb{C}[/tex], then [tex]z_1 = z_2[/tex]. (I worked this out).

But for the second part, I'm not sure what to do. I've written the function in rectangular coordinates [tex](z = x + iy)[/tex] and the real part of the simplified fraction is:

[tex]\frac{1 - (x^2 + y^2)}{1 - 2y + x^2 + y^2}[/tex].

Now, I know that the numerator is nonnegative (since [tex]z \in \mathbb{D}, |z| < 1[/tex], so, [tex]x^2 + y^2 < 1)[/tex]. But, I am not certain about the sign of the denominator in the case where [tex]y > 0[/tex]. Any ideas? And, if I can show this, will I have finished the proof, or do I have to show reverse inclusion?

Thanks in advance!
 
Physics news on Phys.org
This may be complex analysis, but do you still remember (y-1)^2=y^2-2y+1?
 
Man, it's always something really obvious. Thanks.
 

Similar threads

  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 19 ·
Replies
19
Views
4K
Replies
6
Views
5K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
Replies
7
Views
3K
Replies
8
Views
3K
Replies
2
Views
1K
  • · Replies 27 ·
Replies
27
Views
2K
Replies
8
Views
2K