Problem 17 - Basic Analysis: Introduction to Real Analysis

Question

Let \((X, d)\) be a metric space. a) Prove that for every \(x \in X,\) there either exists \(a \delta>0\) such that \(B(x, \delta)=\\{x\\}\), or \(B(x, \delta)\) is infinite for every \(\delta>0\) b) Find an explicit example of \((X, d), X\) infinite, where for every \(\delta>0\) and every \(x \in X,\) the ball \(B(x, \delta)\) is finite. c) Find an explicit example of \((X, d)\) where for every \(\delta>0\) and every \(x \in X,\) the ball \(B(x, \delta)\) is countably infinite. d) Prove that if \(X\) is uncountable, then there exists an \(x \in X\) and a \(\delta>0\) such that \(B(x, \delta)\) is uncountable.

Step-by-Step Solution

Answer

In metric spaces, ball sizes exhibit extremes. Examples: \(\mathbb{Z}\) (finite balls) and \(\mathbb{Q}\) (countably infinite balls) show varying ball sizes. Uncountable spaces will have at least one uncountable ball.

Step 1: Understanding the Problem Statement

We are given a metric space \((X, d)\) and need to analyze the behavior of balls \(B(x, \delta)\) for different conditions outlined in parts a) through d). In each part, we need to explore the properties of this space and provide proofs or examples as required.

Step 2: Solving Part (a): Proving the Extremes of Ball Size

For any \(x\in X\), consider any \(\delta > 0\). If \(B(x, \delta) = \{x\}\), then for all \(y eq x\), \(d(x, y) \geq \delta \), which implies that around \(x\), no other points can be closer than \(\delta\). Hence, \(B(x, \delta)\) remains \(\{x\}\). Conversely, if any \(y\) other than \(x\) satisfies \(d(x, y) < \delta\), the ball is infinite since we can always find a point \(z\) such that \(d(x, z) < \delta\).

Step 3: Solving Part (b): Constructing a Finite Example

Consider \(X = \mathbb{Z}\) (the integers) with discrete metric defined as \(d(x, y) = 1\) for \(x eq y\) and \(d(x, x) = 0\). For any \(\delta > 0\), if \(\delta \leq 1\), \(B(x, \delta) = \{x\}\), and for \(\delta > 1\), \(B(x, \delta)\) includes all integers, which is infinite.

Step 4: Solving Part (c): Constructing a Countably Infinite Example

Consider \(X = \mathbb{Q}\), the rational numbers, and define \(d(x, y) = |x - y|\). For each rational \(x\), \(\delta > 0\) ensures \(B(x, \delta)\), a set of all rationals \(y\) such that \(|x - y| < \delta\), is countably infinite, as \(\mathbb{Q}\) is countably infinite.

Step 5: Solving Part (d): Proving the Existence of Uncountable Balls

Suppose \(X\) is uncountable. Consider any given \(x \in X\). If for all \(\delta > 0\), \(B(x, \delta)\) were countable, taking a union over all such \(x \in X\) would yield \(X\) countable, contradicting \(X\)'s uncountability. Hence, there must exist some \(x\) and \(\delta > 0\) for which \(B(x, \delta)\) is uncountable.

Key Concepts

Metric Space Balls

In the realm of metric spaces, a "ball" at a point serves as an essential concept. It essentially captures all points within a certain "distance" from a central point. Formally, given a metric space \((X, d)\), a ball of radius \( \delta \) around a point \( x \in X \) is defined as:

• \( B(x, \delta) = \{ y \in X \mid d(x, y) < \delta \} \).

The metric "distance function" \(d\), determines how we measure the distance between points in the set \(X\).
Understanding the size and nature of these balls is fundamental in topology and analysis. For instance, in discrete metric spaces, where distances are either 0 or 1, balls can either be just the point itself or encompass the entire set. This dichotomy helps in defining the behavior of the space and understanding how its structure (finite or infinite) interacts with these metrics.

Discrete Metric

The discrete metric provides an intuitive way to view distances in a space. In this metric, the distance between any two distinct points is always fixed, typically set to 1, while the distance from a point to itself is 0. More explicitly:

• \(d(x, y) = 0 \) if \( x = y \)
• \(d(x, y) = 1 \) if \( x eq y \)

This metric leads to unique properties, such as every subset of a space being both open and closed, due to the definition of open balls.

In the setting of the discrete metric, for any radius \( \delta > 0 \), a ball centered at any point \( x \) containing only that point is a common occurrence if \( \delta \leq 1\). Beyond \( \delta > 1\), the ball begins including more elements of the space, deviating from its typically finite capture.

Rational Numbers

The set of rational numbers, denoted as \( \mathbb{Q} \), includes all numbers that can be expressed as a fraction \( \frac{a}{b} \) where \( a \) and \( b \) are integers, and \( b eq 0\). Rational numbers are dense in any span of real numbers, meaning between any two real numbers, you can find a rational number.

This characteristic becomes significant when we consider metric spaces using rational numbers. In the standard metric, defined as \( d(x, y) = |x - y| \), the measure of distance is the absolute difference between numbers. Finding a ball within rational numbers always results in a countably infinite set, owing to their nature of being dense, yet only countable themselves. For instance, any ball centered around a rational number \( x \) with a tiny radius continues to trap an infinite count of rational numbers, reflecting their dense nature in real space.

Uncountable Set Proof

Proving the existence of uncountable sets, and subsequently balls, is vital in understanding the difference between countable and uncountable spaces. The challenge is finding examples or constructing arguments to show larger, unbounded groupings, as presented in part (d) of our problem.

A classic demonstration involves considering an uncountable set \(X\) in a metric space. Assume every ball in this space is countable. If that were true, their union should also be countable, contradicting the assumption that set \(X\) itself is uncountable. Thus, there must exist at least one ball \(B(x, \delta)\) which is uncountable.

This argument illustrates the fascinating nature of infinite sets, where not all infinities are equal—demonstrating fundamental tenets of set theory and real analysis that challenge our intuitive understanding.