Questions tagged [gn.general-topology]
Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.
4,379
questions
5
votes
2
answers
211
views
Continuous functions on $[0,1]^\omega$ and a product lower bound
I have a concrete question about continuous functions on $X = [0,1]^\omega$ (with the product topology).
The map $f:X\to [0, 1]$ given by $(x_i)\mapsto \prod x_i$ is well-defined and Borel but not ...
- 53
5
votes
1
answer
204
views
Is the interior of the tensor product of two convex cones equal to the tensor product of their respective interiors?
I am sorry that the following question is elementary. I have not received an answer from my post at Math Stack Exchange.
In the following question, all cones are convex and contain the origin. Let $C \...
- 251
3
votes
1
answer
471
views
Simple proof that downward intersections of simply connected compact sets are simply connected
Let $X$ be a topological space, and $S_0, S_1, \dotsc \subset X$ be simply connected compact sets with $S_{n+1} \subset S_n$.
Question: Is there a simple proof that $S = \bigcap_n S_n$ is simply ...
- 1,580
4
votes
1
answer
228
views
A question about regular closed sets
$\DeclareMathOperator\cl{cl}$Let $X$ be a topological space and let $Y$ be a dense subspace of $X$. Suppose
that $R\left( X\right) $ denotes all regular closed subsets of $X$.
Question 1: $R\left( Y\...
- 1,109
16
votes
2
answers
1k
views
Is there always a way up?
I am trying to find a simple criterion for a real continuous function $f$ on a connected, open subset $U$ of $\mathbb R^n$ that would imply the following property (P)
For any $x, y \in U$ such that $f(...
- 1,395
5
votes
1
answer
214
views
Pixley and Roy article request
I'm trying to get a digital copy of the article "C. Pixley and P. Roy, Uncompletable Moore spaces,
Proc. Auburn Univ. Conf. (Auburn, Alabama, 1969), 75-85." but I have not been successful. ...
- 622
10
votes
1
answer
437
views
An incomplete characterisation of the Euclidean line?
We say that a metric space $(X, d)$ is a Banakh space if for every $\rho \in \mathbb{R}_{> 0}$ and every $x \in X$, there are
$a,b \in X$ such that $\{y \in X \, \vert \, d(x, y) = \rho\} = \{a, b\}...
- 7,283
3
votes
1
answer
153
views
Homeomorphic extension of a discrete function
Let $f : \{ 0,1 \} ^ {n} \rightarrow \{ 0,1 \} ^ {n}$ be a bijective map. Then is there a known computable way to extend it to a homeomorphism $g:[ 0,1 ] ^ {n} \rightarrow [ 0,1 ] ^ {n}?$
- 31
3
votes
1
answer
123
views
What are the names of the following classes of topological spaces?
The closure of any countable is compact.
The closure of any countable is sequentially compact.
The closure of any countable is pseudocompact.
The closure of any countable is a metric compact set.
- 977
2
votes
0
answers
237
views
Blow up at an ordinary double point
Let $X \subset \mathbb{C}^n$ be a complex complete intersection surface with only ordinary double point singularities. Let $o$ be such an ordinary double point.
Let $\tilde{X}$ be the strict transform ...
8
votes
2
answers
315
views
Is every contractible homogeneous space of a connected Lie group homeomorphic to a Euclidean space?
Problem. Let $G$ be a connected Lie group and $H$ is a closed subgroup of $G$ such that the homogeneous space $G/H$ is contractible. Is $G/H$ homeomorphic to a Euclidean space $\mathbb R^n$ for some $...
- 40.2k
3
votes
0
answers
173
views
Symmetric line spaces are homeomorphic to Euclidean spaces
For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$.
Definition: A metric space $(X,d)$...
- 40.2k
2
votes
1
answer
158
views
Non-Hausdorff CGWH-group
Is there a group $G$ which is at the same time a (compact-Hausdorff)-ly generated weakly Hausdorff space (or short CGWH space) such that inverse and product are continuous maps and the space is not ...
- 163
2
votes
0
answers
71
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 ...
- 21
7
votes
0
answers
222
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 ...
- 40.2k
1
vote
0
answers
44
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 ...
- 759
2
votes
1
answer
208
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\...
- 193
6
votes
1
answer
161
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,\...
- 559
2
votes
0
answers
55
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 ...
- 9,727
1
vote
0
answers
67
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 ...
- 455
1
vote
1
answer
144
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 ...
- 151
2
votes
0
answers
87
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 (...
- 9,727
6
votes
1
answer
247
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 $...
- 455
3
votes
1
answer
221
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\}$...
- 722
0
votes
0
answers
73
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
107
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,993
47
votes
3
answers
3k
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 ...
- 40.2k
1
vote
0
answers
47
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 ...
- 1,007
2
votes
0
answers
64
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$ ...
- 663
8
votes
0
answers
159
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.8k
9
votes
1
answer
396
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,803
7
votes
1
answer
481
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
475
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 = \...
- 28.7k
3
votes
1
answer
150
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
241
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
3
votes
0
answers
88
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 ...
- 28.7k
4
votes
0
answers
110
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
563
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
95
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 ...
- 9,727
2
votes
1
answer
156
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,039
3
votes
1
answer
89
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\}...
- 658
4
votes
1
answer
262
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.
...
- 1,007
0
votes
1
answer
181
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 ...
- 1,109
6
votes
0
answers
202
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,916
2
votes
1
answer
90
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
96
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 ...
- 1,109
0
votes
0
answers
100
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,209
3
votes
1
answer
147
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,322
0
votes
0
answers
122
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 ...
- 635
1
vote
0
answers
67
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 ...
- 9,727