Lemma 14.5.5.label Let $[a, b] \subset \real$, $E, F, H$ be locally convex spaces over $K \in \RC$, $E \times F \to H$ with $(x, y) \mapsto xy$ be a continuous bilinear map, $\gamma \in C([a, b]; F)$ be a rectifiable path, and $U \in \cn_{F}(\gamma([a, b]))$.
For each $P \in \scp([a, b])$, let $\Gamma_{P} \in C([a, b]; F)$ be the piecewise linear path obtained by interpolating values of $\gamma$ at points of $P$, then for any continuous seminorm $[\cdot]_{G}: G \to [0, \infty)$, $\eps > 0$, and $f \in C(U; E) \cap PI([a, b], \gamma; E)$, there exists $P \in \scp([a, b])$ such that for any $Q \in \scp([a, b])$ with $Q \ge P$,
- (1)
$\Gamma_{P}(a) = \gamma(a)$ and $\Gamma_{P}(b) = \gamma(b)$.
- (2)
$\braks{\int_\gamma f - \int_{\Gamma_P} f}_{F} < \epsilon$.
Proof. Let $[\cdot]_{E}: E \to [0, \infty)$ and $[\cdot]_{F}: F \to [0, \infty)$ such that for any $x \in E$ and $y \in F$, $[xy]_{G} \le [x]_{E}[y]_{F}$. Since $\gamma([a, b])$ is compact, by modifying $[\cdot]_{F}$, assume without loss of generality that there exists $V \in \cn_{F}(\gamma([a, b]))$ such that for any $x, y \in V$ with $[x - y]_{F} \le 1$, $[f(x) - f(y)]_{E} \le \eps$.
Since $f \in C(U; E)$, $f \in PI([a, b], \gamma; E)$ by Proposition 14.4.3. Given that $\gamma$ is continuous, there exists $(P_{0}, c_{0}) \in \scp_{t}([a, b])$ such that for any $(P = \seqfz{x_j}, c) \in \scp_{t}([a, b])$ with
- (a)
For each $1 \le j \le n$,
\[\gamma([x_{j-1}, x_{j}]) \subset \bracs{y \in F|[y - x_{j-1}]_F \le 1}\] - (b)
$\braks{\int_\gamma f - S(P, c, f \circ \gamma, \gamma)}_{G} < \epsilon$.
Let $\Gamma = \Gamma_{P}$, then for any $(Q, d) \in \scp_{t}([a, b])$ with $(Q, d) \ge (P, c)$,
As $\Gamma$ is also of bounded variation, $f \in PI([a, b], \Gamma; E)$. Since the above holds for all refinements of $(Q, d)$,
$\square$
Post a Comment