查看“︁黎曼-斯蒂尔杰斯积分”︁的源代码

{{NoteTA |G1=Math}}
'''黎曼－斯蒂尔杰斯积分'''（{{lang-en|Riemann-Stieltjes integral}}）是數學中的一種「[[積分]]」概念，是對[[黎曼积分]]的推廣。

黎曼－斯蒂尔杰斯积分有數種定義方式，但不是每種定義方式都是彼此等價的。

==定義==
和黎曼積分一樣，黎曼－斯蒂尔杰斯积分的定義依賴對區間分割的定義。
=== 区间的分割 ===
一个[[闭区间]]<math>[a,b]</math>的一个'''分割'''P是指在此区间中取一个有限的点列<math>a = x_0 < x_1 < x_2 < \ldots < x_n = b</math>。每个闭区间<math>[x_i, x_{i+1}]</math>叫做一个'''子区间'''。这些子區間长度的最大值 <math>\lambda </math> 為：<math>\lambda := \max \{\, x_{i+1}-x_i \mid 0 \le i \le n - 1 \,\}</math>。

定义'''取样分割'''。一个[[闭区间]] <math>[a,b]</math> 的一个取样分割是指分割 <math>P=\{ a = x_0 < x_1 < \cdots < x_n = b\}</math> 再加上一組有限點，<math>\{a\le t_0\le t_1\le,\cdots,\le t_{n-1}\le b\}</math>，其中 <math>t_i\in[x_i, x_{i+1}]</math> 對所有 <math>0\le i\le n-1</math>。

'''精细化分割'''：设<math>x_0,\ldots,x_n</math>以及<math>t_0,\ldots,t_{n-1}</math>构成了[[闭区间]]<math>[a,b]</math>的一个取样分割，<math>y_0,\ldots,y_m</math>和<math>s_0,\ldots,s_{m-1}</math>是另一个分割。如果对于任意<math>0 \le i \le n</math>，都存在<math>r(i)</math>使得<math>x_i = y_{r(i)}</math>，并存在<math>r(i) \le j \le r(i+1)</math>使得<math>t_i = s_j</math>，那么就把分割：<math>y_0,\ldots,y_m</math>、<math>s_0,\ldots,s_{m-1}</math>称作分割<math>x_0,\ldots,x_n</math>、<math>t_0,\ldots,t_{n-1}</math>的一个'''精细化分割'''。简单来说，就是说分割<math>y_0,\ldots,y_m</math>、<math>s_0,\ldots,s_{m-1}</math>是在分割<math>x_0,\ldots,x_n</math>、<math>t_0,\ldots,t_{n-1}</math>的基础上添加一些分点和标记。(即是說「設<math>P = \{ a = x_0, x_1, x_2, \ldots, x_{n-1}, x_n = b \}</math>是閉區間<math>[a,b]</math>的一個分割，若分割<math>P'</math>是分割<math>P</math>的一個精細化分割，則<math>P \subseteq P'</math>，也就是說，分割<math>P</math>是分割<math>P'</math>的子集」)

于是我们可以在此区间的所有取样分割中定义一个[[偏序关系]]，称作“精细”。如果一个分割是另外一个分割的精细化分割，就说前者比后者更“精细”。

=== 黎曼－斯蒂尔杰斯和 ===
对一个在闭区间<math>[a,b]</math>有定义的实值函数 <math>f</math>，其對於函數 <math>g</math> 关于分割

:<math>P=\{a=x_0<x_1<\cdots <x_n=b\}</math> 

的'''黎曼－斯蒂尔杰斯和'''，規定為下式：

:<math>S(P,f,g) = \sum_{i=0}^{n-1} f(c_{i}) \cdot\left(g(x_{i+1})-g(x_{i})\right)</math>

和式中的 <math>c_{i}\in [x_{i}, x_{i+1}],\,0\le i\le n-1</math>。

===黎曼－斯蒂尔杰斯積分===
當注意的是。這兩個定義在黎曼－斯蒂尔杰斯积分的情況下，並不完全等價，以第一種定義可推出其存在的積分，必能以第二種定義推出其存在，但以第二種定義方式可推出其存在的積分不一定能以第一種定義的方式來計算。
====第一種定義====
<math>A\in\R</math> 是函数 <math>f</math> 在闭区间 <math>[a,b]</math> 上對函數 <math>g</math> 的黎曼－斯蒂尔杰斯積分的值，若且唯若对任意的 <math>\epsilon > 0</math>，存在 <math>\delta > 0 </math>，使得对任意的分割 <math>\scriptstyle P=\{a=x_0< x_1<\cdots< x_n=b\}</math>，只要這分割的子区间最大長度滿足 <math>\lambda \le \delta </math> 且對任意的 <math>\scriptstyle c_i\in [x_{i+1}, x_i],\;  0\le i \le n-1</math>，有：

:<math>\left| S(P,f,g) - A \right| < \epsilon.\,</math>

====第二種定義====
<math>A\in\R</math> 是函数 <math>f</math> 在闭区间 <math>[a,b]</math> 上對函數 <math>g</math> 的黎曼－斯蒂尔杰斯积分的值，若且唯若对于任意的 <math>\epsilon > 0</math>，存在分割 <math>P_\epsilon</math>，使得對任何比 <math>P_\epsilon</math> 還要「精细」的分割 <math>\scriptstyle P=\{a=x_0<x_1<\cdots <x_n=b\}</math> 跟任意選取的 <math>\scriptstyle c_i\in [x_{i+1}, x_i],\; 0\le i \le n-1</math>，都有：

:<math>\left| S(P,f,g) - A \right| < \epsilon.\,</math>

若一個函數<math>f</math>在闭区间<math>[a,b]</math>上對函數<math>g</math>的黎曼－斯蒂尔杰斯积分存在，且值為<math>A</math>，則可寫作<math>A = \int_{a}^{b} f(x)\,dg(x). </math>

==與黎曼積分間的關聯==
若<math>\,g(x) = x\,</math>時，<math>\,f\,</math>在闭区间<math>\,[a,b]\,</math>上對函數<math>\,g\,</math>的黎曼－斯蒂尔杰斯积分
:<math>\int_{a}^{b} f(x) \, dg(x)</math>
即為<math>f</math>在闭区间<math>[a,b]</math>上的[[黎曼積分]]
:<math>\int_{a}^{b} f(x) \, dx</math>，
故從黎曼－斯蒂尔杰斯积分可引出黎曼積分。

若<math>\,g(x)\,</math>可微且其對<math>\,x\,</math>微分後的函數<math>\,g'(x)\,</math>在闭区间<math>\,[a,b]\,</math>連續，則<math>\,f\,</math>在闭区间<math>\,[a,b]\,</math>上對函數<math>\,g\,</math>的黎曼－斯蒂尔杰斯积分
:<math>\int_{a}^{b} f(x) \, dg(x) </math>
與黎曼積分
:<math>\int_{a}^{b} f(x) g'(x) \, dx </math>
相等。

==參見==
*[[黎曼积分]]
*[[有界變差]]

==參考文獻==
* Mathematical Analysis second edition, Tom M. Apostol, Pearson Education Taiwan Ltd.
* {{citation| title = Principles of mathematical analysis| last1 = Rudin| first1 = Walter|edition = Second| year = 1964| publisher = McGraw-Hill|location=New York}}.

{{DEFAULTSORT:Riemann-Stieltjes}}
[[Category:积分的定义]]