Skip to main content

Section Summary

Important ideas that we discussed in this section include the following.
  • Let X be a metric space and A a subset of X.
    1. A point x∈X is a boundary point of A if every neighborhood of x contains a point in A and a point in Xβˆ–A.
    2. A point x is a limit point of A if every neighborhood of x contains a point in A different from x.
    3. A point a∈A is an isolated point of A if there is a neighborhood N of a such that N∩A={a}.
    Boundary points and limit points don’t need to be in the set A, whereas an isolated point of A must be in A. In A=(0,1)βˆͺ{2} as a subset of =(R,dE), 0 is a boundary point but not an isolated point while 2 is a boundary point but not a limit point. Also, 0.5 is a limit point but neither a boundary or isolated point. With A as subset of R with the discrete metric, every point of A is an isolated point but no point in R is a boundary point or a limit point of A. So even though every boundary point is either a limit point or an isolated point, the three concepts are different.
  • A subset A of a metric space X is closed if Xβˆ–A is an open set.
  • Any intersection of closed sets is closed while finite unions of closed sets are closed.
  • A function f from a metric space X to a metric space Y is continuous if fβˆ’1(C) is a closed set in X whenever C is a closed set in Y.
  • Let X be a metric space, let A be a subset of X, and let x be a limit point of A. Then there is a sequence (an) in A that converges to x.
  • Let X be a metric space, let A be a subset of X, and let x be a boundary point of A. Then there are sequences (xn) in Xβˆ–A and (an) in A that converge to x.
  • The boundary of a subset A of a metric space X is the set of boundary points of A.
  • A subset A of a metric space X is closed if and only if A contains all of its limit points. Similarly, A is closed if and only if A contains all of its boundary points.
  • The set of all limit points of a subset A of a metric space X is denoted by Aβ€². The closure of A is the set A―=AβˆͺAβ€². The closure of A is the smallest closed set in X that contains A.
  • A subset A of a metric space X is closed if and only if liman is in A whenever (an) is a convergent sequence in A.