regular open set
Let be a topological space. A subset of is called aregular open set if is equal to the interior of the closure
of itself:
Clearly, every regular open set is open, and every clopen set is regular open.
Examples. Let be the real line with the usualtopology (generated by open intervals).
- •
is regular open whenever .
- •
is not regular open for and . The interior of the closure of is .
If we examine the structure of alittle more closely, we see that if we define
then
So an alternative definition ofa regular open set is an open set such that .
Remarks.
- •
For any , is always open.
- •
and .
- •
and is dense in.
- •
and .
- •
It can be shown that if is open, then isregular open. As a result, following from the first property, , being , is regular open for any subset of .
- •
In addition, if both and are regular open, then is regular open.
- •
It is not true, however, that the union of two regular opensets is regular open, as illustrated by the second example above.
- •
It can also be shown that the set of all regular open sets ofa topological space forms a Boolean algebra
under the followingset of operations
:
- (a)
and ,
- (b)
,
- (c)
, and
- (d)
.
This is an example of a Boolean algebra coming from a collection
ofsubsets of a set that is not formed by the standard set operationsunion , intersection
, and complementation .
- (a)
The definition of a regular open set can be dualized. A closed set in a topological space is called a regular closed set if .
References
- 1 P. Halmos (1970). Lectures on Boolean Algebras, Springer.
- 2 S. Willard (1970). General Topology, Addison-Wesley Publishing Company.