Questions tagged [gn.general-topology]
Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.
4,177
questions
1
vote
0
answers
49
views
Is there a literature name for this concept of a "graded metric"?
Given a space $X$, I have been thinking about a function $d\colon X \times X \times \mathbb{N} \to \mathbb{R}_{\geq 0}$ (i.e. with values that are nonnegative reals) with the properties below. One may ...
- 11
7
votes
0
answers
140
views
A metric characterization of Hilbert spaces
In the Wikipedia paper on Hadamard spaces, it is written that every flat Hadamard space is isometric to a closed convex subset of a Hilbert space. Looking through references provided by this Wikipedia ...
- 37.2k
1
vote
0
answers
32
views
Is there some kind of construction of a "canonical unirational variety" like the one for toric varieties?
Toric varieties in some sense a "canonical rational variety" in that one can construct them from purely combinatorial data and this combinatorial data makes it possible to turn many ...
- 591
2
votes
1
answer
121
views
Existence of diffeomorphism interpolating affine map and identity
$\newcommand{\R}{\mathbb{R}}$Suppose $\Omega$ is a bounded, convex domain in $\R^{m}$. Fix $x_1, x_2\in\Omega$ and an invertible matrix $A\in\mathrm{GL}^{+}(m)$ with positive determinant.
Let $U\...
- 183
6
votes
1
answer
120
views
When can we find a net, defined on a totally ordered index set, converging to a non-isolated point in a compact Hausdorff space?
Let $X$ be a compact Hausdorff space and $p\in X$ be a non-isolated point. Is it always possible to find a net $(x_\alpha)_{\alpha\in (I,\leq)}$ in $X\setminus\{p\}$ converging to $p$ such that $(I,\...
- 327
2
votes
0
answers
42
views
The graph topologies for powersets
Given a topological space $X$ and a metric space $(Y,d_Y)$, there are a number of topologies one may put on the space $\mathcal{C}(X,Y)$ of continuous functions from $X$ to $Y$. Perhaps the most ...
- 8,855
0
votes
0
answers
44
views
A ZFC example of a star-$K$-Menger space which is not star-$K$-Hurewicz
An open cover $\mathcal U$ of a space $X$ is said to be $\gamma$-cover if $\mathcal U$ is infinite and for each $x\in X$, the set $\{U\in\mathcal U : x\notin U\}$ is finite.
A space $X$ is said to be ...
- 395
1
vote
1
answer
97
views
Trivial convergent sequences in $\beta X$
Let $X$ be a Tychonoff space and denote by $\beta X$ its Stone-Čech compactification. We know, for example, that if $X$ is an $F$-space then $\beta X$ is an $F$-space and, therefore, in $\beta X$, the ...
- 111
2
votes
0
answers
78
views
References (and a question) on the "fine" topology of powersets
Recently I've been trying to understand powerset topologies better, and came upon the following reference:
Frank Wattenberg, Topologies on the set of closed subsets. Pacific J. Math. 68(2): 537-551 (...
- 8,855
4
votes
1
answer
187
views
A ZFC example of a Menger space which is not Scheepers
$\Omega$: The collection of all $\omega$-covers of a space $X$. An open cover $\mathcal U$ of $X$ is said to be $\omega$-cover if $X\notin\mathcal U$ and for each finite $F\subseteq X$ there exists a $...
- 395
3
votes
1
answer
186
views
Closed subset of unit ball with peculiar connected components
Let $n\geq 2$ and denote by $B\subset \mathbb{R}^n$ the closed unit ball.
Does there exist a closed subset $A\subset B$ containing $0\in \mathbb{R}^n$ with the following properties i,ii,iii?
i) $\{0\}$...
- 713
0
votes
0
answers
55
views
Describing a time-varying process with a manifold
I am a beginner in topology and I am trying to define a model for some computations. My questions are speculative:
I am wondering what is the proper way to add time in a manifold so as to describe a ...
1
vote
1
answer
90
views
Changing a metric to that 2 points have different distance
Let $X$ be a compact metric space. Assume that $X$ has more than $2$ points (or even better, that $X$ is connected with more than 1 point). Given a metric $d$ on $X$ we define $$d(x,X)=\max\{d(x,z):z\...
- 2,876
42
votes
2
answers
2k
views
A metric characterization of the real line
Is the following metric characterization of the real line true (and known)?
A nonempty complete metric space $(X,d)$ is isometric to the real line if and only if for every $c\in X$ and positive real ...
- 37.2k
1
vote
0
answers
36
views
Neighborhoods of idempotents in topological inverse semigroups
In a topological group, for any neighborhood $U$ of the origin, there is another such neighborhood with the property that $V.V\subseteq U.$ I conjecture a similar property for topological inverse ...
- 737
3
votes
0
answers
49
views
When did derivative algebras first appear?
In the paper "The Algebra of Topology" (Annals of Mathematics, 45, 1944), McKinsey and Tarski proposed derivative algebras (p183) to define the derive set in topology as follows.
Suppose $K$ ...
- 675
7
votes
0
answers
110
views
The pro-discrete space of quasicomponents of a topological space
Let $X$ be a topological space.
Consider the functor $P^X : \textbf{Set} \to \textbf{Set}$ that sends each set $Y$ to the set of continuous maps $X \to Y$.
It is not hard to check that $P^X : \textbf{...
- 14.1k
8
votes
1
answer
334
views
Do compactly generated spaces have a more direct definition?
Is there an elementary way to define Haussdorf-compactly generated weakly Hausdorff topological spaces in a way that does not need defining topological space first?
Weakly Hausdorff sequential spaces ...
- 1,613
7
votes
1
answer
449
views
Non-homeomorphic connected one-dimensional Hausdorff spaces that have continuous bijections between them in both sides
I need to construct an example of two non-homeomorphic connected one-dimensional Hausdorff spaces that have continuous bijections between them in both sides. Spaces should have induced ("good&...
- 73
5
votes
2
answers
442
views
Do germs of open sets around a point form a frame?
Let $X$ be a topological space and $x \in X$ a point. Let $\Omega$ be the set of open sets (viꝫ. the topology) of $X$, and $\Omega_x$ the set of germs around $x$ of open sets, that is, $\Omega_x = \...
- 25.4k
3
votes
1
answer
132
views
Closed graph correspondence which never contains the whole support
Let $I=[a,b]$ with $a<b\in\mathbb{R}$ and denote by $\mathcal{M}(I)$ the set of Borel probability measures on $I$ equipped with the topology induced by the weak convergence of measures.
Does there ...
- 65
5
votes
1
answer
174
views
Infinite tensor/Fubini product of ultrafilters
Given an infinite family $\{\mathcal{F}_{\lambda}$, $\lambda <\kappa\}$, $\kappa \geq \omega_0$, of (ultra)filters of a set $X$, how it is defined the infinite tensor/Fubini product $$\bigotimes_{\...
- 53
4
votes
0
answers
55
views
Constructively valid reference for the soberness of discrete spaces and points of a locale coproduct
I am looking for constructively valid references for the following two related facts:
discrete topological spaces are sober,
the points of a locale coproduct are the disjoint union of the points of ...
- 25.4k
-1
votes
0
answers
97
views
Naturality of the map from $\pi_1(X)\to \pi_1(K(G,1))$
The following result is from Hatcher Proposition 1B9.
Let $X$ be a connected CW complex and let $Y$ be a $K(G,1)$. Then every homomorphism $\pi_1(X,x_0)\to \pi_1(Y,y_0)$ is induced by a map $(X,x_0)\...
4
votes
0
answers
81
views
Maximally fine topologies on $B(H)$ making the unit ball compact
Let $H$ be a Hilbert space, and $B(H)$ its algebra of bounded operators. One of the reasons the Ultraweak topology is (in a way) more useful than the weak operator topology is that the Ultraweak ...
- 181
9
votes
1
answer
412
views
Does the category of locally compact Hausdorff spaces with proper maps have products?
nlab presents a proof that the category of locally compact Hausdorff spaces does not admit infinite products in general. In particular it shows that there is no infinite product of $\mathbb{R}$, since ...
- 295
2
votes
0
answers
87
views
Existence of a nice-ish topology on the powerset of a topological space
This is a follow-up question to my previous question, Existence of a *really* nice topology on the powerset of a topological space, which, in a few words, asked about whether given a topological space ...
- 8,855
2
votes
1
answer
132
views
Homological restrictions on certain $4$-manifolds
I am not very familiar with the non-compact $4$-manifold theory. So I apologize if the following question is very silly.
Let $X$ be a non-compact, orientable $4$ manifold that is homotopic to an ...
- 1,019
3
votes
1
answer
77
views
Can the set of compact metrisable topologies naturally be equipped with the structure of a standard Borel space?
Let $X$ be a compact metric space, and let $K_X$ be the set of non-empty closed subsets of $X$, equipped with the $\sigma$-algebra
$$ \mathcal{B}(K_X) \ := \ \sigma(\{C \in K_X : C \cap U = \emptyset\}...
- 517
4
votes
1
answer
209
views
When is this topology compatible with the partial ordering?
This question was first asked here, on math stack exchange, but wasn't able to attract any attention. Now that I am thinking more, it feels like the most suitable place for this question is here.
...
- 737
0
votes
1
answer
150
views
A question about uniformities generated by pseudometrics
Suppose that for all $n$ natural numbers, $d_{n}$ is a pseudometric on set $X
$. Define $d=\sum_{n=1}^{\infty }a_{n}\frac{d_{n}}{1+d_{n}}$, where $\left(
a_{n}\right) $ is a sequence of positive ...
- 855
6
votes
0
answers
162
views
Compact Hausdorff spaces as a cocompletion of profinite sets
It is well-known that the category CH of compact Hausdorff spaces has a strong categorical flavor (e.g. Properties of the category of compact Hausdorff spaces, which includes Manes' theorem asserting ...
- 1,814
2
votes
1
answer
66
views
Can continuous correspondence be represented via continuous functions?
Let $\Theta \subset \mathbb{R}^n, \mathcal{X} \subset \mathbb{R^m}$, and suppose that $C: \Theta \rightrightarrows \mathcal{X}$ is a correspondence defined by $f: \Theta \times \mathcal{X}\to \mathbb{...
- 53
1
vote
1
answer
79
views
A a question about the metrization of uniform spaces
I have read two theorems about the metrization of uniform spaces from Engelking and Kelley.
Kelley's condition (b) is slightly different from Engelking's corresponding result for Vi's.
I think these ...
- 855
0
votes
0
answers
84
views
Classification of closures of additive subgroups of $\mathbb{R}^n$
If $G$ is an additive subgroup of the real numbers $\mathbb{R}$ and $\overline{G}$ is the topological closure of $G$ then either
$\overline{G} = a \cdot \mathbb{Z}$ for some $a \in \mathbb{R}$, or
$\...
- 2,147
3
votes
1
answer
102
views
Existence of disintegrations for improper priors on locally-compact groups
In wide generality, the disintegration theorem says that Radon probability measures admit disintegrations. I'm trying to understand the case when we weaken this to infinite measures, specifically ...
- 8,172
0
votes
0
answers
82
views
Weight of the compactification of a topological space
I am wondering the following question. If $w(X)$ denotes the weight of a Tychonoff space $X$, that is the least infinite cardinal $\kappa$ for which $X$ has a basis of cardinality $\kappa$, and $Z$ is ...
- 131
1
vote
0
answers
58
views
Powersets of simplicial sets vs. powersets of topological spaces
Motivation. Recently I've been trying to understand how well- or ill-behaved are the many different powerset topologies one can put on the powerset of a topological space, and in particular I'm trying ...
- 8,855
-1
votes
0
answers
153
views
A simple homotopy lemma [migrated]
I'm trying to prove a lemma, suppose that $F:[0,1]×[0,1]→\bar{\mathbb{D}}$, a continuous function from the square to the closed disc, such that $F(t,0)=e^{2iπt}$, and in the other three borders, F is ...
3
votes
0
answers
102
views
Hereditarily Lindelöf spaces with density continuum
Since there are L-spaces (provably in ZFC), under CH we have regular, hereditarily Lindelöf spaces with density continuum. However, I cannot find an example of such a space under not CH, nor a proof ...
- 31
0
votes
0
answers
36
views
Perfectly normal compactification of weak-star dual of Banach space
Let $X$ be an infinite-dimensional (otherwise the answer to my question below is trivial) separable real Banach space with topological dual $X^*$, and denote by $\sigma(X^*,X)$ the weak-star topology ...
- 101
19
votes
2
answers
607
views
Existence of a *really* nice topology on the powerset of a topological space
TL;DR. Given a topological space $X$, is there a natural way to "induce" a topology on $\mathcal{P}(X)$ from the topology of $X$ in such a way that 1) all the basic operations of set theory (...
- 8,855
2
votes
0
answers
51
views
Niceness properties of quotient spaces by continuous equivalence relations
Given an equivalence relation $R$ on a topological space $X$, there are certain conditions we may ask of $R$ that imply certain well-behavedness conditions on the quotient space $X/\mathord{\sim}_R$. ...
- 8,855
6
votes
1
answer
83
views
How to construct large, hereditarily separable compact spaces?
In [1] Fedorcuk, using diamond, proved that there is a hereditarily separable compact space of cardinality $2^{2^\omega}$.To my best knowledge, Kunen created a humanly digestible proof, but he has ...
- 1,188
3
votes
0
answers
143
views
Making the powerset into a topological monoid
Every monoid $X$ induces a monoid structure $\circledast$ on $\mathcal{P}(X)$ via
$$U\circledast V := \{uv\ |\ u\in U,v\in V\}.$$
Moreover, a morphism of monoids $f\colon X\to Y$ induces a morphism of ...
- 8,855
3
votes
1
answer
270
views
Boundaries of subsets of simply-connected domains
I am trying to prove the following assertion: Let $B$ be a simply-connected set, and let $B' \subsetneq B$ be a proper open connected subset. Then, there exists a point $x \in \partial B'$ of the ...
9
votes
2
answers
545
views
Analogue of open/closed maps for measurable spaces
$\newcommand{\A}{\mathcal{A}}\newcommand{\T}{\mathcal{T}}$The notions of continuous map of topological spaces and measurable function of measurable spaces are very similar:
A map of topological ...
- 8,855
1
vote
0
answers
73
views
Does "Invariance of domain" true for injective Darboux function (instead of continuous injection)?
$f:U\subset \mathbb{R^n}\to\mathbb{R}^n$ be an injective Darboux map.
Does this implies $f$ is an open map?
If $f$ is continuous then the result follows from "Invariance of domain ".
My ...
- 187
3
votes
0
answers
74
views
(When) can you embed a closed map with finite discrete fibers into a (branched) cover?
Assume all spaces are topological manifolds. A branched cover is a continuous open map with discrete fibers. A finite branched cover is one with finite fibers.
Questions. Given closed map $X\to S$ ...
- 10.1k
3
votes
1
answer
104
views
Characterization of the Scheepers property by Scheepers game
$\Omega$: The collection of all $\omega$-covers of a space $X$. An open cover $\mathcal U$ of $X$ is said to be $\omega$-cover if $X\notin\mathcal U$ and for each finite $F\subseteq X$ there exists a $...
- 395