Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [gn.general-topology]

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

-5
votes
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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)$?