Skip to main content
added 18 characters in body
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

A funny isometry invariant to distinguish these normed spaces is: The space of spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ which are maximal by inclusion, as described below. It turns out that for $\ell_\infty^2(\mathbb C)$ it is a torus $\mathbb S^1\times \mathbb S^1$, and for the space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above it is a disjoint union of two circles, $\mathbb S^1\times \mathbb S^0$.
Another one is: The length of the poset of all spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ ordered by inclusion. One gets respectively $2$ and $3$.

Consider the unit sphere $S_X:=\{x\in X:\|x\|_X=1\}$ of the normed space $(X,\|\cdot\|_X)$ as a metric space, and the set $\Sigma_2(S_X)$ of all spheres of radius equal to the diameter $2$ of $S_X$. This is both a metric space with the Hausdorff distance, and a POS with the inclusion relation, and these structures are clearly an isometry invariant of $X$. We can further consider the subspace $\Sigma^*_2(S_X)$ of all maximal elements of $\Sigma_2(S_X)$ w.r.to inclusion. For instance, in the case of $X:=\ell^2_\infty(\mathbb C)$, denoting by $\Delta$ the closed unit disk of $\mathbb C$, the sphere of radius $2$ and center $(x,y)\in S_X$ is either $\{-x\}\times\Delta$, or $\Delta\times\{-y\}$, or $\big(\{-x\}\times\Delta\big)\cup\big(\Delta\times\{-y\}\big)$ according whether $|y|<|x|=1$, or $|x|<|y|=1$, or respectively $|x|=|y|=1$. In particular, maximal spheres of radius $2$ are exactly those of the third type, that is with center $(x,y)\in\partial\Delta\times\partial\Delta$. Since these spheres are homeomorphically parametrised by their centers, we conclude that in this case the space $\Sigma^*_2(S_X)$ is topologically a torus $\mathbb S^1\times\mathbb S^1$. Note that this easily generalises for all $\ell_\infty^d(\mathbb C)$, in particular for $d=3$: now the maximal spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ are exactly those of center $(x,y,z)\in\partial\Delta\times\partial\Delta\times\partial\Delta$.

With some more computations, yet by elementary arguments, it is also easy to compute this object for the given complex space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above. We just have to look at the traces on $Y$ of the inclusion of spheres of radius $2$ in the unit sphere of $S_{\ell_\infty^d(\mathbb C)}$: it follows from the assumptions on $a$ and $b$ that the maximal spheres of radius $2$ of $S_Y$ are exactly those whose center $(x,y,z)\in Y$ has $|x|=|y|=|z|=1$. Moreover, for any $x\in\partial\Delta$ there are exactly $2$ distinct values of $y$ for which $(x,y,ax+by)\in Y$, which are of the form $y=\theta_1 x$ and $y=\theta_2 x$, for some complex numbers $\theta_1\neq\theta_2$ of unit modulus (reason: by the assumptions one has $|a+\theta b|\le 1$ for $\theta=1$ and $|a+\theta b|=|a|+|b|> 1$ for $\theta=\text{sgn}b /\text{sgn}a$, so the circle of center $a$ and radius $|b|$ has exactly $2$ intersections with the unit circle $\partial \Delta$, namely $|a+\theta_1b|=|a+\theta_2b|=1$ for $\theta_1|=|\theta_2|=1$, so that also $|ax+(\theta_1x)b|=|a+(\theta_2x)b|=1$ for any $|x|=1$). By similar arguments one checks that a strict inclusion of spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ gives a strict inclusion on the trace on the space $Y$, so that there are no other maximal spheres in $S_Y$.

So the set of the maximal spheres now is a space homeomorphic to the union of the graphs of $\partial\Delta\ni x\mapsto \big(\theta_j x, (a +b\theta_j)x\big)$, thus($j=1,2$),thus to $\mathbb S^1\times \S^0$$\mathbb S^1\times \mathbb S^0$.

Rmk As a variant, we may consider the length of $\Sigma_2(S_X)$ as a partially ordered set (the maximum cardinality of its chains). Then, by the above computations, one gets length $d$ for $\ell^d\infty(\mathbb C)$$\ell^d_\infty(\mathbb C)$, and length $3$ for the space $Y$.

