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

learn more… | top users | synonyms (2)

3
votes
1answer
68 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
1answer
61 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
0answers
205 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 ...
3
votes
1answer
203 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
0answers
69 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
1answer
192 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
1answer
218 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
1answer
206 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
3answers
228 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
1answer
172 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
0answers
122 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
0answers
95 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
1answer
477 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 ...
4
votes
1answer
176 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
1answer
144 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
1answer
127 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
0answers
162 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
2answers
203 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
1answer
329 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$?
5
votes
2answers
256 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
2answers
262 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
0answers
119 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
1answer
89 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
2answers
226 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
0answers
123 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
3answers
524 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
0answers
84 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
1answer
223 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 ...
6
votes
0answers
140 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
1answer
81 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
1answer
121 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
3answers
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
0answers
144 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
3answers
297 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
130 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
646 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
1answer
52 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
1answer
31 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
2answers
187 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
1answer
259 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
75 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
1answer
139 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
109 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
vote
1answer
112 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 ...
0
votes
0answers
23 views

Abelian subgroups of the automorphism group of a totally disconnected LCA group

I am interested in the following question. Suppose that $A$ and $B$ are LCA groups and $B$ acts continuously on $A$ by topological automorphisms. If $f$ is a Schwartz function on $A$, then we want to ...
3
votes
1answer
230 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, ...
4
votes
1answer
85 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
318 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
123 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
180 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$. ...