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.

0
votes
0answers
20 views

Fiber-bundle : continuity of transition maps and inverse in general

Let $(E,\pi,B)$ be a locally trivial fibration, with fiber a topological space $F$, $\Phi_i$ and $\Phi_j$ two trivializations over $U_i$ and $U_j$. The transition map from $i$ to $j$ is the ...
4
votes
1answer
126 views

Proper homotopy

Let $F: X \times [0, 1] \to Y$ be a homotopy such that for any $t \in [0,1]$ the map $F( \cdot, t) : X \to Y$ is proper. Is it true in general that $F$ is proper? I am interested in particular in ...
2
votes
0answers
87 views

What is the boundary of the set $\{ x : dist (x ,\partial \Omega) > \alpha \}$ for a domain $\Omega$?

Let $\Omega$ is a bounded open domain in $\mathbb R ^n$, and $\alpha \geq 0$ a real number, and consider the set $ E_\alpha = \{ x \in \Omega : \text{dist}(x , \partial \Omega) > \alpha\} $, which ...
3
votes
1answer
65 views

Prove that $\mu \left(\left\{t\in X\,;\;\sum_{i=1}^d|\phi_i(t)|^2>r \right\}\right)=0$

Let $(X,\mu)$ be a measure space and $\phi=(\phi_1,\cdots,\phi_d)\in L^{\infty}(X)$. Let $$r=\max\left\{\sum_{i=1}^d|z_i|^2; (z_1,\cdots,z_d)\in \mathcal{C}(\phi)\right\},$$ where $\mathcal{C}(\phi)$...
10
votes
1answer
438 views

Lorenz attractor path-connected?

Can we tell if the Lorenz attractor is path-connected? By the attractor I do not mean only the line weaving around, but rather its closure. EDIT: The answer below is unsatisfactory, and possibly ...
7
votes
0answers
166 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 ...
5
votes
0answers
85 views

Topological groups containing the Sorgenfrey line

The Sorgenfrey line $\mathbb S$ is the real line endowed with the topology generated by the base consisting of all half-intervals $[a,b)$ for real numbers $a<b$. The Sorgenfrey line is first-...
-2
votes
0answers
76 views

A special topological space [on hold]

Let $X$ be a compact topological space (not necessarily Hausdorff). I am looking for a charactrization the following property: Property: Every closed subset $C$ of $X$ can be written as a disjoint ...
1
vote
1answer
65 views

Is the map between mapping spaces, induced by the functor $\vert Sing(-)\vert$ continuous?

