Let X be a topological space and $\Omega \left(X \right)$ be the set of all open sets of X. Does anyone have a concrete example of X, where we can define a familiar algebraic structure on $\Omega\left(X\right)$, for example of a Group. Also, what is the categorical term for such things? (In contrast with group object in Top)
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Well.. it's not a usual approach of anything..
As Brian wrote in the first comment, $\Omega(X)$ becomes a complete distributive lattice naturally. Moreover, if $X$ is a top.group, then $\Omega(X)$ will also carry a semigroup structure.