Problem 13 - Complex Analysis

Question

Let \(\widetilde{\mathbb{C}}\) be another field of complex numbers. Determine all mappings \(\varphi: \mathbb{C} \rightarrow \widetilde{\mathbb{C}}\) with the following properties: (a) \(\varphi(z+w)=\varphi(z)+\varphi(w) \quad\) for all \(z, w \in \mathbb{C}\) (b) \(\varphi(z w)=\varphi(z) \varphi(w) \quad\) for all \(z, w \in \mathbb{C}\) \(\begin{array}{cll}(c) & \varphi(x)=x & \text { for all } x \in \mathbb{R} \text {. }\end{array}\) Remark. It turns out that such mappings exist, and they are automatically bijective; thus they give isomorphisms \(\mathbb{C} \rightarrow \widetilde{\mathbb{C}}\) that leave \(\mathbb{R}\) elementwise fixed. The field of complex numbers is therefore essentially uniquely determined. In the special case \(\mathbb{C}=\widetilde{\mathbb{C}}\) we get automorphisms of \(\mathbb{C}\) with the fixed field \(\mathbb{R}\). Remark. What automorphisms (i.e. isomorphisms onto itself) admits the field of real numbers \(\mathbb{R}\) ? Hint. Such an automorphism of \(\mathbb{R}\) must preserve the ordering, of \(\mathbb{R} !\)

Step-by-Step Solution

Answer

The only mapping \( \varphi \) is the identity map; it keeps all elements of \( \mathbb{C} \) unchanged.

Step 1: Understand the Problem

We need to find all mappings \( \varphi: \mathbb{C} \rightarrow \widetilde{\mathbb{C}} \) that satisfy three properties: additivity, multiplicativity, and acting as the identity on \( \mathbb{R} \). This means \( \varphi(z+w) = \varphi(z) + \varphi(w) \), \( \varphi(zw) = \varphi(z)\varphi(w) \), and \( \varphi(x) = x \) for all real numbers \( x \).

Step 2: Use Additivity Property

The additivity property \( \varphi(z+w) = \varphi(z) + \varphi(w) \) implies that \( \varphi \) is a group homomorphism with respect to addition. Thus, \( \varphi(0) = 0 \), where 0 denotes the zero element in \( \mathbb{C} \).

Step 3: Use Multiplicativity Property

The multiplicativity condition \( \varphi(zw) = \varphi(z)\varphi(w) \) implies that \( \varphi \) preserves the ring structure. Hence, \( \varphi(1) = 1 \), where 1 is the multiplicative identity in \( \mathbb{C} \).

Step 4: Apply Condition on Real Numbers

Since \( \varphi(x) = x \) for all real \( x \), it means \( \varphi \) acts as the identity on all real numbers. This fixes every real number pointwise.

Step 5: Combine All Properties

From properties (a), (b), and (c) together, any such mapping \( \varphi \) that not only satisfies additivity and multiplicativity but also fixes \( \mathbb{R} \) elementwise is an identity map on the entire \( \mathbb{C} \). Therefore, \( \varphi \) is necessarily the identity map from \( \mathbb{C} \) to \( \widetilde{\mathbb{C}} \).

Step 6: Identify Automorphisms of \( \mathbb{R} \)

In general, the automorphism of the field of real numbers \( \mathbb{R} \) that preserves the order is the identity function itself, as any non-trivial automorphism would fail to maintain the linearly ordered nature of \( \mathbb{R} \).

Key Concepts

Field Automorphisms

Imagine you have a magical function, called a field automorphism, that maps elements of one mathematical field to another while preserving the field's structure. Specifically, it keeps addition and multiplication intact. This means if you add two numbers and then map them, it's the same as mapping each number first and then adding them. The same goes for multiplication.

• Field automorphisms act like mirrors that reflect the field's inherent properties.
• These mappings are always bijective, meaning they pair elements one-to-one between fields.

In our exercise, any mapping \( \varphi: \mathbb{C} \rightarrow \widetilde{\mathbb{C}} \) that respects these properties and keeps the real numbers unchanged forms an automorphism of the complex field. In essence, an automorphism is about maintaining the garden's beauty while replicating it elsewhere.

Additive and Multiplicative Properties

Consider two vital building blocks of any mathematical field: addition and multiplication. When a map maintains these operations, it ensures the field's structural consistency. This is what we term as additive and multiplicative properties.Firstly, the **additive property** states that mapping the sum of two elements is the same as summing their individual mappings. So for our function \( \varphi \), this is written as \( \varphi(z+w) = \varphi(z) + \varphi(w) \). This ensures that the notion of 'adding' remains unchanged, like maintaining the rhythm in a musical piece.Secondly, the **multiplicative property** requires that the product of two elements, when mapped, matches the product of their separate maps. Expressed as \( \varphi(zw) = \varphi(z)\varphi(w) \), this keeps the concept of 'multiplying' consistent, akin to preserving symmetry in architecture.

• These properties ensure that each operation within the field maintains its natural mathematical flow.
• It’s like translating a novel while keeping the storyline and tone intact.

Real Number Field

Picture the field of real numbers \( \mathbb{R} \) as a line extending indefinitely in both directions, maintaining perfect order. This set includes whole numbers, fractions, and non-repeating decimals.In the context of our problem, any mapping that acts as an identity on \( \mathbb{R} \) leaves each real number exactly where it is. Thus, the function \( \varphi(x) = x \) for all \( x \in \mathbb{R} \) implies the real numbers remain unchanged during mapping.A unique feature of \( \mathbb{R} \) is it only admits one automorphism—the identity map. This means any attempt to rearrange or map \( \mathbb{R} \) while preserving its order must result in the exact same line without deviation.

• Real numbers form the backbone of more complex structures, providing a stable reference.
• Ensuring the identity property helps stabilize and reflect the inherent order of \( \mathbb{R} \).

Understanding \( \mathbb{R} \) in this way allows us to see it as a benchmark that ensures the reliability of more advanced fields like \( \mathbb{C} \). It’s akin to ensuring the foundation of a building is rock-solid before building upwards.