Definition 13.2.3 (Bounded Variation).label Let $E$ be a locally convex space, $\rho$ be a continuous seminorm on $E$, and $f: [a, b] \to E$. If $[f]_{\text{var}, \rho}< \infty$, then $f$ is of bounded variation with respect to $\rho$.
The space $BV([a, b]; E)$ is the set of functions $[a, b] \to E$ of bounded variation with respect to every continuous seminorm on $E$, and
- (1)
$BV([a, b]; E)$ is a vector space.
- (2)
For each continuous seminorm $\rho$ on $E$, $[\cdot]_{\text{var}, \rho}$ is a seminorm on $BV([a, b]; E)$.
- (3)
For each continuous seminorm $\rho$ on $E$, $[\cdot]_{\text{var}, \rho}: E^{[a, b]}\to [0, \infty]$ is lower semicontinuous. In particular, for any $M > 0$, $\bracs{[\cdot]_{\text{var}, \rho} \le M}\subset E^{[a, b]}$ is closed.
- (4)
For any $f \in BV([a, b]; E)$ and continuous seminorm $\rho$ on $E$, $\sup_{x \in [a, b]}\rho(f(x)) \le \rho(f(a)) + [f]_{\text{var}, \rho}$.
If $(E, \norm{\cdot}_{E})$ is a normed vector space, then
- (5)
$f$ has at most countably many discontinuities.
Proof [Proposition X.1.1, Lan93]. (3): For each $P \in \scp([a, b])$, the mapping $V_{P, \rho}: E^{[a, b]}\to [0, \infty]$ is continuous. Since $[\cdot]_{\text{var}, \rho}= \sup_{P \in \scp([a, b])}V_{P, \rho}$, $[\cdot]_{\text{var}, \rho}$ is lower semicontinuous by Proposition 5.22.2.
(5): For each $n \in \nat^{+}$, let
then $D = \bigcup_{n \in \nat^+}D_{n}$ is the set of discontinuity points of $f$. If $D$ is uncountable, then there exists $N \in \nat^{+}$ such that $D_{n}$ is infinite.
Fix $N \in \nat^{+}$. Let $E_{1} = D_{n} \cap (a, b)$ and $I_{1} = (a, b)$, then
- (a)
$|E_{k}| \ge N - k$.
- (b)
$E_{k} \subset I_{k}^{o}$.
for $k = 1$.
Let $k \le N$ and suppose inductively that $E_{k}, I_{k}$ have been constructed. Let $x_{k} \in E_{k}$, then by (b), there exists $\eps > 0$ such that $[x_{k} - \eps, x_{k} + \eps] \subset I_{k}$ and $|E_{k} \setminus [x_{k} - \eps, x_{k} + \eps]| \ge N - k$. Let $y_{k} \in [x_{k} - \eps, x_{k} + \eps]$ such that $\norm{f(x_k) - f(y_k)}\ge 1/n$, $I_{k + 1}= I_{k} \setminus [x_{k} - \eps, x_{k} + \eps]$, and $E_{k+1}= E_{k} \setminus [x_{k} - \eps, x_{k} + \eps]$, then $I_{k}$ and $E_{k}$ satisfies (a) and (b).
Therefore there exists pairs $\bracs{(x_k, y_k)|1 \le k \le N}$ such that $\norm{f(x_k) - f(y_k)}_{E} \ge 1/n$ for all $n$, and the smallest interval containing each $(x_{k}, y_{k})$ are pairwise disjoint. Thus $[f]_{\text{var}}\ge N/n$ for all $N \in \nat^{+}$, so $[f]_{\text{var}}= \infty$.$\square$
Post a Comment