Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

learn more… | top users | synonyms (2)

1
vote
1answer
41 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
1answer
96 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
3answers
150 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
0answers
100 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
3answers
241 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
1answer
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
2answers
609 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
1answer
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
1answer
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
2answers
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
0answers
58 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
0answers
48 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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
87 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
1answer
142 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
0answers
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
2answers
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
1answer
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
2answers
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
0answers
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
1answer
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
2answers
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
0answers
682 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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
199 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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
100 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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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$$ ...
5
votes
2answers
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
2answers
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
2answers
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
0answers
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
0answers
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 ...
6
votes
2answers
162 views

Does every locally compact Hausdorff space admit a locally finite open covering by relatively compact sets?

Let $X$ be a locally compact Hausdorff space. Does there exist a locally finite open covering consisting of relatively compact sets?