A funny isometry invariant to distinguish these normed spaces is: The space of spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ which are maximal by inclusion, as described below. It turns out that for $\ell_\infty^2(\mathbb C)$ it is a torus $\mathbb S^1\times \mathbb S^1$, and for the space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above it is a disjoint union of circles, $\mathbb S^1\times \mathbb S^0$.
Another one is: The length of the poset of all spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ ordered by inclusion. One gets respectively $2$ and $3$.

Consider the unit sphere $S_X:=\{x\in X:\|x\|_X=1\}$ of the normed space $(X,\|\cdot\|_X)$ as a metric space, and the set $\Sigma_2(S_X)$ of all spheres of radius equal to the diameter $2$ of $S_X$. This is both a metric space with the Hausdorff distance, and a POS with the inclusion relation, and these structures are clearly an isometry invariant of $X$. We can further consider the subspace $\Sigma^*_2(S_X)$ of all maximal elements of $\Sigma_2(S_X)$ w.r.to inclusion. For instance, in the case of $X:=\ell^2_\infty(\mathbb C)$, denoting by $\Delta$ the closed unit disk of $\mathbb C$, the sphere of radius $2$ and center $(x,y)\in S_X$ is either $\{-x\}\times\Delta$, or $\Delta\times\{-y\}$, or $\big(\{-x\}\times\Delta\big)\cup\big(\Delta\times\{-y\}\big)$ according whether $|y|<|x|=1$, or $|x|<|y|=1$, or respectively $|x|=|y|=1$. In particular, maximal spheres of radius $2$ are exactly those of the third type, that is with center $(x,y)\in\partial\Delta\times\partial\Delta$. Since these spheres are homeomorphically parametrised by their centers, we conclude that in this case the space $\Sigma^*_2(S_X)$ is topologically a torus $\mathbb S^1\times\mathbb S^1$. Note that this easily generalises for all $\ell_\infty^d(\mathbb C)$, in particular for $d=3$: now the maximal spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ are exactly those of center $(x,y,z)\in\partial\Delta\times\partial\Delta\times\partial\Delta$.

With some more computations, yet by elementary arguments, it is also easy to compute this object for the given complex space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above. We just have to look at the traces on $Y$ of the inclusion of spheres of radius $2$ in the unit sphere of $S_{\ell_\infty^d(\mathbb C)}$: it follows from the assumptions on $a$ and $b$ that the maximal spheres of radius $2$ of $S_Y$ are exactly those whose center $(x,y,z)\in Y$ has $|x|=|y|=|z|=1$. Moreover, for any $x\in\partial\Delta$ there are exactly $2$ distinct values of $y$ for which $(x,y,ax+by)\in Y$, which are of the form $y=\theta_1 x$ and $y=\theta_2 x$, for some complex numbers $\theta_1\neq\theta_2$ of unit modulus (reason: by the assumptions one has $|a+\theta b|\le 1$ for $\theta=1$ and $|a+\theta b|=|a|+|b|> 1$ for $\theta=\text{sgn}b /\text{sgn}a$, so the circle of center $a$ and radius $|b|$ has exactly $2$ intersections with the unit circle $\partial \Delta$, namely $|a+\theta_1b|=|a+\theta_2b|=1$ for $\theta_1|=|\theta_2|=1$, so that also $|ax+(\theta_1x)b|=|a+(\theta_2x)b|=1$ for any $|x|=1$). By similar arguments one checks that a strict inclusion of spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ gives a strict inclusion on the trace on the space $Y$, so that there are no other maximal spheres in $S_Y$.

So the set of the maximal spheres now is a space homeomorphic to the union of the graphs of $\partial\Delta\ni x\mapsto \big(\theta_j x, (a +b\theta_j)x\big)$, thus to $\mathbb S^1\times \S^0$.

Rmk As a variant, we may consider the length of $\Sigma_2(S_X)$ as a partially ordered set (the maximum cardinality of its chains). Then, by the above computations, one gets length $d$ for $\ell^d\infty(\mathbb C)$, and length $3$ for the space $Y$.

