Problem 16 - Basic Analysis: Introduction to Real Analysis

Question

Challenging): Suppose \(f(x+y)=f(x)+f(y)\) for some \(f: \mathbb{R} \rightarrow \mathbb{R}\) such that \(f\) is continuous at \(0 .\) Show that \(f(x)=\) ax for some \(a \in \mathbb{R} .\) Hint: Show that \(f(n x)=n f(x),\) then show \(f\) is continuous on \(\mathbb{R}\). Then show that \(f(x) / x=f(1)\) for all rational \(x\).

Step-by-Step Solution

Answer

The function \(f(x)\) is of the form \(f(x) = ax\) for some \(a \in \mathbb{R}\).

Step 1: Verify the Property for Integer Multiples

We start by proving that if the given condition \(f(x+y) = f(x) + f(y)\) holds, then it will remain valid for integer multiples of \(x\). We will do this by induction.For \(n=1\), it is trivially true since \(f(1 \cdot x) = f(x)\).Assume it's true for some integer \(n\), that is, \(f(nx)=n f(x)\). Consider \(f((n+1)x)\), which must equal \(f(nx + x)\). By the initial property:\[f(nx + x) = f(nx) + f(x) = nf(x) + f(x) = (n+1)f(x).\] Thus, \(f(nx) = n f(x)\) holds for all positive integers \(n\). By similar logic, verify it for negative integers \(n\). Hence, \(f(nx) = n f(x)\) for all integers \(n\).

Step 2: Show Continuity of f at All Reals

Since \(f\) is continuous at \(0\), for any \(\varepsilon > 0\), there exists a \(\delta > 0\) such that if \(|h|<\delta\), then \(|f(h)|<\varepsilon\).To show continuity at an arbitrary \(c \in \mathbb{R}\), consider \(|f(x) - f(c)| = |f(x-c) + f(c) - f(c)| = |f(x-c)|\), and since \(f\) is continuous at 0, we have:\[f(x) = f(x-c+c) = f(x-c) + f(c),\] so by the continuity at 0, \(f(x-c)\) can be made arbitrarily small if \(x\) is sufficiently close to \(c\). Consequently, \(f\) is continuous at any point \(c\in \mathbb{R}\).

Step 3: Equate f for Rational Multiples

Given \(f(nx) = n f(x)\) for integers \(n\), for rational numbers, express a rational \(q\) as \(m/n\) where \(m\) and \(n\) are integers. We assert \(f(qx) = qf(x)\).Consider:\[f\left(\frac{m}{n}x\right) = f\left(\frac{1}{n} \cdot mx\right) = \frac{1}{n} \cdot mf(x) = \frac{m}{n}f(x).\]Since \(f(n(x+y)) = nf(x+y) = nf(x) + nf(y)\), dividing both sides by \(n\) gives:\[f(x+y) = f(x) + f(y).\]So the same applies for rational \(x.\)

Step 4: Generalize for All Real Numbers x

The function \(f\), being continuous and satisfying the functional equation at rational values, implies that if \(f(x) = cx\) measures with every rational value, it must also hold for irrational values due to continuity.So, \(f(x)/x = f(1)\) holds for rationals and therefore all of \(\mathbb{R}\). Thus, \(f(x) = ax\) where \(a = f(1).\)

Key Concepts

Functional Equations

A functional equation is an equation where the functions themselves are the key objects of study, often deriving insights into their nature and properties. In the context of the problem, we have a functional equation given by \(f(x+y) = f(x) + f(y)\), which is known as Cauchy's functional equation. Such equations don't initially provide a specific function but the relation functions satisfy. This particular functional equation is linear, as it suggests that the addition of inputs results in the addition of outputs.

To explore solutions to Cauchy's equation, we first observe that if a function satisfies this equation, it must demonstrate linear-like behavior. For instance, starting with integer inputs, if \(f(n) = n \cdot f(1)\), we can generalize this property for rational and eventually, real-number inputs. The core idea is that the property should extend through all forms of numbers, which is crucial in a continuous setting. Therefore, when faced with such functional equations, identifying key properties such as additivity and linearity is essential.

Rational Numbers

Rational numbers are numbers that can be written as a fraction of two integers, i.e., a rational number is any number of the form \(\frac{m}{n}\), where \(m\) and \(n\) are integers, and \(n eq 0\). Understanding this is vital when extending properties from integers to more complex numbers.

In the functional equation problem, it’s important to show that the relationship \(f(x) = ax\) is valid not only for integers but also for rational numbers. From the equation \(f(nx) = n f(x)\), we can deduce that if we express a rational number as \(\frac{m}{n}\), then \(f\left(\frac{m}{n} x\right) = \frac{m}{n} f(x)\). This ensures that the equation respects the proportionate relationships inherent to rational numbers.

The significance of examining rational numbers is that they serve as a bridge between integers and real numbers, making them an indispensable step in demonstrating continuity across all real values.

Real Analysis

Real analysis is a branch of mathematics dealing with real numbers and real-valued functions' behaviors, encompassing limits, continuity, derivatives, and integrals. In this problem, the focus is on ensuring continuity and extending properties from rationals to reals.

Continuity plays a fundamental role. A function \(f\) is continuous at \(x = 0\) if for every \(\varepsilon > 0\), there exists a \(\delta > 0\) such that if \(|h| < \delta\), then \(|f(h)| < \varepsilon\). Establishing that \(f(x) = ax\) for rationals by showing it holds for integers and then extending it to all reals hinges on continuity. Since \(f\) is continuous, the function value at irrational points must align with rational approximations due to no gaps or jumps in the function.

Thus, through real analysis, we conclude that if functional equations are satisfied for rationals under continuity, they hold for all real numbers, establishing that \(f(x) = ax\) for all real \(x\), where \(a\) is simply \(f(1)\). This seamless bridging from rational numbers to reals through continuity is the essence of real analysis.