Problem 9 - Advanced Calculus

Question

Prove that a set \(S\) is disconnected if and only if there is a real-valued function \(f\) that is continuous on \(S\) but takes only the values 2 and 3 on \(S\).

Step-by-Step Solution

Answer

A set \(S\) is disconnected if and only if there is a real-valued function \(f\) that is continuous on \(S\) but takes only the values 2 and 3. This is because a disconnected set can be partitioned into at least two disjoint open sets, and then you can construct a function that only takes two distinct values on each of the disjoint open sets.

Step 1: Proving the 'If' Part

Assume we have a function \(f\) that is continuous on \(S\) and takes only values 2 and 3 on \(S\). Set \(A = f^{-1}(\{2\})\) and \(B = f^{-1}(\{3\})\). Because \(f\) is continuous, \(A\) and \(B\) are disjoint and open in \(S\). Since every point in \(S\) is mapped to either 2 or 3, \(S = A \cup B\) and \(S\) is disconnected.

Step 2: Proving the 'Only If' Part

Assume \(S\) is disconnected. This implies there exist disjoint open subsets \(A\) and \(B\) in \(S\) such that \(S = A \cup B\). We now define a function \(f\) where we let \(f(x) = 2\) for \(x \in A\) and \(f(x) = 3\) for \(x \in B\). Here, \(f\) is continuous and only takes the values 2 and 3.

Key Concepts

Real-valued Functions

Real-valued functions play an essential role in mathematics and are functions that have real numbers as their output. In simple terms, this means that for each input value, the function gives back a real number. Real-valued functions are usually written like this: \( f: X \rightarrow \mathbb{R} \), where \(X\)
is the set of all possible inputs and \( \mathbb{R} \) represents the real numbers.

• These functions have wide-ranging applications including physics, engineering, and economics.
• They help model relationships that can be plotted on a graph with real number axes.

In the context of connectedness and disconnectedness in sets, real-valued functions help us explore the properties of a set by mapping its elements to real numbers. Specifically, they can show whether a function maintains certain properties, such as continuity, across its domain.

Continuous Functions

A continuous function is one where small changes to the input result in small changes to the output. This is one of the important concepts in calculus and topology. Continuity ensures that the function does not have any abrupt jumps or breaks.
A formal definition of continuity involves limits: for every small number \(\epsilon\) greater than zero, there exists a small number \(\delta\) such that for all inputs within \(\delta\) of a point \(c\), the output is within \(\epsilon\) of \(f(c)\).

• Graphs of continuous functions appear smooth and unbroken.
• Continuity properties are essential when analyzing how functions behave over intervals or specific points.

In the given exercise, the concept of continuity is pivotal since the function maps a set \(S\) without 'jumps' only to values 2 and 3, which supports the analysis of disconnected sets.

Topology

Topology is a fascinating area of mathematics that studies the properties of space that are preserved under continuous transformations. Its focus is less on the exact geometric shape and more on how things are connected.

• Key concepts in topology include continuity, compactness, and connectedness.
• Topology provides tools to understand and classify different spaces based on their structure.

The problem concerning disconnected sets is a classic topic in topology. It deals with partitioning space into separate parts that do not connect, and this exercise demonstrates how continuous functions relate to these ideas by mapping parts of \(S\) to two different values.

Open Sets

In topology, open sets are fundamental building blocks used to define and study various properties of spaces. An open set can be thought of as a collection of points where, intuitively, you can move slightly in any direction from every point and still remain inside the set.

• An open set allows for the development of concepts like continuity and boundary.
• Open sets in \(\mathbb{R} \) are similar to open intervals, which do not include their endpoints.

In the step-by-step solution provided for this exercise, understanding open sets is crucial. When \(f\) is continuous, the pre-images of values like 2 and 3, namely \(A = f^{-1}(\{2\})\) and \(B = f^{-1}(\{3\})\), are open sets in \(S\). These help prove whether \(S\) is disconnected, as \(A\) and \(B\) are disjoint and cover the entire set.