A funny isometry invariant to distinguish these normed spaces is: The space of spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ which are maximal by inclusion, as described below. It turns out that for $\ell_\infty^2(\mathbb C)$ it is a torus $\mathbb S^1\times \mathbb S^1$, and for the space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above it is a disjoint union of two circles, $\mathbb S^1\times \mathbb S^0$.
Another one is: The length of the poset of all spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ ordered by inclusion. One gets respectively $2$ and $3$.

Consider the unit sphere $S_X:=\{x\in X:\|x\|_X=1\}$ of the normed space $(X,\|\cdot\|_X)$ as a metric space, and the set $\Sigma_2(S_X)$ of all spheres of radius equal to the diameter $2$ of $S_X$. This is both a metric space with the Hausdorff distance, and a POS with the inclusion relation, and these structures are clearly an isometry invariant of $X$. We can further consider the subspace $\Sigma^*_2(S_X)$ of all maximal elements of $\Sigma_2(S_X)$ w.r.to inclusion. For instance, in the case of $X:=\ell^2_\infty(\mathbb C)$, denoting by $\Delta$ the closed unit disk of $\mathbb C$, the sphere of radius $2$ and center $(x,y)\in S_X$ is either $\{-x\}\times\Delta$, or $\Delta\times\{-y\}$, or $\big(\{-x\}\times\Delta\big)\cup\big(\Delta\times\{-y\}\big)$ according whether $|y|<|x|=1$, or $|x|<|y|=1$, or respectively $|x|=|y|=1$. In particular, maximal spheres of radius $2$ are exactly those of the third type, that is with center $(x,y)\in\partial\Delta\times\partial\Delta$. Since these spheres are homeomorphically parametrised by their centers, we conclude that in this case the space $\Sigma^*_2(S_X)$ is topologically a torus $\mathbb S^1\times\mathbb S^1$. Note that this easily generalises for all $\ell_\infty^d(\mathbb C)$, in particular for $d=3$: now the maximal spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ are exactly those of center $(x,y,z)\in\partial\Delta\times\partial\Delta\times\partial\Delta$.

With some more computations, yet by elementary arguments, it is also easy to compute this object for the given complex space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above. We just have to look at the traces on $Y$ of the inclusion of spheres of radius $2$ in the unit sphere of $S_{\ell_\infty^d(\mathbb C)}$: it follows from the assumptions on $a$ and $b$ that the maximal spheres of radius $2$ of $S_Y$ are exactly those whose center $(x,y,z)\in Y$ has $|x|=|y|=|z|=1$. Moreover, for any $x\in\partial\Delta$ there are exactly $2$ distinct values of $y$ for which $(x,y,ax+by)\in Y$, which are of the form $y=\theta_1 x$ and $y=\theta_2 x$, for some complex numbers $\theta_1\neq\theta_2$ of unit modulus (reason: by the assumptions one has $|a+\theta b|\le 1$ for $\theta=1$ and $|a+\theta b|=|a|+|b|> 1$ for $\theta=\text{sgn}b /\text{sgn}a$, so the circle of center $a$ and radius $|b|$ has exactly $2$ intersections with the unit circle $\partial \Delta$, namely $|a+\theta_1b|=|a+\theta_2b|=1$ for $\theta_1|=|\theta_2|=1$, so that also $|ax+(\theta_1x)b|=|a+(\theta_2x)b|=1$ for any $|x|=1$). By similar arguments one checks that a strict inclusion of spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ gives a strict inclusion on the trace on the space $Y$, so that there are no other maximal spheres in $S_Y$.

So the set of the maximal spheres now is a space homeomorphic to the union of the graphs of $\partial\Delta\ni x\mapsto \big(\theta_j x, (a +b\theta_j)x\big)$, ($j=1,2$),thus to $\mathbb S^1\times \mathbb S^0$.

Rmk As a variant, we may consider the length of $\Sigma_2(S_X)$ as a partially ordered set (the maximum cardinality of its chains). Then, by the above computations, one gets length $d$ for $\ell^d_\infty(\mathbb C)$, and length $3$ for the space $Y$.

TeX &c
Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

