看板 Math 關於我們 聯絡資訊
各位版友好,其實不知道這題是算在分析還是高微 題目是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
Vulpix : 一個「邊」會有一個相對的頂點,所以就K+1個囉。 05/28 20:01
Vulpix : 至於simplex的「邊」,就是simplex啊XD 05/28 20:10
InnocentMage: 我以為一維它的邊是它的兩端點,就比它少一維的東西 05/28 21:30
Vulpix : 抱歉是我沒講清楚,Q^k的「邊」,就是一些Q^(k-1)。 05/28 22:22
InnocentMage: 有點董又有點不懂,能不能用直觀的座標例子 05/28 23:16
Vulpix : 原本題目中:u_1=0會是(1,0,...,0)的對邊,你真的去 05/28 23:26
Vulpix : 算就知道那是一個Q^(k-1)。要再更直觀一點就只能 05/28 23:27
Vulpix : 拿三角錐、三角形、線段、點來看了。 05/28 23:27
Vulpix : 三角錐(Q^3)的表面由4個三角形(Q^2)組成,每個三角 05/28 23:29
Vulpix : 形都涵蓋3個頂點,所以有1個頂點沒涵蓋到,那個角落 05/28 23:30
Vulpix : 就是對角,所以每個面都對應一個頂點。 05/28 23:30
InnocentMage: 懂了,又因為它的限制條件是R^k中的一個面,交座標K 05/29 00:25
InnocentMage: 個點,加上原點,所以有K+1個頂點 05/29 00:26
InnocentMage: 那要怎麼說明是measure zero呢? 05/29 00:26
Vulpix : 這關係到你怎麼定義measure,計算通常是直接的。 05/29 00:28
InnocentMage: 抱歉,我們老師沒有教測度的公式,只有說什麼是測 05/29 23:33
InnocentMage: 度零,定義為能用可數多個rectangle包起來,然後這 05/29 23:34
InnocentMage: 些rectangle面積和可以任意小 05/29 23:34
InnocentMage: 所以rectangle的邊很好做,simplex我就不會了 05/29 23:35
Vulpix : 那個Q^(k-1)可以用一個任意扁的rectangle包起來啊。 05/30 00:07
Vulpix : 用k維的rectangle。很容易的。 05/30 00:07
Vulpix : [0,1]^k-1*[0,a],其中a是任意正數。 05/30 00:28
InnocentMage: 懂了!非常感謝 05/30 14:06