一、 L-S測度的記法

該記法最容易搞混亂的,如果一段時間不看或者不用實變函數了,就又蒙了。我們來看看L-S測度的定義:

(1) g(x)(-infty, +infty) 上單調增加、右方連續實函數。這個定義,我們可以看出這個函數的特點,就是一般的一元函數,自變數和因變數都是實數。還有一個特點就是單調增加右連續,為什麼規定這麼一個函數呢?看下面就知道了;

(2) 對於任何 E in R_0 , 如果 E=igcup^n_{i=1}(a_i,b_i]E 的初等分解,規定

u_g(E) = sum^n_{i=1}(g(b_i)-g(a_i))R_0 上的測度。從這個測度的定義可以看出,規定 g(x) 的性質是為了保證獲得的 集函數u_g 滿足測度的性質,也就是非負性;

(3) 顯然 g(x) 是一般的一元實函數,而 u_g(E) 是測度,其自變數是集合,因變數是實數,這是完全不同性質的函數。但是下面的記法要謹慎的記住了,這就是為了方便,將 u_g 簡寫成 g ,將 u_g(E) 簡寫成 g(E) 。這還是比較容易理解的,但是時間一長,忘記了就會出問題:怎麼這個 g 函數的自變數既可以是實數,也可以是集合?那就麻煩了!其實根據自變數是實數還是集合,就能立刻判斷出這個函數是 g 函數還是 g 測度,問題是時間長了就將這檔子事情給忘記了。這事還沒有完,因為還有外側度。

(4) 既然有 g 測度,就有 g 外測度,這個外側度記為g^*,如果是這個外側度針對L-S可測集,則又稱為L-S測度,本來這個外側度(包含L-S測度)應該這樣表示 u^*_g ,後來簡化成 g^* ,最後乾脆簡化成 g 。這樣一來,這個 g 就有了四重身份,可能是一般的實函數 g(x) ,也可能是 g 測度 u_g(E) ,也可能是 g 的外測度 g^*(E) ,也可能是L-S測度 g^*(E) ,怎樣區分就要看具體上下文的意思了,只要明白它的四重身份,就不會糊塗了。這事還沒有完,還有下面。

(5) 既然 g 測度是由 g(x) 產生的,那麼一切具有該函數性質的函數都能夠產生L-S測度,因此換一個函數名稱,比如 E(x) ,那麼也可以產生 E 測度和關於 E的L-S測度。即有 E(x) , E(E) ,這時候不能又糊塗了,它們僅僅是將 g 換成 E 而已。

(6) 要說明的是,環 R_0 的測度 mg 測度的一個特例,本來也應該定義 m(x) 為單調增加右連續函數,也有 u_m(E) 測度,也有 u^*_m 外側度,但是,由於 m(x)=x ,是一個水平直線函數,因此直接記成 m(E) 測度,沒有 m(x) 的說法了,因此也沒有 g 測度的記法那樣亂。


推薦閱讀:
相關文章