Bourbaki

Exercise 19, § 1

Functions of a Real Variable, III, 119

Bourbaki marks this one as harder than the rest.

One knows (A, IX, §10, exerc. 2) that in the complex plane C2\mathbf{C}^2 the group AA of angles of directed lines is isomorphic to the orthogonal group O2(C)\mathbf{O}_2(\mathbf{C}), the canonical isomorphism associating the angle θ\theta with rotation through the angle θ\theta; one transports the topology of O2(C)\mathbf{O}_2(\mathbf{C}) (considered as a subspace of the space M2(C)\mathbf{M}_2(\mathbf{C}) of matrices of order 2 over C\mathbf{C}) to the group AA by this isomorphism, so making AA a locally compact topological group;

further, the map θ↦cos⁡θ+isin⁡θ\theta \mapsto \cos \theta + i \sin \theta is an isomorphism of the topological group A onto the multiplicative group C∗\mathbf{C}^* of complex numbers ≠0\neq 0, the inverse isomorphism being defined by the formulae cos⁡θ=12(z+1/z)\cos \theta = \frac{1}{2}(z + 1/z), sin⁡θ=12i(z−1/z)\sin \theta = \frac{1}{2i}(z - 1/z). Deduce from these relations that every continuous homomorphism z↦φ(z)z \mapsto \varphi(z) of the additive group C\mathbf{C} onto A such that the complex functions cos⁡φ(z)\cos \varphi(z), sin⁡φ(z)\sin \varphi(z)) are differentiable on C\mathbf{C}, is defined by the relations cos⁡φ(z)=cos⁡az\cos \varphi(z) = \cos az, sin⁡φ(z)=sin⁡az\sin \varphi(z) = \sin az (aa a complex number).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.