A funny isometry invariant to distinguish these normed spaces is: The space of spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ which are maximal by inclusion, as described below. It turns out that for $\ell_\infty^2(\mathbb C)$ it is a torus $\mathbb S^1\times \mathbb S^1$, and for the space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above it is a disjoint union of circles, $\mathbb S^1\times \mathbb S^0$.
Another one is: The length of the poset of all spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ ordered by inclusion. One gets respectively $2$ and $3$.

Consider the unit sphere $S_X:=\{x\in X:\|x\|_X=1\}$ of the normed space $(X,\|\cdot\|_X)$ as a metric space, and the set $\Sigma_2(S_X)$ of all spheres of radius equal to the diameter $2$ of $S_X$. This is both a metric space with the Hausdorff distance, and a POS with the inclusion relation, and these structures are clearly an isometry invariant of $X$. We can further consider the subspace $\Sigma^*_2(S_X)$ of all maximal elements of $\Sigma_2(S_X)$ w.r.to inclusion. For instance, in the case of $X:=\ell^2_\infty(\mathbb C)$, denoting by $\Delta$ the closed unit disk of $\mathbb C$, the sphere of radius $2$ and center $(x,y)\in S_X$ is either $\{-x\}\times\Delta$, or $\Delta\times\{-y\}$, or $\big(\{-x\}\times\Delta\big)\cup\big(\Delta\times\{-y\}\big)$ according whether $|y|<|x|=1$, or $|x|<|y|=1$, or respectively $|x|=|y|=1$. In particular, maximal spheres of radius $2$ are exactly those of the third type, that is with center $(x,y)\in\partial\Delta\times\partial\Delta$. Since these spheres are homeomorphically parametrised by their centercenters, Wewe conclude that in this case the space $\Sigma^*_2(S_X)$ is topologically a torus $\mathbb S^1\times\mathbb S^1$. Note that this easily generalises for all $\ell_\infty^d(\mathbb C)$, in particular for $d=3$: now the maximal spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ are exactly those of center $(x,y,z)\in\partial\Delta\times\partial\Delta\times\partial\Delta$.

With some more computations, yet by elementary arguments, it is also easy to compute this object for the given complex space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above. We just have to look at the traces on $Y$ of the inclusion of spheres of radius $2$ in the unit sphere of $S_{\ell_\infty^d(\mathbb C)}$: it follows from the assumptions on $a$ and $b$ that the maximal spheres of radius $2$ of $S_Y$ are exactly those withwhose center $(x,y,z)\in Y$ withhas $|x|=|y|=|z|=1$. Moreover, for any $x\in\partial\Delta$ there are exactly $2$ distinct values of $y$ for which $(x,y,ax+by)\in Y$, which are of the form $y=\theta_1 x$ and $y=\theta_2 x$, for some complex numbers $\theta_1\neq\theta_2$ of unit modulus (reason: by the assumptions one has $|a+\theta b|\le 1$ for $\theta=1$ and $|a+\theta b|=|a|+|b|> 1$ for $\theta=\text{sgn}b /\text{sgn}a$, so the circle of center $a$ and radius $|b|$ has exactly $2$ intersections with the unit circle $\partial \Delta$, namely $|a+\theta_1b|=|a+\theta_2b|=1$ for $\theta_1|=|\theta_2|=1$, so that also $|ax+(\theta_1x)b|=|a+(\theta_2x)b|=1$ for any $|x|=1$). WithBy similar arguments one checks that a strict inclusion of spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)$ gives a strict inclusion on the trace on the space $Y$, so that there are no other maximal sphere in $S_Y$$S_{\ell_\infty^3(\mathbb C)}$ gives a strict inclusion on the trace on the space $Y$, so that there are no other maximal spheres in $S_Y$.

So the set of the maximal spheres now is a space homeomorphic to the union of the graphs of $\partial\Delta\ni x\mapsto \big(\theta_j x, (a +b\theta_j)x\big)$, thus to $\mathbb S^1\times \S^0$.

Rmk As a variant, we may consider the length of $\Sigma_2(S_X)$ as a partially ordered set (the maximum cardinality of its chains). Then, by the above computations, one gets length $d$ for $\ell^d\infty(\mathbb C)$, and length $3$ for the space $Y$.

