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 the group of angles of directed lines is isomorphic to the orthogonal group , the canonical isomorphism associating the angle with rotation through the angle ; one transports the topology of (considered as a subspace of the space of matrices of order 2 over ) to the group by this isomorphism, so making a locally compact topological group;
further, the map is an isomorphism of the topological group A onto the multiplicative group of complex numbers , the inverse isomorphism being defined by the formulae , . Deduce from these relations that every continuous homomorphism of the additive group onto A such that the complex functions , ) are differentiable on , is defined by the relations , ( a complex number).
Solution
No solution has been written yet.