Functions of Bounded Variation

# Functions of Bounded Variation

 Definition: Let $f$ be a function on the closed interval $[a, b]$. The Variation of $f$ associated with the partition $P$ denoted $V_f (P)$ is defined to be $V_f (P) = \sum_{k=1}^n \mid f(x_k) - f(x_{k-1}) \mid$. The function $f$ is said to be a function of Bounded Variation if there exists a positive real number $M > 0$ such that for all partitions $P \in \mathscr{P} [a, b]$ we have that $\displaystyle{V_f (P) \leq M}$.

We will now look at some nice theorems regarding functions of bounded variation. Recall from the Boundedness Theorem page that if $I = [a, b]$ is a closed and bounded interval and $f : I \to \mathbb{R}$ is a continuous function then $f$ is bounded on $I$. In the subsequent theorem, we will see that if a function $f$ (not necessarily continuous) is of bounded variation on that interval $[a, b]$ then $f$ is also bounded on $[a, b]$.

 Theorem 1: If $f$ is a function of bounded variation on the interval $[a, b]$ then $f$ is bounded on $[a, b]$.

Note that $f$ need not be continuous on $[a, b]$. We already know that a function that is continuous on $[a, b]$ then it is necessarily bounded on $[a, b]$!

• Proof: Let $f$ be a function of bounded variation on the interval $[a, b]$. Then there exists a positive real number $M > 0$ such that for all partitions $P \in \mathcal P [a, b]$ we have that:
(1)
\begin{align} \quad V_f (P) = \sum_{k=1}^n \mid f(x_k) - f(x_{k-1}) \mid \leq M \end{align}
• For all $x \in [a, b]$ consider the partition $P = \{ a, x, b \}$ (where $P = \{ a, b \}$ if $x = a$ or $x = b$). Then:
(2)
\begin{align} \quad V_f ( \{ a, x, b \}) = \mid f(b) - f(x) \mid + \mid f(x) - f(a) \mid \leq M \end{align}
• Hence we have that $\mid f(x) - f(a) \mid \leq M$, so for all $x \in [a, b]$ we have that $\mid f(x) \mid \leq \mid f(a) \mid + M$, so $f$ is bounded on $[a, b]$. $\blacksquare$
{"ft_lang_label":"__label__en","ft_lang_prob":0.825142,"math_prob":1.0000058,"size":1909,"snap":"2020-45-2020-50","text_gpt3_token_len":650,"char_repetition_ratio":0.16902888,"word_repetition_ratio":0.15934066,"special_character_ratio":0.3541121,"punctuation_ratio":0.1002445,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000098,"pos_list":[0,1,2],"im_url_duplicate_count":[null,3,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-10-19T16:09:42Z\",\"WARC-Record-ID\":\"<urn:uuid:ec28fe9d-73ce-4c0d-898a-86e6973ca8ba>\",\"Content-Length\":\"17402\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:8cc559d4-9dfe-4141-a3e2-0b156ecb4a6c>\",\"WARC-Concurrent-To\":\"<urn:uuid:f5522460-b600-4add-afc0-65ffefd5ba4c>\",\"WARC-IP-Address\":\"107.20.139.176\",\"WARC-Target-URI\":\"http://mathonline.wikidot.com/functions-of-bounded-variation\",\"WARC-Payload-Digest\":\"sha1:K4M72V5UFVOJSDDPMAOEFDDNPPYWB5UE\",\"WARC-Block-Digest\":\"sha1:XGZ3QUSK5FQ4XIONIMQLYZGANIXFVAIO\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-45/CC-MAIN-2020-45_segments_1603107863364.0_warc_CC-MAIN-20201019145901-20201019175901-00116.warc.gz\"}"}