<< Chapter < Page | Chapter >> Page > |
Definition 1 Let be a metric space. The ball centered at and of radius is defined as .
If is a metric space, then .
Example 1 In the metric space , the ball is a circle centered at and of radius , as illustrated in [link] .
The following four definitions are fundamental in the study of topology.
Definition 2 Let where is a metric space. A vector is an interior point of P if there exists such that .
Intuitively, the notion of an interior point is a point that is not in the “boundary” of the set, as a ball around it is contained within the set.
Definition 3 The interior of a set is the collection of all the interior points of and is denoted as .
Intuitively, closure points are points that are arbitrarily close to the set ; note however that a closure point need not be in , but only have a sequence of elements of that converge to it.
Definition 4 A point is a closure point of P if for all we have that .
Definition 5 The closure of a set P is the set of all closure points of P denoted as .
Topology is the study of open and closed sets, defined below.
Definition 6 A set P is said to be open if , i.e., every point in is an interior point of .
Definition 7 A set P is said to be closed if , i.e., contains all its closure points.
Fact 1 Since all interior points of are in and every point in is a closure point of , we have that .
Example 2 The following are examples of open and closed sets.
Theorem 1 ( ) If is open then is closed. ( ) If is closed then is open.
Proof: ( ) We will prove by contradiction: Assume is open and is not closed, that is, there exists a closure point of such that , that is, . Since is a closure point of , we have that for every ,
Since is open and , then is an interior point of , which means that there exists such that , which means that , a contradiction with [link] . Therefore, we must have that is closed.
( ) Assume is closed, which means that contains all its interior points. That means that if then is not a closure point of , meaning that there for some we must have . This means that , and so is an interior point of . Since was an arbitrary point in , this means that is open.
Proposition 1 The intersection of a finite number of open sets is open, and the union of an arbitrary collection of open sets is open.
Proof: We will limit the proof to two sets, which can be extended in each case using a proof by induction argument.
We first show that if , are open then is open, i.e., . Assume ; then and . Since , are open then there exists , such that and . Set ; then, and . By transitivity of inclusion, we have that and . Theferore, .
Next, we show that if , are open then is open, i.e., . Assume ; then or . If , then there exists s.t. . Similarly, if , there exists s.t. . So is an interior point of and therefore .
Proposition 2 The union of a finite number of closed sets is closed. The intersection of an arbitrary collection of closed sets is closed.
The following useful properties are proven in “Optimization by Vector Space Methods” by David Luenberger, pages 25 and 38.
Proposition 3 If C is convex then its interior and closure are convex.
Proposition 4 A subset of a Banach space is complete if and only if it is closed.
Proposition 5 Any finite dimensional subspace of a normed linear space is complete.
Why are Banach spaces useful? In optimization, we want to show that if an increasingly better solution can be found then an optimum must exist.
Notification Switch
Would you like to follow the 'Signal theory' conversation and receive update notifications?