# Tag Info

### Why study finite topological spaces?

Long comment: Note that a finite topological space is nothing but a pre-order (order, iff the topology is $T_0$), given by $x\leq y$ iff $x\in \overline{\{y\}}$. An equivalence relation on a ...

### Why study finite topological spaces?

As Uri Bader's answer notes, finite topological spaces are equivalent to partially ordered sets (posets). Now, combinatorialists who are interested in the topology of finite posets most commonly study ...

### Why study finite topological spaces?

Any finite simplicial complex is weakly homotopy equivalent to a finite topological space and vice versa: Are finite spaces a model for finite CW-complexes? So, when it comes to computing homotopy ...

### Why study finite topological spaces?

And what would be some instances where 'standard circumlocutions' used to avoid them? For example, one can define contractability and compactness (for metrizable spaces) in terms of maps of finite ...
Accepted

Accepted

### Non-diffeomorphic but homeomorphic (under Lorentzian topology) Lorentzian manifolds

I would like to argue that the situation considered in the comments is "close to generic". Let $(M,g)$ be a Lorentzian manifold that is not strongly causal; this implies that $(M,g)$ is also ...
Accepted

### Is the projective limit $\mathcal{D}(\mathbb{R})$ separable?

The projective topology topology you describe is coarser than the usual inductive limit topology on $\mathscr D(\mathbb R)$ (the universal properties imply that it is enough to have continuity of the ...

### Pointwise convergence and disjoint sequences in $C(K)$

I claim that either of your properties (sequences or nets) is equivalent to having only finitely many non-isolated points. Property $S$: Any pointwise null sequence in $C(K)$ has an almost disjoint ...
Accepted

Accepted

### Embedding of half open half closed $n$-set in $n$-space

The answer is yes. It suffices to show that $h$ restricted to each of the sets $1\leq |x|\leq 3/2$ and $3/2\leq |x|<2$ is an embedding, because the image of points near the boundary $|x|=2$ will be ...

### Topological characterisations of properties of posets

I will discuss Question 1: Is there a nice purely topological characterisation when a connected finite topological space with $T_0$ corresponds to a lattice and when this lattice is distributive? ...

### Stone-topological/profinite equivalence for quandles

Here is how the proof works for monoids. This doesn't really answer the question so I made this communitywiki, but maybe the OP will find it useful. Let $X$ be a compact Hausdorff space. Call an ...
I adapt the proof of a more general result: Theorem 4.12 in Chapter XI of K. Kuratowski and A. Mostowski’s book “Set Theory: with an introduction to descriptive set theory” (see page 408). Claim. $f$ ...