Problem 21 - An Introduction to Abstract Analysis

Question

Show that if \(G\) is open in the normed linear space \(X\) and \(A\) is a set with \(A \cap G\) empty, then \(\bar{A} \cap G\) is also empty.

Step-by-Step Solution

Answer

Question: Prove that if set G is an open set in the normed linear space X and there is no common element between sets A and G, then there is no common element between the closure of set A and G. Answer: We can prove this by contradiction. Suppose there exists an element x in both the closure of A and G. Since G is open, there exists an open ball B(x, r) in G containing x. If x is in A or a limit point of A, we would be able to find an element y in both A and G, which contradicts the given condition. Thus, there cannot be a common element between the closure of set A and G.

Step 1: Define the closure of a set

Let's start by defining the closure of a set. The closure of a set \(A\), denoted by \(\bar{A}\), is the union of the set \(A\) and its limit points.

Step 2: Show by contradiction

Assume that there exists an element \(x \in \bar{A} \cap G\). This implies that \(x \in \bar{A}\) and \(x \in G\).

Step 3: Use properties of open sets

Since \(G\) is an open set in the normed linear space \(X\), and \(x\) is inside \(G\), there must exist an open ball \(B(x, r)\) of radius \(r > 0\) centered at \(x\), contained entirely within \(G\).

Step 4: Use properties of closures

Now, since \(x \in \bar{A}\), \(x\) must either be in \(A\) or be a limit point of \(A\). If \(x \in A\), this would mean that \(x \in A \cap G\), which is a contradiction because \(A \cap G\) is empty. If \(x\) is a limit point of \(A\), then by definition, there must exist some element \(y \in A\) in the open ball \(B(x, r)\).

Step 5: Arrive at a contradiction

However, since open ball \(B(x, r) \subseteq G\), this would mean that \(y\) is also an element of \(G\). In other words, \(y \in A \cap G\), which contradicts the given condition that \(A \cap G\) is empty. Thus, our assumption that there exists an element \(x\) belonging to both \(\bar{A}\) and \(G\) must be false. Therefore, \(\bar{A} \cap G\) must be empty.

Key Concepts

Normed Linear Space

A normed linear space, often referred to as a normed vector space, is a fundamental concept in functional analysis, an area of mathematics dealing with vector spaces equipped with a norm. This norm is essentially a function that assigns a non-negative length or size to vectors in the space.

In more technical terms, a normed linear space is a pair \(X, ||\bullet||\) where \(X\) is a vector space, and \(||\bullet||\) is a function from \(X\) to the set of non-negative real numbers. The norm must satisfy the following properties:

• Non-negativity: \(||x|| \geq 0\) for all \(x \in X\), and \(||x|| = 0\) if and only if \(x = 0\).
• Scalar multiplication: \(||\alpha x|| = |\alpha| \times ||x||\) for any scalar \(\alpha\) and any vector \(x \in X\).
• Triangle inequality: \(||x + y|| \leq ||x|| + ||y||\) for all \(x, y \in X\).

Normed linear spaces provide the backdrop for exploring continuous functions, convergence, and other concepts critical to understanding mathematical analysis. The norm in these spaces gives a sense of distance and allows us to talk about the 'size' or 'length' of vectors, which is instrumental in defining open sets and limit points, as seen in our original exercise.

Properties of Open Sets

Open sets are a vital concept in topology, a major area of mathematics concerning space, dimension, and transformation. In a normed linear space, an open set is one where, for any point within the set, there is an 'open ball' around this point that is completely contained within the set.

An open ball \(B(x, r)\) centered at point \(x\) with radius \(r\) is the set of all points that are less than \(r\) distance away from \(x\), according to the norm of the space.

Characteristics of Open Sets

• Any point in an open set has a 'neighborhood' fully contained within the set.
• Open sets are not necessarily bounded; they may extend infinitely in any direction.
• Borders of open sets do not belong to the set—this is in contrast to closed sets which include their boundaries.
• Open sets provide an environment to speak about convergence and limits without the actual limit point necessarily being part of the set.

These properties of open sets are used in the textbook exercise to reach a conclusion about the relationship between the set \(A\) and an open set \(G\). In particular, the existence of an open ball around any point in an open set \(G\) is used to derive a contradiction, helping us draw conclusions about the intersection of the closure of \(A\) and \(G\).

Limit Points

The concept of limit points is integral to analysis and topology and plays a crucial role in defining the closure of a set. A limit point of a set \(A\) in a metric space, or more specifically in a normed linear space, is a point \(x\) such that any open ball centered at \(x\), no matter how small, contains at least one point of \(A\) other than \(x\) itself (if \(x\) is not in \(A\)).

In simpler terms, a limit point can be thought of as a 'magnet' for points in \(A\): you can get arbitrarily close to the limit point and still find points from \(A\).

Understanding Limit Points

• A limit point does not necessarily have to be a point within the set \(A\).
• A set is closed if it contains all its limit points.
• The accumulation of limit points around a given area can lead to a dense subset within a space.
• Understanding limit points is critical for discussing continuity, convergence, and the behavior of sequences in mathematical spaces.

The textbook exercise leverages the concept of limit points to express the closure of a set. It explores the implications of limit points within the context of an open set and utilizes this understanding to assert that no points of \(A\) can reside within the open set \(G\) if the intersection of \(A\) and \(G\) is empty, thus ensuring that the closure of \(A\), which includes its limit points, also does not intersect with \(G\).