Recall the concepts of open and closed intervals in the set of real numbers . The open interval includes all real numbers between 0 and , except 0 and . However, for either endpoint, an infinite sequence may be defined that converges to it. For example, the sequence , , , converges to 0 as tends to infinity. This means that we can choose a point in within any small, positive distance from 0 or , but we cannot pick one exactly on the boundary of the interval. For a closed interval, such as , the boundary points are included.
The notion of an open set lies at the heart of topology. The open set definition that will appear here is a substantial generalization of the concept of an open interval. The concept applies to a very general collection of subsets of some larger space. It is general enough to easily include any kind of configuration space that may be encountered in planning.
A set is called a topological space if there is a collection of subsets of called open sets for which the following axioms hold:
For the special case of , the open sets include open intervals, as expected. Many sets that are not intervals are open sets because taking unions and intersections of open intervals yields other open sets. For example, the set
(4.1) |