A subset S {\displaystyle S} of a topological space X {\displaystyle X} is called a regular open set if it is equal to the interior of its closure; expressed symbolically, if Int ( S ¯ ) = S {\displaystyle \operatorname {Int} ({\overline {S}})=S} or, equivalently, if ∂ ( S ¯ ) = ∂ S , {\displaystyle \partial ({\overline {S}})=\partial S,} where Int S , {\displaystyle \operatorname {Int} S,} S ¯ {\displaystyle {\overline {S}}} and ∂ S {\displaystyle \partial S} denote, respectively, the interior, closure and boundary of S . {\displaystyle S.}
A subset S {\displaystyle S} of X {\displaystyle X} is called a regular closed set if it is equal to the closure of its interior; expressed symbolically, if Int S ¯ = S {\displaystyle {\overline {\operatorname {Int} S}}=S} or, equivalently, if ∂ ( Int S ) = ∂ S . {\displaystyle \partial (\operatorname {Int} S)=\partial S.}
Examples If R {\displaystyle \mathbb {R} } has its usual Euclidean topology then the open set S = ( 0 , 1 ) ∪ ( 1 , 2 ) {\displaystyle S=(0,1)\cup (1,2)} is not a regular open set, since Int ( S ¯ ) = ( 0 , 2 ) ≠ S . {\displaystyle \operatorname {Int} ({\overline {S}})=(0,2)\neq S.} Every open interval in R {\displaystyle \mathbb {R} } is a regular open set and every non-degenerate closed interval (that is, a closed interval containing at least two distinct points) is a regular closed set. A singleton { x } {\displaystyle \{x\}} is a closed subset of R {\displaystyle \mathbb {R} } but not a regular closed set because its interior is the empty set ∅ , {\displaystyle \varnothing ,} so that Int { x } ¯ = ∅ ¯ = ∅ ≠ { x } . {\displaystyle {\overline {\operatorname {Int} \{x\}}}={\overline {\varnothing }}=\varnothing \neq \{x\}.}
Properties A subset of X {\displaystyle X} is a regular open set if and only if its complement in X {\displaystyle X} is a regular closed set. Every regular open set is an open set and every regular closed set is a closed set. A subset G {\displaystyle G} in a topological space X {\displaystyle X} is a regular open set if and only if G = Int ( A ¯ ) {\displaystyle G=\operatorname {Int} ({\overline {A}})} for some A ⊂ X {\displaystyle A\subset X} . This is a consequence of the maximal and minimal properties of the interior and closure operators which when combined, they lead to
… excerpt ends here. Continue reading the full article.
