Skip to main content

Questions tagged [homeomorphism]

Filter by
Sorted by
Tagged with
1 vote
2 answers
125 views

Homeomorphism and boundary of a complementary component

Let $X\subset \mathbb R^2$ be compact and connected. My question is whether homeomorphisms of $X$ preserve boundaries of complementary components. More precisely, let $h:X\to X$ be a homeomorphism. ...
D.S. Lipham's user avatar
  • 3,317
2 votes
0 answers
161 views

Stable homeomorphism theorem for bi-Lipschitz mappings

The stable homeomorphism theorem says that: Every orientation preserving and surjective homeomorphism $f:\mathbb{R}^n\to\mathbb{R}^n$ can be written as $f=f_1\circ\ldots\circ f_k$, where $f_i:\mathbb{...
Piotr Hajlasz's user avatar
2 votes
0 answers
193 views

Stable homeomorphism theorem and the annulus theorem

Brown and Gluck [BG] proved in 1964 that the stable homeomorphism conjecture implies the annulus conjecture. Is the proof of this implication difficult? Is there any other place with the proof of ...
Piotr Hajlasz's user avatar
3 votes
0 answers
77 views

Is it known whether a homeomorphism close to the identity of a compact manifold with nonzero Euler characteristic necessarily has a fixed point?

I recently saw in Kirby's list of open problems that it isn't known if two commuting homeomorphisms of a compact manifold close to the identity necessarily share a common fixed point, when the ...
Ahmad Rafiqi's user avatar
1 vote
0 answers
68 views

Galois connection for homeomorphisms

let $M = \mathbb{R^2}$ and $X = \{0\}$ and $G = Aut_X(M)$ the group of homeorphisms fixing $X$ (pointwise). Then we have, in analogy to classical Galois theory for field extensions, a Galois ...
Henry's user avatar
  • 11
4 votes
0 answers
108 views

Decidability of whether two polynomial bijections generate a free group

I am wondering about the decidability of the following question: Given two polynomial bijections $f, g$ from the real numbers to the real numbers (with say rational coefficient just to simplify what &...
Sprotte's user avatar
  • 1,075
1 vote
0 answers
65 views

Banach tori: classification up to Fréchet homeomorphisms

Consider the set $T$ in $l_p$ defined as closure of \begin{equation} T = \{ (x_1,\dotsc,x_n,\dotsc): x_j = \frac{1}{2^{(j/p)}} e^{it_j}, t_j \in \mathbb{R}/\mathbb{Z} \}. \end{equation} This seems to ...
0x11111's user avatar
  • 593
7 votes
1 answer
379 views

Exotic homeomorphisms of a cube

If $\varphi:\mathbb{R}\to\mathbb{R}$ is continuous, non-constant, non-decreasing, and differentiable a.e. with $\varphi'=0$ a.e., then the mapping $$ \Phi(x,y)=(x+\varphi(x),y+\varphi(y)) $$ is a ...
Piotr Hajlasz's user avatar
1 vote
1 answer
74 views

When a support of an isotopy is disjoint from a subset

Let $M$ be a compact connected manifold, $X\subset M$ a closed subset, and $f:M \times [0;1] \to M$ an isotopy such that each $f_t:M \to M$ is fixed on some open neighborhood $N_t$ of $X$, but there ...
Sergiy Maksymenko's user avatar
9 votes
1 answer
519 views

Are any embeddings $[0,1]\to\mathbb{R}^3$ topologically equivalent?

Suppose we are given embeddings $f_1,f_2:[0,1]\to\mathbb R^3$. Does there exist a homeomorphism $g:\mathbb R^3\to\mathbb R^3$ such that $g\circ f_1=f_2$? This question seems to be classical eighty ...
Andrey Ryabichev's user avatar
2 votes
0 answers
128 views

When is a composition of homeomorphisms topologically transitive provided one of the two is?

Suppose that $S$ is a (connected) regular surface, possibly with boundary, for instance an annulus. Suppose that both $f$ and $g$ are homeomorphisms whose restriction to $\partial S$ is the identity. ...
Alessandro Della Corte's user avatar
1 vote
1 answer
257 views

Why can any open subset $U$ of $\mathbb{Q}^\infty$ be written as disjoint union of basic clopen subsets?

I am reading Engelen´s paper and have trouble with this proof of Lemma 2.1 (a) (link is below). It is easily seen that any non-empty open subspace $U$ of $\mathbb{Q}^\infty$ can be written as an ...
Tereza Tizkova's user avatar
1 vote
0 answers
93 views

What is t-equivalence in function spaces?

In $C_p$-Theory monographs, it is said that two topological spaces $X$ and $Y$ are said to be $t$-equivalent means that $C_p(X)$ is homeomorphic to $C_p(Y)$. Then they also define $u$-equivalences (...
Mir Aaliya's user avatar
7 votes
1 answer
432 views

Induced homeomorphism from a quasi-isometry between hyperbolic spaces

Theorem. Let $\phi:X\rightarrow Y$ be a quasi-isometry between two (Gromov) hyperbolic spaces $X$ and $Y$. If $X$ and $Y$ are proper, then ϕ induces a homeomorphism between their boundaries. The proof ...
Sangrok Oh's user avatar
16 votes
2 answers
758 views

What happens to a closed manifold to ensure it is homeomorphic to a torus $T^{n}$?

If $M$ is a smooth connected closed $n$-dimensional manifold, its universal covering space is homeomorphic to Euclidean space $R^{n}$, and its fundamental group is $Z^{n}$, then is it homeomorphic ...
Thom's user avatar
  • 169
1 vote
1 answer
110 views

Existence of a Hölder homeomorphism satisfying prescribed norm constraints

Let $\Omega$ be a convex body$^{\boldsymbol{1}}$ in $\mathbb{R}^n$ where $n$ is a positive integer. Fix a positive integer $k$ and some $0<\alpha\leq 1$. Let $k_1> k_2>0$. Does there ...
SetValued_Michael's user avatar
1 vote
1 answer
116 views

Disjoint union of clopen sets such that the fibers has constant cardinality [closed]

Let $Z$ a compact set and $X$ a locally compact set. Let $p:Z\to X$ a local homeomorphism. Show that there exists $n≥1$ and $U_1,…,U_n$ open and closed sets of $X$ such that : $X=\sqcup_{i=1}^{n}U_i$ ...
MacFly's user avatar
  • 53
1 vote
0 answers
105 views

Existence of global section, étale map and totally disconnected space

I am trying to show the following result : Let $Y$ be a totally disconnected space and compact space, $X$ a locally compact space and $p:Y\to X$ a surjective local homeomorphism. Then, there exist ...
MacFly's user avatar
  • 53
13 votes
2 answers
1k views

Elementary proof that $\mathbb{R}^3 \setminus \{p_1,\dots,p_n\}$ is not homeomorphic to $\mathbb{R}^3$

I was wondering if there were a proof of the fact that $$\mathbb{R}^3 \setminus \{p_1,\dots,p_n\} \: \text{is not homeomorphic to} \: \mathbb{R}^3$$ for every $n \geq 1$ that does not use cohomology ...
gigi's user avatar
  • 1,343
1 vote
1 answer
421 views

Extension of homeomorphisms

Let $f,g:\mathbb{R}^n\rightarrow \mathbb{R}^m$ be smooth injective and let $n\leq m$. Let $k \in \mathbb{N}$, and let $\iota_m^{m+k}:\mathbb{R}^m\rightarrow \mathbb{R}^{m+k}$ be the canonical ...
ABIM's user avatar
  • 5,407
1 vote
1 answer
208 views

Is every homeomorphism approximately a product of homeomorphisms?

Let $\phi$ be a homeomorphism on $\mathbb{R}^{n+m}$, $\epsilon>0$, and $K\subseteq \mathbb{R}^n$ be a non-empty compact. Does there necessarily exist homeomorphisms $\phi_1,\phi_2$ on $\mathbb{R}^...
ABIM's user avatar
  • 5,407
1 vote
0 answers
96 views

Constructing homeomorphisms from continuous functions and matrix exponentials

Fix a $d\times d$ matrix $A$, let $f:\mathbb{R}^d\rightarrow \mathbb{R}$ be a continuous function, and define the induced map $F_{f,A}:\mathbb{R}^d\rightarrow \mathbb{R}^d$ by $$ x \mapsto \exp(f(x)A)...
ABIM's user avatar
  • 5,407
1 vote
0 answers
43 views

Continuous surjection from $X(D_n)$ onto $\operatorname{Homeo}_0(D_n)$

Let $n>1$ and let $\mathfrak{X}(D_n)$ denote the set of continuous vector fields on the closed disc $D_n\subseteq \mathbb{R}^n$. Let $\operatorname{Homeo}_0(D_n)$ be the set of homeomorphism of ...
ABIM's user avatar
  • 5,407
3 votes
0 answers
75 views

Approximative extension of the autohomeomorphism of the complement of the trivial knot?

Let $S^1\subset \mathbb{R}^3$ be the unit circle and suppose $h\colon \mathbb{R}^3\setminus S^1\to \mathbb{R}^3\setminus S^1$ is a homeomorphism. Clearly it might be that $h$ cannot be extended to $S^...
Vadim's user avatar
  • 396
11 votes
1 answer
990 views

Why are homeomorphism groups important?

For a compact metric space $X$ let $\mathcal H(X)$ denote the set of homeomorphisms in the compact-open topology (also generated by sup metric). It is known that $\mathcal H(X)$ is a Polish ...
D.S. Lipham's user avatar
  • 3,317
6 votes
2 answers
438 views

Do mixing homeomorphisms on continua have positive entropy?

I am trying to understand relations between various measures of topological complexity. I have read that expansive homeomorphisms on continua, for example, have positive entropy. But I do not know ...
D.S. Lipham's user avatar
  • 3,317
0 votes
0 answers
70 views

Contractable and Simply Connected Doubling Spaces Homeomorphic to Euclidean Space

Is there a characterization of all simply connected, contractable doubling metric spaces which are homeomorphic to a simply connected subset of Euclidean space?
ABIM's user avatar
  • 5,407
1 vote
2 answers
529 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 ...
Betti's user avatar
  • 11
10 votes
1 answer
211 views

homeomorphisms induced by composant rotations in the solenoid

Let $S$ be the dyadic solenoid. Let $x\in S$, and let $X$ be the union of all arcs (homeomorphic copies of $[0,1]$) in $S$ containing $x$. $X$ is called a composant of $S$. It is well-known ...
Forever Mozart's user avatar
9 votes
3 answers
401 views

Are there invariants of cell complexes similar to the Euler characteristic?

The Euler characteristic is an invariant (under homeomorphism) of manifolds that can be computed from a cellulation by (weighted) counting of different kinds of objects, namely \begin{equation} \chi=\...
Andi Bauer's user avatar
  • 3,001
6 votes
1 answer
422 views

Transitive homeomorphisms of Erdős spaces

A surjective homeomorphism $h:X\to X$ is minimal if $$\overline{\{h^n(x):n\in \mathbb N\}}=X$$ for every $x\in X$. In other words, the orbit of each point is dense. Does either of the Erdös spaces $\...
D.S. Lipham's user avatar
  • 3,317
6 votes
2 answers
522 views

generators for the handlebody group of genus two

Is the handlebody group of genus two surface generated by Dehn twists along properly embedded disks and annuli? Are there alternative ways to describe a set of generators that are conceptually simple ...
Mehdi Yazdi's user avatar
4 votes
0 answers
200 views

Similarities between isomorphism classes of homeomorphic directed graphs

To clarify, I'm speaking of homeomorphisms in a graph theoretic context, defined by subdivisions of arcs in a directed graph. A subdivision of an arc $(x,z)$ in a directed graph is obtained by ...
Ethan Splaver's user avatar
1 vote
0 answers
86 views

Homeomorphism type of pair of faces in a regular CW complex

Let $X$ be a regular CW complex, $\sigma$ an $n$-dimensional cell of $X$ and $\tau$ an $(n-1)$-dimensional face of $\sigma$. Is it true that the pair $(\bar\sigma, \bar\tau)$ is homeomorphic to the ...
Giove's user avatar
  • 143
10 votes
3 answers
414 views

Is an open subset of a rigid space rigid?

Let $X$ be a locally compact Hausdorff space. Call $X$ rigid if its only autohomeomorphism is the identity, $\operatorname{Homeo}(X)=\{1\}$. Questions: Let $X$ be rigid. Is it true that every open ...
Bedovlat's user avatar
  • 1,959
11 votes
2 answers
578 views

Homeomorphisms vs Borel automorphisms

Let $\mathrm{Homeo}(M)$ and $\mathrm{Borel}(M)$ be the groups of homeomorphic and Borel automorphisms of a space $M$, respectively. Question: Are $\mathrm{Homeo}(M)$ and $\mathrm{Borel}(M)$ ...
Bedovlat's user avatar
  • 1,959
7 votes
1 answer
682 views

Proof of the stable homeomorphism conjecture

I would like to get a demonstration of the stable homeomorphism conjecture (SHC$_n$), stating that any orientation-preserving homeomorphism $\mathbb{R}^n \rightarrow \mathbb{R}^n$ is stable in ...
N. Roobaert's user avatar
13 votes
3 answers
619 views

Extending homeomorphisms from closed countable sets to S^2

Let $A, B \subset S^2$ be closed, countable sets and $\phi \colon A \rightarrow B$ be a homeomorphism. Can we extend $\phi$ to a homeomorphism from $S^2$ to itself? It is well-known that the answer ...
user102420's user avatar