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.

9
votes
0answers
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 ...
5
votes
0answers
83 views

Is each Peano continuum a topological fractal?

Problem. Is each Peano continuum a topological fractal? A compact Hausdorff space $X$ is a topological fractal if $X=\bigcup_{i=1}^n f_i(X)$ for some continuous maps $f_1,\dots,f_n:X\to X$ such that ...
1
vote
0answers
41 views

Maps having the right lifting property against cofibrations of compact spaces

I would like to know the properties of the maps that have the right lifting property against cofibrations of compact spaces. By definition, they are acyclic Serre fibrations, but I would hope to be ...
4
votes
1answer
117 views

Is the category of inclusion prespectra bicomplete?

Working in compactly generated weak Hausdorff spaces, is the category of inclusion prespectra bicomplete? I should probably specify that by inclusion prespectra, I mean prespectra such that the ...
2
votes
0answers
78 views

Find a certain triangulation subordinate to a given covering of a manifold

Let $\{U_\alpha\}$ be a covering of a smooth manifold $M$. Replacing it by a refined covering if necessary, we may assume some good properties of it, like, (1) any intersection $\cap_{i=1}^k U_{\...
3
votes
1answer
173 views

Can we classify the general linear maps such that for a fixed matrix $A \in M_n(\mathbb R)$ the conjuagation action fixes the first column?

Let $A \in GL_n(\mathbb R)$ be fixed. Let us consider the conjugation action by $G \in GL_n(\mathbb R)$, i.e., $G^{-1}AG$. I would like to see a way to identify the matrices such that the action fixes ...
1
vote
1answer
53 views

A question on monotonically normal spaces

This question is related to one of previous questions. For any generalized order space $X$, $X$ has countable tightness iff $X$ is first countable. Since a generalized order space is monotonically ...
7
votes
1answer
234 views

Can we inductively define Wadge-well-foundedness?

For a topological space $X$ (which I'll identify with its underlying set of points), we define the Wadge preorder $Wadge(X)$: elements of the preorder are subsets of $X$, and the ordering is given by $...
1
vote
1answer
49 views

Is there a generalized order space $X$ with countable tightness which is not first countable?

I have a question concerning generalized order spaces. Is there a generalized order space $X$ with countable tightness which is not first countable? thanks a lot!
5
votes
0answers
231 views

Grothendieck letter to Jun-Ichi Yamashita on tame topology

I am looking for Grothendieck writings on tame topology: a manuscript on tame topology mentioned by Scharlau; a letter to Jun-Ichi Yamashita; a letter to Z.Mebkhout. I am also interested in ...
5
votes
2answers
218 views

Is there a set $S\subseteq [0,1]$ with $|S|=2^{\aleph_0}$ and distinct pairwise distances?

Short version of question. Is there a set $S\subseteq [0,1]$ with $|S|=2^{\aleph_0}$ such that all points of $S$ have distinct pairwise distances? Formal version of question. If $X$ is a set, let $[X]...
4
votes
0answers
45 views

The normality of powers versus the normality hypersymmetric powers

Let $X$ be a topological space. Let $[X]^{<\omega}$ be the space of non-empty finite subsets of $X$, endowed with the Vietoris topology. For a natural number $n$ the subspace $$[X]^{\le n}:=\{A\in[...
4
votes
1answer
241 views

Generalizing the $T_0$-axiom

The starting point of this question is a slight reformulation of the $T_0$ separation axiom: A topological space $(X,\tau)$ is $T_0$ if for all $x\neq y\in X$ there is a set $U\in \tau$ such that $$\{...
1
vote
0answers
66 views

Explicit description of the scheme obtained by relative gluing data over a base scheme

I have recently been trying to get a better understanding of the projective space bundle of a quasi-coherent sheaf of graded algebras over a scheme $X$. The key idea is the following construction ...
1
vote
1answer
43 views

A sequence in generalized order spaces

Let $X$ be a GO-space with the topology $\tau$ and $\lambda$ be the usual open interval topology on $X$. Put $$ R= \{x\in X: [x, \rightarrow) \in \tau\setminus \lambda \} \text{ and } L= \{x\in X: (\...
4
votes
1answer
100 views

Does every cut-point space embed into the plane?

Let $X$ be a connected separable metrizable topological space. Call it a cut-point space if $X\setminus \{x\}$ is disconnected for every $x\in X$. Then does $X$ embed into the plane? My thoughts: (...
4
votes
0answers
363 views

Questions about obstruction theory (Hatcher's book)

I'm actually studying obstruction theory as presented in the last section of chapter $4$ of the book Algebraic Topology by Allen Hatcher. He first finds condition so that a space $X$ admits a ...
3
votes
1answer
119 views

Continuity concepts for correspondences

Consider two metric spaces (X,d) and (Y,d') and a correspondence F from X to Y. Does a topology on the power set of Y, P(Y) exists such that F is upper (resp. lower hemi- continuous) if and only if F ...
1
vote
2answers
98 views

Extending homeomorphisms between compact metric subsets

Let $X$ be a compact metric, second countable space with finite covering dimension. Let $A,B$ be two closed subsets of $X$. Assume that $h:A\to B$ is a homeomorphism. Is it possible to extend $h$ to a ...
1
vote
0answers
91 views

How many two-dimensional space filling Hilbert-like curves are there?

I'm interested in filling 2d square with space filling, non-self-intersecting, locality preserving, self-similar curves, like Hilbert curve. I found interesting work concerning three dimensional case ...
1
vote
1answer
83 views

Understanding equivalent condition for covering dimension

Let dim $X$ denote the Lebesgue covering dimension for a topological space $X$. Now a result in common books concerning dimension theory states the following: If $X$ is a normal topological space, ...
3
votes
1answer
157 views

Is there a metaLindelof nonLindelof space which has a dense hereditarily Lindelof subspace?

My question is as the title, i.e., Is there a metaLindelof nonLindelof space which has a dense hereditarily Lindelof subspace? The question is related to the following result: Every separable ...
8
votes
4answers
667 views

How does the parity of $n$ affect the properties of $\mathbb{R}^n$? [closed]

Does the parity of the dimension of $\mathbb{R}^n$ affect its structure/properties? As in, does it make a difference if $n$ is even or odd?
6
votes
1answer
236 views

“Cyclic” continuum

On p. 221 of http://topology.auburn.edu/tp/reprints/v08/tp08113.pdf, I found the following definition: "A curve is said to be cyclic if its first Čech cohomology group with integer coefficients ...
2
votes
1answer
75 views

Is the following map a cofibration?

Assuming that the diagonal map $X\rightarrow X\times X$ is a cofibration. Is it true that the diagonal map $\Sigma X\rightarrow \Sigma X\times \Sigma X$ is a cofibration? (Where $\Sigma X$ is the ...
8
votes
1answer
273 views

Intersection of nested open ball in complete metric spaces is nonempty?

My question is that whether the following statement is true or not. In a complete metric space $(X, d)$, if a sequence of open balls $\{B(x_i, r_i)\}_{i=1}^\infty$ satisfies $$ \exists \epsilon > ...
4
votes
1answer
180 views

Bounded growth of functions vs bounded growth of functions on countable sets

I am wondering if the boundedness of growth can be characterized by sequences. I am not sure if I use the term "growth" correctly, or use the correct tags for this question. Here is what I mean. Let $...
1
vote
0answers
99 views

Commutations of some limits and colimits in $\mathbf{CGWH}$

I know that finite limits do not commute with filtered colimits in general in $\mathbf{CGWH}$, nevertheless, do colimits commute with pullbacks, when we consider diagrams of the form $$\begin{matrix}&...
4
votes
0answers
76 views

An easier example of complete lattice such that the Scott topology on it is not sober

Basic notions: $1$, A partially ordered set is a dcpo if each of its directed subsets has a supremum. (https://en.wikipedia.org/wiki/Complete_partial_order)\ $2$, A subset O of a dcpo P is called ...
2
votes
1answer
66 views

A monoidal model structure on pointed spaces

Do the classes of pointed Hurewicz cofibrations, pointed Hurewicz fibrations and pointed homotopy equivalences give a model structure on pointed (compactly generated weak Hausdorff) topological spaces ...
2
votes
1answer
83 views

Are separability and ccc equivalent for closed subspaces of $\beta N$?

Let $\beta \mathbb N$ be the Stone-Cech compactification of the integers. Then $\beta \mathbb N\setminus \mathbb N$ is non-separable because if fails the ccc condition, that is, it has an uncountable ...
1
vote
1answer
216 views

Sufficient conditions for a topological space to be regular $T_3$

There was a similar thread on the neighbour forum StackExchange on sufficient conditions for a topological space to be completely regular $T_{3^1/_2}$. Please, let me know any known condition(s) that ...
3
votes
1answer
82 views

Reduced suspension of a Hurewicz cofibration

I would like to know whether the reduced suspension of a Hurewicz cofibration of pointed spaces (it is a Hurewicz cofibration when considered as a map of unbased spaces) is an acyclic Hurewicz ...
2
votes
1answer
79 views

Space which is $T_1$ and sober but not Hausdorff?

Every Hausdorff space is $T_1$ and sober. Does the converse hold? I expect not. What's a counterexample? I expected I should be able to look this up in Counterexamples in Topology, but unfortunately ...
4
votes
1answer
156 views

Embedding ordinals with the order topology into connected $T_2$-spaces

Is there a limit ordinal $\kappa_0$ with $\kappa_0 \lt 2^{\aleph_0}$ and such that for every limit ordinal $\lambda$ with $\kappa_0\leq \lambda\lt 2^{\aleph_0}$ there is a connected $T_2$-space $X_\...
1
vote
2answers
80 views

Can the Boolean Algebra of regular open sets be isomorphic to ${\cal P}(\omega)/(\text{fin})$?

Let $(X,\tau)$ be a topological space. $A\subseteq X$ is said to be regular open if $A = \text{int}(\text{cl}(A))$ and let $\text{RO}(X,\tau)$ denote the collection of regular open sets of $X$. A ...
4
votes
2answers
111 views

Inverse image of rational values

I am a postgraduate student of physics. While doing some research on Poincare's work on the integrability of the three body problem, I came up with the following problem (which I feel unable to handle,...
5
votes
2answers
174 views

Codimension-1 subgroups of 3-manifold groups

Let $G$ be a finitely generated group and let $H$ be a subgroup of $G$. $H$ is a codimension-1 subgroup of $G$ if $C_{G}/H$ has more than one end, where $C_{G}$ is the Cayley graph of $G$. Do all ...
3
votes
1answer
64 views

Is the compact-open topology on the dual of a separable Frechet space sequential?

Let $X$ be a separable Frechet space (= Polish locally convex linear metric space) and $X'_c$ be the space of linear continuous functionals on $X$, endowed with the compact-open topology (= the ...
1
vote
1answer
116 views

The completeness of spaces of continuous functions with the compact-open topology

For a Tychonoff space $X$ let $C_k(X)$ denote the space of continuous real-valued functions on $X$, endowed with the compact-open topology. Problem. Is the space $C_k(X)$ Polish if it is Polishable ...
1
vote
1answer
61 views

Why is a certain space of linear isometries paracompact

Let $V$ be a finite dimensional real inner product space and $U$ a real inner product space of countable dimension. Why is the space of linear isometries from $V$ to $U$ paracompact?
25
votes
3answers
727 views

Does $M^o=N^o$ imply that $\partial M = \partial N$?

let $M$ be a smooth $n$-manifold with boundary $\partial M$; I denote by $M^o$ the internal part of $M$, that is $M \smallsetminus \partial M$. The question is the same as in the title: let $M$ and $N$...
2
votes
1answer
102 views

Commutation of filtered colimits and finite limits in $\mathbb{CGWH}$

Do filtered colimits and finite limits (in particular pullbacks) commute in the category of compactly generated weak Hausdorff spaces?
0
votes
0answers
144 views

Curve such that $f(0)$ is in the interior of $f(]0,x[)$

Is there an example of continuous map $f:\mathbb R\to \mathbb R^2$ such that there exists $a\in \mathbb R$ such that for all $]y,z[\subset \mathbb R$ , $f([y,z])$ has non empty interior and such that ...
-2
votes
2answers
149 views

A countable polish space must be discrete? [closed]

I am looking for an elegant proof of the fact that a countable metric space is complete iff its underlying topology is discrete. It is easy to see that a discrete space is complete because its ...
11
votes
0answers
155 views

Is homeomorphism of simplicial complexes semidecidable?

Conventions: $\cong$ is homeomorphism of topological spaces and isomorphism of groups, $\equiv_G$ is the equality of two words over the generators of the group $G$. Simplicial complexes are finite. ...
1
vote
1answer
120 views

Is the boundary of an open set in a $\sigma$-space empty?

Recall that a Boolean space is a $\sigma$-space in case the closure of every open Borel set is open. Let $\{B_i\}$ be a denumerable family of open-closed sets in a $\sigma$-space $X$. Then $\bigcup_i ...
7
votes
1answer
154 views

$2$-determined Hausdorff spaces

Is there an infinite Hausdorff space $(X,\tau)$ with the following property? If $x\neq y \in X$ and $f:\{x,y\}\to X$ is a map, then there is exactly one continuous function $f': X\to X$ such that $...
3
votes
1answer
65 views

Intersecting geodesics on a surface from non-intersecting geodesics

Let $a$ and $b$ be non-intersecting closed geodesics on a hyperbolic surface. Can these curves be homotopied to transversely intersect but still be geodesics?
7
votes
0answers
143 views

How much can complexities of bases of a “simple” space vary?

Given a countable subbase of a topology, we can consider its complexity in terms of the difficulty of determining whether one family of basic open sets covers another basic open set. My question is ...