homogenuity of $\ell^p$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T01:26:32Z http://mathoverflow.net/feeds/question/81778 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/81778/homogenuity-of-ellp homogenuity of $\ell^p$ Ema 2011-11-24T05:41:20Z 2011-11-24T14:15:58Z <p>I want to know the following:</p> <p>If $x_1, x_2, \cdots, x_n, y_1,y_2, \cdots, y_n \in \ell_p$ satisfies $\|x_i-x_j\|_p=\|y_i-y_j\|_p$ for any $i,j$, then does there exist isometry $F$ of $\ell_p$ which send each $x_i$ to $y_i$ ?</p> <p>Also do you know the precise description of the isometry group of $\ell_p$ ?</p> http://mathoverflow.net/questions/81778/homogenuity-of-ellp/81783#81783 Answer by Alain Valette for homogenuity of $\ell^p$ Alain Valette 2011-11-24T08:14:08Z 2011-11-24T08:14:08Z <p>To answer your last question, you must combine two classical results:</p> <p>1) First, the Mazur-Ulam theorem tells you that every (surjective) isometry of a real Banach space, is affine. This reduces the description of the isometry group, to the group of linear isometries.</p> <p>2) By a corollary of the Banach-Lamperti theorem, every linear isometry $T$ of $\ell^p=\ell^p(\mathbb{N})$ (with $1\leq p&lt;\infty,p\neq 2$) is of the form $T:(a_n)\mapsto (\epsilon(n)a_{\sigma(n)})$, where $\sigma$ is a permutation of $\mathbb{N}$, and $\epsilon(n)=\pm 1$ for every $n$.</p> http://mathoverflow.net/questions/81778/homogenuity-of-ellp/81808#81808 Answer by Gerald Edgar for homogenuity of $\ell^p$ Gerald Edgar 2011-11-24T14:15:58Z 2011-11-24T14:15:58Z <p>The answer to the first question is NO. Even among norms on $\mathbb R^2$, the only ones that have this amazing property (any isometry defined on a finite set extends to an isometry defined on the whole space) are those norms that make $\mathbb R^2$ isometrically into Euclidean space.</p>