[機統] 勒貝格/微積分基本定理

看板Math作者 (知識牛)時間15年前 (2011/01/23 03:12), 編輯推噓0(004)
留言4則, 1人參與, 最新討論串1/2 (看更多)
a ∫ g(t)t^(n-1)dt = 0 ,a>0 0 書中(證明完備性時)提到說 由勒貝格積分理論,上式導致對所有a>0 ,P_a( g(T) = 0 ) = 1 (下標a代表此機率跟a有關) 如果g為連續由微積分基本定理得g(a)a^(n-1)=0 , 又a>0 因此g(a)=0 (這是證明完備性的條件) 黃色部分都不太懂,請問有人可以幫忙一下嗎 g(a)a^(n-1)=0 猜測是 a ∫ g(t)t^(n-1)dt = 0 , 另F'(x) = f(x) = g(x)x^(n-1) 0 a => ∫ g(t)t^(n-1)dt = F(a) - F(0) = 0 (微積分基本定理) 0 => F(a) = F(0) 微分得 => f(a) = f(0) => g(a)a^(n-1) = g(0)0^(n-1) =0 => g(a)a^(n-1)=0 我有疑問的是紅色部分可不可以這樣推論? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.119.210.184

01/23 09:49, , 1F
用黎曼積分的微積分基本定理有一個條件: g(t)t^{n-1}
01/23 09:49, 1F

01/23 09:52, , 2F
必須是黎曼可積. 而黎曼可積的條件是不連續點具測度0
01/23 09:52, 2F

01/23 09:53, , 3F
在大學程度的數統大概就是這樣證的.
01/23 09:53, 3F

01/23 09:53, , 4F
不過, 事實上這裡 g(t) 只限制必須是 Borel function
01/23 09:53, 4F
文章代碼(AID): #1DEomXPp (Math)
文章代碼(AID): #1DEomXPp (Math)