Banach Spaces

When to Use

Use this skill when working on banach-spaces problems in functional analysis.

Decision Tree

1. Verify Banach space

   • Complete normed vector space
   • Check: every Cauchy sequence converges
   • z3_solve.py prove "completeness"

2. Hahn-Banach Theorem

   • Extend bounded linear functionals
   • Separate convex sets
   • z3_solve.py prove "extension_exists"