Problem 11

Question

Suppose $\left\\{V_{n}\right\\}_{n=1}^{\infty}$ is a collection of open sets in $(X, d)$ such that $V_{n+1} \supset V_{n} .$ Let $\left\\{x_{n}\right\\}$ be a sequence such that $x_{n} \in V_{n+1} \backslash V_{n}$ and suppose $\left\\{x_{n}\right\\}$ converges to $p \in X .$ Show that $p \in \partial V$ where $V=\bigcup_{n=1}^{\infty} V_{n}$.

Step-by-Step Solution

Verified

Answer

The point $ p $ is in the boundary $ \partial V $ because every neighborhood of $ p $ intersects both $ V $ and $ X \setminus V $.

1Step 1: Understanding the Problem

We are given a nested sequence of open sets $ \{ V_n \}_{n=1}^{\infty} $, where each set $ V_{n+1} $ contains $ V_n $. Additionally, a sequence $ \{ x_n \} $ is such that each $ x_n $ is in $ V_{n+1} \setminus V_n $, and it converges to some point $ p $. We aim to show that $ p $ is a boundary point of $ V = \bigcup_{n=1}^{\infty} V_n $.

2Step 2: Define the Union Set and Boundary

First, the union of all open sets is defined as $ V = \bigcup_{n=1}^{\infty} V_n $. The boundary $ \partial V $ consists of points where every neighborhood intersects both $ V $ and its complement $ X \setminus V $.

3Step 3: Showing Convergence within $ V $

Since each $ x_n $ converges to $ p $ and each $ x_n \in V_{n+1} \setminus V_n $, we have $ x_n \in V_{n+1} $, implying $ p $ is a limit of points in $ V $. Hence, $ p $ must be in the closure $ \overline{V} $ of $ V $.

4Step 4: Neighborhood Criterion for Boundary

Consider any neighborhood $ N $ of $ p $. Since $ p $ is the limit point of $ \{ x_n \} $, $ N $ contains infinitely many $ x_n $. Therefore, $ N \cap V eq \emptyset $.

5Step 5: Showing Intersection with Complement

Given $ x_n otin V_n $ (definition of the sequence $ \{ x_n \} $), for each $ n $, choose points in the complement. For some neighborhood $ N $, since $ x_n \to p $, no neighborhood of $ p $ can be contained completely within $ V $. Thus, $ N \cap (X\setminus V) eq \emptyset $.

6Step 6: Conclude the Boundary Condition

Since every neighborhood of $ p $ intersects both $ V $ and $ X \setminus V $, $ p $ must belong to $ \partial V $. Therefore, $ p $ is a boundary point.

Key Concepts

Open SetsConvergent SequenceBoundary PointNested Sets

Open Sets

In real analysis, the concept of open sets is foundational. An open set intuitively means a space where each point has 'room to move' within, without reaching the boundary of the set. In the metrizable space $X, d$, a set \{V_n\} is open if for every point $x$ in $V_n$, there exists a small 'ball', or radius $\epsilon$, such that all points within this distance from $x$ are also part of $V_n$.
This property is crucial for proving sequences and their limits as it accommodates small perturbations in sequences, while still being within the set. The sequence \{V_n\} discussed in the exercise is a collection where each set $V_n$ is open and contained within the next, forming a kind of 'nested' structure.

Convergent Sequence

A convergent sequence is a sequence whose terms become arbitrarily close to a particular point, the limit, as the sequence progresses. For a sequence \{x_n\} to converge to a limit $p$, for every $\epsilon > 0$, there must exist an integer $N$ such that for all $n \geq N$, $|x_n - p| < \epsilon$.
In the exercise, \{x_n\} converges to $p$, meaning as $n$ becomes large, $x_n$ gets closer to $p$. This property is significant because even though individual terms are in specific open sets, their limit point must exhibit particular behavior concerning these sets and their collective boundary.

Boundary Point

A boundary point of a set in a metric space is intuitively a point where any 'small ball' centered at that point must intersect both the set and its complement. In more formal terms, if $p$ is a boundary point of $V$, then for any neighborhood $N(p)$, both $N(p) \cap V$ and $N(p) \cap (X\setminus V)$ are non-empty.
This dual intersection is essential for showing that $p$ is in $\partial V$ in the context of the exercise. Despite $p$ being the limits of members of open sets, it must touch the edge where these sets end, making it crucial in boundary discussions.

Nested Sets

Nested sets refer to a collection where each set is contained within the following one. In terms of \{V_n\}, this means $V_n \subseteq V_{n+1}$. Such a structure implies that as $n$ increases, each subsequent set can potentially cover more space or maintain the same size, but never less.
In the exercise, this nesting property ensures that the sequence \{x_n\} has adequate room to converge to a point $p$, a key feature for advancing from partial containment in individual sets to intersecting boundaries at the limit.

Problem 11

Other exercises in this chapter

Problem 10

a) Working in $\mathbb{R}$, compute $\operatorname{diam}([a, b])$. b) Working in $\mathbb{R}^{n},$ for any $r>0,$ let \(B_{r}:=\left\\{x_{1}^{2}+x_{2}^{

View solution

Problem 11

Let $A$ be a connected set in a metric space. a) Is $\bar{A}$ connected? Prove or find a counterexample. b) Is A $^{\circ}$ connected? Prove or find a cou

View solution

Problem 11

Let $(X, d)$ be a compact metric space, let $C(X, \mathbb{R})$ be the set of real-valued continuous functions. Define $$ d(f, g):=\|f-g\|_{u}:=\sup _{x \in

View solution

Problem 11

a) Find a metric d on $\mathbb{N}$, such that $\mathbb{N}$ is an unbounded set in $(\mathbb{N}, d)$. b) Find a metric $d$ on $\mathbb{N}$, such that \

View solution