Skip to main content
I added a note to my answer acknowledging Bill Johnson's counterexample in the comments
Source Link
Philip Brooker
  • 2.4k
  • 1
  • 15
  • 18

It is actually not true in general that such a norm $\Vert \cdot \Vert_{\mathcal{A}^n}$ must be complete, despite the fact that the contrary is presented as fact in reputable sources in the literature (see, e.g., Section B.4.11 of Albrecht Pietsch's book Operator Ideals [the version published in 1980 by North-Holland] for the case $n=2$]).

A reference for the fact that $\Vert \cdot \Vert_{\mathcal{A}^n}$ need not be complete is the paper of Eve Oja and Peeter Oja, On the completeness of Cartesian products of Banach spaces (in Russian). Acta et commentationes Universitatis Tartuensis, 661 (1984), 33−35. The English summary of the Oja-Oja paper can be read here.

I think the Oja-Oja paper is hard to come by, so when I learnt of its existence many years ago I believe I just derived my own example to satisfy myself. The Oja-Oja paper also notes that equivalence (hence also completeness) is assured when an additional condition is assumed. In particular it follows easily from the triangle inequality that if there exists a constant $c>0$ such that $$ \Vert (-x_1,\ldots,-x_{i-1},x_i,-x_{i+1},\ldots,-x_n)\Vert_{\mathcal{A}^n}\leq c \Vert (x_1,\ldots,x_{i-1},x_i,x_{i+1},\ldots,x_n)\Vert_{\mathcal{A}^n}$$ for all $x_1,\ldots, x_n\in\mathcal{A}$ then $\Vert\cdot\Vert_{\mathcal{A}^n}$ is $(1+c)$-equivalent to the norm $\Vert\cdot\Vert_1$ as defined in your question.

(If I have time I might come back to this later and give some details of how to construct a counterexample, but I recall that it's not particularly difficult).

Edit: Bill Johnson's comment below notes a nice way of obtaining a counterexample.

It is actually not true in general that such a norm $\Vert \cdot \Vert_{\mathcal{A}^n}$ must be complete, despite the fact that the contrary is presented as fact in reputable sources in the literature (see, e.g., Section B.4.11 of Albrecht Pietsch's book Operator Ideals [the version published in 1980 by North-Holland] for the case $n=2$]).

A reference for the fact that $\Vert \cdot \Vert_{\mathcal{A}^n}$ need not be complete is the paper of Eve Oja and Peeter Oja, On the completeness of Cartesian products of Banach spaces (in Russian). Acta et commentationes Universitatis Tartuensis, 661 (1984), 33−35. The English summary of the Oja-Oja paper can be read here.

I think the Oja-Oja paper is hard to come by, so when I learnt of its existence many years ago I believe I just derived my own example to satisfy myself. The Oja-Oja paper also notes that equivalence (hence also completeness) is assured when an additional condition is assumed. In particular it follows easily from the triangle inequality that if there exists a constant $c>0$ such that $$ \Vert (-x_1,\ldots,-x_{i-1},x_i,-x_{i+1},\ldots,-x_n)\Vert_{\mathcal{A}^n}\leq c \Vert (x_1,\ldots,x_{i-1},x_i,x_{i+1},\ldots,x_n)\Vert_{\mathcal{A}^n}$$ for all $x_1,\ldots, x_n\in\mathcal{A}$ then $\Vert\cdot\Vert_{\mathcal{A}^n}$ is $(1+c)$-equivalent to the norm $\Vert\cdot\Vert_1$ as defined in your question.

(If I have time I might come back to this later and give some details of how to construct a counterexample, but I recall that it's not particularly difficult).

It is actually not true in general that such a norm $\Vert \cdot \Vert_{\mathcal{A}^n}$ must be complete, despite the fact that the contrary is presented as fact in reputable sources in the literature (see, e.g., Section B.4.11 of Albrecht Pietsch's book Operator Ideals [the version published in 1980 by North-Holland] for the case $n=2$]).

A reference for the fact that $\Vert \cdot \Vert_{\mathcal{A}^n}$ need not be complete is the paper of Eve Oja and Peeter Oja, On the completeness of Cartesian products of Banach spaces (in Russian). Acta et commentationes Universitatis Tartuensis, 661 (1984), 33−35. The English summary of the Oja-Oja paper can be read here.

I think the Oja-Oja paper is hard to come by, so when I learnt of its existence many years ago I believe I just derived my own example to satisfy myself. The Oja-Oja paper also notes that equivalence (hence also completeness) is assured when an additional condition is assumed. In particular it follows easily from the triangle inequality that if there exists a constant $c>0$ such that $$ \Vert (-x_1,\ldots,-x_{i-1},x_i,-x_{i+1},\ldots,-x_n)\Vert_{\mathcal{A}^n}\leq c \Vert (x_1,\ldots,x_{i-1},x_i,x_{i+1},\ldots,x_n)\Vert_{\mathcal{A}^n}$$ for all $x_1,\ldots, x_n\in\mathcal{A}$ then $\Vert\cdot\Vert_{\mathcal{A}^n}$ is $(1+c)$-equivalent to the norm $\Vert\cdot\Vert_1$ as defined in your question.

(If I have time I might come back to this later and give some details of how to construct a counterexample, but I recall that it's not particularly difficult).

Edit: Bill Johnson's comment below notes a nice way of obtaining a counterexample.

Provided some details of the additional hypothesis and fixed some typos
Source Link
Philip Brooker
  • 2.4k
  • 1
  • 15
  • 18

It is actually not true in general that such a norm $\Vert \cdot \Vert_{\mathcal{A}^n}$ must be complete, despite the fact that the contrary is presented as fact in reputable sources in the literature (see, e.g., Section B.4.11 of Albrecht Pietsch's book Operator Ideals [the version published in 1980 by North-Holland] for the case $n=2$]).

A reference for the fact that $\Vert \cdot \Vert_{\mathcal{A}^n}$ need not be complete is the paper of Eve Oja and Peeter Oja, On the completeness of Cartesian products of Banach spaces (in Russian). Acta et commentationes Universitatis Tartuensis, 661 (1984), 33−35. The English summary of the Oja-Oja paper can be read here.

I think the Oja-Oja paper is hard to come by, so I think when I learnt of its existence many years ago I believe I just derived my own example soto satisfy myself. The Oja-Oja paper also showsnotes that equivalence (hence also completeness) is assured when an additional condition is assumed. In particular it follows easily from the triangle inequality that if there exists a constant $c>0$ such that $$ \Vert (-x_1,\ldots,-x_{i-1},x_i,-x_{i+1},\ldots,-x_n)\Vert_{\mathcal{A}^n}\leq c \Vert (x_1,\ldots,x_{i-1},x_i,x_{i+1},\ldots,x_n)\Vert_{\mathcal{A}^n}$$ for all $x_1,\ldots, x_n\in\mathcal{A}$ then $\Vert\cdot\Vert_{\mathcal{A}^n}$ is $(1+c)$- a condition which should give you a hint as to howequivalent to construct a suitable counterexample when the extra hypothesis does not holdnorm $\Vert\cdot\Vert_1$ as defined in your question.

(ifIf I have time I might come back to this later and give some details of how to do itconstruct a counterexample, but I recall that it's not hardparticularly difficult).

It is actually not true in general that such a norm $\Vert \cdot \Vert_{\mathcal{A}^n}$ must be complete, despite the fact that the contrary is presented as fact in reputable sources in the literature (see, e.g., Section B.4.11 of Albrecht Pietsch's book Operator Ideals [the version published in 1980 by North-Holland] for the case $n=2$]).

A reference for the fact that $\Vert \cdot \Vert_{\mathcal{A}^n}$ need not be complete is the paper of Eve Oja and Peeter Oja, On the completeness of Cartesian products of Banach spaces (in Russian). Acta et commentationes Universitatis Tartuensis, 661 (1984), 33−35. The English summary of the Oja-Oja paper can be read here.

I think the Oja-Oja paper is hard to come by, so I think when I learnt of its existence many years ago I just derived my own example so satisfy myself. The Oja-Oja paper also shows that completeness is assured when an additional condition is assumed - a condition which should give you a hint as to how to construct a suitable counterexample when the extra hypothesis does not hold (if I have time I might come back to this later and give some details of how to do it, but it's not hard).

It is actually not true in general that such a norm $\Vert \cdot \Vert_{\mathcal{A}^n}$ must be complete, despite the fact that the contrary is presented as fact in reputable sources in the literature (see, e.g., Section B.4.11 of Albrecht Pietsch's book Operator Ideals [the version published in 1980 by North-Holland] for the case $n=2$]).

A reference for the fact that $\Vert \cdot \Vert_{\mathcal{A}^n}$ need not be complete is the paper of Eve Oja and Peeter Oja, On the completeness of Cartesian products of Banach spaces (in Russian). Acta et commentationes Universitatis Tartuensis, 661 (1984), 33−35. The English summary of the Oja-Oja paper can be read here.

I think the Oja-Oja paper is hard to come by, so when I learnt of its existence many years ago I believe I just derived my own example to satisfy myself. The Oja-Oja paper also notes that equivalence (hence also completeness) is assured when an additional condition is assumed. In particular it follows easily from the triangle inequality that if there exists a constant $c>0$ such that $$ \Vert (-x_1,\ldots,-x_{i-1},x_i,-x_{i+1},\ldots,-x_n)\Vert_{\mathcal{A}^n}\leq c \Vert (x_1,\ldots,x_{i-1},x_i,x_{i+1},\ldots,x_n)\Vert_{\mathcal{A}^n}$$ for all $x_1,\ldots, x_n\in\mathcal{A}$ then $\Vert\cdot\Vert_{\mathcal{A}^n}$ is $(1+c)$-equivalent to the norm $\Vert\cdot\Vert_1$ as defined in your question.

(If I have time I might come back to this later and give some details of how to construct a counterexample, but I recall that it's not particularly difficult).

Source Link
Philip Brooker
  • 2.4k
  • 1
  • 15
  • 18

It is actually not true in general that such a norm $\Vert \cdot \Vert_{\mathcal{A}^n}$ must be complete, despite the fact that the contrary is presented as fact in reputable sources in the literature (see, e.g., Section B.4.11 of Albrecht Pietsch's book Operator Ideals [the version published in 1980 by North-Holland] for the case $n=2$]).

A reference for the fact that $\Vert \cdot \Vert_{\mathcal{A}^n}$ need not be complete is the paper of Eve Oja and Peeter Oja, On the completeness of Cartesian products of Banach spaces (in Russian). Acta et commentationes Universitatis Tartuensis, 661 (1984), 33−35. The English summary of the Oja-Oja paper can be read here.

I think the Oja-Oja paper is hard to come by, so I think when I learnt of its existence many years ago I just derived my own example so satisfy myself. The Oja-Oja paper also shows that completeness is assured when an additional condition is assumed - a condition which should give you a hint as to how to construct a suitable counterexample when the extra hypothesis does not hold (if I have time I might come back to this later and give some details of how to do it, but it's not hard).