2
votes
0answers
307 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 ...
9
votes
1answer
294 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 ...
2
votes
0answers
48 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 ...
2
votes
1answer
126 views

A question about small cardinals related to Michael's Problem

I'm studying some applications of small cardinals related to the Michael's Problem. Recall that we say that a space $X$ is a Michael space if X is a regular Lindelöf space such that $X\times ...
0
votes
0answers
55 views

hyperspaces and selection principals

Two things bother me for which I haven't found an answer yet: 1.Is anyone familiar with an example of a topological space $X$, in which the hyperspace $2^X$ with the upper Fell topology is ...
0
votes
0answers
49 views

subspace in pseudotopological space

Every topological space gives rise to a pseudotopological space. Conversely, if $X$ is a pseudotopological space then we can define a topology on $X$ such that every filter converging to $x$ in the ...
5
votes
1answer
369 views

sets without perfect subset in a non-separable completely metrizable space

Suppose $X$ is a completely metrizable (but not separable) space. Suppose $D$ is a Borel (actually $F_{\sigma}$) subset of $X$. Is there any logical relation between the following statements? [1] ...
5
votes
1answer
179 views

Nonmetrizable compact totally disconnected spaces without isolated points

Brouwer proved that a topological space is homeomorphic to the Cantor set if and only if 1) it's non-empty, 2) it's compact, 3) it's totally disconnected, 4) it has no isolated points, and 5) ...
3
votes
1answer
206 views

Continuous Functions

Is there a pair of continuous surjective functions say $f_1$ and $f_2$ from $\mathbb{Q}$ to itself such that for every $x, y \in \mathbb{Q}$, $f_1^{-1}(x) \cap f_2^{-1}(y)$ is non-empty?
1
vote
3answers
178 views

Axiomatization of locally compact Hausdorff spaces via compact subspaces

The usual axiomatization of a topological space (in the sense of Bourbaki) goes by declaring certain subsets as being open and such that a few axioms are fulfilled by the family of open subsets. It ...
2
votes
2answers
163 views

A set intersecting the graph of any continuous function in a finite set

New version of the problem I am looking for a characterization of those completely regular and hausdorff spaces $X$ such that the follwing is true: If $f :X\longrightarrow \Bbb{R}$ is continuous ...
2
votes
0answers
178 views

Sequences and pseudocharacter in compact spaces

Is there a consistent example of a compact Hausdorff space $X$ on which the following holds? i) there is a $Y \in {[X]}^{\aleph_1}$ such that $\psi (Y) = \aleph_1$; and ii) there is no non-trivial ...
5
votes
2answers
404 views

A question about the Stone–Čech compactification of discrete spaces

Let $D(\kappa)$ be the discrete space of cardinality $\kappa$, and $\beta D(\kappa)$ its Stone–Čech compactification. Is there, for every infinite cardinal $\kappa$, a subset $Y \in [\beta ...
9
votes
0answers
251 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}}$ ...
8
votes
1answer
322 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 ...
1
vote
1answer
128 views

A space with countable tightness which is not a Fréchet space?

