Problem 6 - Basic Analysis: Introduction to Real Analysis

Question

Suppose \(S \subset \mathbb{R},\) and \(f: S \rightarrow \mathbb{R}\) is an increasing function. Prove: a) If \(c\) is a cluster point of \(S \cap(c, \infty)\), then \(\lim _{x \rightarrow c^{+}} f(x)<\infty\). b) If \(c\) is a cluster point of \(S \cap(-\infty, c)\) and \(\lim f(x)=\infty,\) then \(S \subset(-\infty, c)\).

Step-by-Step Solution

Answer

a) The limit exists because cluster points give values close to no bound. b) If the limit is infinity, \( S \) can only be on the negative side of \( c \).

Step 1: Define the Terms

Let's start by defining some of the terms used in the problem. A function \( f: S \rightarrow \mathbb{R} \) is said to be increasing on its domain \( S \) if for all \( x_1, x_2 \in S \) with \( x_1 < x_2 \), it holds that \( f(x_1) \leq f(x_2) \). A cluster point \( c \) of a set \( S \) means that for any \( \varepsilon > 0 \), there exists an \( x \in S \setminus \{c\} \) such that \( |x-c| < \varepsilon \).

Step 2: Part (a): Assume Limit Doesn't Exist

Assume, for contradiction, that \( \lim_{x \rightarrow c^{+}} f(x) = \infty \). This means that for any real number \( M \), there exists a neighborhood \( (c, c+\delta) \) such that whenever \( x \in S \cap (c, c+\delta) \), \( f(x) > M \).

Step 3: Reach Contradiction for (a)

Since \( c \) is a cluster point, there must exist points in \( S \cap (c, \infty) \) arbitrarily close to \( c \). For increasing functions, this implies values \( f(x) \) become arbitrarily large, contradicting the assumption of \( \lim_{x \rightarrow c^{+}} f(x) < \infty \). Thus, our assumption is wrong, and the limit must exist.

Step 4: Part (b): Setup the Problem

Now, consider that \( \lim_{x \to c^{-}} f(x) = \infty \). This means that for any real number \( M \), there exists a neighborhood \( (c-\delta, c) \) such that \( f(x) > M \) whenever \( x \in S \cap (c-\delta, c) \).

Step 5: Analyze Cluster Point for (b)

If \( c \) is a cluster point of \( S \cap (-\infty, c) \), then there must be elements arbitrarily close to \( c \) from the left. For an increasing function, this implies evergreen greater values of \( f(x) \), consistent with \( \lim_{x \to c^{-}} f(x) = \infty \).

Step 6: Conclude for (b)

Since \( \lim_{x \to c^{-}} f(x) = \infty \) suggests values only get large from \( (-\infty, c) \), and not \( [c, \infty) \), \( S \) must be contained in \( (-\infty, c) \) entirely, because otherwise, it violates the condition of the limit reaching infinity.

Key Concepts

Increasing Function

An increasing function is one where the function value grows as the input increases. Mathematically, for a function \( f: S \rightarrow \mathbb{R} \), it is said to be increasing on a set \( S \) if for all \( x_1, x_2 \in S \) such that \( x_1 < x_2 \), it follows that \( f(x_1) \leq f(x_2) \). This implies that as we move to higher values of \( x \), the corresponding values of \( f(x) \) either stay the same or increase. Increasing functions often simplify the analysis of limits and cluster points since their behavior is more predictable. Such functions naturally exhibit orderly transitions in their output, without unexpected drops, which is crucial when evaluating limits and the behavior around cluster points.

Cluster Point

A cluster point, also known as a limit point, is a point that is approached by points of a given set, although the point itself does not necessarily belong to the set. For a set \( S \), a point \( c \) is a cluster point if for every \( \varepsilon > 0 \), there exists a point \( x \in S \) such that \( x eq c \) and \( |x-c| < \varepsilon \). In simpler terms, no matter how small the neighborhood around \( c \) you choose, you'll always find points from \( S \) within that neighborhood, excluding \( c \) itself. In the context of real analysis, cluster points are essential when discussing convergence and limits, as they often indicate points where functions may have interesting behaviors or changes.

Limit of a Function

The limit of a function at a particular point describes the behavior of the function as the input approaches that point. In notation, \( \lim_{x \rightarrow c} f(x) \) represents the value that \( f(x) \) approaches as \( x \) gets closer to \( c \). If the direction of approach is specified, such as \( \lim_{x \rightarrow c^+} \) for approaching from the right or \( \lim_{x \rightarrow c^-} \) from the left, it helps understand the function's behavior on either side of \( c \). When a function reaches infinity, it's said to have no finite limit at that point. However, infinity itself can be a limit, indicating increasingly large values as one gets closer to the point of interest. Limits play a crucial role in real analysis by defining continuity, derivatives, and integrals.

Contradiction Method

The method of contradiction involves assuming the opposite of what you want to prove, showing that this assumption leads to an impossibility, and thereby concluding that the original statement must be true. It is a powerful and elegant proof technique. For example, when proving limits involving increasing functions or cluster points, we start by assuming that the limit does not behave as we expected. We then show that this assumption leads to a situation that contradicts the increasing nature of the function or the definition of a cluster point. This contradiction confirms that the initial assumption (such as an infinite limit where it should be finite) is false and the desired property does hold. The contradiction method is tremendously helpful when direct proofs are tricky, especially in set and limit-related discussions.