[分析] Simplex的可積性

看板Math作者時間9年前 (2016/05/28 18:33), 編輯推噓2(2021)
留言23則, 2人參與, 最新討論串1/1
各位版友好,其實不知道這題是算在分析還是高微 題目是BABY RUDIN exercise 10.13,如下面的圖 http://i.imgur.com/MEaT5ms.jpg
http://i.imgur.com/plz7Mvs.jpg
我知道做法是用變數變換,把原本在standard simplex 上的積分用 T 換成在unit cube 上的積分,然而因為T只有在unit cube 的interior point 是1-1的,所以我的想法是先把 standard simplex Q^k 的boundary 都挖掉再來考慮積分,但我不知道怎麼證明standard simplex 的boundary 測度會是零 (目前高微老師說,我們只考慮jorden rigion上的黎曼積分,所以我猜standard simplex 是 jordan region , 所以它的邊界是jordan content zero , 所以測度零,但這不是 真的在證明) (我有考慮過說K維的simplex 只有K+1邊,然而我不知道怎麼證明他的邊數真的是K+1,而 我也只會證明rectangle的邊是測度零,高維simplex的邊完全不知道怎麼刻劃) 所以感覺最後還是回到到底要怎麼證明standard simplex是可以積,算它體積的? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.4.192 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1464431605.A.42F.html

05/28 20:01, , 1F
一個「邊」會有一個相對的頂點,所以就K+1個囉。
05/28 20:01, 1F

05/28 20:10, , 2F
至於simplex的「邊」,就是simplex啊XD
05/28 20:10, 2F

05/28 21:30, , 3F
我以為一維它的邊是它的兩端點,就比它少一維的東西
05/28 21:30, 3F

05/28 22:22, , 4F
抱歉是我沒講清楚,Q^k的「邊」,就是一些Q^(k-1)。
05/28 22:22, 4F

05/28 23:16, , 5F
有點董又有點不懂,能不能用直觀的座標例子
05/28 23:16, 5F

05/28 23:26, , 6F
原本題目中:u_1=0會是(1,0,...,0)的對邊,你真的去
05/28 23:26, 6F

05/28 23:27, , 7F
算就知道那是一個Q^(k-1)。要再更直觀一點就只能
05/28 23:27, 7F

05/28 23:27, , 8F
拿三角錐、三角形、線段、點來看了。
05/28 23:27, 8F

05/28 23:29, , 9F
三角錐(Q^3)的表面由4個三角形(Q^2)組成,每個三角
05/28 23:29, 9F

05/28 23:30, , 10F
形都涵蓋3個頂點,所以有1個頂點沒涵蓋到,那個角落
05/28 23:30, 10F

05/28 23:30, , 11F
就是對角,所以每個面都對應一個頂點。
05/28 23:30, 11F

05/29 00:25, , 12F
懂了,又因為它的限制條件是R^k中的一個面,交座標K
05/29 00:25, 12F

05/29 00:26, , 13F
個點,加上原點,所以有K+1個頂點
05/29 00:26, 13F

05/29 00:26, , 14F
那要怎麼說明是measure zero呢?
05/29 00:26, 14F

05/29 00:28, , 15F
這關係到你怎麼定義measure,計算通常是直接的。
05/29 00:28, 15F

05/29 23:33, , 16F
抱歉,我們老師沒有教測度的公式,只有說什麼是測
05/29 23:33, 16F

05/29 23:34, , 17F
度零,定義為能用可數多個rectangle包起來,然後這
05/29 23:34, 17F

05/29 23:34, , 18F
些rectangle面積和可以任意小
05/29 23:34, 18F

05/29 23:35, , 19F
所以rectangle的邊很好做,simplex我就不會了
05/29 23:35, 19F

05/30 00:07, , 20F
那個Q^(k-1)可以用一個任意扁的rectangle包起來啊。
05/30 00:07, 20F

05/30 00:07, , 21F
用k維的rectangle。很容易的。
05/30 00:07, 21F

05/30 00:28, , 22F
[0,1]^k-1*[0,a],其中a是任意正數。
05/30 00:28, 22F

05/30 14:06, , 23F
懂了!非常感謝
05/30 14:06, 23F
文章代碼(AID): #1NINFrGl (Math)