I need a space with countable tightness which is not a Fréchet space. In this space, I am searching for a point with no deleted neighborhood consisting entirely of P-points. (A P-point is a point $x ...
17
votes
0answers
455 views

Can closed compacts in a topological group behave “paradoxically” with respect to unions, intersections, and one-sided translations?

Consider two closed compacts $A$ and $B$ in a topological group $\Gamma$. Let $A'$ be a left translation of $A$ and $B'$ a left translation of $B$: $A' = aA$, $B' = bB$. Suppose it is known that ...
0
votes
1answer
359 views

Property of Mrowka

A topological space $X$ satisfies Property $K_1$ (Property of Mrowka) if the closure of the union of arbitrarily many $G_\delta$ sets of $X$ coincides with its sequential closure (the sequential ...
6
votes
1answer
241 views

On the cardinality of perfect spaces with the countable chain condition

QUESTION: Does every regular perfect space with the countable chain condition have cardinality bounded above by the continuum? Is this at least true for perfectly normal ccc spaces? Recall that a ...
2
votes
2answers
223 views

Finitely cocomplete categories of compact Hausdorff spaces

Edit: Zhen Lin incisively observes in a comment below that the category of compact Hausdorff spaces is monadic over the category of sets, hence is cocomplete. That answers the first part of question 1 ...
1
vote
0answers
129 views

Reference needed: Does pseudo laminated compact subsets of the plane separate the plane?

Hi, doing my research I found the following problem and I´ll be glad if someone could give a reference. We say that a compact connected subset $K$ of the plane is psuedo laminated if the following ...
14
votes
6answers
2k views

Topological characterization of the closed interval $[0,1]$

This question is related to question 92206 "What properties make $[0, 1]$ a good candidate for defining fundamental groups?" but is not exactly equivalent in my opinion. It is even suggested in one ...
1
vote
1answer
492 views

Example of a topological space

In my recent research, I defined a topological space $X$ to be an $EZ$-space if for every open subset $A$ of $X$, there exists a collection $\{A_{\alpha}: \alpha\in S\}$ of clopen subsets of $X$ such ...
2
votes
1answer
214 views

Relative extremely disconnected space

A topological space $X$ is called relative extremely disconnected if it has a base $B$ (for open subsets) such that disjoint elements in $B$ have disjoint closure. Does it exist an infinite ...
1
vote
3answers
746 views

Zero-dimensional space

Let $X$ be a topological space with the following property: for any open subset $A$ of $X$ there is a collection of clopen subsets $\{A_{\alpha} : \alpha\in S\}$ such that ...
0
votes
1answer
345 views

Extremely disconnected space

A topological space $X$ is called relative extremely disconnected if it has a base $B$(for open subsets) such that disjoint elements in B have disjoint closure, i.e, if $C, D$ in $B$ and $C\cap ...
1
vote
1answer
325 views

Does there exist a countable partition of [0,1] by disjoint closed subsets? [duplicate]

Possible Duplicate: Why are the integers with the cofinite topology not path-connected? As in the title, is it possible to find closed, disjoint subsets $C_n$ of $[0,1]$ such that $[0,1] = ...
9
votes
1answer
411 views

Constructible sets in Hausdorff spaces

In an attempt to write a proof by contradiction, I end up with a space $X$ with the following properties: (0) $X$ is nonempty, (1) $X$ is Hausdorff, (2) $X$ has no isolated points, (3) every subspace ...
7
votes
3answers
549 views

Topological spaces determined by generalized metric spaces

At http://en.wikibooks.org/wiki/Real_Analysis/Metric_Spaces you can find the standard definition of a metric space: a set $X$ given with a function $d:X\times X\to\mathbb{R}$ that satisfies properties ...
5
votes
4answers
480 views

Existence of an arbitrary Small positive continuous real Valued Function

Let $(X,\tau)$ be a Tychonoff Topological space. For each $x\in X$ consider an arbitrary positive real number $\epsilon_x>0$. Is There a continuous real valued function $f:X\rightarrow ...
3
votes
1answer
341 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 ...
6
votes
4answers
516 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 ...
1
vote
1answer
261 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. ...
0
votes
1answer
252 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 ...
2
votes
1answer
231 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 ...
1
vote
1answer
165 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 ...
5
votes
2answers
314 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 ...
-2
votes
1answer
335 views

Fuzzy topology : references [closed]

Hey. I'm looking for references in fuzzy topology. Does anyone know a good book ?
5
votes
0answers
364 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 ...
5
votes
1answer
366 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 ...
1
vote
0answers
130 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 ...
7
votes
2answers
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$ ...
3
votes
0answers
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, ...
11
votes
0answers
930 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 ...
3
votes
1answer
926 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 ...
12
votes
5answers
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 ...
26
votes
4answers
940 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 ...
2
votes
0answers
60 views

Characterizing local homeomorphisms into an exponent

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$ ...
9
votes
10answers
2k views

Are nets and filters useful in geometry and topology?

Many results in topology can be restated using the concepts of nets and ultrafilters. This seems to be of interest for set theorists, maybe even logicians. But for geometers and topologists, those who ...
0
votes
4answers
2k views

Does Cauchy continuity imply uniform continuity? [No.] [closed]

It is well known that if $X$ is a first countable topological space and $Y$ is a topological space, then $f : X \rightarrow Y$ is continuous iff $$\forall x \in {\rm map}(\mathbb{N},X),\forall p \in X ...