# Tagged Questions

**1**

vote

**1**answer

37 views

### Problem about the existence of a continuous surjective map

Let $F$ be a closed set in $\Bbb R^2$, $F\neq \varnothing,\Bbb R^2$, and $F^\circ\neq \varnothing$,
does there exist a continuous surjective map from $\Bbb R\times \Bbb Z$ to $F^{\circ-}-F^\circ$？

**5**

votes

**1**answer

91 views

### Does the property of being a local homeomorphism descend through split surjections?

Let $f : X \to Y$ and $g : Y \to Z$ be continuous maps (between topological spaces). Assume these hypotheses:
$f : X \to Y$ is a split surjection, i.e. has a section.
$g \circ f : X \to Z$ is a ...

**2**

votes

**2**answers

90 views

### If $X$ is compact, is $[X]^2$ compact, too?

Let $(X,\tau)$ be a Hausdorff space. Let $[X]^2 = \big\{\{x,y\}: x,y\in X \land x\neq y\big\}$. For $U,V\in \tau$ with $U\cap V = \emptyset$ we set $[U,V] = \big\{\{x,y\} \in [X]^2: x\in U\land y\in ...

**0**

votes

**0**answers

98 views

### How to give a $\Delta$-complex structure?

The quotient space of a finite collection of disjoint 2-simplices obtained by identifying pairs of edges is always a surface,locally homeomorphic with $\mathbb{R^2}$.
But I am not able to prove , ...

**5**

votes

**3**answers

233 views

### Hausdorff space $X$ with $X\cong [X]^2$

Let $(X,\tau)$ be a Hausdorff space. Let $[X]^2 = \big\{\{x,y\}: x,y\in X \land x\neq y\big\}$. For $U,V\in \tau$ with $U\cap V = \emptyset$ we set $[U,V] = \big\{\{x,y\} \in [X]^2: x\in U\land y\in ...

**5**

votes

**1**answer

104 views

### Example of a $G$-sphere that is not a $G$-representation sphere

Let $G$ be a finite group with the discrete topology. To set terminology:
a $G$-sphere is a sphere equipped with a continuous $G$-action
a $G$-representation sphere is a $G$-sphere obtained from an ...

**4**

votes

**2**answers

608 views

### Polish by compact is Polish?

Let $X,Y$ be separable and metrizable, with $Y$ Polish, and suppose there is a topological quotient map $f:X\to Y$ with compact fibers. Is $X$ Polish?
I have a specific space in mind, so if the ...

**1**

vote

**1**answer

39 views

### Intersection of complements of connected components (2)

Let $(X,d)$ be a non-compact, complete metric space and $K\subseteq X$ compact. Pick $x^* \in X\setminus K$.
Let $E$ be the connected component of $X\setminus K$ that contains $x^*$. Let ${\cal C}$ ...

**3**

votes

**1**answer

21 views

### Intersection of complements of connected components

Let $(X,\tau)$ be a topological space, $S\subseteq X$ such that there is $x^*\in X\setminus S$.
Let $E$ be the connected component of $X\setminus S$ that contains $x^*$. Let ${\cal C}$ be the ...

**4**

votes

**2**answers

162 views

### Closure of the graph of a function

Let $X_1, X_2$ be non-empty sets and let $R\subseteq X_1\times X_2$ such that for all $x\in X_1$ there is $y\in X_2$ such that $(x,y)\in R$.
Are there topologies $\tau_i$ on $X_i$ for $i=1,2$ and a ...

**3**

votes

**0**answers

56 views

### Meager subgroups of compact groups

Suppose we have an infinite compact (Hausdorff) group $G$, and a subgroup $H\leq G$ which is meagre.
Can $H$ always be covered by a countable family of nowhere dense sets $H_n$ such that $H_n^2$ is ...

**0**

votes

**0**answers

47 views

### Idempotent ideal in ring of continuous functions

Is there any equivalence conditions under which an ideal $I$ in ring of continuous functions be be an idempotent ideal?

**-1**

votes

**0**answers

33 views

### Uniform space structures of different metric on the same space

I started learning about uniform spaces and I got confused with the uniform structures and its relation to metric spaces. I am not sure when different metric structures on the same space produce ...

**-2**

votes

**0**answers

139 views

### Is this set possibly compact?

Given $\epsilon\in(0,1)$, suppose we have collection $\mathscr{C}(\epsilon)$ of multilinear polynomials in $\Bbb R[x_1,\dots,x_n]$ that on $\{0,1\}^n$ is in range $[-\epsilon,\epsilon]$ on $S_0$ while ...

**0**

votes

**1**answer

80 views

### Is the space of smooth maps $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology locally compact, if $M$ is compact

The title says it all:
Let $M$ be a compact manifold and $N$ a (possible non compact) manifold. Equip the space of smooth functions $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology. (The ...

**3**

votes

**0**answers

96 views

### Inverse limit in shape theory

Is the shape theory of Hausdorff compact spaces complete with respect to the inverse limit operation?--complete means that for every inverse system of Hausdorff compact spaces, and the shape morphisms ...

**-1**

votes

**0**answers

35 views

### Which spaces admit bump functions? [migrated]

Let me first fix terminology. Let $X$ be a topological space and $A\subseteq B\subseteq X$ be subsets.
Let's say X admits a bump function relative to $A\subseteq B$ if there's a continuous function ...

**3**

votes

**1**answer

86 views

### Measurability and continuity for general topological spaces

Let $(X,\tau)$ be a topological space. We call $S\subseteq X$ saturated if $S=\bigcap\{U\in\tau: U\supseteq S\}$. Let $\sigma(X,\tau)$ be the $\sigma$-algebra generated by $\tau\cup\{K\subseteq X: K ...

**3**

votes

**1**answer

140 views

### Fixed point property for intersection of spaces which are homeomorphic to a disk

The following question is question 9.8 from Miller's paper ``Some interesting problems
'':
Question Suppose $D_n$ a subset of the plane is homeomorphic to a disk and for every
$n\in \omega, ...

**3**

votes

**0**answers

62 views

### Idempotent relations on the unit square with closed graphs

A colleague and I are interested in idempotent relations from $I=[0,1]$ to $I$ - relations such that $R\circ R(x)=R(x)$ for all $x\in I$. Specifically, the graphs of the relations we care about must ...

**4**

votes

**2**answers

264 views

### The classifying space of an infinite totally ordered set is contractible

I asked this question on math.stackexchange, but no one answered.
Let $(X,\le)$ be a totally ordered set. Regarding it as a category, it has a classifying space $B(X,\le)=|N_\bullet(X,\le)|$. This ...

**5**

votes

**1**answer

107 views

### TVS with null topological dual space

In that post, I give an example of a TVS for which the topological dual is equal to $0$. But in the example, there is no open convex subset different from the empty set or the space itself.
Do you ...

**3**

votes

**2**answers

163 views

### Examples of TVS with no non-trivial open convex subsets

I give here the classical example of the space $E = L^p([0,1])$ which has no open convex subsets apart from $\emptyset$ and $E$. Consequently, there is no non-trivial continuous linear form on $E$.
...

**0**

votes

**0**answers

75 views

### Relative characteristic classes

Let $M$ be a complex manifold of complex dimension $n$ with $\mathcal{N}_{1}$ and $\mathcal{N}_{12}$ be sheaves on $M$ such that $\mathcal{N}_{12} \subset \mathcal{N}_{1}$ (subsheaf) . Set ...

**-3**

votes

**1**answer

168 views

### Loop space of manifold [closed]

Question A: The free loop space of a manifold is also a manifold?
Question B: The free loop space of an algebraic variety is also a algebraic variety ?
Are these questions asked or answered anywhere ...

**3**

votes

**2**answers

286 views

### Smooth paths on affine varieties

I have the following question which is in some way related to an application of Randell Isotopy Theorem to complex hyperplane arrangements.
Let $h,k\geq1$ be integer numbers and let ...

**28**

votes

**0**answers

679 views

### Bidi: A new cardinal characteristic of the continuum?

This question assumes familiarity with combinatorial cardinal
characteristics of the continuum.
Identify an infinite set $a\subseteq\mathbb{N}$ with its increasing
enumeration. Thus, for each natural ...

**4**

votes

**0**answers

110 views

### The dominating number $\mathfrak{d}$ and convergent sequences

All spaces considered below are compact Hausdorff.
If $K$ is a space, then $w(K)$ is its weight. For a Boolean algebra $\mathcal{A}$, $K_\mathcal{A}$ denotes its Stone space. I am interested in ...

**0**

votes

**0**answers

89 views

### Can the image of a disk have nontrivial Hausdorff measure for $1 < d < 2$?

I am reading a blog which talks about a $C^1$ diffeomorphism $f: \mathbb{D}\{ x^2 + y^2 < 1\} \to \mathbb{R}^2$ and estimates the Hausdorff dimension of its image $\mathcal{H}_\sqrt{2}^d ...

**5**

votes

**1**answer

98 views

### In the category of uniform spaces, is the completion of a quotient map also a quotient map?

I asked this question about 2 months ago on math.stackexchange, but so far I received neither comments nor answers.
Let $X$ and $Y$ be two Hausdorff uniform spaces. A surjective uniformly continuous ...

**3**

votes

**0**answers

80 views

### Partition refinement of a clopen covering in $\Box (\omega+1)^\omega$

Consider $\omega+1$ with the interval topology, that is $U\subseteq (\omega+1)$ is open if and only if $U\subseteq\omega$ or $(\omega+1)\setminus U$ is finite.
We write $(\omega+1)^\omega$ for the ...

**5**

votes

**0**answers

194 views

### Intersections of open balls in manifolds

This question is motivated by the post Uncountable intersections of open balls in a separable metric space.
The general problem is the following: given a connected Riemannian manifold $M$, what are ...

**4**

votes

**1**answer

149 views

### Uncountable intersections of open balls in a separable metric space

Let X be a separable metric space, possibly assumed to be complete, and $B_i, i \in J$ an infinite collection of open balls. Is it true that there always exists a countable subset K of J such that the ...

**0**

votes

**1**answer

74 views

### Connectedness of the complements of the connected subsets

EDIT: My original foolish version was instantly destroyed by Dylan Thurston; it consisted of questions 1 & 2 below. Thus now only new question 0 remains to be answered.
Let $\ X:=M^n\ $ be a ...

**8**

votes

**1**answer

185 views

### Contractible and Delta-generated implies strong deformation retract to a point?

If a CW-complex is contractible, then it strongly deformation retracts onto the inclusion of a point.
However for general spaces it is well-known that just because a space is contractible, it does ...

**2**

votes

**1**answer

102 views

### Zero-dimensional spaces and clopen separations

Let $X$ be a topological space. (All of the spaces I'm considering are $T_0$, but in general they are not $T_1$. To be even more concrete, one can even consider $X={\rm Spec}(R)$ to be the space of ...

**-4**

votes

**0**answers

54 views

### Are mappings f(a, x) and f(b, x)-c conjugate for some parameter values a, b, and c?

More precisely, what assumptions on f must hold for the above maps to be conjugate?
We know that functions $f$ and $g$ are topologically conjugate, if there exists a homeomorphism $h$ such that ...

**0**

votes

**1**answer

117 views

### Union of connected sets

$\forall \beta \in I$, $A_{\beta }$ is connected, and $\left ( \bigcup_{\alpha < \beta }A_{\alpha } \right )\cap A_{\beta }\neq \varnothing$ . Is $\bigcup_{\alpha \in I}A_{\alpha } $connected?
For ...

**-1**

votes

**1**answer

99 views

### Continuity of function mapping $\mathcal{P}(\mathcal{P}(X))$ to $\mathcal{P}(X)$ [closed]

Given a topological space $Y$, let $\mathcal{P}(Y)$ be the set of all probability measures on $Y$, endowed with the weak* topology.
Let $X$ be a topological space (for convenience, it might be Polish ...

**2**

votes

**1**answer

131 views

### Digital topology, animal problem, 2-sphere and torus

I have the following question relating digital topology, surfaces, particularly $S^2$ and torus.
Can a body $B$ constructed with cubes (without cavities or tunnels) and with frontier homeomorphic to ...

**2**

votes

**1**answer

84 views

### Priestley topologizability and connected components

This question is in the spirit of another older question.
We say that a poset $(P,\leq)$ is Priestley-topologizable if there is a topology $\tau$ on $P$ such that $(P,\leq,\tau)$ is a Priestley ...

**12**

votes

**1**answer

600 views

### What if homotopy were expanded to allow any connected space instead of [0,1]?

What would happen to homotopy theory if we used a more general definition of homotopy, based on general connected spaces rather than [0,1]?
Given continuous $f,g:X\to Y$, define $f$ and $g$ to be ...

**4**

votes

**1**answer

181 views

### The subbase theorem for total boundedness

The uniform space analogue of Alexander's subbase lemma on compact subbase is (As we know, Alexander subbase lemma can be used to prove Tychonoff's theorem) :
Let $(X,\mathcal{U})$ be a uniform ...

**2**

votes

**0**answers

71 views

### convergence of integral for each bounded function in probability

Let $\mu, \mu_1, \mu_2, \dots$ be random measures on
a Polish space (separable completely metrizable topological space) $(S, {\mathcal S})$.
Suppose I know that
$$\int f d \mu_n \to \int f d\mu$$
...

**2**

votes

**0**answers

67 views

### Non-compact and maximal non-$T_2$ [migrated]

Is there a space $(X,\tau)$ that is not compact, not $T_2$, but for every topology $\tau'\supseteq \tau$ with $\tau'\neq\tau$ the space $(X,\tau')$ is $T_2$?

**5**

votes

**2**answers

162 views

### Extending hyperconnected spaces

A hyperconnected space is a topological space such that every two non-empty open sets have non-empty intersection. Let's call a space $(X,\cal{T})$ maximally hyperconnected if it is hyperconnected and ...

**21**

votes

**2**answers

1k views

### Why should have Peter May worked with CGWH instead of CGH in “The Geometry of Iterated Loop Space”?

This is a follow-up to Dan Ramras' answer of this question.
The following correction can be found in the errata to The Geometry of Iterated Loop space (Page 484 here).
The weak Hausdorff rather ...

**3**

votes

**2**answers

105 views

### Minimal Hausdorffness reversed

It turns out that not every Hausdorff topology is contained in a minimal Hausdorff topology. Let's put this question on its head: is every non-$T_2$ topology contained in a topology that is maximal ...

**1**

vote

**0**answers

75 views

### Two questions on hyperspace of a metric space

Let $(X,T)$ be a compact metrizable space. For every metric $d$ on $X$ which is $T-$ compatible, the Hausdorff metric on $2^{X}$ gives a topology on $2^{X}$.
(Up to homeomorphism) is this topology ...

**2**

votes

**0**answers

51 views

### Is the order convergence topology on a poset always Hausdorff?

In this post two topologies on a poset $(P,\leq)$ were defined: the interval topology $\tau_i(P)$ and the order convergence topology $\tau_o(P)$. It turns out that $\tau_i(P)$ is always $T_1$ and ...