Suppose we have a partition $P$ of a set $S$ and a unary set operation $u:\mathscr{P}(S)\to\mathscr{P}(S)$ such that for each $A\in P$ the set $uA$ is saturated with respect to $P$ (a union of elements in $P$).
Can anyone suggest any references on this topic? So far the closest thing I have found is a 2013 paper by Christian Ronse entitled "Closures on partial partitions from closures on sets."
Here is the specific question I am curious about:
Conjecture. Let $X$ be a connected finite topological space. Let $u$ be the closure operation on $\mathbb{R}$ under the usual topology. Then there exists a partition $P$ of $\mathbb{R}$ satisfying the condition stated above, such that the quotient $\mathbb{R}/P$ is homeomorphic to $X$.
Even if this an intractable problem, it can be fun to search for counterexamples. Certain spaces are difficult to find a corresponding real partition (of the type above) for; some have had me thinking they were counterexamples for sure, then suddenly I find a partition that works.
Can anyone suggest any leads?
Added 22 July 2017
Taking into account the path (described below) that led me to the conjecture, instead of restricting to just one unary operation $u$ that is arbitrarily defined on $\mathscr{P}(S)\setminus P$, it might be better to allow any given collection of operations (of whatever arity), some or all of which may be required to satisfy various axioms (such as for example, closure axioms), with the partition condition applying to each.
But the meat of this post is supposed to be the conjecture, so if the above framework is too general to be of any use (it may be), then let's just scrap it.
I arrived at the conjecture as follows.
Back in grad school in the mid-1980s, the Kuratowski closure-complement-intersection problem (a good discussion can be found here) attracted my attention. I noticed that one could easily write a program to generate families of sets of reals under the usual topology (from a single seed set) by partitioning and working solely within the partition—provided it satisfies the above condition for the closure operation on $\mathbb{R}$ (the condition holds trivially for the complement operation).
In 2009 I posted a Javascript app here that lets users vary the seed set in a ten-point quotient of the reals to see what family it generates under closure and complement. About a year ago, I became interested in the actual space “under the hood” of this app.
A natural question arose: since connected seven-point spaces exist that contain Kuratowski 14-sets, might it be possible to replace my ten-point quotient with a seven-point one? (The answer is yes.) Further exploration led me to the conjecture, which I am currently about halfway finished verifying for all 94 connected five-spaces (it holds for all smaller ones). This is where I stop...there are too many connected six-spaces!
As one would guess, Cantor sets play a prominent role in many of the partitions (roughly half).