全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 Banach space?

Definition 5.19 University Mathematics — Year 2 · 第 5 章 — Normed Vector Spaces

A Banach space is a complete normed space. Examples: every finite-dimensional normed space (Theorem 5.13); (C([a, b]),∥⋅∥∞)\bigl(C(\intcc{a}{b}), \norm\cdot_\infty\bigr) (Theorem 4.9); Lc(E,F)\mathcal{L}_c(E, F) for FF Banach (same proof pattern as for continuous functions). Non-example: (C([0, 1]),∥⋅∥1)\bigl(C(\intcc{0}{1}), \norm\cdot_1\bigr) (Exercise 5.7).

示例

Example 5.20 (The operator norm of integration)

On (C([0, 1]),∥⋅∥∞)\bigl(C(\intcc01), \norm\cdot_\infty\bigr), let T(f)(x)=∫0xf(t)  ⁣dtT(f)(x) = \int_0^x f(t)\,\dd t (an endomorphism: T(f)T(f) is continuous). Run Method 5.9. Upper bound:

∣T(f)(x)∣≤∫0x∣f∣≤x ∥f∥∞≤∥f∥∞,\abs{T(f)(x)} \leq \int_0^x\abs f \leq x\,\norm f_\infty \leq \norm f_\infty ,

so ∣∣∣T∣∣∣≤1\vertiii T \leq 1. Witness: f≡1f \equiv 1 gives T(f)(x)=xT(f)(x) = x and ∥T(f)∥∞=1=∥f∥∞\norm{T(f)}_\infty = 1 = \norm f_\infty: attained, ∣∣∣T∣∣∣=1\vertiii T = 1. But note ∣∣∣T2∣∣∣=12≠∣∣∣T∣∣∣2\vertiii{T^2} = \frac12 \neq \vertiii T^2: indeed T2(f)(x)=∫0x(x−t)f(t) ⁣dtT^2(f)(x) = \int_0^x(x - t)f(t)\dd t has ∣T2(f)(x)∣≤x22∥f∥∞\abs{T^2(f)(x)} \leq \frac{x^2}2\norm f_\infty, attained again at f≡1f \equiv 1; and generally ∣∣∣Tn∣∣∣=1n!\vertiii{T^n} = \frac1{n!} — the submultiplicative bound ∣∣∣T∣∣∣n=1\vertiii T^n = 1 is off by a factorial. This is exactly the phenomenon the iterate trick of Chapter 4’s weekend problem converts into global solvability of linear differential equations.

Example 5.22 (Matrix exponential, first contact)

The matrix exponential: Mn(K)\mathcal{M}_n(K) with any submultiplicative norm (∣∣∣AB∣∣∣≤∣∣∣A∣∣∣∣∣∣B∣∣∣\vertiii{AB} \leq \vertiii A \vertiii B) is Banach (finite dimension). Then, for every AA,

eA=∑k=0∞Akk!\eu^A = \sum_{k=0}^{\infty} \frac{A^k}{k!}

converges absolutely (∣∣∣Ak/k!∣∣∣≤∣∣∣A∣∣∣k/k!\vertiii{A^k/k!} \leq \vertiii A^k /k!, summable): well defined. Chapter 16 exploits it systematically.

在原文中阅读 →