# Tagged Questions

66 views

### Can we build a continuous function from “fibers”/preimages defined over a topological base?

I am looking for some proof insight or literature references for a statement which, if it's actually true, is probably a pretty trivial thing. I hope the question has not been asked here before, and ...
312 views

### Topological proof of a result in Logic

I proved the result below using logic. My questions: Can this theorem be proved by purely topological means? Do you know any theorems that either can be used to prove the same result, or which give ...
303 views

### continuous images of open intervals

The well-known Hahn-Mazurkiewicz theorem characterizes those nonempty Hausdorff spaces $X$ that admit a continuous surjection $\alpha: [0, 1] \to X$ from the closed unit interval: it is necessary and ...
56 views

### A construction with Hyperspace of continums

Let $X$ be a compact connected metric space. Its hyperspace is denoted by $2^{X}.$ $X$ is considered as a subset of $2^{X}$ via the embedding $x\mapsto \{x\}$. Assume that $f:X\to X$ is a ...
136 views

262 views

### Linearly Lindelöf spaces with Lindelöf degree of uncountable cofinality

Is there a linearly Lindelöf space $X$ with $\operatorname{cf} (L(X))> \aleph_{0}$ (where $L$ is the cardinal function Lindelöf degree)? $L(X)$ must be a limit cardinal, like $\aleph_{\omega_{1}}$ ...
325 views

### Is there a $P$-space linearly Lindelöf and non-Lindelöf?

A completely regular topological space $(X,\tau)$ is a $P$-space, if every $G_\delta$-subset of $X$ is open (i.e $\tau$ is closed under countable intersection). A topological space $X$ is linearly ...
129 views

336 views

343 views

### On One point Lindeloffication of topological spaces

As you Know when we define a topological space to be the one point compactification of the topological space $X$, we look for a compact space $Y$ such that $X\subset Y$ and $X$ is dense in $Y$ and ...
517 views

### On Pseudo-finite topological spaces

We recall that a topological space $(X,\tau)$ is Pseudo-finite, if each compact subset of $X$ is finite. One of the classical example of Pseudo-finite topological spaces can be considered as an ...
263 views

### Compact subsets and Hausdorffness of Topology

We Know that all closed subsets of a compact topological space $(X,\tau)$ are compact. But if we add The Hausdorff condition on the topology $\tau$ we could see the equivalence of these subsets.(i.e. ...
257 views

### Lindelöf subsets of $P$-spaces

A completely regular topological space $(X,\tau)$ is called a $P$-space, if every $G_\delta$-subset of $X$ is open .$$$i.e \tau is closed under countable intersection$$$. Here we recall some ...
232 views

### Existence of a non-submetrizable topological space $(X, \tau)$

We recall that a topological space $(X,\tau)$ is submetrizable, if there is a coarser metrizable topology $\tau'$ that $\tau\supseteq\tau'$. one of the properties of these topological spaces is ...
166 views

### Counterexample about Jones lemma with special weak condition.

Jones Lemma is One scale about recognizing that a topological space is not normal. This lemma tells us, if The topological space $X$ has a dense subset $D$ and a closed discrete subset $S$, with the ...
316 views

### Existence of a compactification of $\mathbb{R}$ with $\aleph_0$ remainder

We now that the space $\mathbb{R}$ has compactifications with one point reminder, and two point reminder. but there is no compactification of $\mathbb{R}$ with three point reminder and the same holds ...
339 views

### Fuzzy topology : references [closed]

Hey. I'm looking for references in fuzzy topology. Does anyone know a good book ?
366 views

### Continuous images of Cantor cubes

The original title of this question was "Is there only one (up to homeomorphism) zero-dimensional homogeneous dyadic space of weight $\mathfrak{c}$?". I changed it with the hope of getting a bit more ...
367 views

### Products with compactly generated spaces

It is well known that if $X$ and $Y$ are topological spaces with $X$ locally compact Hausdorff and $Y$ compactly generated, then $X \times Y$ (with the ordinary product topology) is compactly ...
132 views

### Local cartesian closedness in the category of compactly generated spaces

According the the nLab, the category of compactly generated (CG) spaces is not locally cartesian closed. So if $A$ is a CG space and $C$ a CG space above $A$, $C$ may not be exponentiable. What if we ...
636 views

### Patching together homeomorphisms: how badly can it fail?

Suppose we have a set $X$ with $X=U \cup V$. If we pick a permutation $f$ of $U$ and a permutation $g$ of $V$ which agree on the intersection $U \cap V$, we can coalesce them into one big endo-map $F$ ...
348 views

### Lifting local compactness to a covering space

(I decided to repost this from MathSE, since the question seems to not be as easy as I had thought) NB: In this question, local compactness is used in its weak form, i.e. in a locally compact space, ...
936 views

### Paracompact Hausdorff but not compactly generated?

I'm sorry to be asking a (possibly) elementary question, but I've run into a problem in point-set topology; I've just read that there exists paracompact Hausdoff spaces which are not compactly ...
927 views

### $\Delta_{2}^{1}$-hard set?

Hello everybody! I'm interested in $\Delta_{2}^{1}$ subsets of Polish spaces, i.e. those sets that are both $\Pi_{2}^{1}$ and $\Sigma_{2}^{1}$ in the boldface hierarchy of Polish spaces. There is a ...
2k views

### Locally compact Hausdorff space that is not normal

What is a good example of a locally compact Hausdorff space that is not normal? It seems to be well-known that not all locally compact Hausdorff spaces are normal (and only a weaker version of ...
945 views

### Why the “W” in CGWH (compactly generated weakly Hausdorff spaces)?

In his 1967 paper A convenient category of topological spaces, Norman Steenrod introduced the category CGH of compactly generated Hausdorff spaces as a good replacement of the catgory Top topological ...
Let $X$,$Y$, and $Z$ be (compactly generated) spaces. Suppose $f:Z \to Y^X$ is a local homeomorphism. How can we tell this from its adjoint $\tilde f:Z \times X \to Y$? I.e., I want a property $P$ ...