Walter Rudin 数学分析原理 6 Riemann-Stieltjes积分
Riemann-Stieltjes 积分integral
先讨论区间上实值函数的积分,
- 后面推广到区间上的复值和向量值函数的积分
- 10~11章 再讨论在不是区间上的积分
积分的定义和存在性 definition and existence of the integral
6.1 let [a,b]
be a given interval. by a partition P of [a,b] we mean a finite set of points $x_0,\cdots,x_n$ where
- $a = x_0 \le x_1 \le \cdots \le x_{n-1} \le x_n=b$
- 令 $\Delta x_i=x_i-x_{i-1}$
- 假设f is a bounded real function defined on [a,b]. Corresponding to each partition P of [a,b] we put
- $M_i=\sup f(x)$ $x_{i-1}\le x \le x_i$ 每个区间上确界
- $m_i=\inf f(x)$ $x_{i-1}\le x \le x_i$ 每个区间下确界
- $U(P,f)=\sum_{i=1}^n M_i\Delta x_i$ 这个和不小于原来的 面积, 上和 上积分
- $L(P,f)=\sum_{i=1}^n m_i\Delta x_i$ 这个和不大于原来的 面积,下和 下积分
- $\bar{\int_a^b} f dx = \inf U(P,f)$ 上和的下确界, 称作 upper Riemann integrals of f
- $\underline{\int}_a^b f dx = \sup L(P,f)$ 下和的上确界 ,称作 lower Riemann integrals of f (这个tex怎么打啊??
- over
[a,b]
- 如果 upper = lower ,那么 称f is Riemann-integrable on [a,b] , $f\in \mathscr{R}$ ,, (mathscr)
- 记作$\int_a^b f(x) dx$
- 因为假设 $f$ is a bounded real function, 所以存在$m,M$, 使得$m \le f([a,b])\le M$
- $m(b-a)\le L(P,f)\le U(P,f) \le M(b-a)$ 注意的是,这个条件 并不要求 黎曼积分存在,这是描述f上下界与 下和 上和 的大小关系
- 也就是有界函数f,上积分和下积分都有定义