有界线性变换定理（BLT定理）的参考资料求证及证明查询

Hey there, let's tackle this question about the Bounded Linear Transformation (BLT) Theorem—also known as the Continuous Linear Extension Theorem—since you're having trouble tracking down a solid reference and proof details after checking Wikipedia and Reed's text.

First, let's restate the theorem clearly (as you noted):

From a normed vector space $V$ to a complete normed vector space $W$, any bounded linear transformation $T$ can be uniquely extended to a bounded linear transformation $\tilde{T}$ from the closure $\bar{V}$ of $V$ to $W$.

Key Authoritative References #

Here are three standard, widely cited texts that explicitly cover this theorem with rigorous, accessible proofs:

• Walter Rudin's Real and Complex Analysis: Head to Chapter 5 (Banach Spaces). Rudin frames this as a foundational result for extending continuous linear maps from dense subsets. The proof walks through constructing the extension via Cauchy sequences, verifying well-definedness, linearity, boundedness, and uniqueness—all with precise, step-by-step detail.
• Erwin Kreyszig's Introductory Functional Analysis with Applications: Chapter 2 (Normed Spaces and Banach Spaces) dedicates a dedicated section to this theorem. Kreyszig pairs the proof with intuitive explanations of why $W$'s completeness and $T$'s boundedness are non-negotiable assumptions, plus concrete examples to build intuition.
• Lawrence C. Evans' Partial Differential Equations: Even though it's a PDE-focused text, the opening chapter on functional analysis basics includes a concise, no-frills proof of the BLT Theorem. It's perfect if you need a quick recap of the core logic without extra exposition.

Core Proof Outline #

If you want to work through the proof yourself, here's the structured, intuitive breakdown:

1. Construct the extension: For any $v \in \bar{V}$, pick a Cauchy sequence ${v_n}$ in $V$ that converges to $v$ (since $\bar{V}$ is the closure of $V$, such a sequence always exists by definition).
2. Leverage boundedness and completeness: Since $T$ is bounded, ${T(v_n)}$ is a Cauchy sequence in $W$ (bounded linear maps preserve Cauchy sequences). Because $W$ is complete, this sequence converges to some $w \in W$—define $\tilde{T}(v) = w$.
3. Verify well-definedness: Show the definition doesn't depend on your choice of Cauchy sequence. If ${v_n'}$ also converges to $v$, then ${v_n - v_n'}$ converges to $0$, so $|T(v_n - v_n')| \leq |T| |v_n - v_n'| \to 0$. Thus, ${T(v_n)}$ and ${T(v_n')}$ have the same limit.
4. Check linearity and boundedness:
   • Linearity follows directly from linearity of $T$ and properties of limits: $\tilde{T}(av + bu) = \lim T(av_n + bu_n) = a\lim T(v_n) + b\lim T(u_n) = a\tilde{T}(v) + b\tilde{T}(u)$.
   • Boundedness: $|\tilde{T}(v)| = \lim |T(v_n)| \leq \lim |T| |v_n| = |T| |v|$, so $|\tilde{T}| \leq |T|$. The reverse inequality holds because $\tilde{T}$ extends $T$, so $|\tilde{T}| = |T|$.
5. Prove uniqueness: Suppose there's another bounded linear extension $\tilde{S}$. For any $v \in \bar{V}$, take ${v_n} \subset V$ converging to $v$. Then $\tilde{S}(v) = \lim \tilde{S}(v_n) = \lim T(v_n) = \tilde{T}(v)$, since $\tilde{S}$ agrees with $T$ on $V$ and bounded linear maps are continuous.

Note on Reed's Text #

If you're checking Reed's Methods of Modern Mathematical Physics (Volume 1), the BLT Theorem might not be labeled with that exact acronym. Instead, it's embedded in the discussion of continuous linear maps on Banach spaces—specifically in sections covering extensions from dense subspaces. Try looking at the early chapters on Banach space fundamentals; you'll find the same core result, just framed as part of a broader discussion rather than a standalone "BLT Theorem."

内容的提问来源于stack exchange，提问作者W. Volante