Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
1 answer
129 views

Ordering preserved by an inverse frame homomorphism

Recall that a frame homomorphism $h:L\to M$ is called ($L$ and $M$ are frames): Dense if, for any $x ∈ L$, $h(x) = 0$ implies $x = 0$. Codense if, for any $x ∈ L$, $h(x) = 1$ implies $x = 1$. ...
3 votes
1 answer
120 views

Non-isomorphic $T_0$-spaces with order-isomorphic topologies

Are there non-isomorphic $T_0$-spaces $(X_i, \tau_i)$ for $i = 1,2$ such that $\tau_1 \cong \tau_2$ when considered as partially ordered sets?
3 votes
3 answers
1k views

Countable atomless boolean algebra covered by a larger boolean algebra

Suppose $Q$ is an atomless countable boolean algebra, and $B$ is an arbitrary atomless boolean algebra. $Q$ is unique modulo isomorphisms. There is a subalgebra in $B$ that is isomorphic to $Q$. There ...
2 votes
0 answers
105 views

What is known about sublocales defined by regular nuclei?

(For basic terminology, which is supposed to be standard anyway, see this other question, which inspired this one.) I am interested in nuclei $j\colon L\to L$ on a frame $L$ which are regular elements ...
3 votes
1 answer
228 views

Computing the Heyting operation on the frame of nuclei

(The following definitions are meant to be standard and are reproduced for completeness of the question.) A frame is a partially ordered set in which every finite subset has a greatest lower bound (“...
5 votes
2 answers
496 views

Do germs of open sets around a point form a frame?

Let $X$ be a topological space and $x \in X$ a point. Let $\Omega$ be the set of open sets (viꝫ. the topology) of $X$, and $\Omega_x$ the set of germs around $x$ of open sets, that is, $\Omega_x = \...
6 votes
0 answers
715 views

What is the structure of a space of $\sigma$-algebras?

Let $X$ be a compact metric space, and consider the Banach space $\Omega = C(X,\mathbb R)$ of continuous, real-valued functions on $X$, equipped with the supremum norm. Let $\delta_x \in \Omega^*$ be ...
2 votes
0 answers
52 views

Can we decompose an increasing net of functions into two increasing nets with prescribed supports?

Let $K$ be a compact Hausdorff space and let $U,V\subset K$ be open. Let $\left(f_{i}\right)_{i\in I}$ be an increasing net of continuous non-negative functions such that $f_{i}\le 1$ and $f_{i}$ ...
5 votes
0 answers
171 views

(When) is the Dedekind-MacNeille completion of a po-set Hausdorff?

Let $X$ be a p.o. Consider the topology on $X$ generated by $$U_{x}^{-}:=X\setminus (x\uparrow),\quad U_{x}^{+}:=X\setminus (x\downarrow), \quad x\in X$$ Throughout this discussion I shall refer to ...
1 vote
2 answers
195 views

Reference request: lower sets of a preorder form a lattice

Consider a set $S$ with a preorder $\preceq$ (a preorder is a reflexive and transitive relation). A lower set $A$ of $S$ is defined as a subset of $S$ such that for all $x \in S$ and $y \in A$, if $...
2 votes
1 answer
227 views

Basis or subbasis for Scott topology

Let $X$ be a partially ordered set. A subset $S\subseteq X$ is called Scott-open if and only if it is: Upward-closed: $x\in S$ and $x\le y$ implies $y\in S$; Inaccessible by directed suprema: if $D\...
1 vote
2 answers
235 views

Can the Boolean Algebra of regular open sets be isomorphic to ${\cal P}(\omega)/(\text{fin})$?

Let $(X,\tau)$ be a topological space. $A\subseteq X$ is said to be regular open if $A = \text{int}(\text{cl}(A))$ and let $\text{RO}(X,\tau)$ denote the collection of regular open sets of $X$. A ...
9 votes
3 answers
407 views

Does the lattice of all topologies embed into the lattice of $T_1$-topologies?

Let $\kappa$ be an infinite cardinal, and let $\text{Top}(\kappa)$ be the lattice of all topologies on $\kappa$, ordered by $\subseteq$. Let $\text{Top}^{T_1}(\kappa)$ be the lattice of all $T_1$-...
3 votes
1 answer
116 views

Hausdorff interval topology on distributive lattices

Given a poset $(P,\leq)$ the interval topology $\tau_i(P)$ on $P$ is generated by $$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$ where $\downarrow x = \{y\in P: y\leq ...
4 votes
0 answers
98 views

Unique representability of bounded distributive lattices

Priestley Duality assigns to every bounded distributive lattice $L$ a compact totally order-disconnected topological space $P(L)$, also called a Priestley space. A poset $(P,\leq)$ is called (...
2 votes
1 answer
266 views

What lattices are isomorphic to $R^{N}$ for some $N$, equipped with the product order?

What lattices are isomorphic to $\mathbb{R}^{N}$ for some $N\in \mathbb{N}$, equipped with the canonical order? Remark: When I say $\mathbb{R}^N$, I don’t mean it to be a vector space. Instead, I ...
3 votes
1 answer
107 views

Topology with no direct lower neighbor

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...
1 vote
1 answer
120 views

Lower neighbors in the lattice of topologies

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y) = \{p\in P: x\leq p < y\}$, and $(x,y]$ is defined in an analogous manner. For any set $X$, let $\text{Top}(X)$ denote the set of topologies ...
4 votes
1 answer
118 views

"Discrete jumps" in the collection of all topologies on a set $X$

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...
2 votes
1 answer
224 views

Pseudocomplements in the lattice of topologies

Given a set $X\neq \emptyset$ it is well-known that the collection $\text{Top}(X)$ of all topologies on $X$ is a (complete) lattice with respect to $\subseteq$. Let $0$ denote the smallest element of ...
1 vote
0 answers
293 views

Examples of value quantales

In his paper "Quantales and continuity spaces" R. C. Flagg gives the following examples of value quantales: the lattice $\bf{2}$ of truth values with usual addition, the lattice $\mathbb{R}_{+}$ of ...
3 votes
1 answer
318 views

Properties of the interval topology of the lattice of functions

Let $(P,\leq)$ be a poset. The interval topology $\tau_i(P)$ on $P$ is generated by $$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$ where $\downarrow x = \{y\in P: y\...
0 votes
2 answers
148 views

Continuous image relation on topological spaces

Let $\kappa$ be a cardinal, and let $\text{Top}(\kappa)$ be the set of topological spaces $(X,\tau)$ such that $X\subseteq \kappa$. We pre-order $\text{Top}(\kappa)$ by for $X, Y \in \text{...