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

learn more… | top users | synonyms (2)

2
votes
1answer
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
3answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
0answers
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
2answers
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
0answers
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
2answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
3answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
3answers
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
1answer
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
0answers
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
2answers
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
2answers
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
0answers
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
3answers
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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
2answers
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
1answer
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 ...