# Questions tagged [gn.general-topology]

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

**-5**

votes

**0**answers

120 views

### Foundation of topology based on genus?

I have heard the following slogan numerous times - Topology is the study of shapes you can do "whatever you want to" (continously) as long as you never tear them.
I have also heard, that the ...

**2**

votes

**1**answer

124 views

### What is the topological/smooth analogue of Nagata compactification

A celebrated theorem of Nagata and subsequent refinements to schemes and algebraic spaces say that over a not-completely-monstrous base scheme, any separated morphism can be openly immersed in a ...

**3**

votes

**0**answers

70 views

### Topological characterization of closed surfaces

I am looking some reference, if it exist, that generalized the Moore`s characterization of the 2-sphere. To be more precise, Moore characterized 2-sphere by these two axioms: A space X is a 2-sphere ...

**3**

votes

**0**answers

112 views

### Compactification of Tychonoff spaces without full axiom of choice

If $X$ is a Tychonoff space, then using the Tychonoff theorem and thus the full axiom of choice, it follows that $X$ admits a Hausdorff compactification.
My question is : what remains true if we do ...

**0**

votes

**0**answers

57 views

### Smallest collection of linear operators satisfying isometry property

Let $\mathscr{A}=\{(A_{1,1},A_{1,2},A_{1,3}),...,(A_{S,1},A_{S,2},A_{S,3})\}$ be a collection of linear operators $A_{n,k}:\mathbb{R}^2 \rightarrow \mathbb{R}^2$. For $u$ and $v\in (\mathbb{R}^2)^3$, ...

**5**

votes

**1**answer

196 views

### Topology of connected subsets of the $3$-torus

Consider the $3$-torus $Y=T^3$, a subset $\Sigma\subset Y$, and $\Sigma^*=Y\setminus\overline\Sigma$.
We assume both $\Sigma$ and $\Sigma^*$ to be open, connected, and smoothly bounded.
I am ...

**1**

vote

**1**answer

163 views

### Stone-Cech Compactification of the real line

I have a question in $\beta\mathbb{R}$, the Stone-Cech compactification of the real line $\mathbb{R}$. My question is: is $\beta\mathbb{R}$ a $\mathrm{F}$-space, i.e., the closure of two disjoint open ...

**4**

votes

**0**answers

85 views

### Maximal connected subtopologies

This is related to an older question.
Let $(X,\tau)$ be a topological space. Trivially, the indiscrete topology $\{\emptyset, X\}$ is a connected subtopology of $\tau$.
Is there a connected topology ...

**0**

votes

**0**answers

81 views

### A reference for studying special ring

A topological space $X$ is called profinite if it is compact, Hausdorff, and has a basis of open–closed sets. Also a commutative ring $R$ with 1 is called a topological ring it there is a topology on ...

**2**

votes

**1**answer

81 views

### First countable geometric realization of a simplicial group

Suppose we have a simplicial group $G$.
What do we need from $G$ to get first countable $BG$, where $BG$ is a geometric realization of $G$?

**0**

votes

**0**answers

52 views

### Complement of a meagre set in a Baire space

I remember reading somewhere that the complement of a meagre set in a Baire space is also a Baire space and this is in fact easy to prove. Looking for this result in the standard collection of ...

**5**

votes

**1**answer

320 views

### Base zero-dimensional spaces

Definition. A zero-dimensional topological space $X$ is called base zero-dimensional if for any base $\mathcal B$ of the topology that consists of closed-and-open sets in $X$, any open cover $\mathcal ...

**-4**

votes

**1**answer

133 views

### Topological spaces without retracts [closed]

Is there a way to see whether a topological space $\Omega$ does not allow retractions $r: \Omega \mapsto B$, with $B$ a given subspace of $\Omega$ ?
In other words: when is a space not retractable ...

**3**

votes

**1**answer

94 views

### Separable topology on a group

In the paper "Continuous isomorphisms onto separable groups",
Applied General Topology, (13) 2012, 135--150,
L. Morales Lopez proved Theorem:
Let $G$ be an Abelian group with $|G| \leq 2^{2^{\...

**2**

votes

**1**answer

70 views

### Under what conditions the End-compactification is metrizable

Suppose that $X$ is a hemicompact space, connected and locally connected. In that case, it seems that it is possible to define a "End-compactification" of $X$ (in the sense of Freudenthal).
Suppose ...

**27**

votes

**1**answer

759 views

### If $\text{dim}(X \times X) = 2\text{dim}(X)$, does $\text{dim}(X^n) = n\text{dim}(X)$?

I have been learning some (topological) dimension theory and have gotten through most of the basic material, at this point, and am about to start looking at papers. In particular, I want to get ...

**11**

votes

**1**answer

300 views

### Do solenoids embed into Möbius strips?

I found a strange attractor which looks a lot like a solenoid. The attractor continuum is the closure of a continuous line which limits onto itself, and it is locally homeomorphic to Cantor set times ...

**1**

vote

**0**answers

53 views

### Descent data and trivialization of bundles via coherent isomorphisms of fibers

In this MO question I tried to understand how a trivialization of a bundle (continuous map) $\begin{smallmatrix}A\\ \downarrow\\ B \end{smallmatrix}$ is related to a coherent family of isomorphisms ...

**1**

vote

**0**answers

91 views

### Mackey topology characterising property

Let $V$ be a topological $k$-vector space.
Let $V^{\star}$ denote the space of all linear functionals $V \rightarrow k$ and $V' \subset V^{\star}$ the subspace of all continuous linear functionals.
...

**5**

votes

**0**answers

96 views

### The automorphism group of the fibered cylinder

My collegue (Oleg Gutik) is interested in finding a proper reference to a description of the group $G$ of homeomorphisms $h:\mathbb T\times\mathbb R\to\mathbb T\times\mathbb R$ of the cylinder that ...

**2**

votes

**0**answers

43 views

### Does there exist a continuous path between two sets of oriented basis for a vector space out of a collection of subspaces?

This is cross post to the question at MSE.
Let $V_1, V_2, \dots, V_n$ be a collection of vector subspaces in $\mathbb R^n$. For each $j=1, \dots, n$, $\dim(V_j) = m$ with $2 \le m < n$. We also ...

**5**

votes

**1**answer

69 views

### continuity of certain map which is defined on a Stonean space

Let $G$ be a discrete group which acts continuously on a Stonean space $\Omega$. Consider the map $f\colon \Omega\to \{0,1\}^G$ sending $x\in \Omega$ to $\chi_{G_x}$, where $\chi_{G_x}$ denotes the ...

**11**

votes

**1**answer

236 views

### “Scott completion” of dcpo

If $A$ is poset with all directed suprema, it is common to consider the Scott topology on $A$, whose open subsets are the $U \subset A$ such that $U$ is upward closed and if $\bigcup_I a_i \in U $ for ...

**3**

votes

**3**answers

166 views

### If $X$ has the fixed point property, what about $\text{Cont}(X,X)$?

If $(X,\tau)$ is a topological space, we denote by $\text{Cont}(X,X)$ the collection of all continous functions $f:X\to X$. We say that $(X,\tau)$ has the fixed point property if for any $f\in\text{...

**1**

vote

**0**answers

75 views

### Cobordism of an annulus with a non-vanishing vector field

Let $M$ be a compact three-dimensional manifold with corners, which is a cobordism of the two-dimensional annulus. In particular, the codimension one boundary of $M$ consists of two copies of the ...

**9**

votes

**1**answer

304 views

### Noetherian spectral space comes from noetherian ring?

Let $X$ be a spectral space (en.wikipedia.org/wiki/Spectral_space), i.e. a space of the form $\textrm{Spec}(A)$ for some commutative ring $A$. If $X$ is noetherian, does there also exist a noetherian ...

**4**

votes

**1**answer

159 views

### Does the notion of a compactly generated space (or $k$-space) depend on the choice of universe?

We recall the notion of a $k$-space (or compactly generated space) to fix our notations. For every topological space $X$, we can define a category $\mathfrak{M}_X$. The class of objects of $\mathfrak{...

**11**

votes

**1**answer

210 views

### The Parovichenko cardinal, is it equal to $\max\{\aleph_2,\mathfrak p\}$?

Let us define the Parovichenko cardinal $\mathfrak{P}$ as the largest cardinal $\kappa$ such that each compact Hausdorff space $K$ of weight $w(K)<\kappa$ is the continuous image of the remainder $...

**0**

votes

**1**answer

60 views

### Cardinality of the topology in countable connected $T_2$-spaces

If $(X,\tau)$ is a connected $T_2$-space with $|X|=\aleph_0$, what values can $|\tau|$ take?

**21**

votes

**0**answers

371 views

### Is it still an open problem whether $\mathbb{R}^\omega$ is normal in the box topology?

On page 205 of his Topology book, James Munkres makes an interesting remark:
It is not known whether $\mathbb{R}^\omega$ is normal in the box topology. Mary-Ellen Rudin has shown that the answer ...

**6**

votes

**1**answer

582 views

### A ridiculous combinatorial cardinal characteristic of the continuum?

This question assumes familiarity with combinatorial cardinal characteristics of the continuum. It is abstracted out of a question in a joint research with Jialiang He. I hope we've got the ...

**5**

votes

**0**answers

113 views

### For which topological spaces does pullback along $\operatorname{ev}_0:B^I\to B$ have a right adjoint?

Let $B$ be a topological space. Consider the evaluation at zero of paths in $B$. This is a continuous map $\operatorname{ev}_0:B^I\to B$ where the domain carries the compact-open topology.
For which ...

**-1**

votes

**1**answer

97 views

### Injective choice function for non-separable $T_2$-spaces

For any set $X$ and cardinal $\kappa$ let $[X]^\kappa$ be the collection of all subsets of $X$ of cardinality $\kappa$.
I was looking for $T_2$-spaces $(X,\tau)$ with the property that
$(P)$ ...

**3**

votes

**2**answers

134 views

### Is every uncountable, homogeneous connected $T_2$-space isomorphic to a subspace of $\mathbb{R}^\omega$?

We say a space $(X,\tau)$ is homogeneous if for any $x,y\in X$ there is a homeomorphism $\varphi:X\to X$ such that $\varphi(x) = y$.
What is an example of a connected, homogeneous $T_2$-space $(X,\...

**10**

votes

**2**answers

321 views

### What are the 'wonderful consequences' following from the existence of a minimal dense subspace?

In Peddechio & Tholens Categorical Foundations they quote PT Johnstone in their chapter on Frames & Locales:
...the single most important fact which distinguishes locales from spaces: the ...

**5**

votes

**1**answer

123 views

### Is the Euclidean topology on $\mathbb{R}$ contained in a maximal connected topology?

If $(X,\tau)$ is a connected space, then $\tau$ need not be contained in a maximal connected topology.
Is the Euclidean topology on $\mathbb{R}$ contained in a maximal connected topology?

**1**

vote

**1**answer

86 views

### The preimage of continuum on Torus

Let $p:\mathbb{R}^2\rightarrow\mathbb{R}^2/\mathbb{Z}^2$ be the natural projection, obviously $\mathbb{R}^2/\mathbb{Z}^2$ is the torus $\mathbb{T}^2$, if $K$ is a connected and compact subset of $\...

**4**

votes

**1**answer

95 views

### $T_2$-spaces in which no two open sets are homeomorphic

This question was about spaces in which all non-empty open sets "look alike".
Now I am interested in the opposite: Is there a $T_2$-space $(X,\tau)$ with $|X|>1$ such that whenever $U\neq V$ are ...

**1**

vote

**1**answer

61 views

### Takahashi minimization theorem for lower pseudo-continuous functions on complete metric spaces

Takahashi minimization theorem says : Let $(X,d)$ is a complete metric space, $f:X\to \mathbb{R}\cup\{+\infty\}$ is a proper(not constantly +$\infty$) lower semi continuous function, which is bounded ...

**2**

votes

**1**answer

149 views

### effectively distinguishing knots

It was proven, I think by Mijatović EDIT: by Waldhausen, that there is an effective algorithm for distinguishing knot complements (the effective constants were found by Coward and Lackenby). The bound,...

**2**

votes

**0**answers

72 views

### A community effort: equilibrium in quitting games [closed]

This thread is in the spirit of the polymath project:
a combined effort of the community to solve a difficult open problem.
It is an activity of the European Network for Game Theory
whose goal is to ...

**1**

vote

**1**answer

45 views

### Is there a homeomorphism between the sets of Schur stable and Hurwitz stable matrices in companion forms?

This is a cross-post to the question I asked at MSE.
The set of Schur stable matrices is
\begin{align*}
\mathcal S = \{A \in M_n(\mathbb R): \rho(A) < 1\},
\end{align*}
where $\rho(\cdot)$ denotes ...

**2**

votes

**0**answers

54 views

### Topological Shape Operator More Sensitive than Inverse Limits

This is a very general sort of question, and the use of the phrase 'shape operator' is a bit sloppy since there is already an established "shape theory." But what I have are topological spaces that ...

**3**

votes

**1**answer

66 views

### sequences of iterated orthogonals (lifting property) in a category

I am looking for examples of properties of morphisms defined by taking orthogonals with respect to the Quillen lifting property.
For example, several iterated orthogonals of $ \emptyset\...

**2**

votes

**1**answer

73 views

### Is the topology generated by the union of a chain of paracompact topologies paracompact?

Let $X$ be a set and let ${\frak T}$ be a collection of paracompact topologies on $X$ such that for any $\tau, \tau'\in {\frak T}$ we have $\tau\subseteq \tau'$ or $\tau'\subseteq \tau$. Let $\sigma$ ...

**1**

vote

**1**answer

151 views

### Is every paracompact topology contained in a maximal paracompact topology?

If $(X,\tau)$ is a paracompact, is there a topology $\tau'\supseteq \tau$ such that $(X,\tau')$ is still paracompact, and $\tau'$ is maximal with respect to $\subseteq$ and paracompactness?

**6**

votes

**1**answer

111 views

### The Stone-Čech compactification of the fixed point set

Let $G$ be a discrete group and $X$ be a Tychonoff $G$-space. Then there
exists a $G$-action on Stone-Čech compactification $\beta X$. If the
fixed point set $X^{G}\neq \emptyset $, then the Stone-...

**3**

votes

**0**answers

103 views

### Completely I-non-measurable unions in Polish spaces

Problem. Let $X$ be a Polish space, $\mathcal I$ be a $\sigma$-ideal with Borel base, and $\mathcal A\subset\mathcal I$ be a point-finite cover of $X$. Is it true that $\mathcal A$ conatins a ...

**5**

votes

**1**answer

161 views

### Finally dense implies dense

I am reading the article "A convenient category for directed homotopy" by Fajstrup and Rosicky and I have a doubt about the proof of Proposition 3.5. The setting is the following:
let $\cal{C}$ be a ...

**-2**

votes

**2**answers

97 views

### Example of connected Hausdorff space $X$ and surjective continous map $f:X\to X\times X$ [closed]

What is an example of a connected Hausdorff space $X$ with $|X|>1$ and a surjective continous map $f:X\to (X\times X)$?