All Questions
Tagged with general-topology or gn.general-topology
4,600 questions
3
votes
1
answer
191
views
Extensions of bounded uniformly continuous functions
Let $X$ be a uniform space, $S\subseteq X$ and $f:S\to \mathbb{R}$ bounded uniformly continuous, then there exists a uniformly continuous extension of $f$ to $X$. (Katětov, 1951)
I am looking for ...
- 1,201
3
votes
0
answers
119
views
The topological entropy of potential space filling curves on the unit interval
By a potential space filling curve we mean a continuous function $f:[0,1]\to [0,1]$ such that there is a continuous surgective function $g:[0,1]\to [0,1]^2$ with $f=\pi_1 \circ g$ where $\pi_1$...
- 356
14
votes
0
answers
326
views
When can we extend a diffeomorphism from a surface to its neighborhood as identity?
Let $M$ be a closed and simply-connected 4-manifold and let $f: M^4 \to M^4$ be a diffeomorphism such that $f^*: H^*(M;\mathbb{Z})\to H^*(M;\mathbb{Z})$ is the identity map. Moreover, let $\Sigma \...
- 3,751
18
votes
0
answers
323
views
The analogy between dualizable categories and compact Hausdorff spaces
Efimov has in his recent preprint K-theory and localizing invariants of large categories, Appendix F, a long table of analogies between the categories $\text{Cat}^\text{dual}_\text{st}$ and $\text{...
- 2,303
1
vote
0
answers
90
views
Well-embedded type property for bounded functions
According to @Tyrone the term well-embedded set was first used in Measures on Metacompact Spaces by W. Moran.
In the article Extensions of Zero-sets and of Real-valued Functions by R. Blair and A. ...
- 1,201
9
votes
0
answers
257
views
Sheaf cohomology of non-paracompact manifolds (e.g. the long line)
I have long heard that manifolds are "affine". If we allow non-paracompact manifolds, then this seems to fail, since as explained in Dmitri Pavlov's answer, the Serre–Swan theorem fails. I ...
- 2,806
7
votes
2
answers
534
views
Does there exist a Dehn filling of an irreducible 3-manifold with toroidal boundaries which is still irreducible?
Let $M$ be a compact, orientable, irreducible 3-manifold with incompressible toroidal boundary (there might be more than one boundary component). Is it always possible to choose appropriate slopes on ...
- 605
3
votes
0
answers
159
views
A question regarding weak Whitney embedding theorem
The weak Whitney embedding theorem states that any continuous map $f: D^n \to \mathbb{R}^{2n+1}$ (Let us focus on $D^n$ for this question) can be approximated (in $C^0$-norm) by embeddings. A counter ...
- 31
0
votes
1
answer
142
views
"Locally compact"-ly generated topological spaces
Let $P$ be a property of topological spaces - here I am interested in "compact" and "locally compact".
A topological space $X$ is $P$-ly-generated if, for any topological space $Y$,...
user531303
3
votes
0
answers
124
views
Injective envelope of B(H)
$B(\ell^2)$ is an injective operator system by a result of Arveson. However, $B(\ell^2)$ is not an injective Banach space, since it is not linearly isomorphic to a $C(K)$ space (for instance, $C(K)$ ...
- 2,605
13
votes
1
answer
329
views
Is there a metric compactification that doesn't create new paths?
Every separable metric space $A$ has a metrizable compactification, i.e. a compact metrizable space $X$ for which $A$ embeds topologically as a dense subspace of $X$. There are many approaches to ...
- 7,193
2
votes
1
answer
95
views
Specific distance between sets of points
Let us have closed curve without self-intersections,
initial point $O$ and curve parameter $t$, $0 \leq t \leq t_{\max}$ so $t(O) = 0 = t_{\max}$.
There are two sets of points on the curve, which are ...
- 512
3
votes
2
answers
139
views
Countable zero-sets are $C$-embedded?
I was browsing Gillman and Jerison for known relations between zero-sets, $C$-embedded sets and so on.
The spaces I'm considering are $T_{3.5}$.
There are two properties that pseudocompact spaces have
...
- 1,201
15
votes
1
answer
507
views
Is there an infinite subset of $\Bbb{R}$ not homeomorphic to any of its proper subsets?
Is there an infinite subset of $\Bbb{R}$ that is not homeomorphic to any of its proper subsets? Clearly, any finite subset of $\Bbb{R}$ is not homeomorphic to any of its proper subsets by mere ...
- 255
1
vote
0
answers
76
views
Shellable non-pseudomanifolds with dimension greater than 2
Shellability of simplicial balls and spheres (simplicial complexes whose geometric realizations are homeomorphic to balls and spheres) has been studied quite extensively. There are many explicit ...
1
vote
0
answers
48
views
Connected pre-images spanning $n$-cubes under dimension reducing maps
Let $I^n = [0,1]^n$ be the $n$-dimensional hypercube. For a continuous function $f: I^n \to \mathbb{R}^m$ with $m < n$, we're interested in the existence of points $p \in \mathbb{R}^m$ whose ...
user530766
5
votes
1
answer
104
views
When do two measured foliations on a surface define a Riemann surface structure?
Let $S$ be smooth surface of finite type, i.e. it has genus g and n punctures (assume $S$ to have negative Euler characteristic). We know by Hubbard-Masur theorem that given a measured foliation $(F,\...
- 275
2
votes
0
answers
104
views
When do filtered colimits commute with finite products in Top
It is well known that filtered colimits commute with finite products (more generally any finite limit). This is not the case in general in Top due to Top not being cartesian closed. My question is is ...
- 41
3
votes
1
answer
103
views
Topology on set of "real lower bounds"
Specific question: Is there a name for the "topology of real lower bounds"? This is the order topology for the ordering $\supseteq$ on the set
$$
\mathbb{LB} = \bigl\{ [t, \infty) \mid t \...
- 398
3
votes
0
answers
152
views
Topological counterexample for M(K, Y1 × Z1) being a subbasis of the compact open topology of C(X,Y×Z)
We are trying to answer whether the following mapping is continuous and open
$$C(X, Y \times Z) \to C(X, Y ) \times C(X, Z)$$ (the topological spaces being provided with the compact-open topology). We ...
- 39
4
votes
0
answers
106
views
Reference request for a theorem of Jaworowski
Jan Jaworowski, in 2000, proved the following theorem (I came to know about it from here)
Jaworowski (2000) : Let $Y$ be a finite simplicial complex of dimension $k$ and let $n\ge 2k$. If $f:S^n\to Y$...
- 141
10
votes
0
answers
158
views
Closed sets versus closed sublocales in general topology in constructive math
This question is set in constructive mathematics (without Choice), such as in the internal logic of a topos with natural numbers object, or in IZF.
Short version of the question: if $X$ is a sober ...
- 32.5k
5
votes
1
answer
245
views
Does a "good" homotopy equivalence between pairs imply homotopy equivalence between quotient spaces?
If $(X,A)$ and $(Y,B)$ are (good) pairs of topological spaces, and $f:X\rightarrow Y$ is a homotopy equivalence such that the restriction $f\restriction_A$ is a homotopy equivalence between $A$ and $B$...
- 213
2
votes
1
answer
174
views
A topological space has the homotopy-type of a CW-complex, then is it locally contractible?
Let $X$ be a topological space which has the homotopy-type of a CW-complex. As well-known, a CW-complex is locally contractible.
Question: Is $X$ locally contractible? If not, can some one give a ...
- 327
3
votes
0
answers
81
views
Mixing flow has aperiodic orbit?
Let $X$ be a compact connected metric space with more than one point.
Suppose that $H:X\times [0,\infty)\to X$ is continuous such that $h_0=H\restriction X\times \{0\}$ is the identity on $X$, and $h_{...
- 3,317
2
votes
1
answer
123
views
Signed measures on algebras (fields) and their boundedness properties
I asked this question here on math.StackEchange, but it might be too technical so I re-post it here.
Let $X$ be a compact Hausdorff second countable topological space. Let $\mathcal{B}$ a countable ...
- 23
0
votes
0
answers
64
views
Can an upper hemicontinuous correspondence be discountinuous everywhere?
Let $\phi: X \rightrightarrows Y$ be an upper hemicontinuous correspondence. If $K \subset X$ is a compact and convex set, $K$ contains an open set $U$, and $\phi(x)$ is nonempty, compact, and convex ...
- 101
5
votes
2
answers
246
views
Definability properties of box-open subsets of Polish space
Let $X$ be a perfect Polish space $X$, so that $X^\omega$ is also a Polish space under the product topology. Call a subset $\mathcal{X} \subseteq X^\omega$ box-open if it is an open subset of $X^\...
- 1,370
13
votes
1
answer
355
views
Canceling $\mathbb{R}$-factor
Suppose there are compact sets $K_1,K_2\subset\mathbb{R}^n$ such that $K_1\times \mathbb{R}\cong K_2\times \mathbb{R}$,
but $K_1\ncong K_2$.
What is the minimum of $n$?
Comments
The spherical ...
- 45k
1
vote
0
answers
228
views
Is the topological dimension of spacetime fixed for causally isomorphic spacetimes?
Suppose time-oriented spacetimes $(M_1 , g_1)$ and $(M_2, g_2)$ are not homeomorphic under their manifold topologies $\mathcal{M}_1$ and $\mathcal{M}_2$ respectively.
The Lorentzian metrics $g_1$ and $...
- 612
7
votes
1
answer
665
views
Can $f: \mathbb{R}^2 \to \mathbb{R}$ be continuous, open and closed?
In the last few days I've been thinking on and off about these two problems and I can't get my head around them:
Let $f: \mathbb{R}^2 \to \mathbb{R}$ be a continuous open map.
If $f$ is surjective ...
- 73
0
votes
0
answers
72
views
Sequential compactness via Arzela-Ascoli theorem for uniform state spaces
Let $X$ be a uniform topological space and $C([0,1],X)$ the space of continuous functions from [0,1] to $X$. Assume that for subsets of $X$ sequential compactness and compactness are equivalent. Let $(...
- 133
0
votes
0
answers
42
views
Name for a sequence of open sets, each dense in the complement of the previous ones in the subspace topology
Let $X$ be a topological space. Let $\mathfrak{U} = \langle U_\alpha:\alpha\in\gamma\rangle$ be a sequence of non-empty open subsets of $X$ of length $\gamma$ ($\gamma$ an ordinal). Say (for now) that ...
- 1,855
7
votes
2
answers
446
views
Uncountable collections of distinct subsets of an interval (existence)
Throughout, $\mu$ is just the Lebesgue measure.
Question: does there exist an uncountable family of distinct subsets of $[-1, 1]$, denoted by $(U_j)_{j \in [-1, 1]}$, with $\mu(U_j) > 0$ for each $...
- 101
2
votes
0
answers
71
views
Topological measure theory on spaces that are not completely regular
In the usual discourse regarding approaches to measure theory, it is often pointed out that the restriction of topological measure theory to locally compact Hausdorff spaces is insufficient. However, ...
- 3,816
11
votes
1
answer
960
views
Can the topologist's sine curve be realized as a Julia set?
Does there exist a rational function $f\in\Bbb{C}(z)$ whose Julia set coincides with
$$
T:=\left\{\left(x,\sin\left(\frac{1}{x}\right)\right)\,\Big|\,x\in\left(0,\frac{1}{\pi}\right]\right\}\cup\big(\{...
- 3,599
3
votes
0
answers
60
views
What circumstances guarantee a p-adic affine conjugacy map will be a rational function?
Let $\Bbb Q_p$ be a p-adic field and let any element $x$ of $\Bbb Q_p$ be associated with a unique element of $\Bbb Z_p$ via the quotient / equivalence relation $\forall n\in\Bbb Z:p^nx\sim x$
Then in ...
- 308
1
vote
0
answers
101
views
When is the "Gelfand Remainder" compact?
Suppose we have a noncompact Hausdorff space $S$ and a Banach algebra $A \subset C^*(S,\mathbb R)$ of the space of real-valued bounded functions on $S$. For niceness let's assume $A$ separates the ...
- 1,955
5
votes
1
answer
350
views
Dévissage of stratified structures in Grothendieck's "Esquisse d’un programme"
I have a question about the intuition behind Grothendieck's proposed notion of so called "Tame topology" in his Esquisse d’un programme. Grothendieck insisted that theory should admit “...
- 5,998
5
votes
0
answers
96
views
$M^3$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not virtually nilpotent?
Let $M$ be a closed, orientable, irreducible 3-manifold and having an infinite fundamental group. Is it true that $M$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not ...
- 605
1
vote
0
answers
75
views
Trying to achieve "some sort of hemicompactness" in a Tychonoff space
Let $X$ be a Tychonoff space, i.e. Hausdorff and completely regular. Additionally, consider a map $\psi: X \to (0,\infty)$ such that $K_R := \psi^{-1}((0,R])$ is compact in $X$, for every $R>0$. ...
- 201
12
votes
1
answer
879
views
Partition of unity without AC
Several existence theorems for partition of unity are known. For example (source),
Proposition 3.1. If $(X,\tau)$ is a paracompact topological space,
then for every open cover $\{U_i \subset X\}_{i \...
- 223
2
votes
1
answer
162
views
A topological characterization of trees?
Motivated by this complex dynamics question:
Let $X$ be a compact, path-connected metric space. Suppose there exist an integer $N\geq 2$ and distinct points $p_1,\dots,p_N\in X$ such that no proper ...
- 3,599
2
votes
0
answers
81
views
Extension of a tangent vector field
Let $\Omega$ be an open subset of $S^2$ with $\overline{\Omega} \neq S^2$. Suppose a continuous tangent vector field $G$ is defined on $\partial \Omega$ such that $|G(y)| = 1$ for all $y \in \partial \...
- 434
9
votes
2
answers
424
views
Is there a path-connected, "anti-convex" subset of $\mathbb R^2$ containing $(\mathbb R\smallsetminus \mathbb Q)^2$?
This question was firstly asked in mathematics stack exchange. Getting no answer, I copied it to here.
For a vector space $V$ over $\mathbb R$, I say a subset $S$ of $V$ is "anti-convex" if $...
- 193
2
votes
1
answer
200
views
Subset in $[0,1]^k$ with positive density
Given a positive constant $0<\gamma<1$, does there exists integer $k_0>0$ such that for any integer $k\geq k_0$ the following holds?:
For any $A\subseteq\left[0,1\right]^k$ with the measure ...
- 349
4
votes
0
answers
157
views
Existence of space $Z$ such that $\text{Cont}(X,Z) \cong X$
If $X, Y$ are topological spaces, let $\newcommand{\Cont}{\text{Cont}}\Cont(X,Y)$ denote the collection of continous maps $f:X\to Y$, and we endow $\Cont(X,Y)$ with the product topology inherited from ...
- 48.8k
2
votes
1
answer
185
views
Complete CCC Boolean algebras (or Stonean spaces)
I am interested in what is known about complete Boolean algebras $B$ with the countable chain condition (ccc), i.e., every disjoint set is countable. Let $K$ be the Stone space of $B$; the ...
- 388
4
votes
0
answers
108
views
Larger possible chain of closed subspaces in the dual of a Banach space
In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces.
My question is the following. If $X$ is an ...
- 153
3
votes
1
answer
119
views
Non-isomorphic $T_0$-spaces with order-isomorphic topologies
Are there non-isomorphic $T_0$-spaces $(X_i, \tau_i)$ for $i = 1,2$ such that $\tau_1 \cong \tau_2$ when considered as partially ordered sets?
- 48.8k