From the definitions and examples so far, it should seem that points on the ``edge'' or ``border'' of a set are important. There are several terms that capture where points are relative to the border. Let be a topological space, and let be any subset of . Furthermore, let be any point in . The following terms capture the position of point relative to (see Figure 4.1):
For the case of , the boundary points are the endpoints of intervals. For example, 0 and are boundary points of intervals, , , , and . Thus, may or may not include its boundary points. All of the points in are interior points, and all of the points in are limit points. The motivation of the name ``limit point'' comes from the fact that such a point might be the limit of an infinite sequence of points in . For example, 0 is the limit point of the sequence generated by for each , the natural numbers.
There are several convenient consequences of the definitions. A closed set contains the limit point of any sequence that is a subset of . This implies that it contains all of its boundary points. The closure, , always results in a closed set because it adds all of the boundary points to the set. On the other hand, an open set contains none of its boundary points. These interpretations will come in handy when considering obstacles in the configuration space for motion planning.
Steven M LaValle 2020-08-14