Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In closure spaces (thus, also in topological spaces), one may define the boundary of a set A as the closure of A minus the interior of A. This set is partitioned into "the closure of A minus A" and "A minus the interior of A", that are equal, respectively, to "the boundary of A intersected with the complement of A" and "the boundary of A intersected with A".

Do these two sets partitioning a boundary have a common name? Who studied them?

share|improve this question
2  
“The boundary of $A$ intersected with the interior of $A$” is empty, I suppose you mean “the boundary of $A$ intersected with $A$”. According to en.wikipedia.org/wiki/Boundary_%28topology%29, $\mathrm{cl}(A)\smallsetminus A$ is sometimes called the frontier of $A$ (though this term is also used as a synonym for boundary). –  Emil Jeřábek Nov 29 '13 at 14:06
    
Edited, thanks. –  vincenzoml Nov 29 '13 at 19:57

1 Answer 1

Operations on topological spaces which are formed by taking compositions of operations such as union, intersection, complement, and boundary indeed have been studied before.

For instance, Kuratowski's Closure Complement Theorem states that if $X$ is a topological space, then there are at most 14 operations on $X$ formed by taking compositions of closure and complementation and this bound is attained in certain topological spaces. Furthermore, if $X$ is a topological space, then there are at most 7 operations on $X$ formed by taking the composition of interior and closure. These 7 operations take the set $A$ to the following sets:

$A,\textrm{Int}(A),\textrm{Cl}(A),\textrm{Int}(\textrm{Cl}(A)),\textrm{Cl}(\textrm{Int}(A)),\textrm{Int}(\textrm{Cl}(\textrm{Int}(A))),\textrm{Cl}(\textrm{Int}(\textrm{Cl}(A)))$.

The fact that there are no more than these 7 operations follows from the fact that taking interior and taking the closure are idempotent operations, and that we do not get anything new when we alternate between interior and closure too many times. The 14 operations in Kuratowski's Closure Complement Theorem come from the seven operations listed above and their complements.

Things get more complicated when we introduce new operations such as union and intersection however. There is a topological space $X$ and a subset $A\subseteq X$ such that infinitely many sets can be formed from $A$ simply by taking compositions of unions, intersections, complements, interior, and closure.

Therefore, since there are many operations on topological spaces formed by taking the composition of operations such as union, complementation, and closure, it seems like it would be a futile task to give too many of these operations special names, but these operations formed by composing union, complementation, and closure do form an algebraic structure called a closure algebra.

A closure algebra is a Boolean algebra $B$ along with a unary operation $C$ satisfying the identities $x\leq C(x)=C(C(x))$ and $C(x\vee y)=C(x)\vee C(y)$. The operations union, intersection, complementation, and closure on a topological space $X$ make the powerset $P(X)$ into an algebraic structure called a closure algebra. Furthermore, every closure algebra can be embedded into the closure algebra determined by a topological space. Thus, the operations on a topological space formed by taking union, complementations, closure. . . are in a one-to-one correspondence with the elements in a free closure algebra. Furthermore, the equational theory of the variety of closure algebras is decidable, so there is some algorithm to determine whether two of these operations on a topological space are the same operation or not.

share|improve this answer
1  
Regarding generating infinitely many sets from one set via closure, complement and intersection, see mathoverflow.net/questions/20025/…. –  Joel David Hamkins Nov 30 '13 at 13:02

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.