The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
2answers
160 views

“All retracts are closed” as separation axiom

The starting point of this question is the fact that any retract of a $T_2$-space is closed. Let's say a topological space $(X,\tau)$ is $T_{\textrm{rc}}$ if all retracts of $X$ are closed. All ...
15
votes
5answers
1k views

Compactness of the Hilbert cube without the Axiom of Choice

I am just curious: is there a published proof of the compactness of the Hilbert cube that does not use the Axiom of Choice, or is it well known?
6
votes
6answers
3k views

Is a topology determined by its convergent sequences?

Just a basic point-set topology question: clearly we can detect differences in topologies using convergent sequences, but is there an example of two distinct topologies on the same set which have the ...
4
votes
3answers
298 views

Infinite topological spaces such that every subset is a retract

Let $X$ be an infinite set and let $(X,\tau)$ be a topological space such that for every non-empty $A\subseteq X$ there is a continuous map $r:X\to A$ such that $r(a) = a$ for all $a\in A$. Does this ...
2
votes
1answer
116 views

Hausdorff spaces such that every subset is a retract

Let $(X,\tau)$ be a Hausdorff space such that for every non-empty $A\subseteq X$ there is a continuous map $r:X\to A$ such that $r(a) = a$ for all $a\in A$. Does $\tau$ have to be discrete?
5
votes
0answers
272 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 ...
3
votes
2answers
220 views

Is the defining bijection for a pullback of topological spaces a homeomorphism?

I work in the category of CGWH spaces enriched over themselves. If a space $P$ is the pullback of $A \rightarrow B \leftarrow C$, then for every space $T$ the canonical map $$Top(T,P) \rightarrow Top ...
1
vote
1answer
99 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 ...
0
votes
1answer
115 views

totally disconnected sets and homeomorphisms [closed]

For every totally disconnected perfect subset S in the plane one finds a homeomorphism of the plane onto itself mapping S onto the ternary Cantor set. This is an exercise in a book by Engelking and ...
6
votes
0answers
116 views

A forked plane continuum

I came up with this question while trying to solve the following MO one: Does every connected set that is not a line segment cross some dyadic square? Suppose $C$ is a plane continuum (i.e. a ...
7
votes
1answer
92 views

Universality with respect to quotients

Is there an infinite cardinal $\kappa$ for which the following statement (S) true? (S) : There is a topology $\tau_\kappa$ on $\kappa$ such that for all topological spaces $(X,\tau)$ with $|X|\leq ...
5
votes
2answers
94 views

scott continuity, sub additivity

Let $(X, \sqsubseteq_x)$ and $(Y, \sqsubseteq_y)$ be two posets and let $\delta_x:X \to X$ and $\delta_y:Y \to Y$ be two closure operators (monotone, inflationary, idempotent). Then, a monotone ...
45
votes
4answers
2k views

How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?

This question is about the space of all topologies on a fixed set X. We may order the topologies by refinement, so that τ ≤ σ just in case every τ open set is open in σ. ...
1
vote
1answer
77 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 ...
14
votes
5answers
3k 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 ...
5
votes
2answers
449 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 ...
14
votes
0answers
148 views

Finite union of closed convex sets is triangulable?

I posted this question on Stackoverflow, but didn't get an answer. Let $A_1, \ldots, A_k \subseteq \mathbb{R}^n$ be closed convex sets. Is the union $\bigcup_{i=1}^k A_i$ triangulable, that is, ...
2
votes
0answers
321 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 ...
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 ...
9
votes
1answer
333 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 ...
1
vote
3answers
783 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 ...
5
votes
1answer
395 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] ...
1
vote
1answer
406 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
0answers
279 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}}$ ...
0
votes
4answers
3k 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 ...
1
vote
1answer
510 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 ...
-1
votes
1answer
347 views

Fuzzy topology : references [closed]

Hey. I'm looking for references in fuzzy topology. Does anyone know a good book ?
0
votes
1answer
83 views

Is a weakly separable group always Lindelöf?

By "weakly separable" I mean the notion for uniform spaces used by David Wigner and Lawrence Brown: a uniform space is weakly separable if any uniform cover has a countable subcover. For a topological ...
2
votes
1answer
217 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 ...
0
votes
1answer
364 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 ...
2
votes
0answers
60 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 ...
3
votes
2answers
1k views

Is $C^{\infty}[0,1]$ or $S$ separable?

I want to know if $C^{\infty}[0,1]$ or $S$ (Schwartz function space) is separable. Can somebody offer me some results or references? Thank you!
2
votes
1answer
242 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
62 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 ...
1
vote
2answers
257 views

What are Normal Sets (Fréchet)?

In 1913, LEJ Brouwer started a new approach to give a topologist's definition of the notion dimension ("Über den natürlichen Dimensionsbegriff", Journal für die reine und angewandte Mathematik, 142, ...
10
votes
1answer
758 views

Analysis of the boundary of the Mandelbrot set

Motivation: The Mandlebrot set is a simply connected set with an infinitely complex boundary, but CAN one move from interior to the exterior of this topological space by just crossing over a finite ...
0
votes
3answers
344 views

Existence of a Sub-Category of the Category of Topological Spaces

My question start with the following observations: If you have a finite number of topological spaces $X_1, \dots , X_n$ you can define a space that is the disjoint union of its $\sqcup_{i=1}^n ...
0
votes
1answer
361 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 ...
4
votes
0answers
136 views

Is the limit set of a group action always closed?

Let $G$ be a discrete group acting on a compact metric space $X$. A point $x\in X$ is called a limit point, if there is a base point $x_0\in X$ and an injective sequence $(x_k)_{k\in\mathbb{N}}$ in ...
5
votes
1answer
212 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
213 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
194 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 ...
9
votes
1answer
435 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 ...
4
votes
2answers
223 views

An approximate infinite-dimensional fixed point theorem

Given $\epsilon > 0$ and $f : [0, 1]^{\omega} \rightarrow [0, 1]^{\omega}$, can we find $x$ such that $x \in \textrm{Conv}\left( \left\{f(y) : ||y - x||_{\infty} < \epsilon\right\}\right)$? In ...
2
votes
2answers
169 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 ...
10
votes
1answer
371 views

convexity of images of space-filling curves

Suppose $f:[0,1]\to[0,1]^2$ is continuous and for each $t\in[0,1]$, the area of $\lbrace f(s) : 0\le s\le t \rbrace$ is $t$. For what sets of values of $t\in[0,1]$ can $\lbrace f(s) : 0\le s\le t ...
23
votes
4answers
1k views

is f a polynomial provided that it is “partially” smooth?

Let $f$ be a $C^\infty$ function on $(c,d)$ ,and let $O=\cup_{n\in \mathbb{Z}^+} (a_n,b_n)$ where $(a_n,b_n)$ are disjoint open interval in $(c,d)$ and $O$ is dense in $(c,d)$. Suppose for each $n\in ...
8
votes
1answer
339 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
133 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 ...
7
votes
1answer
270 views

Ultralimit versus partial limit

Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$. A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique ...