ทฤษฎีบทของฟูบินี
| ส่วนหนึ่งของบทความชุดเกี่ยวกับ |
| แคลคูลัส |
|---|
ทฤษฎีบทของฟูบินีให้เงื่อนไขที่สามารถคำนวณอินทิกรัลสองชั้น ได้โดยใช้อิน ทิกรัลแบบวนซ้ำกล่าวคือ โดยการอินทิเกรตทีละตัวแปร ตามสัญชาตญาณแล้ว เช่นเดียวกับปริมาตรของก้อนขนมปังที่เท่ากันไม่ว่าเราจะรวมปริมาตรจากชิ้นมาตรฐานหรือชิ้นบางยาว ค่าของอินทิกรัลสองชั้นจะไม่ขึ้นอยู่กับลำดับของการอินทิเกรตเมื่อเงื่อนไขของทฤษฎีบทเป็นไปตามที่กำหนด ทฤษฎีบทนี้ตั้งชื่อตามกุยโด ฟูบินีผู้พิสูจน์ผลลัพธ์ทั่วไปในปี 1907 กรณีพิเศษเป็นที่รู้จักกันมาก่อนหน้านั้นผ่านผลลัพธ์ต่างๆ เช่นหลักการของคาวาลิเอรี ซึ่ง เลออนฮาร์ด ออยเลอร์ใช้
กล่าวอย่างเป็นทางการมากขึ้น ทฤษฎีบทนี้ระบุว่า ถ้าฟังก์ชันสามารถหาปริพันธ์เลเบสได้บนสี่เหลี่ยมผืนผ้าแล้ว เราสามารถหาค่าปริพันธ์สองชั้นได้โดยใช้ปริพันธ์แบบวนซ้ำ:
โดยทั่วไปแล้วสูตรนี้ไม่เป็นจริงสำหรับปริพันธ์รีมันน์ (อย่างไรก็ตาม มันจะเป็นจริงหากฟังก์ชันมีความต่อเนื่องบนสี่เหลี่ยมผืนผ้า ในแคลคูลัสหลายตัวแปรผลลัพธ์ที่อ่อนกว่านี้บางครั้งก็เรียกว่าทฤษฎีบทของฟูบินี)
ทฤษฎีบทของโทเนลลีซึ่งนำเสนอโดยลีโอนิดา โทเนลลีในปี 1909 มีลักษณะคล้ายกัน แต่ใช้กับฟังก์ชันที่วัดได้ และไม่เป็นลบ แทนที่จะใช้กับฟังก์ชันที่หาปริพันธ์ได้ในโดเมนของมัน โดยทั่วไปแล้ว ทฤษฎีบทของฟูบินีและโทเนลลีจะถูกรวมเข้าด้วยกันและก่อให้เกิดทฤษฎีบทฟูบินี-โทเนลลีซึ่งให้เงื่อนไขที่สามารถสลับลำดับของการหาปริพันธ์ในปริพันธ์แบบวนซ้ำได้
ผลลัพธ์ที่เกี่ยวข้องมักเรียกว่าทฤษฎีบทของฟูบินีสำหรับอนุกรมอนันต์ [ 1 ] แม้ว่าจะเป็นผลงานของอัลเฟรด พริงส์ไฮม์ [ 2 ] ก็ตามทฤษฎีบทนี้กล่าวว่า ถ้าเป็นลำดับดัชนีคู่ของจำนวนจริง และถ้าลู่เข้าสัมบูรณ์แล้ว
ประวัติศาสตร์
กรณีพิเศษของทฤษฎีบทของฟูบินีสำหรับฟังก์ชันต่อเนื่องบนผลคูณของเซตย่อยปิดที่มีขอบเขตของปริภูมิเวกเตอร์จริงนั้นเลออนฮาร์ด ออยเลอร์ รู้จัก ในศตวรรษที่ 18 ในปี 1904 อองรี เลเบสก์ได้ขยายผลลัพธ์นี้ไปยังฟังก์ชันที่วัดได้และมีขอบเขตบนผลคูณของช่วง[ 3 ]เบปโป เลวีตั้งข้อสันนิษฐานว่าทฤษฎีบทนี้สามารถขยายไปยังฟังก์ชันที่สามารถหาปริพันธ์ได้แทนที่จะเป็นฟังก์ชันที่มีขอบเขต[ 4 ]และฟูบินีได้พิสูจน์สิ่งนี้ในปี 1907 [ 5 ]ในปี 1909 ลีโอนิดา โทเนลลี ได้ให้ทฤษฎีบทของฟูบินีในรูปแบบที่แตกต่างออกไป ซึ่งใช้ได้กับฟังก์ชันที่ไม่เป็นลบแทนที่จะเป็นฟังก์ชันที่สามารถหาปริพันธ์ได้[ 6 ]
การวัดผลิตภัณฑ์
ถ้าXและYเป็นปริภูมิการวัดจะมีวิธีที่เป็นธรรมชาติหลายวิธีในการกำหนดการวัดผลคูณบนผลคูณX × Y
ในความหมายของทฤษฎีหมวดหมู่เซตที่วัดได้ในผลคูณX × Y ของปริภูมิการวัด คือองค์ประกอบของพีชคณิต σที่สร้างขึ้นโดยผลคูณA × Bโดยที่Aสามารถวัดได้ในXและBสามารถวัดได้ในY
มาตรวัดμบนX × Yเรียกว่า ' มาตรวัดผลคูณ ' ถ้าμ ( A × B ) = μ ( A ) μ ( B )สำหรับเซตย่อยที่วัดได้A ⊂ XและB ⊂ Yและมาตรวัดμ บนXและμ บนYโดยทั่วไป อาจมีมาตรวัดผลคูณที่แตกต่างกันมากมายบนX × Yทฤษฎีบทของฟูบินีและทฤษฎีบทของโทเนลลีต่างก็ต้องการเงื่อนไขทางเทคนิคเพื่อหลีกเลี่ยงความซับซ้อนนี้ วิธีที่พบได้บ่อยที่สุดคือการสมมติว่าปริภูมิมาตรวัดทั้งหมดเป็นσ-finiteซึ่งในกรณีนี้จะมีมาตรวัดผลคูณที่ไม่ซ้ำกันบนX × Yเสมอ มีมาตรวัดผลคูณสูงสุดที่ไม่ซ้ำกันบนX × Y เสมอ โดยที่มาตรวัดของเซตที่วัดได้คือค่าอินฟ์ของมาตรวัดของเซตที่บรรจุเซตนั้น ซึ่งเป็นการรวมกันแบบนับได้ของผลคูณของเซตที่วัดได้ สามารถสร้างมาตรวัดผลคูณสูงสุดได้โดยการประยุกต์ใช้ทฤษฎีบทการขยายของคาราเธโอโดรีกับฟังก์ชันบวกμโดยที่μ ( A × B ) = μ ( A ) μ ( B )บนวงแหวนของเซตที่สร้างขึ้นจากผลคูณของเซตที่วัดได้ (ทฤษฎีบทการขยายของคาราเธโอโดรีให้มาตรวัดบนปริภูมิการวัดซึ่งโดยทั่วไปแล้วจะมีเซตที่วัดได้มากกว่าปริภูมิการวัดX × Yดังนั้นโดยเคร่งครัดแล้ว มาตรวัดควรจำกัดอยู่บนพีชคณิต σที่สร้างขึ้นจากผลคูณA × Bของเซตย่อยที่วัดได้ของXและY )
ผลคูณของปริภูมิการวัดสมบูรณ์สองปริภูมิมักจะไม่สมบูรณ์ ตัวอย่างเช่น ผลคูณของการวัดแบบเลเบสบนช่วงหน่วยIกับตัวมันเอง ไม่ใช่การวัดแบบเลเบสบนสี่เหลี่ยมจัตุรัสI × Iมีทฤษฎีบทของฟูบินีแบบหนึ่งสำหรับการวัดสมบูรณ์ ซึ่งใช้การทำให้สมบูรณ์ของผลคูณของการวัดแทนที่จะใช้ผลคูณที่ไม่สมบูรณ์
สำหรับฟังก์ชันที่สามารถหาปริพันธ์ได้
สมมติว่าXและYเป็น ปริภูมิการวัด แบบ σ-finiteและสมมติว่าX × Yถูกกำหนดให้เป็นการวัดผลคูณ (ซึ่งมีเพียงหนึ่งเดียว เนื่องจากXและYเป็น σ-finite) ทฤษฎีบทของฟูบินีกล่าวว่า ถ้าfเป็น ฟังก์ชันที่หาปริพันธ์ได้ใน X × Yหมายความว่าfเป็นฟังก์ชันที่วัดได้และ แล้ว
อินทิกรัลสองตัวแรกเป็นอินทิกรัลแบบวนซ้ำโดยเทียบกับมาตรวัดสองตัวตามลำดับ และตัวที่สามเป็นอินทิกรัลโดยเทียบกับมาตรวัดผลคูณ อินทิกรัลย่อยและไม่จำเป็นต้องนิยามทุกที่ แต่สิ่งนี้ไม่สำคัญ เนื่องจากจุดที่อินทิกรัลย่อยไม่นิยามจะก่อให้เกิดเซตที่มีมาตรวัดเป็น 0
หากปริพันธ์ของค่าสัมบูรณ์ข้างต้นไม่ใช่ค่าจำกัด ค่าของปริพันธ์ซ้ำทั้งสองอาจมีค่าแตกต่างกัน
เงื่อนไขที่ว่าXและYเป็น σ-finite นั้นโดยทั่วไปแล้วไม่เป็นอันตราย เนื่องจากปริภูมิการวัดเกือบทั้งหมดที่ต้องการใช้ทฤษฎีบทของ Fubini นั้นเป็น σ-finite ทฤษฎีบทของ Fubini มีส่วนขยายทางเทคนิคบางอย่างสำหรับกรณีที่XและYไม่ได้ถูกสมมติว่าเป็น σ-finite [ 7 ]ความซับซ้อนเพิ่มเติมหลักในกรณีนี้คืออาจมีการวัดผลคูณมากกว่าหนึ่งรายการบนX × Yทฤษฎีบทของ Fubini ยังคงใช้ได้กับการวัดผลคูณสูงสุด แต่อาจล้มเหลวสำหรับการวัดผลคูณอื่นๆ ตัวอย่างเช่น มีการวัดผลคูณและฟังก์ชันที่วัดได้ที่ไม่เป็นลบfซึ่งปริพันธ์สองชั้นของ| f |เป็นศูนย์ แต่ปริพันธ์ที่ทำซ้ำสองครั้งมีค่าต่างกันทฤษฎีบทของ Tonelli และทฤษฎีบท Fubini–Tonelli ( ) อาจล้มเหลวในปริภูมิที่ไม่ใช่ σ-finite แม้แต่สำหรับการวัดผลคูณสูงสุด
ทฤษฎีบทของโทเนลลีสำหรับฟังก์ชันที่วัดได้และไม่เป็นลบ
ทฤษฎีบทของโทเนลลีซึ่งตั้งชื่อตามลีโอนิดา โทเนลลีเป็นทฤษฎีบทที่พัฒนาต่อยอดมาจากทฤษฎีบทของฟูบินี ข้อสรุปของทฤษฎีบทของโทเนลลีเหมือนกับข้อสรุปของทฤษฎีบทของฟูบินี แต่ข้อสมมติที่ว่า | f |มีปริพันธ์จำกัดถูกแทนที่ด้วยข้อสมมติที่ว่าfเป็นฟังก์ชันที่วัดได้และไม่เป็นลบ
ทฤษฎีบทของโทเนลลีกล่าวว่า ถ้า( X , A , μ )และ( Y , B , ν )เป็นปริภูมิการวัดแบบ σ-finiteในขณะที่เป็นฟังก์ชันที่วัดได้และไม่เป็นลบ แล้ว
กรณีพิเศษของทฤษฎีบทของโทเนลลีคือการสลับลำดับการบวก ดังเช่นในโดยที่ x และ มีค่าไม่เป็นลบสำหรับทุกxและyหัวใจสำคัญของทฤษฎีบทนี้คือ การสลับลำดับการบวกยังคงใช้ได้แม้ว่าอนุกรมจะลู่เข้าสู่ค่าอนันต์ ในทางปฏิบัติ วิธีเดียวที่การเปลี่ยนแปลงลำดับการบวกจะเปลี่ยนผลรวมได้ก็ต่อเมื่อมีอนุกรมย่อยบางอนุกรมที่ลู่เข้าสู่+∞และอนุกรมย่อยอื่นๆ ที่ลู่เข้าสู่−∞เนื่องจากองค์ประกอบทั้งหมดมีค่าไม่เป็นลบ จึงไม่เกิดขึ้นในตัวอย่างที่กล่าวมา
หากไม่มีเงื่อนไขว่าปริภูมิการวัดเป็น σ-finite ค่าอินทิกรัลทั้งสามนี้อาจมีค่าต่างกันได้ ผู้เขียนบางคนได้เสนอการสรุปทั่วไปของทฤษฎีบทของ Tonelli ไปยังปริภูมิการวัดบางประเภทที่ไม่ใช่ σ-finite แต่การสรุปทั่วไปเหล่านี้มักจะเพิ่มเงื่อนไขที่ลดปัญหาลงเหลือเพียงกรณี σ-finite ทันที ตัวอย่างเช่น เราอาจใช้พีชคณิต σ บนA × Bที่สร้างขึ้นจากผลคูณของเซตย่อยที่มีการวัดจำกัด แทนที่จะเป็นพีชคณิตที่สร้างขึ้นจากผลคูณทั้งหมดของเซตย่อยที่วัดได้ แม้ว่าวิธีนี้จะมีผลเสียคือ การฉายภาพจากผลคูณไปยังตัวประกอบAและB นั้น ไม่สามารถวัดได้ อีกวิธีหนึ่งคือการเพิ่มเงื่อนไขว่าส่วนรองรับของfอยู่ในผลรวมที่นับได้ของผลคูณของเซตที่มีการวัดจำกัด D. H. Fremlin ได้เสนอการขยายทฤษฎีบทของ Tonelli ที่ค่อนข้างซับซ้อนไปยังปริภูมิที่ไม่ใช่ σ-finite บางประเภท ไม่มีการสรุปทั่วไปใดๆ เหล่านี้ที่พบการประยุกต์ใช้ที่สำคัญนอกเหนือจากทฤษฎีการวัดเชิงนามธรรม ส่วนใหญ่เป็นเพราะปริภูมิการวัดเกือบทั้งหมดที่น่าสนใจในทางปฏิบัติเป็นปริภูมิ σ-finite [ 7 ]
ทฤษฎีบทฟูบินี-โทเนลลี
การรวมทฤษฎีบทของฟูบินีกับทฤษฎีบทของโทเนลลีจะได้ ' ทฤษฎีบทฟูบินี-โทเนลลี ' ซึ่งมักเรียกกันสั้นๆ ว่าทฤษฎีบทของฟูบินี โดยระบุว่า ถ้าXและYเป็น ปริภูมิ การวัดแบบ σ-finiteและถ้าfเป็นฟังก์ชันที่วัดได้แล้ว นอกจากนี้ ถ้าปริพันธ์ใดๆ เหล่านี้มีค่าจำกัดแล้ว
ค่าสัมบูรณ์ของfในเงื่อนไขข้างต้นสามารถแทนที่ด้วยส่วนบวกหรือส่วนลบของfได้ โดยรูปแบบเหล่านี้รวมถึงทฤษฎีบทของ Tonelli เป็นกรณีพิเศษ เนื่องจากส่วนลบของฟังก์ชันที่ไม่เป็นลบมีค่าเป็นศูนย์ ดังนั้นจึงมีปริพันธ์จำกัด โดยคร่าวๆ แล้ว เงื่อนไขทั้งหมดเหล่านี้กล่าวว่าปริพันธ์สองชั้นของfนั้นนิยามได้ดี แม้ว่าอาจจะมีค่าเป็นอนันต์ก็ตาม
ข้อดีของทฤษฎีบทฟูบินี-โทเนลลีเหนือทฤษฎีบทของฟูบินีคือ อินทิกรัลซ้ำของ| f |อาจศึกษาได้ง่ายกว่าอินทิกรัลสองชั้น ดังเช่นในทฤษฎีบทของฟูบินี อินทิกรัลเดี่ยวอาจไม่สามารถนิยามได้บนเซตที่มีมาตรเป็น 0
สำหรับมาตรการที่ครบถ้วน
ทฤษฎีบทของฟูบินีและโทเนลลีที่กล่าวมาข้างต้นใช้ไม่ได้กับการอินทิเกรตบนผลคูณของเส้นจำนวนจริงกับตัวมันเองด้วยมาตรวัดเลเบส ปัญหาคือ มาตรวัดเลเบสบนไม่ใช่ผลคูณของมาตรวัดเลเบสบนกับตัวมันเอง แต่เป็นการเติมเต็มของสิ่งนี้: ผลคูณของปริภูมิมาตรวัดสมบูรณ์สองปริภูมิและโดยทั่วไปแล้วไม่ใช่ปริภูมิสมบูรณ์ ด้วยเหตุนี้ บางครั้งจึงใช้ทฤษฎีบทของฟูบินีสำหรับมาตรวัดสมบูรณ์: กล่าวโดยคร่าวๆ คือ แทนที่มาตรวัดทั้งหมดด้วยการเติมเต็มของมัน ทฤษฎีบทของฟูบินีในรูปแบบต่างๆ คล้ายกับรูปแบบข้างต้น โดยมีข้อแตกต่างเล็กน้อยดังต่อไปนี้:
- แทนที่จะนำผลคูณของปริภูมิสองปริภูมิมาใช้ เราจะนำผลคูณนั้นมาทำให้สมบูรณ์แทน
- หากสามารถวัดได้เมื่อเสร็จสิ้นแล้ว ข้อจำกัดของปริพันธ์นั้นต่อเส้นแนวตั้งหรือแนวนอนอาจไม่สามารถวัดได้สำหรับเซตย่อยของเส้นที่มีขนาดเป็นศูนย์ ดังนั้นจึงต้องยอมรับความเป็นไปได้ที่ปริพันธ์แนวตั้งหรือแนวนอนจะไม่นิยามบนเซตที่มีขนาดเป็น 0 เนื่องจากเกี่ยวข้องกับการอินทิเกรตฟังก์ชันที่ไม่สามารถวัดได้ อย่างไรก็ตาม เรื่องนี้แทบไม่มีความแตกต่าง เพราะปริพันธ์อาจไม่นิยามอยู่แล้วเนื่องจากฟังก์ชันเหล่านั้นไม่สามารถอินทิเกรตได้
- โดยทั่วไปแล้ว เรายังถือว่าการวัดบนและนั้นสมบูรณ์ มิฉะนั้น อินทิกรัลย่อยสองตัวตามเส้นแนวตั้งหรือแนวนอนอาจนิยามได้ดี แต่ไม่สามารถวัดได้ ตัวอย่างเช่น ถ้าเป็นฟังก์ชันลักษณะเฉพาะของผลคูณของเซตที่วัดได้และเซตที่วัดไม่ได้ซึ่งบรรจุอยู่ในเซตที่มีการวัดเป็น 0 แล้ว อินทิกรัลเดี่ยวของมันจะนิยามได้ดีทุกที่ แต่ไม่สามารถวัดได้
หลักฐาน
การพิสูจน์ทฤษฎีบทฟูบินีและโทเนลลีนั้นค่อนข้างซับซ้อนทางเทคนิค เนื่องจากต้องใช้สมมติฐานที่เกี่ยวข้องกับความเป็น σ-จำกัดการพิสูจน์ส่วนใหญ่เกี่ยวข้องกับการสร้างทฤษฎีบทให้สมบูรณ์โดยการพิสูจน์สำหรับฟังก์ชันที่ซับซ้อนขึ้นเรื่อยๆ โดยมีขั้นตอนดังต่อไปนี้
- ใช้ข้อเท็จจริงที่ว่าการวัดผลคูณของรูปสี่เหลี่ยมผืนผ้าเป็นการคูณ เพื่อพิสูจน์ทฤษฎีบทเกี่ยวกับฟังก์ชันลักษณะเฉพาะของรูปสี่เหลี่ยมผืนผ้า
- ใช้เงื่อนไขที่ว่าปริภูมิเหล่านั้นเป็น σ-finite (หรือเงื่อนไขที่เกี่ยวข้องอื่นๆ) เพื่อพิสูจน์ทฤษฎีบทสำหรับฟังก์ชันลักษณะเฉพาะของเซตที่วัดได้ ซึ่งครอบคลุมกรณีของฟังก์ชันที่วัดได้แบบง่าย (ฟังก์ชันที่วัดได้ซึ่งมีค่าเพียงจำนวนจำกัด) ด้วย
- ใช้เงื่อนไขที่ว่าฟังก์ชันนั้นสามารถวัดได้เพื่อพิสูจน์ทฤษฎีบทสำหรับฟังก์ชันบวกที่วัดได้ โดยการประมาณค่าฟังก์ชันเหล่านั้นด้วยฟังก์ชันที่วัดได้ง่าย ซึ่งเป็นการพิสูจน์ทฤษฎีบทของโทเนลลี
- ใช้เงื่อนไขที่ว่าฟังก์ชันเหล่านั้นสามารถหาปริพันธ์ได้ เพื่อเขียนฟังก์ชันเหล่านั้นให้อยู่ในรูปผลต่างของฟังก์ชันบวกที่หาปริพันธ์ได้สองฟังก์ชัน แล้วนำทฤษฎีบทของโทเนลลีมาใช้กับแต่ละฟังก์ชันเหล่านั้น วิธีนี้เป็นการพิสูจน์ทฤษฎีบทของฟูบินี
อินทิกรัลของรีมันน์
สำหรับปริพันธ์รีมันน์ทฤษฎีบทของฟูบินีได้รับการพิสูจน์โดยการปรับปรุงพาร์ติชันตาม แกน xและ แกน yเพื่อสร้างพาร์ติชันร่วมในรูปแบบ[ x , x ] × [ y , y ]ซึ่งเป็นพาร์ติชันเหนือX × Yสิ่งนี้ใช้เพื่อแสดงว่าปริพันธ์สองชั้นของอันดับใด ๆ ก็ตามเท่ากับปริพันธ์เหนือX × Y
ตัวอย่างค้าน
ตัวอย่างต่อไปนี้แสดงให้เห็นว่าทฤษฎีบทของฟูบินีและทฤษฎีบทของโทเนลลีอาจล้มเหลวได้หากละเว้นข้อสมมติฐานใดข้อหนึ่ง
ความล้มเหลวของทฤษฎีบทของ Tonelli สำหรับปริภูมิที่ไม่ใช่ σ-finite
สมมติว่าXคือช่วงหน่วยที่มีเซตที่วัดได้แบบเลเบสและมาตรวัดแบบเลเบส และYคือช่วงหน่วยที่มีเซตย่อยทั้งหมดที่วัดได้และมาตรวัดการนับดังนั้นY จึง ไม่ใช่ปริภูมิจำกัดแบบ σ ถ้าfคือฟังก์ชันลักษณะเฉพาะของเส้นทแยงมุมของX × YการอินทิเกรตfตามXจะให้ ฟังก์ชัน 0บนYแต่การอินทิเกรตfตามYจะให้ฟังก์ชัน1บนXดังนั้น อินทิกรัลซ้ำทั้งสองจึงแตกต่างกัน นี่แสดงให้เห็นว่าทฤษฎีบทของ Tonelli อาจล้มเหลวสำหรับปริภูมิที่ไม่ใช่ปริภูมิจำกัดแบบ σ ไม่ว่าเราจะเลือกมาตรวัดผลคูณแบบใดก็ตาม มาตรวัดทั้งสองสามารถแยกส่วนได้ซึ่งแสดงให้เห็นว่าทฤษฎีบทของ Tonelli ล้มเหลวสำหรับมาตรวัดที่แยกส่วนได้ (ซึ่งมีความทั่วไปมากกว่ามาตรวัดจำกัดแบบ σ เล็กน้อย)
ความล้มเหลวของทฤษฎีบทของฟูบินีสำหรับการวัดผลคูณที่ไม่สูงสุด
ทฤษฎีบทของฟูบินีใช้ได้กับปริภูมิถึงแม้ว่าจะไม่ได้สมมติว่าเป็นปริภูมิจำกัด σ ก็ตาม ตราบใดที่ใช้การวัดผลคูณสูงสุด ในตัวอย่างข้างต้น สำหรับการวัดผลคูณสูงสุด เส้นทแยงมุมมีการวัดเป็นอนันต์ ดังนั้นปริพันธ์สองชั้นของ| f |จึงเป็นอนันต์ และทฤษฎีบทของฟูบินีจึงเป็นจริงโดยปริยาย
อย่างไรก็ตาม ถ้าเรากำหนดให้X × Yเป็นมาตรวัดผลคูณ โดยที่มาตรวัดของเซตคือผลรวมของมาตรวัดเลเบสของส่วนตัดแนวนอนของเซตนั้นแล้ว อินทิกรัลสองชั้นของ| f |จะเป็นศูนย์ แต่ค่าอินทิกรัลซ้ำทั้งสองค่าก็ยังคงต่างกันอยู่ นี่เป็นตัวอย่างของมาตรวัดผลคูณที่ทฤษฎีบทของฟูบินีใช้ไม่ได้
นี่เป็นตัวอย่างของการวัดผลคูณสองแบบที่แตกต่างกันบนผลคูณเดียวกันของปริภูมิการวัดสองปริภูมิ สำหรับผลคูณของปริภูมิการวัด σ-finite สองปริภูมิ จะมีการวัดผลคูณเพียงหนึ่งเดียวเท่านั้น
ความล้มเหลวของทฤษฎีบทของโทเนลลีสำหรับฟังก์ชันที่ไม่สามารถวัดได้
สมมติว่าXเป็นลำดับขั้นที่นับไม่ได้ตัวแรก ที่มีมาตรวัดจำกัด โดยที่เซตที่วัดได้นั้นเป็นเซตที่นับได้ (มีมาตรวัด 0) หรือเซตที่มีส่วนเติมเต็มที่นับได้ (มีมาตรวัด 1) เซตย่อยE (ที่วัดไม่ได้) ของX × Xที่กำหนดโดยคู่( x , y )โดยที่x < yนั้น นับได้บนทุกเส้นแนวนอนและมีส่วนเติมเต็มที่นับได้บนทุกเส้นแนวตั้ง ถ้าfเป็นฟังก์ชันลักษณะเฉพาะของEแล้วปริพันธ์ซ้ำสองตัวของfจะถูกกำหนดและมีค่าต่างกันคือ 1 และ 0 ฟังก์ชันfนั้นวัดไม่ได้ นี่แสดงให้เห็นว่าทฤษฎีบทของ Tonelli อาจใช้ไม่ได้กับฟังก์ชันที่วัดไม่ได้
ความล้มเหลวของทฤษฎีบทของฟูบินีสำหรับฟังก์ชันที่ไม่สามารถวัดได้
ตัวอย่างที่แตกต่างไปจากตัวอย่างข้างต้นแสดงให้เห็นว่าทฤษฎีบทของฟูบินีอาจใช้ไม่ได้กับฟังก์ชันที่ไม่สามารถวัดได้ แม้ว่า| f |จะหาปริพันธ์ได้ และปริพันธ์ซ้ำทั้งสองจะนิยามได้ดีก็ตาม กล่าวคือ ถ้าเรากำหนดให้fมีค่าเป็น 1 บนEและ –1 บนส่วนเติมเต็มของEแล้ว| f |จะหาปริพันธ์ได้บนผลคูณที่มีปริพันธ์เป็น 1 และปริพันธ์ซ้ำทั้งสองจะนิยามได้ดี แต่มีค่าต่างกันคือ 1 และ –1
Wacław Sierpińskiแสดงให้เห็นว่าภายใต้สมมติฐานความต่อเนื่อง เราสามารถระบุXกับช่วงหน่วยIได้ ดังนั้นจึงมีฟังก์ชันที่ไม่เป็นลบที่มีขอบเขตบนI × Iซึ่งปริพันธ์ซ้ำสองรายการ (โดยใช้การวัดแบบ Lebesgue) ต่างก็ถูกกำหนดแต่ไม่เท่ากัน[ 8 ]ทฤษฎีบทของ Fubini เวอร์ชันที่แข็งแกร่งกว่าเกี่ยวกับผลคูณของช่วงหน่วยสองช่วงที่มีการวัดแบบ Lebesgue ซึ่งฟังก์ชันไม่จำเป็นต้องวัดได้อีกต่อไป แต่เพียงแค่ปริพันธ์ซ้ำสองรายการถูกกำหนดไว้อย่างดีและมีอยู่จริงนั้น เป็นอิสระจากสัจพจน์ Zermelo–Fraenkel มาตรฐาน ของทฤษฎีเซตที่มีสัจพจน์ของการเลือก (ZFC) สมมติฐานความต่อเนื่องและสัจพจน์ของมาร์ตินต่างก็บ่งชี้ว่ามีฟังก์ชันบนสี่เหลี่ยมจัตุรัสหน่วยซึ่งปริพันธ์ซ้ำไม่เท่ากัน ในขณะที่ฮาร์วีย์ ฟรีดแมนแสดงให้เห็นว่าสอดคล้องกับZFCที่ทฤษฎีบทประเภทฟูบินีที่แข็งแกร่งสำหรับ[ 0, 1 ]เป็นจริง และเมื่อใดก็ตามที่ปริพันธ์ซ้ำสองตัวมีอยู่ พวกมันจะเท่ากัน[ 9 ]
ความล้มเหลวของทฤษฎีบทของฟูบินีสำหรับฟังก์ชันที่ไม่สามารถหาปริพันธ์ได้
ทฤษฎีบทของฟูบินีกล่าวว่า (สำหรับฟังก์ชันที่วัดได้บนผลคูณของปริภูมิการวัดแบบ σ-จำกัด) ถ้าปริพันธ์ของค่าสัมบูรณ์มีค่าจำกัด ลำดับของการอินทิเกรตจะไม่สำคัญ กล่าวคือ ถ้าเราอินทิเกรตก่อนเทียบกับxแล้วเทียบกับyเราจะได้ผลลัพธ์เดียวกันกับถ้าเราอินทิเกรตก่อนเทียบกับyแล้วเทียบกับxข้อสมมติที่ว่าปริพันธ์ของค่าสัมบูรณ์มีค่าจำกัดคือ " ความสามารถในการอินทิเกรตแบบเลเบส " และหากไม่มีข้อสมมตินี้ ปริพันธ์ที่ทำซ้ำสองครั้งอาจมีค่าต่างกันได้
ตัวอย่างง่ายๆ ที่แสดงให้เห็นว่าปริพันธ์ซ้ำสามารถแตกต่างกันได้โดยทั่วไป คือ การกำหนดให้ปริภูมิการวัดทั้งสองเป็นจำนวนเต็มบวก และกำหนดให้ฟังก์ชันf ( x , y )มีค่าเป็น1ถ้าx = y , -1ถ้าx = y + 1และ0ในกรณีอื่นๆ จากนั้นปริพันธ์ซ้ำทั้งสองจะมีค่าต่างกันคือ0และ1
อีกตัวอย่างหนึ่งสำหรับฟังก์ชันมีดังต่อไปนี้
อินทิกรัลที่ทำซ้ำ มีค่าต่างกัน อินทิกรัลสองชั้นที่สอดคล้องกันไม่ลู่เข้าอย่างสมบูรณ์ (กล่าวอีกนัยหนึ่งคือ อินทิกรัลของค่าสัมบูรณ์ไม่ใช่ค่าจำกัด):
ทฤษฎีบทของฟูบินีในการคูณอินทิกรัล
ผลคูณของอินทิกรัลสองตัว
สำหรับผลคูณของปริพันธ์สองตัวที่มีขีดจำกัดล่างเป็นศูนย์และขีดจำกัดบนร่วมกัน เราจะได้สูตรดังต่อไปนี้:
การพิสูจน์
ให้V ( x )และW ( x )เป็นฟังก์ชันดั้งเดิมของฟังก์ชันv ( x )และw ( x )ตามลำดับ ซึ่งผ่านจุดกำเนิด:
ดังนั้น เราจึงมี
ตามกฎการคูณ อนุพันธ์ของฝั่งขวามือคือ
และด้วยการบูรณาการ เราจึงได้:
ดังนั้น จากสมการตั้งแต่เริ่มต้น เราจะได้:
ต่อไปนี้ เราจะแนะนำพารามิเตอร์การอินทิเกรตตัวที่สองyเพื่ออธิบายอนุพันธ์ผกผันV ( x )และW ( x ) :
โดยการแทรก จะได้อินทิกรัลสองชั้น:
ฟังก์ชันที่ไม่เกี่ยวข้องกับพารามิเตอร์การอินทิเกรตที่เกี่ยวข้อง สามารถนำเข้าสู่ฟังก์ชันภายในได้ในรูปแบบของแฟกเตอร์:
ขั้นตอนต่อไป คือการนำ กฎผลรวมมาใช้กับอินทิกรัล:
สุดท้ายนี้ เราใช้ทฤษฎีบทของฟูบินี
ตัวอย่างการคำนวณ
อินทิกรัลอาร์คไซน์
ค่าของอินทิกรัลไซน์ผกผันสามารถหาได้โดยการสลับลำดับการอินทิเกรตโดยใช้ทฤษฎีบทของฟูบินี โดยการกระจายตัวถูกอินทิเกรตและสลับตัวแปรการอินทิเกรต จะสามารถหาอนุพันธ์ผกผันเบื้องต้นได้:
ฟังก์ชันเอตาของดิริชเลต์
อนุกรมDirichletกำหนดฟังก์ชัน Dirichlet etaดังนี้:
ค่านี้สามารถพิสูจน์ได้โดยใช้ทฤษฎีบทของฟูบินี เงื่อนไขสำหรับการลู่เข้าสัมบูรณ์ที่จำเป็นสำหรับการสลับผลรวมและปริพันธ์นั้นเป็นไปตามที่กำหนดเนื่องจากการประเมินค่าดำเนินการดังต่อไปนี้:
อินทิกรัลของผลคูณของฟังก์ชันส่วนกลับและลอการิทึมธรรมชาติคืออินทิกรัลพหุลอการิทึมทฤษฎีบทของฟูบินีช่วยให้สามารถคำนวณค่านี้ได้โดยการแปลงตัวถูกอินทิเกรตให้อยู่ในรูปของเศษส่วนตรรกยะ:
วิธีการคำนวณอินทิกรัลนี้ถูกค้นพบโดยเจมส์ ฮาร์เปอร์[ 10 ]
อินทิกรัลของอินทิกรัลเชิงวงรีสมบูรณ์
อินทิกรัลไม่แท้ของอินทิกรัลเชิงวงรีสมบูรณ์ชนิดแรก , , มีค่าเท่ากับสองเท่าของค่าคงที่คาตาลัน , . สามารถแสดงได้โดยใช้ทฤษฎีบทของฟูบินีเพื่อเชื่อมโยงนิพจน์กับอินทิกรัลอาร์คแทงเจนต์ :
ขั้นตอนเดียวกันนี้สามารถนำไปใช้กับอินทิกรัลเชิงวงรีสมบูรณ์ชนิดที่สองได้เช่นกัน :
การดำเนินการซ้ำสองครั้งสำหรับฟังก์ชันอินทิกรัลเลขชี้กำลัง
ค่าคงที่ออยเลอร์-มาสเชโรนี , , เกิดขึ้นจากปริพันธ์ไม่เหมาะสมจากศูนย์ถึงอนันต์ของผลคูณของลอการิทึมธรรมชาติ เชิงลบ และฟังก์ชันการลดลงแบบเอกซ์โปเนนเชียล นอกจากนี้ยังสามารถแสดงได้ในรูปของปริพันธ์ไม่เหมาะสมของผลต่างที่เกี่ยวข้อง:
ความเท่าเทียมกันของปริพันธ์ทั้งสองนี้สามารถแสดงได้โดยการใช้ทฤษฎีบทของฟูบินีสองครั้ง โดยเชื่อมโยงทั้งสองเข้ากับฟังก์ชันปริพันธ์เลขชี้กำลัง เสริม :
อนุพันธ์ของฟังก์ชันเลขชี้กำลังเชิงอินทิกรัลเสริมคือ:
เมื่อนำทฤษฎีบทของฟูบินีมาใช้กับรูปแบบปริพันธ์แรกจะได้ผลลัพธ์ดังนี้:
การนำทฤษฎีบทของฟูบินีมาใช้กับปริพันธ์ขั้นกลางจะเชื่อมโยงปริพันธ์ดังกล่าวเข้ากับรูปแบบที่สอง:
อินทิกรัลการกระจายปกติ
โดยใช้เอกลักษณ์สำหรับการยกกำลังสองของอินทิกรัล:
สามารถคำนวณค่า อินทิกรัลของการแจกแจงปกติ ได้ดังนี้:
การหาค่ารากที่สองจะได้:
ไดโลการิธึมของหนึ่ง
โดยใช้สูตรที่คล้ายกันสำหรับการยกกำลังสองของปริพันธ์บนขอบเขตจำกัด:
สามารถนำหลักการนี้ไปประยุกต์ใช้กับปัญหาบาเซิลได้ :
สำหรับไดโลการิธึมของหนึ่ง จะได้ดังนี้:
ความสัมพันธ์ของเลอฌองเดร
โดยใช้สูตรผลคูณทั่วไป:
สามารถคำนวณอินทิกรัลต่อไปนี้ได้โดยใช้อินทิกรัลเชิงวงรี ไม่สมบูรณ์ ชนิดที่หนึ่งและชนิดที่สองเป็นอนุพันธ์ผกผัน:
เมื่อแทนค่าอินทิกรัลทั้งสองลงในสูตรผลคูณจะได้:
สำหรับกรณีพิเศษของเลมนิสกาติกในความสัมพันธ์ของเลอจองเดอร์จะได้ผลลัพธ์ดังนี้:
ดูเพิ่มเติม
- หลักการของ Cavalieri – แนวคิดทางเรขาคณิตที่เชื่อมโยงพื้นที่และปริมาตร – กรณีศึกษาเฉพาะในยุคแรก
- สูตรโคแอเรีย– สูตรทางคณิตศาสตร์ − การขยายไปสู่ทฤษฎีการวัดทางเรขาคณิต
- ทฤษฎีบทการสลายตัว – ทฤษฎีบทในทฤษฎีการวัด ซึ่งเป็นบทกลับแบบจำกัดของทฤษฎีบทของฟูบินี
- ทฤษฎีบทของฟูบินีสำหรับฟังก์ชันการแจกแจง - เวอร์ชันของทฤษฎีบทของฟูบินีสำหรับฟังก์ชันการแจกแจง กล่าวคือ ฟังก์ชันทั่วไป
- ทฤษฎีบทคูราตอฟสกี้–อูลัม – คล้ายคลึงกับทฤษฎีบทของฟูบินีสำหรับปริภูมิแบร์นับได้ที่สองตามอำเภอใจ
- สมมาตรของอนุพันธ์อันดับสอง − เทียบเคียงได้กับการหาอนุพันธ์
- ฝันร้ายของ Fubini – เห็นได้ชัดว่าเป็นการฝ่าฝืนทฤษฎีบทของ Fubini
อ่านเพิ่มเติม
- บิลลิงสลีย์, แพทริค (1995), "การวัดผลคูณและทฤษฎีบทของฟูบินี", ความน่าจะเป็นและการวัด , นิวยอร์ก: ไวลีย์, หน้า231–240 , ISBN 0-471-00710-2
- DiBenedetto, Emmanuele (2002), Real Analysis , Birkhäuser Advanced Texts: Basler Lehrbücher, Boston: Birkhäuser, doi : 10.1007/978-1-4612-0117-5 , ISBN 0-8176-4231-5, MR 1897317
- Fremlin, DH (2003), ทฤษฎีการวัด , เล่ม 2, โคลเชสเตอร์: Torres Fremlin, ISBN 0-9538129-2-8, MR 2462280
- เวียร์, อลัน เจ. (1973), "ทฤษฎีบทของฟูบินี", การบูรณาการและการวัดแบบเลเบส , เคมบริดจ์: สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์, หน้า83–92 , ISBN 0-521-08728-7
ลิงก์ภายนอก
- Kudryavtsev, LD (2001) [1994], "ทฤษฎีบท Fubini" , สารานุกรมคณิตศาสตร์ , สำนักพิมพ์ EMS