A funny isometry invariant to distinguish these normed spaces is: The space of spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ which are maximal by inclusion, as described below. It turns out that for $\ell_\infty^2(\mathbb C)$ it is a torus $\mathbb S^1\times \mathbb S^1$, and for the space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above it is a disjoint union of circles, $\mathbb S^1\times \mathbb S^0$.
Another one is: The length of the poset of all spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ ordered by inclusion. One gets respectively $2$ and $3$.

Consider the unit sphere $S_X:=\{x\in X:\|x\|_X=1\}$ of the normed space $(X,\|\cdot\|_X)$ as a metric space, and the set $\Sigma_2(S_X)$ of all spheres of radius equal to the diameter $2$ of $S_X$. This is both a metric space with the Hausdorff distance, and a POS with the inclusion relation, and these structures are clearly an isometry invariant of $X$. We can further consider the subspace $\Sigma^*_2(S_X)$ of all maximal elements of $\Sigma_2(S_X)$ w.r.to inclusion. For instance, in the case of $X:=\ell^2_\infty(\mathbb C)$, denoting by $\Delta$ the closed unit disk of $\mathbb C$, the sphere of radius $2$ and center $(x,y)\in S_X$ is either $\{-x\}\times\Delta$, or $\Delta\times\{-y\}$, or $\big(\{-x\}\times\Delta\big)\cup\big(\Delta\times\{-y\}\big)$ according whether $|y|<|x|=1$, or $|x|<|y|=1$, or respectively $|x|=|y|=1$. In particular, maximal spheres of radius $2$ are exactly those of the third type, that is with center $(x,y)\in\partial\Delta\times\partial\Delta$. Since these spheres are homeomorphically parametrised by their center, We conclude that in this case the space $\Sigma^*_2(S_X)$ is topologically a torus $\mathbb S^1\times\mathbb S^1$. Note that this easily generalises for all $\ell_\infty^d(\mathbb C)$, in particular for $d=3$: now the maximal spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ are exactly those of center $(x,y,z)\in\partial\Delta\times\partial\Delta\times\partial\Delta$.

With some more computations, yet by elementary arguments, it is also easy to compute this object for the given complex space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above. We just have to look at the traces on $Y$ of the inclusion of spheres of radius $2$ in the unit sphere of $S_{\ell_\infty^d(\mathbb C)}$: it follows from the assumptions on $a$ and $b$ that the maximal spheres of radius $2$ of $S_Y$ are exactly those with center $(x,y,z)\in Y$ with $|x|=|y|=|z|=1$. Moreover, for any $x\in\partial\Delta$ there are exactly $2$ distinct values of $y$ for which $(x,y,ax+by)\in Y$, which are of the form $y=\theta_1 x$ and $y=\theta_2 x$, for some complex numbers $\theta_1\neq\theta_2$ of unit modulus (reason: by the assumptions one has $|a+\theta b|\le 1$ for $\theta=1$ and $|a+\theta b|=|a|+|b|> 1$ for $\theta=\text{sgn}b /\text{sgn}a$, so the circle of center $a$ and radius $|b|$ has exactly $2$ intersections with the unit circle $\partial \Delta$, namely $|a+\theta_1b|=|a+\theta_2b|=1$ for $\theta_1|=|\theta_2|=1$, so that also $|ax+(\theta_1x)b|=|a+(\theta_2x)b|=1$ for any $|x|=1$). With similar arguments one checks that a strict inclusion of spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)$ gives a strict inclusion on the trace on the space $Y$, so that there are no other maximal sphere in $S_Y$.

So the set of the maximal spheres now is a space homeomorphic to the union of the graphs of $\partial\Delta\ni x\mapsto \big(\theta_j x, (a +b\theta_j)x\big)$, thus to $\mathbb S^1\times \S^0$.

Rmk As a variant, we may consider the length of $\Sigma_2(S_X)$ as a partially ordered set (the maximum cardinality of its chains). Then, by the above computations, one gets length $d$ for $\ell^d\infty(\mathbb C)$, and length $3$ for the space $Y$.