Let $X$ and $Y$ be topological spaces. Let $\vert Sing(-)\vert$ be the functor which sends a topological space to the (or "a"? there seem to be more possibilites, for me it's just important, that I ...
2
votes
0answers
69 views

A Baire space with meager projections

Question. Is there a Baire subspace $X$ of a Tychonoff power $M^\kappa$ of some separable metrizable space $M$ such that for any countable subset $A\subset \kappa$ the projection $$X_A=\{x{\...
2
votes
1answer
665 views

A new generalisation of dimension? part 2

I worked this theory : A new generalization of the dimension? I have a theorem about dimensions which is more general and simple than for matroids. Definition 1: A structure $S$, is a pair $(X, \...
0
votes
1answer
73 views

On a pair of continuous functions “connected” by continuous functions

Suppose $X,Y$ are topological spaces with $Y$ homogeneous and $f,g:X\to Y$ continuous such that there exist continuous functions $u,v:Y\to Y$ such that $$f = u\circ g \text{ and } g= v \circ f.$$ ...
8
votes
1answer
171 views

What is known about topological groups of countable spread in ZFC?

A topological space has countable spread if every discrete subspace is at most countable. By Theorem 8.10 in Todorcevic's book "Partition Problems in Topology", PFA implies that each regular space $X$...
7
votes
1answer
247 views

Is a Borel image of a Polish space analytic?

A topological space $X$ is called analytic if it is a continuous image of a Polish space, i.e., the image of a Polish space $P$ under a continuous surjective map $f:P\to X$. We say that a topological ...
0
votes
1answer
57 views

Maximum of a sum of Gaussian functions

Consider the function which maps $\mathbb{R}^n$ to $\mathbb{R}$ \begin{align} f(x) = \sum_{i=1}^{n} b_i\phi_i(x) \end{align} where $\phi_i(x) = \exp(-\frac{||x-x_i||_2^2}{2})$ are Gaussian functions ...
0
votes
1answer
60 views

strict topology on multiplier algebras

Suppose $A$ is a $C^*$ algebra,$M(A)$ is the multiplier algebra.If $S$ is a subset of $M(A)$ which is compact for the strict topology on $M(A)$,is $S$ also a subset of $M(M(A))$ which is compact for ...
6
votes
0answers
166 views

Does anyone use non-sober topological spaces?

Recall that a sober space is a topological space such that every irreducible closed subset is the closure of exactly one point. Is there any area of mathematics outside of general topology where non-...
6
votes
0answers
106 views

Countable network vs countable Borel network

Definition. A family $\mathcal N$ of subsets of a topological space $X$ is called $\bullet$ a network if for any open set $U\subset X$ and point $x\in U$ there exists a set $N\in\mathcal N$ ...
16
votes
1answer
703 views

Can one determine the dimension of a manifold given its 1-skeleton?

This may be an easy question, but I can't think of the answer at hand. Suppose that I have a triangulated $n$-manifold $M$ (satisfying any set of conditions that you feel like). Suppose that I give ...
2
votes
0answers
52 views

A possible characterization of stratifiable spaces?

Let us recall that a regular topological space is semi-stratifiable if each point $x\in X$ has a countable family of neighborhoods $(U_n(x))_{n\in\omega}$ such that each closed subset $F\subset X$ is ...
4
votes
0answers
64 views

Is the Baireness a 3-space property of topological groups

It is known that the product of two Baire spaces can be meager. On the other hand, by a recent result of Li and Zsilinszky the product of two Baire spaces is Baire if one of the spaces is countably ...
6
votes
0answers
59 views

Is each Choquet topological group strong Choquet?

A topological space $X$ is called (strong) Choquet if the player II has a winning strategy in the (strong) Choquet game. It is known that a metrizable space $X$ is $\bullet$ Choquet if and only if ...
14
votes
1answer
370 views

A parametric version of the Borsuk Ulam theorem

Is there a topological space $X$, which is not a singleton, and satisfies the following property? For every continuous function $f: X\times S^2\to\mathbb{R}^2$ there exist a point $x\in S^2$ such ...
4
votes
0answers
172 views

homotopy type of box topology.

Suppose that $X$ is weakly equivalent to a point. Let $I$ be a set. Does $\prod_{i\in I}X$ weakly equivalent to a point, where $\prod_{i\in I}X$ is equipped with box topology ?
10
votes
1answer
472 views

Homeomorphic characterization of the real line? [duplicate]

Let $A$ be a path-connected subset of $\mathbb R^2$ such that the removal of any singleton from $A$ splits $A$ into two open connected components, each of which is path-connected. Is $A$ necessarily ...
1
vote
3answers
120 views

Extension of continuous map on metric space

Let $X$ be a compact metric space, $A\subset X$ a closed subset and $f:A\to A$ be a continuous map. Can $f$ be extended to a continuous map $X\to X$? If so, is there an extension which is injective if ...
25
votes
3answers
588 views

What is the structure preserved by strong equivalence of metrics?

Let $X$ be a set. Then we can define at least three equivalence relations on the set of metrics on $X$. We say that two metrics $d_1$ and $d_2$ are topologically equivalent if the identity maps $i:(...
9
votes
3answers
320 views

Countable connected space where removing $1$ point destroys connectedness

Is there a countable connected space $(X,\tau)$ such that for all $x\in X$ the space $X\setminus\{x\}$ is not connected any more with the induced subspace topology?
4
votes
1answer
117 views

What can say about $2^X= \{A\subseteq X: A\text{ is closed set} \}$, when $(X, \mathcal{U})$ is a compact uniform space?

It is known that if $(X, d)$ is a compact metric space, then hyperspace $2^X= \{A\subseteq X: A\text{ is closed set} \}$ is a compact space with Hausdorff metric What can say about $2^X= \{A\...
3
votes
2answers
222 views

Connected topological space $X$ such that $\emptyset, X$ are the only open connected subsets

Let $(X,\tau)$ be connected such that $\emptyset$ and $X$ are the only open connected subsets. Does this imply that $\tau = \{\emptyset, X\}$?
33
votes
1answer
919 views

Does there exist a continuous 2-to-1 function from the sphere to itself?

I am interested in the following question: Does there exist a continuous function $f:S^2\to S^2$ such that, for any $p\in S^2$, $|f^{-1}(\{p\})|=2$? I suspect the answer is no, but I don't know ...
2
votes
0answers
61 views

Invariant compact in division ring

Let $K$ be a discrete valued (with discrete valuation $v$) complete local division ring with ring of valuation $V$. Let $F$ be a compact subset of $V$. Suppose that for all $x\in F$ and for all $y\in ...
4
votes
1answer
138 views

When Stone–Čech compactification is totally disconnected

A topological space $X$ is totally disconnected if the connected components in $X$ are the one-point sets, and a topological space, $X$ is called completely regular exactly in case points can be ...
1
vote
0answers
39 views

Difference between planar sub-continua and sub-continua on the surface $\mathbb{T}^2$?

Can anyone tell me what is the essential difference between planar sub-continua and sub-continua of the torus? I will appreciate if you can give me some references.
2
votes
0answers
49 views

Refining monotone-light factorizations

Let $f:X\to Y$ be a continuous map between topological spaces. Consider the quotient map $\pi:X\twoheadrightarrow X/E$ given by decomposing the fibers of $f$ to their connected components. In Lemma 6....
2
votes
1answer
143 views

Sheaves on solenoids

Let $(X_n)$ be a tower of finite covering maps of compact smooth manifolds, with $f_{s,t} : X_t\to X_s$ the maps, and $\Lambda_n := f_{n,0}^{-1}\Lambda$, with $\Lambda$ the constant abelian sheaf on $...
1
vote
1answer
86 views

connected and quasi-connected separators of a space

Does there exist a connected topological space $X$ and a subset $A\subseteq X$ such that no connected component of $A$ separates $X$, but some quasi-component of $A$ separates $X$? Meaning $X\...
6
votes
1answer
133 views

Continuous binary operations on $\beta\mathbb{N}$

It is well-known that the operation of addition of two ultrafilters on the set $\mathbb{N}$ of natural numbers which extends the natural addition on $\mathbb{N}$ to $\beta\mathbb{N}$, the Cech-Stone ...
3
votes
2answers
134 views

Is a plane set still metrizable if two new subsets are declared open?

I am thinking of forming a finer topology on a particular subset of the plane. Let $X\subseteq \mathbb R ^2$ be endowed with the Euclidean topology $\tau$. Let $A,B\subseteq X$. Let $\tau'$ be the ...
10
votes
0answers
256 views

If an additive group of $\Bbb R^2$ contains a smoothly deformed circle, is it necessarily all of $\Bbb R^2$?

It can be shown that if an additive subgroup of $\Bbb R^2$ contains the unit circle, then it is necessarily all of $\Bbb R^2$. Does this also hold for a suitably smoothly deformed unit circle? ...
1
vote
0answers
559 views

A new generalization of the dimension?

During my research, I came a cross on these notions : Definition 1: A structure $S$, is a pair $(X, \mathcal T)$ with $X$ a set and $\mathcal T$ a set of subsets of $X$, stable by arbitrary ...
3
votes
0answers
64 views

Name for mappings that are “not quite projections”

Is there a known name for the following definition? Consider topological spaces $X$, $Y$ and $f: X \rightarrow Y$ a continuous mapping. Then, $f$ is an "almost projection" if there is a topological ...
5
votes
1answer
110 views

Uniqueness of limits and compactness implies closure

It is not difficult to prove that in a Hausdorff topological space every compact set is closed, and almost trivial that if in a topological space X every compact set is closed then X is T1. As ...
1
vote
2answers
97 views

Slightly finer topology vs a quasi-component

Let $(X,\tau)$ be a topological space, and let $Q$ be a quasi-component of $X$. Let $S$ be a subset of $X\setminus Q$. Then is $Q$ necessarily a quasi-component of $X$ in the topology generated by $\...
3
votes
0answers
95 views

Embeddability into $\beta\omega$ and $\omega^*$

It is well known that under CH every totally-disconnected compact F-space of weight at most $\omega_1$ can be embedded into the remainder $\omega^*=\beta\omega\setminus\omega$ of the Cech-Stone ...
2
votes
1answer
102 views

Non-discrete $T_2$-space $(X,\tau)$ with $2^{|X|}$ retracts

If $(X,\tau)$ is a topological space, we call $A\subseteq X$ a retract if there is a continous map $r:X\to A$ such that $r(a) = a$ for all $a\in A$ (we assume $A$ to be endowed with the subspace ...
1
vote
1answer
105 views

Extending continuous functioms defined on the irrationals

Lavrentieff proved a Theorem which implies that every real valued continuous function defined on a dense subset $D\subseteq \mathbb R$ admits a continuous extension to some $G_\delta $ subset of $\...
2
votes
1answer
66 views

$T_1$ version of Engelking theorem?

Theorem 6.1.23 in Engelking's Topology book says that in a compact space $X$ each quasi-component is connected. Quasi-component means the intersection of all closed-and-open subsets of $X$ containing ...
9
votes
1answer
187 views

Rothberger property for finite covers

Let us recall that a topological space $X$ has the Rothberger property if for any sequence $(\mathcal U_n)_{n\in\omega}$ of open covers of $X$ there exists a sequence $(U_n)_{n\in\omega}\in\prod_{n\...
3
votes
0answers
89 views

Slightly finer topology on a connected space

Let $(X,\tau)$ be a connected Hausdorff space. Suppose $S\subseteq X$ is such that for every $U\in\tau$, $$U\cap S\neq\varnothing \implies U\cap \overline S\setminus S\neq\varnothing.$$ Is it ...