跳至內容

黎曼-斯蒂爾傑斯積分

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

黎曼-斯蒂爾傑斯積分(英語:Riemann-Stieltjes integral)是數學中的一種「積分」概念,是對黎曼積分的推廣。

黎曼-斯蒂爾傑斯積分有數種定義方式,但不是每種定義方式都是彼此等價的。

定義

[編輯]

和黎曼積分一樣,黎曼-斯蒂爾傑斯積分的定義依賴對區間分割的定義。

區間的分割

[編輯]

一個閉區間的一個分割P是指在此區間中取一個有限的點列。每個閉區間叫做一個子區間。這些子區間長度的最大值 為:

定義取樣分割。一個閉區間 的一個取樣分割是指分割 再加上一組有限點,,其中 對所有

精細化分割:設以及構成了閉區間的一個取樣分割,是另一個分割。如果對於任意,都存在使得,並存在使得,那麼就把分割:稱作分割的一個精細化分割。簡單來說,就是說分割是在分割的基礎上添加一些分點和標記。(即是說「設是閉區間的一個分割,若分割是分割的一個精細化分割,則,也就是說,分割是分割的子集」)

於是我們可以在此區間的所有取樣分割中定義一個偏序關係,稱作「精細」。如果一個分割是另外一個分割的精細化分割,就說前者比後者更「精細」。

黎曼-斯蒂爾傑斯和

[編輯]

對一個在閉區間有定義的實值函數 ,其對於函數 關於分割

黎曼-斯蒂爾傑斯和,規定為下式:

和式中的

黎曼-斯蒂爾傑斯積分

[編輯]

當注意的是。這兩個定義在黎曼-斯蒂爾傑斯積分的情況下,並不完全等價,以第一種定義可推出其存在的積分,必能以第二種定義推出其存在,但以第二種定義方式可推出其存在的積分不一定能以第一種定義的方式來計算。

第一種定義

[編輯]

是函數 在閉區間 上對函數 的黎曼-斯蒂爾傑斯積分的值,若且唯若對任意的 ,存在 ,使得對任意的分割 ,只要這分割的子區間最大長度滿足 且對任意的 ,有:

第二種定義

[編輯]

是函數 在閉區間 上對函數 的黎曼-斯蒂爾傑斯積分的值,若且唯若對於任意的 ,存在分割 ,使得對任何比 還要「精細」的分割 跟任意選取的 ,都有:

若一個函數在閉區間上對函數的黎曼-斯蒂爾傑斯積分存在,且值為,則可寫作

與黎曼積分間的關聯

[編輯]

時,在閉區間上對函數的黎曼-斯蒂爾傑斯積分

即為在閉區間上的黎曼積分

故從黎曼-斯蒂爾傑斯積分可引出黎曼積分。

可微且其對微分後的函數在閉區間連續,則在閉區間上對函數的黎曼-斯蒂爾傑斯積分

與黎曼積分

相等。

參見

[編輯]

參考文獻

[編輯]
  • Mathematical Analysis second edition, Tom M. Apostol, Pearson Education Taiwan Ltd.
  • Rudin, Walter, Principles of mathematical analysis Second, New York: McGraw-Hill, 1964 .