3
$\begingroup$

In the category of normed vector spaces in which the morphisms are linear contractions, what do products look like?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
6
$\begingroup$

Two words: sup norm.

I.e., the product of a family is the uniformly bounded subset of the cartesian product of the family, and the norm is the smallest uniform bound.

Explicitly, if $\{X_i\}_{i\in I}$ is a family of normed vector spaces with all norms ambiguously denoted $\|\cdot\|$, then the product is $X=\{\{a_i\}\in\prod X_i:\sup\|a_i\|<\infty\}$, and for $\{a_i\}\in X$, $\|\{a_i\}\|=\sup\|a_i\|$.

(My intuition came from products of C*-algebras, where the $*$-homomorphisms are automatically contractive and products are defined in this way. So I had a good guess and it is easy to check that it works.)

Improve this answer
$\endgroup$
2
  • 4
    $\begingroup$ One way to arrive at this answer is to note that Hom(R, X) is the set of points in the closed unit ball in X, so the unit ball in X x Y must be the product of the unit balls in X and Y. $\endgroup$
    – Reid Barton
    Jan 5, 2010 at 4:40
  • 1
    $\begingroup$ Yeah, that's so much clearer than my intuition! Thanks. $\endgroup$
    – Jonas Meyer
    Jan 5, 2010 at 4:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.