A funny isometry invariant to distinguish these normed spaces is: The space of spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ which are maximal by inclusion, as described below. It turns out that for $\ell_\infty^2(\mathbb C)$ it is a torus $\mathbb S^1\times \mathbb S^1$, and for the space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above it is a disjoint union of circles, $\mathbb S^1\times \mathbb S^0$.
Another one is: The length of the poset of all spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ ordered by inclusion. One gets respectively $2$ and $3$.

Consider the unit sphere $S_X:=\{x\in X:\|x\|_X=1\}$ of the normed space $(X,\|\cdot\|_X)$ as a metric space, and the set $\Sigma_2(S_X)$ of all spheres of radius equal to the diameter $2$ of $S_X$. This is both a metric space with the Hausdorff distance, and a POS with the inclusion relation, and these structures are clearly an isometry invariant of $X$. We can further consider the subspace $\Sigma^*_2(S_X)$ of all maximal elements of $\Sigma_2(S_X)$ w.r.to inclusion. For instance, in the case of $X:=\ell^2_\infty(\mathbb C)$, denoting by $\Delta$ the closed unit disk of $\mathbb C$, the sphere of radius $2$ and center $(x,y)\in S_X$ is either $\{-x\}\times\Delta$, or $\Delta\times\{-y\}$, or $\big(\{-x\}\times\Delta\big)\cup\big(\Delta\times\{-y\}\big)$ according whether $|y|<|x|=1$, or $|x|<|y|=1$, or respectively $|x|=|y|=1$. In particular, maximal spheres of radius $2$ are exactly those of the third type, that is with center $(x,y)\in\partial\Delta\times\partial\Delta$. Since these spheres are homeomorphically parametrised by their centers, we conclude that in this case the space $\Sigma^*_2(S_X)$ is topologically a torus $\mathbb S^1\times\mathbb S^1$. Note that this easily generalises for all $\ell_\infty^d(\mathbb C)$, in particular for $d=3$: now the maximal spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ are exactly those of center $(x,y,z)\in\partial\Delta\times\partial\Delta\times\partial\Delta$.

With some more computations, yet by elementary arguments, it is also easy to compute this object for the given complex space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above. We just have to look at the traces on $Y$ of the inclusion of spheres of radius $2$ in the unit sphere of $S_{\ell_\infty^d(\mathbb C)}$: it follows from the assumptions on $a$ and $b$ that the maximal spheres of radius $2$ of $S_Y$ are exactly those whose center $(x,y,z)\in Y$ has $|x|=|y|=|z|=1$. Moreover, for any $x\in\partial\Delta$ there are exactly $2$ distinct values of $y$ for which $(x,y,ax+by)\in Y$, which are of the form $y=\theta_1 x$ and $y=\theta_2 x$, for some complex numbers $\theta_1\neq\theta_2$ of unit modulus (reason: by the assumptions one has $|a+\theta b|\le 1$ for $\theta=1$ and $|a+\theta b|=|a|+|b|> 1$ for $\theta=\text{sgn}b /\text{sgn}a$, so the circle of center $a$ and radius $|b|$ has exactly $2$ intersections with the unit circle $\partial \Delta$, namely $|a+\theta_1b|=|a+\theta_2b|=1$ for $\theta_1|=|\theta_2|=1$, so that also $|ax+(\theta_1x)b|=|a+(\theta_2x)b|=1$ for any $|x|=1$). By similar arguments one checks that a strict inclusion of spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ gives a strict inclusion on the trace on the space $Y$, so that there are no other maximal spheres in $S_Y$.

So the set of the maximal spheres now is a space homeomorphic to the union of the graphs of $\partial\Delta\ni x\mapsto \big(\theta_j x, (a +b\theta_j)x\big)$, thus to $\mathbb S^1\times \S^0$.

Rmk As a variant, we may consider the length of $\Sigma_2(S_X)$ as a partially ordered set (the maximum cardinality of its chains). Then, by the above computations, one gets length $d$ for $\ell^d\infty(\mathbb C)$, and length $3$ for the space $Y$.

Source Link
Pietro Majer
  • 60.5k
  • 4
  • 122
  • 269

