Definition of k -quasisymmetric maps on S^1 - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T09:52:19Z http://mathoverflow.net/feeds/question/61301 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/61301/definition-of-k-quasisymmetric-maps-on-s1 Definition of k -quasisymmetric maps on S^1 Analysis Now 2011-04-11T15:05:02Z 2011-06-08T17:48:16Z <p>I know the definition of k -quasi-symmetric maps $f$ on $R$,it is </p> <p>there exists $k>0$ such that $\frac{1}{k}\leq\frac{f(x+t)-f(x)}{f(x)-f(x-t)} \leq k \forall x,t\in R.$</p> <p>So I just want to double check the definition of the same for circle, since I was not able to find a specific definition :</p> <p>Can I say $h: S^1\to S^1$ is k -quasisymmtric, if any lift $\tilde{h}: R\to R$ of $h$ is k -quasisymmtric according to the definition of a k-q.s. map$:R\to R$. This dfinition does not dpend on which lift I choose.</p> http://mathoverflow.net/questions/61301/definition-of-k-quasisymmetric-maps-on-s1/67291#67291 Answer by Sylvain Bonnot for Definition of k -quasisymmetric maps on S^1 Sylvain Bonnot 2011-06-08T17:48:16Z 2011-06-08T17:48:16Z <p>You are right: the exact same definition is true for the circle. There is no need to lift your map. So, a homeomorphism $h:S^{1} \rightarrow S^{1}$ is k-quasisymmetric if, for any two intervals $I_{1}$, $I_{2}$ with a common endpoint and having same length ($\vert I_{1}\vert=\vert I_{2} \vert$), we have the following: $$\frac{\vert h(I_{1}) \vert}{\vert h(I_{2}) \vert} \leq k$$</p> <p>You can find such a definition for example on the online Encyclopedia of Math. (http://eom.springer.de)</p>