กลับไปหน้าบทความ

อ่าน 24 นาที

ทฤษฎีบทของฟูบินี

CS1 แหล่งที่มาภาษาฝรั่งเศส (fr)/CS1 แหล่งที่มาภาษาอิตาลี (มัน)/หน้าที่ใช้แถบด้านข้างพร้อมกับพารามิเตอร์ลูก/ทฤษฎีบทในแคลคูลัส/ทฤษฎีบทในทฤษฎีการวัด

ทฤษฎีบทของฟูบินีให้เงื่อนไขที่สามารถคำนวณอินทิกรัลสองชั้น ได้โดยใช้อิน ทิกรัลแบบวนซ้ำกล่าวคือ โดยการอินทิเกรตทีละตัวแปร ตามสัญชาตญาณแล้ว

ทฤษฎีบทของฟูบินี

ทฤษฎีบทของฟูบินีให้เงื่อนไขที่สามารถคำนวณอินทิกรัลสองชั้น ได้โดยใช้อิน ทิกรัลแบบวนซ้ำกล่าวคือ โดยการอินทิเกรตทีละตัวแปร ตามสัญชาตญาณแล้ว เช่นเดียวกับปริมาตรของก้อนขนมปังที่เท่ากันไม่ว่าเราจะรวมปริมาตรจากชิ้นมาตรฐานหรือชิ้นบางยาว ค่าของอินทิกรัลสองชั้นจะไม่ขึ้นอยู่กับลำดับของการอินทิเกรตเมื่อเงื่อนไขของทฤษฎีบทเป็นไปตามที่กำหนด ทฤษฎีบทนี้ตั้งชื่อตามกุยโด ฟูบินีผู้พิสูจน์ผลลัพธ์ทั่วไปในปี 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 )สำหรับเซตย่อยที่วัดได้AXและBYและมาตรวัดμ บน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 แล้ว อินทิกรัลเดี่ยวของมันจะนิยามได้ดีทุกที่ แต่ไม่สามารถวัดได้

หลักฐาน

การพิสูจน์ทฤษฎีบทฟูบินีและโทเนลลีนั้นค่อนข้างซับซ้อนทางเทคนิค เนื่องจากต้องใช้สมมติฐานที่เกี่ยวข้องกับความเป็น σ-จำกัดการพิสูจน์ส่วนใหญ่เกี่ยวข้องกับการสร้างทฤษฎีบทให้สมบูรณ์โดยการพิสูจน์สำหรับฟังก์ชันที่ซับซ้อนขึ้นเรื่อยๆ โดยมีขั้นตอนดังต่อไปนี้

  1. ใช้ข้อเท็จจริงที่ว่าการวัดผลคูณของรูปสี่เหลี่ยมผืนผ้าเป็นการคูณ เพื่อพิสูจน์ทฤษฎีบทเกี่ยวกับฟังก์ชันลักษณะเฉพาะของรูปสี่เหลี่ยมผืนผ้า
  2. ใช้เงื่อนไขที่ว่าปริภูมิเหล่านั้นเป็น σ-finite (หรือเงื่อนไขที่เกี่ยวข้องอื่นๆ) เพื่อพิสูจน์ทฤษฎีบทสำหรับฟังก์ชันลักษณะเฉพาะของเซตที่วัดได้ ซึ่งครอบคลุมกรณีของฟังก์ชันที่วัดได้แบบง่าย (ฟังก์ชันที่วัดได้ซึ่งมีค่าเพียงจำนวนจำกัด) ด้วย
  3. ใช้เงื่อนไขที่ว่าฟังก์ชันนั้นสามารถวัดได้เพื่อพิสูจน์ทฤษฎีบทสำหรับฟังก์ชันบวกที่วัดได้ โดยการประมาณค่าฟังก์ชันเหล่านั้นด้วยฟังก์ชันที่วัดได้ง่าย ซึ่งเป็นการพิสูจน์ทฤษฎีบทของโทเนลลี
  4. ใช้เงื่อนไขที่ว่าฟังก์ชันเหล่านั้นสามารถหาปริพันธ์ได้ เพื่อเขียนฟังก์ชันเหล่านั้นให้อยู่ในรูปผลต่างของฟังก์ชันบวกที่หาปริพันธ์ได้สองฟังก์ชัน แล้วนำทฤษฎีบทของโทเนลลีมาใช้กับแต่ละฟังก์ชันเหล่านั้น วิธีนี้เป็นการพิสูจน์ทฤษฎีบทของฟูบินี

อินทิกรัลของรีมันน์

สำหรับปริพันธ์รีมันน์ทฤษฎีบทของฟูบินีได้รับการพิสูจน์โดยการปรับปรุงพาร์ติชันตาม แกน 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 ]

อินทิกรัลของอินทิกรัลเชิงวงรีสมบูรณ์

อินทิกรัลไม่แท้ของอินทิกรัลเชิงวงรีสมบูรณ์ชนิดแรก , , มีค่าเท่ากับสองเท่าของค่าคงที่คาตาลัน , . สามารถแสดงได้โดยใช้ทฤษฎีบทของฟูบินีเพื่อเชื่อมโยงนิพจน์กับอินทิกรัลอาร์คแทงเจนต์ :

