Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
132 views

Is the interval topology on ${\cal P}(\omega)/(\text{fin})$ connected?

If $(P,\leq)$ is a poset and $x\in X$, we let $\downarrow x = \{p\in P: p \leq x\}$, and $\uparrow x$ is defined dually. The collection $$\Big\{P\setminus (\downarrow x): x\in P\Big\} \cup \Big\{P\...
Dominic van der Zypen's user avatar
2 votes
0 answers
92 views

Can this order relation, defined in terms of all topological spaces, be defined in terms of the reals alone?

Let $K$ be the operator monoid under composition of Kuratowski's $14$ set operators generated by topological closure $k$ and complement $c.$ Kuratowski's 1922 paper gives the poset diagram of the ...
mathematrucker's user avatar
1 vote
1 answer
143 views

Is the Rudin-Keisler ordering a continuous relation?

If $X, Y$ are topological, and $R\subseteq X\times Y$ we say that $R$ is continuous (from $X$ to $Y$) if for every $V\subseteq Y$ with $V$ open, we have $$R^{-1}(V) = \{u\in U: \exists v\in V:(u,v)\...
Dominic van der Zypen's user avatar
4 votes
1 answer
221 views

Embedding ordinals with the order topology into connected $T_2$-spaces

Is there a limit ordinal $\kappa_0$ with $\kappa_0 \lt 2^{\aleph_0}$ and such that for every limit ordinal $\lambda$ with $\kappa_0\leq \lambda\lt 2^{\aleph_0}$ there is a connected $T_2$-space $X_\...
Dominic van der Zypen's user avatar
8 votes
2 answers
205 views

Spaces without maximal homogeneous subspaces

A homogeneous space $(X,\tau)$ is a topological space such that for all $x,y\in X$ there is a homeomorphism $\varphi:X\to X$ such that $\varphi(x)=y$. As a previous question implies, the union of an ...
Dominic van der Zypen's user avatar
3 votes
1 answer
143 views

The Wallman and interval topologies on non-principal ultrafilters with the Rudin-Keisler preorder

If $(P,\leq)$ is a pre-odered set (that is, $\leq$ is a reflexive and transitive relation) and $x\in P$, we set $(\uparrow_{\leq} x) = \{p\in P: p\geq x\}$ and $(\downarrow_{\leq} x) = \{p\in P: p\leq ...
Dominic van der Zypen's user avatar
6 votes
1 answer
153 views

Topologies with no minimal $T_2$ topologies above them

Let $(X,\tau)$ be a topological space. With $T_2(\tau)$ we denote the collection of $T_2$-topologies on $X$ that contain $\tau$. Is there an example of a topology $\tau$ such that the partially ...
Dominic van der Zypen's user avatar
6 votes
1 answer
216 views

Can There be Rudin-Keisler Immediate Sucessors?

There are several well-studied orderings on the set $\omega^*$ of ultrafilters on the natural numbers. Three popular ones are $\le_i$ for $i = 1,2,3$. We define $\mathcal U \le_i \mathcal V$ to mean ...
Daron's user avatar
  • 1,955
6 votes
1 answer
223 views

Minimal Hausdorff topologies compatible with a bunch of functions

Let $X$ be an infinite set, let ${\cal F}$ be a set of functions $f: X\to X$. We say that a topology $\tau$ is compatible with ${\cal F}$ if every $f\in {\cal F}$ is a continuous function $f:(X, \tau)\...
Dominic van der Zypen's user avatar
20 votes
2 answers
1k views

An order type $\tau$ equal to its power $\tau^n, n>2$

(This is a re-post of my old unanswered question from Math.SE) For purposes of this question, let's concern ourselves only with linear (but not necessarily well-founded) order types. Recall that: $...
Vladimir Reshetnikov's user avatar
3 votes
2 answers
432 views

When is a filter generated by a (countable) chain?

In any partial order $(P,\leq)$ it is easy to see that every chain generates (i.e., by taking the upwards closure) a filter, and any filter built as a result of the Rasiowa-Sikorski lemma in forcing ...
Iian Smythe's user avatar
  • 3,115
13 votes
2 answers
690 views

How many subsets of $\mathbb{R}$ are order isomorphic to $\mathbb{Q}$?

How many subsets of $\mathbb{R}$ are order isomorphic to $\mathbb{Q}$? How many subsets of the long line $\omega_1\times[0,1)$ are order isomorphic to $\mathbb{Q}$? I can see that results in both ...
Hanna K.'s user avatar
  • 233
24 votes
2 answers
1k views

Which are the rigid suborders of the real line?

Which are the rigid suborders of the real line? If A is any set of reals, then it can be viewed as an order structure itself under the induced order (A,<). The question is, when is this structure ...
Joel David Hamkins's user avatar