**4**

votes

**2**answers

339 views

### Is a specific sequentially closed subset of $M([0,1])$ closed?

Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all ...

**4**

votes

**4**answers

264 views

### When is the boundary of an open planar set a Jordan curve?

Is the boundary of an open, regular, bounded, path-connected, and simply connected set a Jordan curve?
Trying to find weakest condition on an open bounded set to apply Carathéodory's theorem.
My ...

**3**

votes

**2**answers

99 views

### Given $x$ in a path-connected open set $S$ on the plane, are there non-crossing paths from $x$ to every point in $\partial S$?

A have a (non-simply) bounded path-connected open set $S\subset\mathbb{R}^2$.
Given $x\in S$, there are paths in $S$ from $x$ to any point in the boundary $\partial S$.
However, can all these paths ...

**0**

votes

**1**answer

41 views

### Compact $R_1$-spaces

A space $(X,\tau)$ is said to be $R_1$ if for all $x,y\in X$ with $cl(\{x\}) \neq cl(\{y\})$, there are disjoint open sents separating $cl(\{x\})$ and $cl(\{y\})$.
If $X$ is compact and $R_1$, does ...

**1**

vote

**0**answers

34 views

### Decomposition which is locally connected

It is possible construct a connected compact metric space $X$ and a continuous decomposition $\mathcal{G}$ of $X$ that satisfies:
1)$X/\mathcal{G}$ is locally connected.
2)If $M$ is a compact ...

**3**

votes

**1**answer

188 views

### Largest symmetric matrix given rank

Let $\mathscr{M}[n,d]$ be collection of $n\times n$ symmetric matrices with real entries from $\{0,1\}$ such that every row/column is distinct with sum of every row/column being $d$.
What is minimum ...

**4**

votes

**2**answers

208 views

### Sets $X,Y \subset [0,1]$, stronger than being measure $0$, such that $X+Y = [0,2]$

A set $X\subset \mathbb{R}$ is called nice if for every $\epsilon > 0$ there are a
positive integer $k$ and $k$ bounded intervals $I_1,I_2,...,I_k$ such that
$X \subset I_1 \cup I_2 \cup ...

**0**

votes

**1**answer

49 views

### If $X$ has the “discrete” covering property, how about $X^2$?

We say that a space $X$ has covering property (C) if the following holds:
(C) For any open cover ${\cal U}$ of $X$ there is a closed discrete set $D\subseteq X$ and a map $\varphi: D\to {\cal U}$ ...

**3**

votes

**1**answer

64 views

### Can any $n$ dimensional (smooth, PL, topological) closed manifold be covered by $2^n$ pieces of $n$ dimensional real spaces?