ขั้นตอนเดียวกันนี้สามารถนำไปใช้กับอินทิกรัลเชิงวงรีสมบูรณ์ชนิดที่สองได้เช่นกัน :

การดำเนินการซ้ำสองครั้งสำหรับฟังก์ชันอินทิกรัลเลขชี้กำลัง

ค่าคงที่ออยเลอร์-มาสเชโรนี , , เกิดขึ้นจากปริพันธ์ไม่เหมาะสมจากศูนย์ถึงอนันต์ของผลคูณของลอการิทึมธรรมชาติ เชิงลบ และฟังก์ชันการลดลงแบบเอกซ์โปเนนเชียล นอกจากนี้ยังสามารถแสดงได้ในรูปของปริพันธ์ไม่เหมาะสมของผลต่างที่เกี่ยวข้อง:

ความเท่าเทียมกันของปริพันธ์ทั้งสองนี้สามารถแสดงได้โดยการใช้ทฤษฎีบทของฟูบินีสองครั้ง โดยเชื่อมโยงทั้งสองเข้ากับฟังก์ชันปริพันธ์เลขชี้กำลัง เสริม :

อนุพันธ์ของฟังก์ชันเลขชี้กำลังเชิงอินทิกรัลเสริมคือ:

เมื่อนำทฤษฎีบทของฟูบินีมาใช้กับรูปแบบปริพันธ์แรกจะได้ผลลัพธ์ดังนี้:

การนำทฤษฎีบทของฟูบินีมาใช้กับปริพันธ์ขั้นกลางจะเชื่อมโยงปริพันธ์ดังกล่าวเข้ากับรูปแบบที่สอง:

อินทิกรัลการกระจายปกติ

โดยใช้เอกลักษณ์สำหรับการยกกำลังสองของอินทิกรัล:

สามารถคำนวณค่า อินทิกรัลของการแจกแจงปกติ ได้ดังนี้:

การหาค่ารากที่สองจะได้:

ไดโลการิธึมของหนึ่ง

โดยใช้สูตรที่คล้ายกันสำหรับการยกกำลังสองของปริพันธ์บนขอบเขตจำกัด:

สามารถนำหลักการนี้ไปประยุกต์ใช้กับปัญหาบาเซิลได้ :

สำหรับไดโลการิธึมของหนึ่ง จะได้ดังนี้:

ความสัมพันธ์ของเลอฌองเดร

โดยใช้สูตรผลคูณทั่วไป:

สามารถคำนวณอินทิกรัลต่อไปนี้ได้โดยใช้อินทิกรัลเชิงวงรี ไม่สมบูรณ์ ชนิดที่หนึ่งและชนิดที่สองเป็นอนุพันธ์ผกผัน:

เมื่อแทนค่าอินทิกรัลทั้งสองลงในสูตรผลคูณจะได้:

สำหรับกรณีพิเศษของเลมนิสกาติกในความสัมพันธ์ของเลอจองเดอร์จะได้ผลลัพธ์ดังนี้:

ดูเพิ่มเติม

อ่านเพิ่มเติม

  • บิลลิงสลีย์, แพทริค (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

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Fubini%27s_theorem&oldid=1360518780 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ ทฤษฎีบทของฟูบินี

ทฤษฎีบทของฟูบินีให้เงื่อนไขที่สามารถคำนวณอินทิกรัลสองชั้น ได้โดยใช้อิน ทิกรัลแบบวนซ้ำกล่าวคือ โดยการอินทิเกรตทีละตัวแปร ตามสัญชาตญาณแล้ว

ประวัติศาสตร์

กรณีพิเศษของทฤษฎีบทของฟูบินีสำหรับฟังก์ชันต่อเนื่องบนผลคูณของเซตย่อยปิดที่มีขอบเขตของปริภูมิเวกเตอร์จริงนั้น เลออนฮาร์ด ออยเลอร์ รู้จัก ในศตวรรษที่ 18 ในปี 1904 อองรี เลเบสก์ ได้ขยายผลลัพธ์นี้ไปยังฟังก์ชันที่วัดได้และมีขอบเขตบนผลคูณของช่วง [ 3 ] เบปโป เลวี...

การวัดผลิตภัณฑ์

ถ้า X และ Y เป็น ปริภูมิการวัด จะมีวิธีที่เป็นธรรมชาติหลายวิธีในการกำหนดการวัดผล คูณ บนผลคูณ X × Y

สำหรับฟังก์ชันที่สามารถหาปริพันธ์ได้

สมมติว่า X และ Y เป็น ปริภูมิการวัด แบบ σ-finite และสมมติว่า X × Y ถูกกำหนดให้เป็นการวัดผลคูณ (ซึ่งมีเพียงหนึ่งเดียว เนื่องจาก X และ Y เป็น σ-finite) ทฤษฎีบทของฟูบินีกล่าวว่า ถ้า f เป็น ฟังก์ชันที่หาปริพันธ์ได้ใน X × Y หมายความว่า f เป็น ฟังก์ชันที่วัดได้ และ...