Skip to main content

Topology: An Inquiry-Based Approach

Steven Schlicker

πŸ”—

Section The Interior of a Set in a Topological Space

πŸ”—
We have seen that topologies define the open sets in a topological space. As in metric spaces, open sets can be characterized in terms of their interior points. We defined interior points in metric spaces in terms of neighborhoods β€” the same holds true in topological spaces.
πŸ”—

Definition 12.8.

πŸ”—
Let A be a subset of a topological space X. A point a∈A is an interior point of A if A is a neighborhood of a.
πŸ”—
Remember that a set is a neighborhood of a point if the set contains an open set that contains the point. By definition, every open set is a neighborhood of each of its points, so every point of an open set O is an interior point of O. Conversely, if every point of a set O is an interior point, then O is a neighborhood of each of its points and is open. This argument is summarized in the next theorem.
πŸ”—
The collection of interior points in a set form a subset of that set, called the interior of the set.
πŸ”—

Definition 12.10.

πŸ”—
πŸ”—
The interior of a subset A of a topological space X is the set
Int(A)={a∈A∣a is an interior point of A}.
πŸ”—

Activity 12.9.

πŸ”—

(a)

πŸ”—
Consider (R,Ο„), where Ο„ is the standard topology (by standard in this situation, we mean the metric topology determined by the Euclidean metric). Let A=(βˆ’βˆž,0)βˆͺ(1,2]βˆͺ{3} in R. What is Int(A)? What is the largest open subset of R contained in A?
πŸ”—

(b)

πŸ”—
Consider (R,Ο„), where Ο„ is the discrete topology (the one where all subsets are open). Let A=(βˆ’βˆž,0)βˆͺ(1,2]βˆͺ{3} in R. What is Int(A)? What is the largest open subset of R contained in A?
πŸ”—

(c)

πŸ”—
Consider (R,Ο„), where Ο„ is the finite complement topology (the one where the open sets are the empty set along with all subsets O of R such that Rβˆ–O is finite). Let A=(βˆ’βˆž,0)βˆͺ(1,2]βˆͺ{3} in R. What is Int(A)? What is the largest open subset of R contained in A?
πŸ”—

(d)

πŸ”—
πŸ”—
Let X={a,b,c,d} and let
Ο„={βˆ…,{a},{a,b},{c},{d},{c,d},{a,c,d},{a,c},{a,d},{a,b,c},{a,b,d},X}.
πŸ”—
Assume that Ο„ is a topology on X. Let A={b,c,d}. What is Int(A)? What is the largest open subset of X contained in A?
πŸ”—
One might expect that the interior of a set is an open set, as it was in metric spaces. This is true, but we can say even more. In Activity 12.9 we saw that in our examples that Int(A) was the largest open subset of X contained in A. That this is always true is the subject of the next theorem.
πŸ”—

Proof.

πŸ”—
Let X be a topological space, and let A be a subset of X. We need to prove that Int(A) is an open set in X, and that Int(A) is the largest open subset of X contained in A. First we demonstrate that Int(A) is an open set. Let a∈Int(A). Then a is an interior point of A, so A is a neighborhood of a. This implies that there exists an open set O containing a so that OβŠ†A. But O is a neighborhood of each of its points, so every point in O is an interior point of A. It follows that OβŠ†Int(A). Thus, Int(A) is a neighborhood of each of its points and, consequently, Int(A) is an open set.
πŸ”—
The proof that Int(A) is the largest open subset of X contained in A is left for the next activity.
πŸ”—

Activity 12.10.

πŸ”—
Let (X,d) be a topological space, and let A be a subset of X.
πŸ”—

(a)

πŸ”—
What will we have to show to prove that Int(A) is the largest open subset of X contained in A?
πŸ”—

(b)

πŸ”—
Suppose that O is an open subset of X that is contained in A, and let x∈O. What does the fact that O is open tell us? Then complete the proof that OβŠ†Int(A).
πŸ”—
One consequence of Theorem 12.11 is the following.
<Prev^TopNext>