For any $n$ dimensional closed manifold $M^n$, can we find an open covering $\{U_i\}_{i\in[2^n]}$ such that $M=\cup U_i$ and each $U_i\cong \mathbb R^n$? How about complex manifolds (replacing ...

**1**

vote

**1**answer

59 views

### Example of a collection of metacompact spaces with non-metacompact box-product

Is there an example of a family $(X_i)_{i\in I}$ of metacompact spaces, such that their box product $\prod_{i\in I}^{\textrm{Box}}X_i$ is not metacompact?

**0**

votes

**0**answers

191 views

### A question about the Leray-Serre spectral sequence

Suppose $F \to E \stackrel{p}{\to} B$ is a fibration with $B$ simply connected. The $E_2^{p,q}$ page of the Leray-Serre spectral sequence is given by $H^p(B;H^q(F))$. Suppose futhermore that $k$ is a ...

**2**

votes

**1**answer

161 views

### Implications between different covering properties of spaces

Let $X$ be a set. A set ${\cal C}\subseteq {\cal P}(X)$ is said to be a cover of $X$ if $\bigcup {\cal C} = X$ and $X\notin {\cal C}$.
If ${\frak U}$ and $\frak{W}$ are collections of covers of a ...

**0**

votes

**0**answers

62 views

### Minimum rank of certain matrices

Let $\mathscr{M}[n]$ be collection of $n\times n$ matrices with real entries from $\{0,1\}$ such that every row is distinct and every column is distinct.
What is minimum real rank of matrices in ...

**2**

votes

**1**answer

181 views

### Embedding uncountably many disjoint copies of the Cantor set in the interval [closed]

Is it possible to embed uncountably many copies of the Cantor set in the unit interval so that any two are disjoint?

**2**

votes

**1**answer

214 views

### A homeomorphism between total spaces with same fiber and base spaces not homotopic

Is there a counterexample to the following assertion?:
Let $p_1:E_1\to B_1$ and $p_2:E_2\to B_2$ be fibrations with the same fiber $\mathbb S ^1$ such that $E_1$ and $E_2$ are homeomorphic (and both ...

**1**

vote

**1**answer

190 views

### Class of functions between $C^{\infty}$ and $C^{\omega}$

I am always curious about that whether there exists a class of function which seems that more smooth than the $C^{\infty}$ class, while it is far from $C^{\omega}$ analytic function .
From my point ...

**4**

votes

**3**answers

213 views

### Which topological properties are preserved under taking box products?

Although the box topology is a topology worth studying and is similar to the strong topology in differential topology, the box topology is in many regards very badly behaved since the box product of ...

**6**

votes

**1**answer

161 views

### Is there a universal $\omega$-limit set?

For the purposes of this question, a dynamical system means a compact metric space $X$ together with a continuous map $f: X \to X$.
For $x \in X$, the $\omega$-limit set of $x$, denoted $\omega(x)$, ...

**2**

votes

**0**answers

111 views

### Space of continuous real-valued functions on $[0,1]^\omega$ with the weak and pointwise topology

Let $C([0,1]^\omega)$ denote the set of continuous functions $f:[0,1]^\omega \to \mathbb{R}$. We endow $C([0,1]^\omega)$ with two topologies. Let $\tau$ be the pointwise topology on $C([0,1]^\omega)$ ...

**0**

votes

**0**answers

90 views

### $T_2$-space $X$ with $X\cong \text{Aut}(X)$

Is there an infinite $T_2$-space $X$ with $X\cong \text{Aut}(X)$? (Here, $\text{Aut}(X)$ is the set of automorphisms $\varphi:X\to X$ and it carries the topology inherited from the product topology on ...

**13**

votes

**1**answer

452 views

### Avoiding countable subgroups of a group homeomorphic to the Cantor space

The following question is motivated by the paper
[Brian, Mislove, Every compact group can have a non-measurable subgroup].
A positive solution to a variation of the following problem implies a ...

**3**

votes

**1**answer

174 views

### Does the CGWH-fication change the (weak) homotopy type?

Let $Top$, $CG$, $WH$, $CGWH$ be the categories of topological spaces, compactly generated spaces, weak Hausdorff spaces and compactly generated weak Hausdorff spaces.
There is the CG-ification ...

**7**

votes

**1**answer

138 views

### Are maps homotopic with respect to a uniform number of local homotopies

I've encountered the following problem that I'm sure someone more topologically inclined can answer:
Say that a homotopy of maps $f:X\times[0,1)\to Y$ between two compact smooth manifolds $X$ and $Y$ ...

**0**

votes

**1**answer

109 views

### Borel subsets of Polish groups

Suppose that I have a polish group $G$ and two subsets $A$ and $B$ of $G$ such that: $A$ is open in $G$ and $B$ is closed in $G,$ from this, can I conclude that $AB$ is a Borel subset of $G$? if not, ...

**9**

votes

**0**answers

140 views

### A compact T1 topological space has a proper dense subset to which it is homeomorphic. What can be said about the space?

Let $X$ be a compact T1 (so singleton subsets are closed) topological space. Suppose that there is a proper subset $D \subset X$ such that:
$D$ is dense in $X$;
$D$ is homeomorphic to $X$.
Note ...

**4**

votes

**2**answers

189 views

### Exponential rule for Whitney-$\mathcal{C}^{\infty}$-topology

Let $M,N,X$ be smooth manifolds. Equip the space of smooth functions between two manifolds with the (strong) Whitney- $\mathcal{C}^\infty$-topology.
The evaluation map $$ev\colon ...

**11**

votes

**1**answer

317 views

### Non meager rectangle

Suppose $G \subseteq \mathbb{R}^2$ is dense $G_\delta$. Must there (in ZFC) exist non meager sets of reals $A, B$ such that $A \times B \subseteq G$?

**4**

votes

**2**answers

215 views

### Is the space of signed finite measures on a compact set $M([0,1])$ a sequential space?

Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all ...

**5**

votes

**2**answers

252 views

### Space $X$ such that $X^\lambda\cong X$ for some $\lambda$

Which cardinals $\lambda > 2$ have the following property?
There is a space $(X,\tau)$ such that
for all cardinals $\kappa$ with $1<\kappa<\lambda$ we have $X\not\cong X^\kappa$, and
...

**2**

votes

**0**answers

105 views

### Normed space that is sigma-totally-bounded but is not sigma-compact

Q1: Is there a separable normed space that is not sigma-compact, but is a countable union of
totally bounded closed subsets?
A test case is the space $C^1(I)$ with the $C^0$ norm where ...

**-2**

votes

**1**answer

86 views

### Can every non-discrete topological group G be algebraically generated by a nowhere dense subset?

Is there somone help me to show that if this problem have positive Answer :
Problem :Can every non-discrete topological group G be algebraically gen-
erated by a nowhere dense subset ?
Thank ...

**6**

votes

**2**answers

221 views

### Spaces that can't be embedded in the plane

If $X$ and $Y$ are topological spaces, let us write $X \preceq Y$ whenever $X$ embeds in $Y$.
Earlier today, I asked the question:
Is this a well-quasi-order on the completely metrizable spaces?
...

**5**

votes

**0**answers

117 views

### Homogeneous $\omega$-monolithic compact space

Under CH, is the cardinality of every homogeneous $\omega$-monolithic compact space
$X$ not greater than $2^{\omega}$?

**11**

votes

**3**answers

519 views

### The size of Lindelof space

Question. Suppose that $X$ is a Lindelof space such
that every point of $X$ is a $G_{\delta}$-point. Then is it true that $|X| ≤ 2^{\omega}$?

**1**

vote

**0**answers

76 views

### Monadicity of profinite algebras

We can show that the category of profinite algebras, cofiltered limits of finite algebras, is monadic over Stone spaces as follows. So, I wonder if there are any other examples.
In case that I was ...

**11**

votes

**1**answer

210 views

### Does Peano's existence theorem admits a constructive proof?

$$y(t)=y_0+\int_0^t b(y(s))ds$$ $b\in C(R^d)\cap L^\infty(R^d)$
The classical proof for Peano's existence theorem in ODE need use the Ascoli's theorem, so it's not constructive. When $d=1$, in the ...

**5**

votes

**0**answers

133 views

### Intersection of connected components in $\mathbb{R}^n$

Let $n$ be a positive integer and let $K\subseteq \mathbb{R}^n$ be compact. Pick $x^* \in \mathbb{R}^n\setminus K$.
Let $E$ be the connected component of $\mathbb{R}^n\setminus K$ that contains ...

**1**

vote

**1**answer

76 views

### Problem about the existence of a continuous surjective map [closed]

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

115 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 ...

**0**

votes

**3**answers

207 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

122 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 , ...

**3**

votes

**3**answers

284 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

121 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

640 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**

votes

**1**answer

50 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}$ ...

**1**

vote

**1**answer

30 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 ...

**2**

votes

**2**answers

179 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 ...

**9**

votes

**1**answer

249 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

68 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?

**0**

votes

**1**answer

117 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 ...