Skip to main content
added 297 characters in body
Source Link
Reid Barton
  • 25.2k
  • 1
  • 76
  • 133

Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".

Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of Banach spaces and linear contractions (with the tensor product described on that page)?

Edit: take n=2, p=1, q=∞. Then the question becomes whether $V \times V$ (which is $V^2$ with the $l_\infty$ norm) is isomorphic to $(\mathbb{R}^2)_\infty \otimes V$. But it seems to me that the functor $V \mapsto V \times V$ does not even commute with coproducts... is that right?

Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".

Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of Banach spaces and linear contractions (with the tensor product described on that page)?

Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".

Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of Banach spaces and linear contractions (with the tensor product described on that page)?

Edit: take n=2, p=1, q=∞. Then the question becomes whether $V \times V$ (which is $V^2$ with the $l_\infty$ norm) is isomorphic to $(\mathbb{R}^2)_\infty \otimes V$. But it seems to me that the functor $V \mapsto V \times V$ does not even commute with coproducts... is that right?

Source Link
Reid Barton
  • 25.2k
  • 1
  • 76
  • 133

Categorical duals in Banach spaces

Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".

Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of Banach spaces and linear contractions (with the tensor product described on that page)?