Equivalence of Definitions of Total Variation of Real Function on Closed Bounded Interval

Proof
We aim to prove that:


 * $\ds \sup_{P \mathop \in \map X {\closedint a b} } \paren {\map {V_f} {P ; \closedint a b} } = \sup_{\SS \mathop \in \map {\PP_F} {\closedint a b} } \paren {\map {V_f^\ast} {\SS ; \closedint a b} }$

We will prove that:


 * $\ds \sup_{P \mathop \in \map X {\closedint a b} } \paren {\map {V_f} {P ; \closedint a b} } \le \sup_{\SS \mathop \in \map {\PP_F} {\closedint a b} } \paren {\map {V_f^\ast} {\SS ; \closedint a b} }$

and:


 * $\ds \sup_{\SS \mathop \in \map {\PP_F} {\closedint a b} } \paren {\map {V_f^\ast} {\SS ; \closedint a b} } \le \sup_{P \mathop \in \map X {\closedint a b} } \paren {\map {V_f} {P ; \closedint a b} }$

Note that:


 * $\map X {\closedint a b} \subseteq \map {\PP_F} {\closedint a b}$

Note also that if $\SS$ is a finite subdivision of $\closedint a b$, we have:


 * $\map {V_f} {\SS ; \closedint a b} = \map {V_f^\ast} {\SS ; \closedint a b}$

So, we have:


 * $\set {\map {V_f} {P ; \closedint a b} : P \in \map X {\closedint a b} } \subseteq \set {\map {V_f^\ast} {\SS ; \closedint a b} : \SS \in \map {\PP_F} {\closedint a b} }$

So, from Supremum of Subset we obtain:


 * $\ds \sup_{P \mathop \in \map X {\closedint a b} } \paren {\map {V_f} {P ; \closedint a b} } \le \sup_{\SS \mathop \in \map {\PP_F} {\closedint a b} } \paren {\map {V_f^\ast} {\SS ; \closedint a b} }$

In Equivalence of Definitions of Bounded Variation for Real Function on Closed Bounded Interval, it is shown that for each $\SS \in \map {\PP_F} {\closedint a b}$, there exists a finite subdivision $\SS^\ast \in \map X {\closedint a b}$ such that $\SS \subseteq \SS^\ast$ and:


 * $\map {V_f^\ast} {\SS ; \closedint a b} \le \map {V_f} {\SS^\ast ; \closedint a b}$

which establishes:


 * $\ds \sup_{\SS \mathop \in \map {\PP_F} {\closedint a b} } \paren {\map {V_f^\ast} {\SS ; \closedint a b} } \le \sup_{P \mathop \in \map X {\closedint a b} } \paren {\map {V_f} {P ; \closedint a b} }$