# Tagged Questions

**2**

votes

**1**answer

157 views

### Is the set of entire functions Borel in the space of analytic functions?

$\def\bbR{\mathbb R}\def\bbC{\mathbb C}\def\scrT{\mathscr T}\def\ssp{\kern.4mm}
$More specifically, I ask whether $S$ be a Borel set in the topological space $(\Omega,\scrT)$ in the following ...

**12**

votes

**3**answers

280 views

### Is a certain subset of the disc a convex set?

Some one asked me this question and I thought about it and I don't have any good idea to solve that. Can some one help me and give me an idea to start solve that?
Draw a Cantor set $C$ on the circle ...

**8**

votes

**0**answers

133 views

### Which nice subcategories of $\mathsf{Top}$ are locally cartesian closed?

For a class $\mathcal{J}$ of topological spaces, let $\mathsf{Top}_\mathcal{J}$ denote the category of $\mathcal{J}$-generated spaces, i.e. those spaces $X$ such that $U\subseteq X$ is open iff ...

**1**

vote

**0**answers

223 views

### The closure of a set of closed points

Let $X $ be a compact non-Hausdorff topological space with the following property: for every infinite subset of closed points, say $\{x_i\}_{i \in I}$, there exists $j\in I$ such that $x_j$ is in the ...

**1**

vote

**1**answer

73 views

### The separated uniform space associated with $(X,\mathfrak{U})$

If $\mathfrak{U}$ is a not necessarily separated uniform structure for some set $X$, then an equivalence relation $R$ can be introduced on $X$ by letting $x R y$ provided $(x,y)\in U$ for every $U\in ...

**2**

votes

**1**answer

112 views

### Is the complement of the ends of a manifold bounded?

Let $M$ be a connected manifold with precisely $k$ ends $\epsilon_1,...,\epsilon_k$. Choose a collection $(U_i)_{i=1}^k$ of pairwise disjoint open $\epsilon_i$-neighborhoods. Then I wonder how to ...

**2**

votes

**1**answer

174 views

### Can we Characterise Rings of Continuous Functions?

Suppose $K$ is some nice space, for example $\mathbb R$ or $\mathbb C$. Let $X$ be a set and $C$ a ring of functions $X \to K$. Is there any way to determine, from the algebraic structure of $C$, ...

**2**

votes

**3**answers

255 views

### Classification of open subset of $\mathbb{R}^{3}$ [closed]

There is a theorem which gives a classification of connected open sets of $\mathbb{R}^{2}$. Unfortunately, I don't remember the correct statement, but it looks like this
Theorem ? Let ...

**6**

votes

**1**answer

321 views

### all subsets borel

Assume Martin's axiom plus $\neg CH$. It is well known, via almost disjoint forcing, that every set of reals of size less than continuum is an example of a metric space whose subsets are all ...

**5**

votes

**1**answer

243 views

### Which Banach spaces are realcompact?

I have a question about the topological space underlying a Banach space.
A topological space $X$ is realcompact iff it is homeomorphic to a closed subset of an infinite product of the form $\mathbb ...

**0**

votes

**1**answer

66 views

### Complement of a finite union of convex sets

Question. Let $V_1,\ldots,V_n$ be open, bounded and convex subsets of $\mathbb R^2$. Show that $F=\mathbb R^2\smallsetminus\bigcup_{i=1}^n V_i$ possesses only finitely many connected components.
I ...

**1**

vote

**2**answers

140 views

### How do I prove that compact-open topology is metrizable?

Let $X$ be a $\sigma$-compact topological space and $(Y,d)$ be a metric space.
Let $\{K_n\}$ be a sequence of compact subsets of $X$ whose union is $X$.
Define $\rho_n(f,g):=\sup \{d(f(z),g(z)): ...

**2**

votes

**2**answers

183 views

### Existence of a continuous section

Let $f\colon X\to Y$ be a surjective continuous map between two topological spaces such that $X,Y$ are path-connected and such that every fibre $f^{-1}(y)$ is connected, for each $y\in Y$. Is there ...

**3**

votes

**1**answer

88 views

### Homotopy equivalence of maps with compact support and maps which vanish at infinity

Let $X$ be a nice space, maybe a manifold, and let $Y$ be a based space.
What sort of conditions must we impose on $Y$ (and $X$ if need be) to get a homotopy equivalence
$$
\mathcal C_c(X,Y) \simeq ...

**5**

votes

**0**answers

74 views

### Minimal Hausdorff topologies compatible with a bunch of functions

Let $X$ be an infinite set, let ${\cal F}$ be a set of functions $f: X\to X$. We say that a topology $\tau$ is compatible with ${\cal F}$ if every $f\in {\cal F}$ is a continuous function $f:(X, ...

**4**

votes

**2**answers

260 views

### Is any function taking compact sets to compact sets, and connected sets to connected sets, necessarily continuous? [closed]

It is well-known that continuous image of any compact set is compact, and that continuous image of any connected set is connected.
How far is the converse of the above statements true?
More ...

**12**

votes

**0**answers

159 views

### Do the Laver tables converge to the Sierpinski triangle with a line segment sticking out in the hyperspace topology?

Let $(\{1,...,2^{n}\},*_{n})$ denote the $n$-th Laver table.
Let
$$C_{n}=\{(\frac{x}{2^{n}},\frac{x*_{n}y}{2^{n}})|x,y\in\{1,2,3,...,2^{n}\}\}$$
for all $n\in\mathbb{N}$.
Then since $C_{n}$ is a ...

**6**

votes

**2**answers

246 views

### The role of the index set in the product of uncountably many topological spaces

Let $\langle X_i,\mathcal{T}_i \rangle_{i\in I}$ be a family of topological spaces. Consider $X=\prod_{i\in I} X_i$ with product topology.
Question. Is there a topological property that holds in ...

**2**

votes

**1**answer

192 views

### Is it true that given any two point in $M$ if there exists an unique geodesic joining those two points, then $M \sim \mathbb{R^n}$ [closed]

This following doubt initially came to my mind while thinking the relationship between number of genus of a manifold and number of geodesic between given two points.
DOUBT: Suppose $M\subset ...

**8**

votes

**1**answer

129 views

### Embedding abelian cancellative Hausdorff topological semigroups into abelian Hausdorff topological groups

An abelian cancellative semigroup embeds (via a semigroup monomorphism) into an abelian group. What about an abelian cancellative Hausdorff topological semigroup that does not embed (via a ...

**6**

votes

**2**answers

74 views

### Closed field lines in the plane

A dipole in the plane consists of a positive charge P and an equal and opposite negative charge N separated by a fixed distance . Almost all of the resulting electric field lines (which fill the ...

**0**

votes

**0**answers

96 views

### Extension of continuous and smooth functions

Let us consider any subset $U \subset \mathbb{R}^{n}$. By definition, a function $f: U \rightarrow \mathbb{R}^m$ is smooth if, for every $x \in U$, there exist an open neighbourhood $\Omega_{x}$ of ...

**6**

votes

**1**answer

93 views

### Countable subcover of half-open cylinders

While preparing a lecture on dynamic programming principle in optimal stochastic control after the book of Touzi, I discovered a gap in the proof of DPP (page 28 of the book).
Here I simplify the ...

**39**

votes

**3**answers

1k views

### Duality between Compactness and Hausdorffness

Consider a non-empty set $X$ and its complete lattice of topologies
(see also this thread).
The discrete topology is Hausdorff. Every topology that is finer than a Hausdorff topology is also ...

**3**

votes

**0**answers

77 views

### When closed subsets have finitely many connected componenets

Let $X$ be topological space such that every its closed subset has finitely many connected componenets. Is there any charactrization for such topological space?

**9**

votes

**1**answer

403 views

### Is Max (R) a Hausdorff space?

I asked the following question at < http://math.stackexchange.com/questions/1508168/is-max-r-a-hausdorff-space >, but I pose it here for any help.
Recall a space is totally disconnected if the ...

**2**

votes

**0**answers

98 views

### Notion of convergence on a dense subset

My motivation for this question is as follows.
Consider the set $D$ of cadlag functions on $(0,1)$ and its subset $D^\uparrow$ of non-decreasing cadlag functions.
Each $f \in D$ has at most countably ...

**5**

votes

**2**answers

149 views

### Existence of non-homeomorphic pair of bijectively related closed subsets in $\mathbb{R}$

I want to find two closed, non-homeomorphic subsets $A$ and $B$ of $\mathbb{R}$ (with subset topology), with the property that there exist two continuous bijections
$$f:A\to B,~~~~g:B\to A.$$
Clearly ...

**11**

votes

**1**answer

226 views

### A generalization of residual finiteness to topological groups

Consider the following generalization of residual finiteness to
topological groups.
A locally compact Hausdorff group $G$ is called residually compact if
for every compact $K \subseteq G$ there is a ...

**2**

votes

**0**answers

109 views

### Divisible fundamental group [duplicate]

I apologize if this question seems trivial or elementary. Is there any concrete topological space with divisible fundamental group? For example, is there any such a space the fundamental group in ...

**4**

votes

**3**answers

192 views

### A natural embedding of the total space of tautological bundle over $G(2,n)$ in $G(2,n+1)$

I learned from the following post that the total space of the tautological line bundle over $\mathbb{R}P^{n}$ is diffeomorphic to $\mathbb{R}P^{n+1}\setminus \{pt\}$.(There is a natural ...

**5**

votes

**1**answer

83 views

### Hausdorff open image of a Polish space

Let $f\colon X\to Y$ a continuous open and surjective function, where $X$ is Polish.
It is known that $Y$ is Polish if: $f$ is closed or $Y$ is metric.
Suppose that we know that $Y$ is Hausdorff, ...

**17**

votes

**0**answers

401 views

### The cofinality of $(\mathbb{N}^\kappa,\le)$ for uncountable $\kappa$?

For a partially ordered set $P$, a set $A\subseteq P$ is cofinal if for each element of $P$ there is a larger element in $A$. The cofinality of $P$, ${\rm cof}(P)$, is the minimal cardinality of a ...

**10**

votes

**2**answers

373 views

### In CGWH, is every cofibration an inclusion with closed image?

As the title suggests, in CGWH, is every cofibration an inclusion with closed image?

**9**

votes

**2**answers

241 views

### Two questions about the “grasp” cardinal function

For a topology $\mathcal{T}$ on a set $S$, where $\mathcal{T}$ does not have a finite base, I define the grasp $g(\mathcal{T})$ to be the least infinite cardinal $\kappa$ such that $\mathcal{T}$ has a ...

**7**

votes

**0**answers

74 views

### Locales satisfying DC?

Is there a nice (topological) characterization of the locales such that the axiom of dependant choices holds in the internal logic of the topos of sheaves ? I would also be interested in the case of ...

**5**

votes

**3**answers

108 views

### A Mackey-Ahrens theorem for uniform spaces?

Let $X$ be a uniform space and $F(X)$ the vector space of all uniformly continuous real-valued functions over $X$. It is possible to express every bounded uniform semimetric $d$ on $X$ as $d(x,y) = ...

**5**

votes

**1**answer

181 views

### Existence of a non-null-homotopic simple closed curve

Assume that $X$ is a path-wise connected Hausdorff space, and assume that its fundamental group is non-trivial. Does it always exist a simple curve in $X$ which is non-null-homotopic?
Such curve does ...

**19**

votes

**3**answers

393 views

### Which partitions of $[0,1]$ are collection of level sets of a real continuous function?

Let $f:[0,1]\to[0,1]$ be given. The level sets of $f$ (ie the collection of all sets of the form $\{x\in[0,1]:f(x)=y\}$, for each fixed $y\in[0,1]$) partition the domain of $f$. I am curious for set ...

**1**

vote

**1**answer

98 views

### “Immovable” topological spaces

Let $(X,\tau)$ be a topological space. We define the "moving" relation by setting $$ x \simeq_m y \text{ iff there is a homemomorphism }\varphi: X\to X \text{ such that } \varphi(x) = y.$$
Clearly ...

**5**

votes

**1**answer

141 views

### Closeness graph of a topological space

Let $(X,\tau)$ be a topological space. We say that $x, y \in X$ are close if for every neighborhood $U$ of $x$ and $V$ of $y$ we have $U\cap V \neq \emptyset$. Let $E$ be the set of $\{x,y\}$ where ...

**7**

votes

**1**answer

217 views

### Can we recover a topological space from the collection of Borel probability measures living on it?

Let $(X, \tau)$ be a topological space, and $\mathcal{P}(X, \tau)$ be the Borel probability measures living on $X$. Can we recover $(X, \tau)$ from $\mathcal{P}(X, \tau)$?

**3**

votes

**1**answer

120 views

### What's the topology on the mapping space $Map_H(G, Y)$ when $G$ is not finite

When $G$ is a finite group and $H$ a closed subgroup of it, the sets of right cosets $H\backslash G$ has the discrete topology on it. Let $Y$ be a $H-$space. We have the $G-$homeomorphism ...

**3**

votes

**0**answers

76 views

### How Universal is the Topological $\mathbb K$-algebra $C(\Omega, \mathbb K)$?

For $\Omega$ an arbitrary set the family $C(\Omega, \mathbb K)$ of all functions $\Omega \to \mathbb K$ becomes a complete topological $\mathbb K$-algebra under the topology of uniform convergence. ...

**5**

votes

**1**answer

253 views

### Is $\beta \mathbb{D}\setminus \mathbb{D}$ a group?

NB the original question asked about $\beta\mathbb{D}$ rather than the corona, hence some of the initial comments.
Is there a group operation on $\beta \mathbb{D} \setminus \mathbb{D}$ extending ...

**12**

votes

**0**answers

217 views

### A meager subgroup of the real line, which cannot be covered by countably many closed subsets of measure zero?

Is there a ZFC-example of a subgroup $H$ of the real line $\mathbb R$ such $H$ is meager, has zero Lebesgue measure, but cannot be covered by countably many closed subsets of measure zero in $\mathbb ...

**1**

vote

**1**answer

72 views

### Open cover not containing a certain subcover

Is there an infinite topological space $(X,\tau)$ with the following property?
There is an open cover ${\cal U}^*$ such that
$X\notin {\cal U}^*$;
every finite subset $F\subseteq X$ is contained in ...

**3**

votes

**2**answers

356 views

### Cup product of cohomology in a Serre spectral sequence

How to use Serre spectral sequence to compute cup product structures?
Let $F\to E\to B$ be a fibration. Suppose all the differentials of the corresponding Serre spectral sequence of cohomology are ...

**8**

votes

**2**answers

579 views

### Surreal compactness

In a comment here, Joel David Hamkins said:
...I think perhaps every set-sized open cover of a bounded interval in the surreals has a finite subcover, but there are proper class open covers with ...

**3**

votes

**1**answer

155 views

### Universal covering and double cover functors

Initially posted on MSE
Let $\mathsf{CW}$ be the category of CW-complexes and $\mathsf{CW}_*$ that of pointed CW-complexes (possibly disconnected, one basepoint in each component). I would like to ...