Show Posts

This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.


Messages - Alexander Elzenaar

Pages: [1]
1
Quiz-3 / Re: Q3 TUT 0301
« on: October 14, 2018, 04:58:19 PM »
Here is a proof for injectiveness:-

Let us call the strip $ S $. Consider $ w, z \in S $; we want to show that $ \cos w - \cos z = 0 $ implies $ w = z $. Since the normal sum and product identities for the real functions carry over to the complex functions, we have $ 0 = -2\sin \frac{w + z}{2} \sin \frac{w - z}{2} $. Thus either $ 0 = \sin \frac{w + z}{2} $ or $ 0 = \sin \frac{w - z}{2} $. The zeroes of the complex sine function occur only on the real line, so either $ \frac{w + z}{2} = n\pi $ or $ \frac{w - z}{2} = n\pi $ for some $ n \in \mathbb{Z} $.

Suppose then that $ w + z = 2n\pi $. Since they add to give a real number, $ w $ and $ z $ are complex conjugates of each other. Thus their sum is just the sum of their real parts. Their real parts lie in the interval $ (0,\pi) $ by assumption; thus the real part of $ w + z $ lies in the interval $ (0, 2\pi) $ and hence there is no $ n $ satisfying the condition (i.e. there is no number of the form $ 2n\pi $ in the interval $ (0,2\pi) $. So this case is not possible.

It follows then that the only possibility is $ w - z = 2n\pi $. If $ w = x + iy $ and $ z = u + iv $, the only possible way for $ w - z $ to be real is for $ y $ to equal $ v $; so they have the same imaginary part. On the other hand, we have that the real part of $ w - z $ lies in the interval $ (-\pi, \pi) $ (since $ 0 < x < \pi $ and $ -\pi < u < 0 $); the only number of the form $ 2n\pi $ in this interval is zero, and so $ w $ and $ z $ have the same real part. Combining these two observations, $ w = z $.

Pages: [1]