The provided source material offers a foundational exploration of set theory concepts within mathematical analysis, specifically focusing on the interior, boundary, and exterior of sets in Euclidean spaces. These concepts are essential for understanding topological properties of sets, which form the basis for advanced mathematical theories and applications. The sources collectively define these terms, provide illustrative examples, and discuss related notions such as limit points, closure, and open and closed sets. This article synthesizes the information from the provided sources to present a comprehensive overview of these fundamental mathematical concepts.
The interior of a set consists of all points that have a neighborhood entirely contained within the set. Formally, for a subset (S) of (\mathbb{R}^n) (or other topological spaces), a point (\mathbf{x}) is an interior point of (S) if there exists an (\varepsilon)-neighborhood (an open ball centered at (\mathbf{x}) with radius (\varepsilon > 0)) that lies entirely within (S). The set of all interior points of (S) is denoted as (S^{\text{int}}) or (\text{Int}(S)). For example, in the case of an open ball (B(r, \mathbf{a}) = {\mathbf{x} \in \mathbb{R}^n : |\mathbf{x} - \mathbf{a}| < r}), every point is an interior point, so (S^{\text{int}} = B(r, \mathbf{a})). This is because for any point (\mathbf{x}) in the open ball, one can find a sufficiently small (\varepsilon) such that the open ball (B(\varepsilon, \mathbf{x})) is contained within (B(r, \mathbf{a})). The interior of a set is always an open set, as it is a union of open sets (neighborhoods).
The boundary of a set (S) is defined as the set of points that are neither interior points nor exterior points. A point (\mathbf{x}) is a boundary point of (S) if every (\varepsilon)-neighborhood of (\mathbf{x}) contains at least one point from (S) and at least one point from the complement of (S) (denoted (S^c)). The set of all boundary points is called the boundary of (S) and is denoted by (\partial S). For instance, the boundary of the open ball (B(r, \mathbf{a})) is the sphere ({\mathbf{x} \in \mathbb{R}^n : |\mathbf{x} - \mathbf{a}| = r}). In the example of a point set (S) in the plane that includes an enclosed area and two isolated points (P4) and (P5), with a "hole" (Q2) inside, the boundary points include points on the dashed line (indicating the boundary is not included in (S)), the isolated points (P4) and (P5), and the hole (Q2). The boundary is always a closed set, and it separates the interior from the exterior.
The exterior of a set (S) consists of all points that are exterior points. A point (\mathbf{x}) is an exterior point of (S) if there exists an (\varepsilon)-neighborhood of (\mathbf{x}) that lies entirely outside (S), meaning it is contained within the complement (S^c). The set of all exterior points is called the exterior of (S), denoted as (\text{Ext}(S)). For example, points outside the boundaries of figures in an illustration are exterior points. In the context of the open ball, points with (|\mathbf{x} - \mathbf{a}| > r) are exterior points. The exterior of a set is also an open set.
These three sets—the interior, boundary, and exterior—are mutually disjoint, and their union, along with the set itself and its complement, covers the entire space. Specifically, for any point (\mathbf{x}) in (\mathbb{R}^n), it is either an interior point, a boundary point, or an exterior point of (S). The closure of (S), denoted (\bar{S}), is defined as the union of the interior and the boundary: (\bar{S} = S^{\text{int}} \cup \partial S). The closure is the smallest closed set containing (S). For the open ball (B(r, \mathbf{a})), the closure is the closed ball ({\mathbf{x} \in \mathbb{R}^n : |\mathbf{x} - \mathbf{a}| \le r}).
Related concepts include limit points (also called accumulation points or cluster points). A point (\mathbf{p}) is a limit point of a set (S) if every (\varepsilon)-deleted neighborhood of (\mathbf{p}) (an open ball centered at (\mathbf{p}) with radius (\varepsilon) excluding (\mathbf{p}) itself) contains at least one point of (S). For example, in a set (E = {\frac{1}{n} : n \in \mathbb{N}}), the point (0) is a limit point (though not in (E)), while all other points on the line are exterior points. The derived set of (S) is the set of all limit points of (S). A set is closed if and only if it contains all its limit points. An isolated point of (S) is a point in (S) that is not a limit point of (S); it has a neighborhood containing no other points of (S). For instance, in the set (E) above, every point (\frac{1}{n}) is an isolated point.
The sources also discuss open and closed sets. A set is open if every point in it is an interior point (i.e., (S = S^{\text{int}})). A set is closed if it contains all its limit points, or equivalently, if its complement is open. The boundary of a closed set may or may not be included in the set itself. For example, the closed interval ([a, b]) is a closed set in (\mathbb{R}) that includes its boundary points (a) and (b), while the open interval ((a, b)) is an open set that does not include its boundary points.
The sources provide examples in various dimensions. In one dimension, the open interval ((a, b)) has interior ((a, b)), boundary ({a, b}), and exterior ((-\infty, a) \cup (b, \infty)). The closed interval ([a, b]) has interior ((a, b)), boundary ({a, b}), and exterior ((-\infty, a) \cup (b, \infty)). In two dimensions, the open disk (x^2 + y^2 < 25) has interior as the disk itself, boundary as the circle (x^2 + y^2 = 25), and exterior as the region outside the circle. A rectangular region defined by inequalities (5 \le x \le 7), (2 \le y \le 3) is a closed set; its interior is (5 < x < 7), (2 < y < 3), and its boundary consists of the lines (x=5), (x=7), (y=2), (y=3).
The sources note that proving properties about interiors, boundaries, and closures can be done rigorously using definitions, but there are often easier tests to identify open and closed sets. For instance, an open ball is open, and a closed ball is closed. Understanding these concepts intuitively is emphasized, as they are foundational for further study in topology, analysis, and geometry.
In summary, the interior, boundary, and exterior are key topological concepts that describe the structure of sets in Euclidean spaces. The interior represents the "inside" of a set, the boundary is the "edge" where the set meets its complement, and the exterior is the "outside." These concepts are closely related to limit points, closure, and the classification of sets as open or closed. Mastery of these ideas is crucial for advanced mathematical reasoning and problem-solving in fields such as real analysis, topology, and geometry.