Multiple of Function of Bounded Variation is of Bounded Variation

Theorem
Let $a, b, k$ be real numbers with $a < b$.

Let $f : \closedint a b \to \R$ be a functions of bounded variation.

Let the total variation of $f$ be $V_f$.

Then $k f$ is of bounded variation with:


 * $V_{k f} = \size k V_f$

where $V_{k f}$ is the total variation of $k f$.

Proof
For each finite subdivision $P$ of $\closedint a b$, write:


 * $P = \set {x_0, x_1, \ldots, x_n }$

with:


 * $a = x_0 < x_1 < x_2 < \cdots < x_{n - 1} < x_n = b$

Then:

Since $f$ is of bounded variation, there exists $M \in \R$ such that:


 * $\map {V_f} P \le M$

for all finite subdivisions $P$.

So:


 * $\map {V_{k f} } P \le \size k M$

So $k f$ is of bounded variation.

We then have: