# Questions tagged [gn.general-topology]

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

**9**

votes

**0**answers

125 views

### A ZFC-example of a countably compact paratopological group which is not a topological group

Problem. Does there exist a ZFC-example of a countably compact Hausdorff paratopological group which is not a topological group?
(The problem posed 27 May 2015 by Alexander Ravsky on page 9 of Volume ...

**9**

votes

**0**answers

354 views

### Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$?

Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$?
Here $\mathfrak p$, $\mathfrak b$, $\mathfrak q$ are small uncountable cardinals:
$\mathfrak p$ is the ...

**9**

votes

**0**answers

350 views

### A new $\ell_p$-metric on the hyperspace of finite sets?

Let $(X,d)$ be a metric space and $Fin(X)$ be the family of all non-empty finite subsets of $X$. For every $n\in\mathbb N$ the elements of the power $X^n$ are thought as functions $f:n\to X$ where $n:=...

**9**

votes

**0**answers

213 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 $f^{-1}...

**9**

votes

**0**answers

300 views

### Embedding $\beta\mathbb{N}$ into a product of Cantor sets

Let us consider $\beta\mathbb{N}$, the Stone-Čech compactification of the natural numbers (where we do not take $0$ to be a natural number, so the only idempotent elements are nonprincipal ...

**9**

votes

**0**answers

519 views

### Standard model structures on $Top$

Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...

**9**

votes

**0**answers

286 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 that ...

**9**

votes

**0**answers

93 views

### A 2 dimensional Sharkovskii type Theorem

Does there exist a homeomorphism of $\mathbb{R}^2$ with a periodic point of period three and no fixed points? Note that according to a theorem from Brouwer such homeomorphism must be orientation ...

**9**

votes

**0**answers

218 views

### How much of general topology can be developed by taking the notion of “connected set” as the sole topological primitive

Let X be an infinite regular topological space which is connected and locally connected. If no point of X is a cut point, does X always have base of connected open sets whose complements (with respect ...

**9**

votes

**0**answers

217 views

### H-spaces without rational homology

Does there exist a simply connected, non-contractible manifold $M$, which is an $H$-space,
and whose rational homology groups vanish in positive degrees?
My space $M$ is in fact homotopy equivalent ...

**9**

votes

**0**answers

555 views

### Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?

Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...

**9**

votes

**0**answers

625 views

### Pseudocycle definition of open Gromov-Witten invariants

I decided my original question was unnecessarily long, and have edited to simply ask the desired question directly (the below is much more direct than my original post, though it may seem just as long!...

**9**

votes

**0**answers

401 views

### Quotients of topological groupoids

The issues that arise when moving from topological groups to topological groupoids are (at least to me) both subtle and interesting. Recently, I was reading a paper of R. Brown and J.P.L. Hardy from ...

**8**

votes

**0**answers

203 views

### Topological applications of $\mathfrak{p}=\mathfrak{t}$

I'm working on the Malliaris-Shelah's recent result of $\mathfrak{p}=\mathfrak{t}$, but I'm more interested in what possible topological applications can derivate from this equality.
Searching in ...

**8**

votes

**0**answers

202 views

### Universally meager spaces and large cardinals

Definition: (Todorcevic) A subset $A$ of a topological space $X$ is called universally meager if for every Baire space $Y$ and every continuous $f : Y \to X$ which is nowhere constant (not constant on ...

**8**

votes

**0**answers

191 views

### Is there a computable homeomorphism between two different Cartesian powers of the computable real numbers?

It's well know that it is surprisingly difficult to prove that $\mathbb{R}^n$ and $\mathbb{R}^m$ are not homeomorphic for $n\neq m$. Commonly proofs go through Brouwer's fixed point theorem, which is '...

**8**

votes

**0**answers

91 views

### Connected component optimization

For an open set $A\subset[0,1]^d$, denote the connected components of $A$ by $cc(A)$. Given a smooth symmetric function $f\colon[-1,1]^d\to\mathbb R$ with $f(0)>0$, I am interested in the ...

**8**

votes

**0**answers

107 views

### “Generic properties” of open neighborhood boundaries in compact metric spaces

Suppose we have a compact metric space $X$ with some designated point $a$ and closed set $B$ such that $a\notin B$. Let $A_0=\{a\}$ and $B_0 = B$. We'll play a game where on each player's turn they ...

**8**

votes

**0**answers

319 views

### Is the property of being a connected component local?

More precisely, my question is as follows: Let $X$ be a qcqs scheme, $Z \subset X$ a closed subscheme and assume that there exists an open affine subscheme $U \subset X$ containing $Z$ such that $Z$ ...

**8**

votes

**0**answers

140 views

### How should I try to imagine exotic smoothness in R4?

I am trying to wrap my mind around the concept of exotic smoothness in (and only in) $\mathbb{R}^4$.
I have some mathematical literature, but can anyone point to a semi-intuitive, semi-visual example?...

**8**

votes

**0**answers

193 views

### When can we force two frames to be homeomorphic?

Recall that if $M,N$ are two structures of the same type, then
$M$ is $\mathcal{L}_{\infty,\omega}$ elementarily equivalent to $N$ precisely when $M$ and $N$ are isomorphic in some forcing extension. ...

**8**

votes

**0**answers

87 views

### Local vs global homogeneity of topological spaces

I am interested in the relation between global and local homogeneity of topological spaces. On one extreme we have rigid spaces, i.e., topological spaces with trivial homeomorphism group.
Question. ...

**8**

votes

**0**answers

337 views

### Baire category of tall ideals

Problem. Is it consistent with ZFC that $\mathfrak t=\omega_1$ and each $\omega_1$-generated tall $P$-ideal is of the second Baire category?
(Asked 01.10.2016 by David Chodounsky at page 20 of Volume ...

**8**

votes

**0**answers

421 views

### Topologies on compactly supported functions

Let M be a (non-compact) smooth manifold and consider the set $C^\infty_c(M)$ of smooth real-valued functions with compact support. We can give this function space several topologies. Here are four:
...

**8**

votes

**0**answers

245 views

### Is every Polish ring topology on $\mathbb{C}$ defined by an absolute value?

There is a unique up to isomorphism algebraically closed field of characteristic 0 and cardinality of the continuum. Let's call it $K$.
We usually call it $\mathbb{C}$, but by this we impose a ...

**8**

votes

**0**answers

155 views

### Are there always large discrete families of normal measures?

Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...

**8**

votes

**0**answers

178 views

### Topology of family of complex varieties

It seems to be an oft-cited fact (which comes up, for instance, in describing vanishing/nearby cycles) that:
For a proper flat map $f \colon X \rightarrow \Delta$, where
$X$ is a complex algebraic ...

**8**

votes

**0**answers

222 views

### Remote points in $\beta X$

It is known that in general convergence by sequences is not enough to account for all points in $\beta X \setminus X$, where $\beta X$ refers to the Stone-Cech compactification of a topological space $...

**8**

votes

**0**answers

454 views

### Two questions about universally measurable sets

I have two questions about universally measurable sets:
(1) Is there a universally measurable set of reals which does not have the Baire property?
(2) Is there a universally measurable set of reals ...

**8**

votes

**0**answers

312 views

### Is there Ultracoproduct-like construction for topological spaces in general?

In
http://arxiv.org/pdf/math/9704205.pdf
they define the ultracoproduct of a sequence of compact Hausdorff spaces, $\sum_\mathcal{U}X_i$ along an ultrafilter $\mathcal{U}$ as the Wallman-Frink ...

**8**

votes

**0**answers

299 views

### Well-founded families of sets and topological convergence

Background/Motivation
A space is scattered if every non-empty subset has an isolated point. A space is pseudoradial if every non-closed set contains a transfinite sequence (a well-ordered net) ...

**8**

votes

**0**answers

413 views

### Is there in ZFC a topological space which is normal, ccc, countably compact, first countable and non-compact?

I am looking for a space as in the title and since many very similar spaces do exist in the literature, I wonder whether someone has a reference (different from the ones I cite below) or just some ...

**8**

votes

**0**answers

239 views

### Construct a topologically $\infty$-dimensional separable metric space.

But don't assume knowledge of any topological dimension theory. Here is a specific approach (an open problem):
Does there exist a separable metric space $X$ such that the following two conditions ...

**8**

votes

**0**answers

377 views

### Is the product of a discretely Lindelöf space with [0,1] discretely Lindelöf ?

A space $X$ is discretely Lindelöf iff given any discrete subset $D$ of $X$, its closure in $X$ is Lindelöf. Such spaces were introduced by Arkhangel'skii about 15 years ago (if I am not mistaken) ...

**8**

votes

**0**answers

781 views

### Is there a generalization of Brouwer's fixed point theorem?

In essence, this is the same problem as in
“The generalization of Brouwer's fixed point theorem?”.
But now I am determined to be careful. The main question is
the following:
Is there any ...

**7**

votes

**0**answers

230 views

### Does geometric realization commute with passing to the compactly generated topology?

My question is in the title, but here is a more detailed formulation:
Let Top be the category of all topological spaces and continuous maps, and let CGTop be the subcategory of compactly generated ...

**7**

votes

**0**answers

144 views

### On the cardinality of ccc spaces with a $G_\delta$-diagonal

In a recent MO post it was noted that Uspenskij's old example of a Tychonoff ccc space with a $G_\delta$ diagonal and arbitrarily large cardinality is not normal. See:
How could I see quickly that ...

**7**

votes

**0**answers

146 views

### Cellular-Lindelof: a common generalization of the Lindelof property and the CCC

All spaces are assumed to be Hausdorff. Recall that a cellular family in the space $X$ is a family of pairwise disjoint non-empty open subspaces of $X$. The cellularity of $X$ ($c(X)$) is defined as ...

**7**

votes

**0**answers

192 views

### Is each completely minimal topological group minimal?

A topological group $G$ is called
$\bullet$ minimal if it admits no strictly weaker Hausdorff group topology;
$\bullet$ completely minimal if it is Raikov-complete in each weaker Hausdorff group ...

**7**

votes

**0**answers

173 views

### Loop space functor and sequential colimits of inclusions

The question is about a fact that is mentioned as "evident" everywhere in the literature, so my guess is that some small detail is passing over my head. Here it is:
Let $X_0\hookrightarrow X_1 \...

**7**

votes

**0**answers

265 views

### When is the sigma-algebra generated by closed convex sets the same as the Borel sigma-algebra

For which topological vector spaces $E$ do we have the equality between the sigma algebra generated by the closed convex subsets of $E$ and the Borel sigma algebra of $E$ ?
More precisely, do we have ...

**7**

votes

**0**answers

219 views

### example of an n-transitive but not infinitely transitive group action on a space

Definition. An action of a group $G$ on a set $X$ is strongly $n$-transitive if $G$ acts transitively on $n$-tuples of distinct elements in $X$ (via the diagonal action), and is $n$-transitive if $G$ ...

**7**

votes

**0**answers

97 views

### Is there a normal non-collectionwise Hausdorff manifold?

In a 1990 paper*, M.E. Rudin writes (p.137),
So far as is known, normal manifolds may have to be collectionwise Hausdorff [cwH].
Since it holds whenever $V=L$, I understand that at that time, no ...

**7**

votes

**0**answers

112 views

### Is each Lindelof closed $\bar G_\delta$-set of a Tychonoff space functionally closed?

A subset $F$ if a topological space $X$ is called functionally closed if $F=f^{-1}(0)$ for some continuous map $f:X\to[0,1]$.
It is clear that each functionally closed set $F$ in $X$ is a closed $G_\...

**7**

votes

**0**answers

140 views

### Has a continuous map from $\kappa^\omega$ to $[0,1]^\omega$ a non-scattered fiber?

Question. Let $\kappa>\mathfrak c$ be a cardinal endowed with the discrete topology and $f:\kappa^\omega\to[0,1]^\omega$ be a continuous map. Is there a point $y\in[0,1]^\omega$ whose preimage $f^{-...

**7**

votes

**0**answers

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

**7**

votes

**0**answers

179 views

### Uniform approximation of separately continuous functions on zero-dimensional spaces

For topological spaces $X,Y,Z$ а function $f:X\times Y\to Z$ is called separately continuous if for any $(x,y)\in X\times Y$ the restrictions of $f$ to the sets $\{x\}\times Y$ and $X\times \{y\}$ are ...

**7**

votes

**0**answers

155 views

### Cutting a piece of cake that $n$ people value as exactly $w$

Stromquist and Woodall (1985) study the problem of Sets on which several measures agree. There are $n$ non-atomic value measures on the unit circle, and a parameter $w\in(0,1)$. The goal is to find a ...

**7**

votes

**0**answers

335 views

### Thom Class of tensor bundles

Suppose $\xi$ and $\eta$ are oriented vector bundles over a CW-complex $B$. Is it possible to express the Thom class (with ${\mathbb Z}$ coefficients) of $\xi\otimes \eta$ or even ${\rm Sym}^2(\xi)$ ...

**7**

votes

**0**answers

184 views

### Is $(\omega+1)^\omega$ with the box topology ultraparacompact?

Let $\omega+1$ be endowed with the interval topology, that is $U\subseteq (\omega+1)$ is open if $U\subseteq\omega$ or $(\omega+1)\setminus U$ is finite. We call $U\subseteq (\omega+1)$ basic if ...