All Questions

Filter by
Sorted by
Tagged with
8 votes
1 answer
630 views

Is there a universal $\omega$-limit set?

For the purposes of this question, a dynamical system means a compact metric space $X$ together with a continuous map $f: X \to X$. For $x \in X$, the $\omega$-limit set of $x$, denoted $\omega(x)$, ...
Will Brian's user avatar
  • 17.1k
0 votes
1 answer
292 views

Can the image of a disk have nontrivial Hausdorff measure for $1 < d < 2$?

I am reading a blog which talks about a $C^1$ diffeomorphism $f: \mathbb{D}\{ x^2 + y^2 < 1\} \to \mathbb{R}^2$ and estimates the Hausdorff dimension of its image $\mathcal{H}_\sqrt{2}^d (f(\mathbb{...
john mangual's user avatar
  • 22.5k
15 votes
2 answers
576 views

Choosing a metric in which homeomorphism is Holder continuous

Let $X$ be a compact metrizable space, and let $f:X \to X$ be a homeomorphism. Is it always possible to choose a compatible metric on $X$ in which $f$ is Holder continuous? I've tried some simple ...
burtonpeterj's user avatar
  • 1,689
15 votes
1 answer
435 views

Nonperiodic points of homeomorphisms of a ball

Suppose $B$ is a $d$-dimensional ball (for some $d \geq 1$) and $T$ is a homeomorphism from $B$ to itself. Suppose also that $T$ is not of finite order (that is, for no $n \geq 1$ is it the case that $...
James Propp's user avatar
  • 19.1k
11 votes
1 answer
351 views

Nonperiodic points of piecewise-linear homeomorphisms

Suppose $K$ is a compact polytope and $T$ is a piecewise-linear homeomorphism from $K$ to itself. Suppose also that $T$ is not of finite order (that is, for no $n \geq 1$ is it the case that $T^n(x)=x$...
James Propp's user avatar
  • 19.1k
4 votes
3 answers
1k views

Is there an (almost) dense set of quadratic polynomials which is not in the interior of the Mandelbrot set?

For the parameter plane of complex quadratic polynomials, $(z\mapsto z^2+c)_{c\in\mathbb{C}}$ : Is it possible to find a part of the parameter plane, scanned with a given limited precision (...
Adam's user avatar
  • 445
0 votes
1 answer
372 views

Heisenberg group acts on the circle

Let $H$ be a Heisenberg group, i.e. $$ H=\left\langle a,b,c |[a,b]=c,[a,c]=[b,c]=1\right\rangle. $$ $H$ acts on the circle by homeomorphism which preserves the orientation. If the rotation number of $...
user50402's user avatar
3 votes
1 answer
230 views

Contractibility of connected holomorphic dynamics?

Let $f$ be a function, holomorphic in $\mathbb{C}$, and $K(f)$ its non-escaping set : $$K(f) = \{ z \in \mathbb{C} : f^{(k)}(z) \nrightarrow_{k \to \infty} \infty \} $$ Question : If $K(f)$ is ...
Sebastien Palcoux's user avatar
28 votes
2 answers
2k views

Dynamical properties of injective continuous functions on $\mathbb{R}^d$

Let $\varphi:\mathbb{R}^d\to\mathbb{R}^d$ be an injective continuous function. Denote by $\varphi_n$ the $n$-th iterate of $\varphi$, i.e. $\varphi_n(x)=\varphi_{n-1}(\varphi(x))$ for all $x\in\...
adamp's user avatar
  • 391
4 votes
1 answer
362 views

Extending the hyperbolic splitting on $\Lambda$ to a neighborhood of $\Lambda$

Let $M$ be a compact Riemannian manifold and let $f:M→M$ a diffeomorphism. Let $\Lambda\subset M$ be a compact invariant subset of $M$. We say that $\Lambda $ is a hyperbolic set for $f$ when there ...
user avatar
10 votes
2 answers
2k views

“is topologically mixing” vs. “is topologically transitive” in the defition of chaos

This question is cross-posted from MSE, since it hasn't gotten an answer there for over 72 hours. Wikipedia gives essentially "is topologically mixing and has dense periodic periodic orbits" as the ...
user avatar
6 votes
1 answer
486 views

inverse problem for ergodic measures

It is a basic fact in the weak-* topology, the set of invariant measures for a dynamical system is closed, compact, and convex in the weak-* topology. Furthermore, the set of ergodic measures is equal ...
yaoxiao's user avatar
  • 1,646
5 votes
0 answers
103 views

Is a closed set with orbit capacity zero automatically thin?

Let $G$ be a countably infinite amenable group. Let $\alpha: G\curvearrowright X$ be a continuous group action. (Mostly free and minimal, though!) Definition 1: Let $A\subset X$ be closed and $U\...
Gabor Szabo's user avatar
5 votes
0 answers
114 views

Equivariant zero dimensional extension recovering a given measure

Let $X$ be a compact metrizable space and $\alpha: \mathbb{Z}^d\curvearrowright X$ a continuous group action. Then it is well known that there exists a zero dimensional compact space $Y$, an action $\...
Gabor Szabo's user avatar
13 votes
1 answer
2k views

Analysis of the boundary of the Mandelbrot set

Motivation: The Mandlebrot set is a simply connected set with an infinitely complex boundary, but CAN one move from interior to the exterior of this topological space by just crossing over a finite ...
ARi's user avatar
  • 841
7 votes
2 answers
376 views

When does a homeomorphism split into essentially minimal homeomorphisms?

Background Suppose $X$ is a compact metric space, and that $\varphi: X\to X$ is a homeomorphism of $X$. We say a subset $A$ of $X$ is $\varphi$-invariant if $\varphi(A) = A$. A $\varphi$-invariant ...
Gabor Szabo's user avatar
8 votes
1 answer
1k views

Beautiful examples of arc-like continua

A continuum is a nonempty compact, connected metric space. A continuum $X$ is called arc-like if, for every $\varepsilon>0$, there is a continuous and surjective function $f:X\to [0,1]$ such that $...
10 votes
3 answers
309 views

The identity element of a compact group is a limit point of any "polynomial sequence"

Is there an "elementary" (say ultrafilter-free) proof of the following fact: if $G$ is a compact (Hausdorff) topological group, if $g \in G$ is any element from this group, and if $P$ is a polynomial ...
user25235's user avatar
  • 225
7 votes
0 answers
277 views

Generalized Skorokhod spaces

Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
Tom LaGatta's user avatar
  • 8,322
6 votes
0 answers
388 views

Fundamental group of non-Hausdorff surfaces & actions of discrete Heisenberg group

Let $G$ be a discrete group, acting on a space $X$ (by homeomorphisms). I will say that the action is properly discontinuous if for any $x, y \in X$, there are neighborhoods $U_x$ and $U_y$ such that ...
Kiran Parkhe's user avatar
8 votes
1 answer
755 views

What information can one recover from the induced map on homology?

The following question came up while constructing delay embeddings of time series data. Consider an unknown topological space $X$ and an unknown continuous function $f:X \to X$. We are given a ...
Vidit Nanda's user avatar
  • 15.3k
3 votes
1 answer
258 views

Does the "measure-preserving property" commute with ultralimits ?

Let $(X, \mathcal{B}, \mu, T)$ be a measure-preserving system, with $T$ invertible, where the $\sigma$-algebra $\mathcal{B}$ is a Borel algebra arising from a topology which makes $T$ continuous, and ...
js21's user avatar
  • 7,179
5 votes
0 answers
131 views

Possible homogeneity of infinite dimensional Sierpinski carpet analogues?

Start with the Hilbert cube $H=I^\omega$, thinking of its coordinates as written in ternary expansion. Construct subsets $S_n$ by removing points from $H$ if for any $m$, at least $n$ of the ...
David Feldman's user avatar
1 vote
1 answer
130 views

Conditions under which a given scheme converges

I'm sorry in advance for how long this question is. Suppose I have a continuous function $f:\mathbb{R}^n \rightarrow \Delta_{n-1}$, where we think of the simplex $\Delta_{n-1}$ as the set $\Delta_{n-...
Jennifer Gao's user avatar
7 votes
6 answers
1k views

Bijective function on a dense set

Suppose X is a complete metric space, and $f:X↦X$ a continuous surjective function. Let D be a dense set. Suppose $f:D↦D$ is injective and $f^{-1}(D)=D$. Is $f$ injective ? Is there a family of ...
FelipeG's user avatar
  • 287
3 votes
1 answer
459 views

Equilibria Exist in Compact Convex Forward-Invariant Sets

Theorem. Consider a continuous map $f : {\mathbb{R}}^{n} \rightarrow {\mathbb{R}}^{n}$ and suppose that the autonomous dynamical system $\dot{x} = f(x)$ has a semiflow $\varphi : {\mathbb{R}}_{\geq{0}}...
Gilles Gnacadja's user avatar
5 votes
2 answers
361 views

Complexity of a fixed point

Let $\varphi:\mathbb{R}^{2}\rightarrow\mathbb{R}^{2}$ be a homeomorphism of the plane with fixed point $p$, i.e. $\varphi(p)=p$, and no other periodic points. Let $r$ be a fixed natural number. My ...
t22's user avatar
  • 303
5 votes
2 answers
633 views

$C^n$ And Forcing: Reading a Recent Paper By Kunen

While reading a recent paper by Kunen arxiv.org/abs/0912.3733, which deals with PFA and the existence of certain differentiable functions, (defined on all of $\mathbb{R}$) which map certain $\aleph_1$-...
Not Mike's user avatar
  • 1,657
3 votes
1 answer
372 views

Chaos in uniform spaces

Let $Dom$ be a uniform space, and $\hspace{.04 in}f$ be a continuous function from $Dom$ to itself satisfying: For all non-empty open subsets $U$ and $V$ of $Dom$, there exists a natural number $n$ ...
user avatar
11 votes
3 answers
2k views

Permute Wada Lakes keeping the coastline intact? (still open in dim >2)

Wada Lakes are three disjoint open subsets of $\mathbb R^2$ with common boundary. Originally they were constructed by hand, but they also arise naturally in the real life, that is, theory of dynamical ...
Andrey Gogolev's user avatar
11 votes
3 answers
870 views

How much "Morse theory" can be accomplished given only a continuous transformation of a space?

If $M$ is a Riemannian manifold and $f:M\to \mathbb{R}$ a Morse-Smale function (which is just a rigorous way to say "generic smooth function"), then Morse theory essentially recovers the manifold ...
Darsh Ranjan's user avatar
  • 5,882

1
2