2-6实变函数之微分与不定积分

2-6实变函数之微分与不定积分

实变函数更的最后一篇了！

1.前言

若$f$在[a,b]上可导，导函数为$f^{\prime }$,若$f^{\prime }$ R(黎曼可积)可积，则有
${\int }_a^x{f}^{\prime }(x)dx=f(x)-f(a)$.而任意可积函数$f$的变上限积分
$F(x)={\int }_a^{x}f(x)dx$在所有连续点都有$F^{\prime }(x)=f(x)$.
这可看做积分与微分的互逆运算。本文将上述结果推广至勒贝格积分。

2.有界变差函数及其性质

1. 定义：若$f$在[a,b]上有限，对任意分划T，使{${\sum }_{i=1}^{+\infty }|f(x_i)-f(x_{i-1})|$}成一有界集，则称f为有界变差函数（囿变函数）
2. Jordan分解定理：在[a,b]上任意有界变差函数$f$都可表示为两个增函数之差。

3.不定积分（推广牛莱公式）

1. 绝对连续：设F是[a,b]上的有限函数，如果$\forall ϵ>0,\exists \delta >0$使得[a,b]中互不相交的任意有限个开区间$(a_i,b_i)$,i=1,…,n,只要 ${\sum }_{i=1}^n(b_i-a_i)<\delta$就有${\sum }_{i=1}^n|F(b_i)-F(a_i)|<ϵ$,则称F是[a,b]上的绝对连续函数。
2. 设$f(x)$在[a,b]上可积，则存在绝对连续函数F使得$F^{\prime }(x)=f(x)$a.e.于[a,b]（只需取$F(x)={\int }_a^{x}f(t)dt$）.
3. 设F(x)是[a,b]上可积函数的绝对连续函数，则几乎处处由定义的$F^{\prime }(x)$在[a,b]上可积，并且$F(x)={\int }_a^x{F}^{\prime }(x)dt+F(a)$,即F总是[a,b]上可积函数的不定积分。

至此得到牛莱公式的推广，即：对绝对连续函数而言，微分再积分可还原（至多差一常数）。

实变函数的学习笔记到此结束，前几章节的内容如下：
2-1 实变函数之集合论
2-2 实变函数之集合论（点集）
2-3 实变函数之测度论
2-4 实变函数之可测函数
2-5 实变函数之积分论

由于笔者粗心大意且学艺不精，读书笔记中有很多纰漏之处，望大家多多批评指正。