Metamath Proof Explorer

Table of Contents - 18.6. Complex Banach spaces

1. Definition and basic properties
   1. ccbn
   2. df-cbn
   3. iscbn
   4. cbncms
   5. bnnv
   6. bnrel
   7. bnsscmcl
2. Examples of complex Banach spaces
   1. cnbn
3. Uniform Boundedness Theorem
   1. ubthlem1
   2. ubthlem2
   3. ubthlem3
   4. ubth
4. Minimizing Vector Theorem
   1. minvecolem1
   2. minvecolem2
   3. minvecolem3
   4. minvecolem4a
   5. minvecolem4b
   6. minvecolem4c
   7. minvecolem4
   8. minvecolem5
   9. minvecolem6
   10. minvecolem7
   11. minveco