Banach space Study Guide

📖 Core Concepts Normed vector space – Vector space over ℝ or ℂ with a norm ‖x‖; induces distance $d(x,y)=\|x-y\|$. Banach space – A normed space in which every Cauchy sequence converges inside the space. Canonical metric & topology – The metric $d(x,y)=\|x-y\|$ generates a Hausdorff, translation‑invariant topology. Equivalent norms – Norms $\|\cdot\|1,\|\cdot\|2$ satisfy $c\|x\|1\le\|x\|2\le C\|x\|1$ for some $c,C>0$; they give the same topology and Banach‑ness. Continuous linear map (bounded operator) – $T:X\to Y$ is continuous ⇔ $\|T\|=\sup{\|x\|\le1}\|Tx\|<\infty$. Dual space $X^{}$ – All continuous linear functionals $f:X\to\mathbb K$; itself a Banach space with the operator norm. Weak topology – Coarsest topology making every $f\in X^{}$ continuous; strictly weaker than norm topology. Weak\ topology – Coarsest topology on $X^{}$ making all evaluation maps $f\mapsto f(x)$ continuous. Reflexivity – Canonical map $J:X\to X^{}$ is surjective; equivalent to the unit ball being weakly compact. --- 📌 Must Remember Cauchy sequence: $\forall\varepsilon>0\;\exists N\; \|xn-xm\|<\varepsilon$ for $n,m\ge N$. Banach space ⇔ complete norm‑induced metric (Klee’s theorem). Equivalence of norms: $c\|x\|1\le\|x\|2\le C\|x\|1$. Operator norm: $\|T\|=\sup{\|x\|\le1}\|Tx\|$. Hahn–Banach: Extend a functional from a subspace without increasing norm. Uniform Boundedness Principle: Pointwise bounded $\Rightarrow$ sup norm bounded. Open Mapping Theorem: Surjective bounded linear $T$ maps open sets to open sets. Closed Graph Theorem: Linear $T$ is bounded iff its graph is closed. Inverse Mapping Theorem: Bijective bounded linear $T$ between Banach spaces ⇒ $T^{-1}$ bounded. Reflexive iff closed unit ball compact in weak topology iff every functional attains its norm (James). Schur property: In $\ell^{1}$ weak convergence ⇒ norm convergence. --- 🔄 Key Processes Checking completeness of a normed space Verify every Cauchy sequence converges → use known completions or embed isometrically into a Banach space. Proving two norms are equivalent Find constants $c,C>0$ satisfying $c\|x\|1\le\|x\|2\le C\|x\|1$ for all $x$. Applying Hahn–Banach Start with $f0$ on subspace $M\subset X$, bound by $p(x)$ (sublinear). Extend to whole $X$ keeping $\|f\|=\|f0\|$. Using the Open Mapping Theorem Show $T$ is surjective and bounded → conclude $T$ maps some ball $BX(0,r)$ onto a ball $BY(0,\delta)$. Testing reflexivity Check if $X^{}$ is reflexive or if unit ball is weakly compact. Constructing a Schauder basis Identify a sequence $(en)$ such that each $x\in X$ has a unique expansion $x=\sum an en$ with convergence in norm. --- 🔍 Key Comparisons Norm vs. Metric completeness – Both coincide for norm‑induced metrics; a complete metric that is translation‑invariant and induces the same topology also makes the space Banach (Klee). Weak vs. Weak\ – Weak topology on $X$ uses functionals in $X^{}$; weak\ topology on $X^{}$ uses evaluations at points of $X$. Banach space vs. Hilbert space – Hilbert spaces satisfy the parallelogram law; all Hilbert spaces are reflexive, but not every reflexive Banach space is a Hilbert space. $\ell^{1}$ vs. $\ell^{2}$ – $\ell^{1}$ has Schur property (weak = norm convergence); $\ell^{2}$ is a Hilbert space, reflexive, weakly compact unit ball. --- ⚠️ Common Misunderstandings “Closed + bounded ⇒ compact” – True only in finite‑dimensional Banach spaces; false in infinite dimensions. All Banach spaces are locally compact – Only finite‑dimensional Banach spaces have this property. Every weakly convergent sequence is norm convergent – Only true in spaces with the Schur property (e.g., $\ell^{1}$). Equivalence of norms changes completeness – Wrong; equivalent norms preserve Banach‑ness. --- 🧠 Mental Models / Intuition Norm ↔ Geometry: Think of balls $B(0,r)$ as “building blocks” of the topology; convexity makes them behave like Euclidean balls. Dual space as “measurement tools”: Each $f\in X^{}$ probes $X$; the weak topology records all such probes simultaneously. Reflexivity as “no missing directions”: $X$ sits densely in its double dual; the bidual adds no new points. --- 🚩 Exceptions & Edge Cases Compactness of closed balls: Holds iff the space is finite‑dimensional. Weak compactness of unit ball: Fails in non‑reflexive spaces (e.g., $\ell^{1},\,\ell^{\infty},\,C([0,1])$). Metric completeness vs. norm completeness: A translation‑invariant complete metric that induces the norm topology still yields a Banach space (Klee), but a different complete metric need not. --- 📍 When to Use Which Choose Hahn–Banach when you need to extend a functional without increasing its norm (e.g., separation arguments). Use Open Mapping to deduce existence of a lower bound on the image of a ball for surjective operators. Apply Closed Graph when you know the graph is closed but not continuity directly. Select weak\ topology for compactness results (Banach–Alaoglu) on $X^{}$. Pick Schauder basis when you need separability or to construct approximating finite‑rank operators. --- 👀 Patterns to Recognize Finite‑dimensional ⇒ local compactness, Heine–Borel, all norms equivalent. Uniform boundedness ⇒ any pointwise bound forces a uniform operator norm bound. Weak convergence + Banach–Steinhaus ⇒ boundedness of the sequence. Presence of a closed, bounded, convex set that is weakly compact → reflexivity. --- 🗂️ Exam Traps Distractor: “Every Banach space is reflexive.” – False; $\ell^{1}$ and $C([0,1])$ are counterexamples. Distractor: “Closed unit ball is always compact.” – Only in finite dimensions or under weak topology in reflexive spaces. Confusing weak vs. weak\ convergence – Remember weak\ involves functionals evaluated at fixed points of the primal space. Misapplying the parallelogram law: It characterizes inner‑product norms; using it on a generic Banach norm leads to incorrect conclusions about Hilbert structure. Assuming “bounded ⇒ weakly convergent” – Bounded sequences are weakly relatively compact only in reflexive spaces (Eberlein–Šmulian). ---