A funny isometry invariant to distinguish these normed spaces is: The space of spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ which are maximal by inclusion, as described below. It turns out that for $\ell_\infty^2(\mathbb C)$ it is a torus $\mathbb S^1\times \mathbb S^1$, and for the space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above it is a disjoint union of circles, $\mathbb S^1\times \mathbb S^0$.
Another one is: The length of the poset of all spheres of radius $2$ in the unit sphere of $(X,\|\cdot\|_X)$ ordered by inclusion. One gets respectively $2$ and $3$.

Consider the unit sphere $S_X:=\{x\in X:\|x\|_X=1\}$ of the normed space $(X,\|\cdot\|_X)$ as a metric space, and the set $\Sigma_2(S_X)$ of all spheres of radius equal to the diameter $2$ of $S_X$. This is both a metric space with the Hausdorff distance, and a POS with the inclusion relation, and these structures are clearly an isometry invariant of $X$. We can further consider the subspace $\Sigma^*_2(S_X)$ of all maximal elements of $\Sigma_2(S_X)$ w.r.to inclusion. For instance, in the case of $X:=\ell^2_\infty(\mathbb C)$, denoting by $\Delta$ the closed unit disk of $\mathbb C$, the sphere of radius $2$ and center $(x,y)\in S_X$ is either $\{-x\}\times\Delta$, or $\Delta\times\{-y\}$, or $\big(\{-x\}\times\Delta\big)\cup\big(\Delta\times\{-y\}\big)$ according whether $|y|<|x|=1$, or $|x|<|y|=1$, or respectively $|x|=|y|=1$. In particular, maximal spheres of radius $2$ are exactly those of the third type, that is with center $(x,y)\in\partial\Delta\times\partial\Delta$. Since these spheres are homeomorphically parametrised by their center, We conclude that in this case the space $\Sigma^*_2(S_X)$ is topologically a torus $\mathbb S^1\times\mathbb S^1$. Note that this easily generalises for all $\ell_\infty^d(\mathbb C)$, in particular for $d=3$: now the maximal spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)}$ are exactly those of center $(x,y,z)\in\partial\Delta\times\partial\Delta\times\partial\Delta$.

With some more computations, yet by elementary arguments, it is also easy to compute this object for the given complex space $Y:=\text{span}\big((1,0,a),(0,1,b)\big)\subset \mathbb C^3$ as defined above. We just have to look at the traces on $Y$ of the inclusion of spheres of radius $2$ in the unit sphere of $S_{\ell_\infty^d(\mathbb C)}$: it follows from the assumptions on $a$ and $b$ that the maximal spheres of radius $2$ of $S_Y$ are exactly those with center $(x,y,z)\in Y$ with $|x|=|y|=|z|=1$. Moreover, for any $x\in\partial\Delta$ there are exactly $2$ distinct values of $y$ for which $(x,y,ax+by)\in Y$, which are of the form $y=\theta_1 x$ and $y=\theta_2 x$, for some complex numbers $\theta_1\neq\theta_2$ of unit modulus (reason: by the assumptions one has $|a+\theta b|\le 1$ for $\theta=1$ and $|a+\theta b|=|a|+|b|> 1$ for $\theta=\text{sgn}b /\text{sgn}a$, so the circle of center $a$ and radius $|b|$ has exactly $2$ intersections with the unit circle $\partial \Delta$, namely $|a+\theta_1b|=|a+\theta_2b|=1$ for $\theta_1|=|\theta_2|=1$, so that also $|ax+(\theta_1x)b|=|a+(\theta_2x)b|=1$ for any $|x|=1$). With similar arguments one checks that a strict inclusion of spheres of radius $2$ in $S_{\ell_\infty^3(\mathbb C)$ gives a strict inclusion on the trace on the space $Y$, so that there are no other maximal sphere in $S_Y$.

So the set of the maximal spheres now is a space homeomorphic to the union of the graphs of $\partial\Delta\ni x\mapsto \big(\theta_j x, (a +b\theta_j)x\big)$, thus to $\mathbb S^1\times \S^0$.

Rmk As a variant, we may consider the length of $\Sigma_2(S_X)$ as a partially ordered set (the maximum cardinality of its chains). Then, by the above computations, one gets length $d$ for $\ell^d\infty(\mathbb C)$, and length $3$ for the space $Y$.