การวิเคราะห์เชิงจริง
การวิเคราะห์เชิงจริงเป็นการศึกษาอย่างเข้มงวดเกี่ยวกับระบบจำนวนจริงและฟังก์ชันที่นิยามบนจำนวนจริง โดยสร้างแนวคิดเรื่องลิมิต ความต่อเนื่อง การหาอนุพันธ์ และการหาปริพันธ์บนรากฐานของความบริบูรณ์เชิงอันดับ
Definition
การวิเคราะห์เชิงจริงเป็นสาขาหนึ่งของการวิเคราะห์ทางคณิตศาสตร์ที่เกี่ยวข้องกับจำนวนจริงและฟังก์ชันค่าจริง ซึ่งการดำเนินการเชิงสัญชาตญาณของแคลคูลัสจะได้รับคำนิยามเอปไซลอน-เดลตาที่แม่นยำและพิสูจน์ได้จากสัจพจน์ความบริบูรณ์ของจำนวนจริง
Scope
ขอบเขตครอบคลุมการสร้างและความบริบูรณ์ของเส้นจำนวนจริง การลู่เข้าของลำดับและอนุกรม ความต่อเนื่องและความต่อเนื่องเอกรูป การหาอนุพันธ์ ปริพันธ์ของรีมันน์และเลอเบก และทอพอโลยีของปริภูมิเมตริกและปริภูมิเชิงบรรทัดฐานที่แนวคิดเหล่านี้ถูกขยายออกไป ซึ่งเป็นรากฐานเชิงตรรกะที่แคลคูลัสสมมติขึ้นแต่ไม่ได้พิสูจน์
Sub-topics
Core questions
- คุณสมบัติใดที่แยกจำนวนจริงออกจากจำนวนตรรกยะและทำให้ลิมิตมีพฤติกรรมที่ดี?
- ลำดับหรืออนุกรมของฟังก์ชันจะลู่เข้าเมื่อใด และเมื่อใดที่ลิมิต อนุพันธ์ และปริพันธ์สามารถสลับกันได้?
- ฟังก์ชันใดที่หาอนุพันธ์ได้ และความต่อเนื่องกับการหาอนุพันธ์มีความสัมพันธ์กันอย่างไร?
- ปริพันธ์ถูกนิยามอย่างไรเพื่อให้สอดคล้องกับพื้นที่และมีพฤติกรรมที่ดีภายใต้ลิมิต?
Key theories
- ความบริบูรณ์ของเส้นจำนวนจริง
- ทุกเซตของจำนวนจริงที่ไม่ว่างและมีขอบเขตบนจะมีขอบเขตบนน้อยสุด; หรือกล่าวอีกนัยหนึ่งคือ ทุกลำดับโคชีจะลู่เข้า ความบริบูรณ์เป็นสัจพจน์ที่ทฤษฎีบทการลู่เข้าของการวิเคราะห์ตามมา
- การลู่เข้าเอกรูปเทียบกับการลู่เข้าเฉพาะจุด
- การลู่เข้าเอกรูปจะรักษาความต่อเนื่องและอนุญาตให้มีการหาปริพันธ์ทีละพจน์ และ (ภายใต้สมมติฐานเพิ่มเติม) การหาอนุพันธ์ ในขณะที่การลู่เข้าเฉพาะจุดเพียงอย่างเดียวไม่สามารถทำได้ ซึ่งเป็นแรงจูงใจให้เกิดทฤษฎีบทการสลับที่ระมัดระวังในการวิเคราะห์
Clinical relevance
การวิเคราะห์เชิงจริงเป็นรากฐานที่เข้มงวดซึ่งใช้กันอย่างแพร่หลายในคณิตศาสตร์บริสุทธิ์และคณิตศาสตร์ประยุกต์: เป็นการยืนยันการดำเนินการของแคลคูลัสที่ใช้ในฟิสิกส์และวิศวกรรมศาสตร์ เป็นพื้นฐานของการรับประกันการลู่เข้าของวิธีการเชิงตัวเลข และเป็นภาษาเบื้องต้นสำหรับทฤษฎีการวัด การวิเคราะห์เชิงฟังก์ชัน ความน่าจะเป็น และสมการเชิงอนุพันธ์
History
การวิเคราะห์เชิงจริงที่เข้มงวดเกิดขึ้นในศตวรรษที่สิบเก้า เมื่อโคชี โบลซาโน และไวแยร์สตราส ได้เข้ามาแทนที่การให้เหตุผลเชิงอนันต์ที่หลวมๆ ของแคลคูลัสยุคแรกด้วยคำนิยามเอปไซลอน-เดลตา และเดเดคินด์กับคันเตอร์ได้ให้การสร้างเชิงตรรกะแก่จำนวนจริง ปริพันธ์ของรีมันน์ (ค.ศ. 1854) และต่อมาปริพันธ์ของเลอเบก (ค.ศ. 1902) ได้ทำให้ทฤษฎีการหาปริพันธ์ที่เข้มงวดสมบูรณ์
Key figures
- Augustin-Louis Cauchy
- Karl Weierstrass
- Bernhard Riemann
- Richard Dedekind
Related topics
Seminal works
- rudin1976
- royden2010
Frequently asked questions
- การวิเคราะห์เชิงจริงแตกต่างจากแคลคูลัสอย่างไร?
- แคลคูลัสสอนกฎการคำนวณสำหรับลิมิต อนุพันธ์ และปริพันธ์; การวิเคราะห์เชิงจริงพิสูจน์ว่าทำไมกฎเหล่านั้นจึงเป็นจริง โดยนิยามแต่ละแนวคิดอย่างแม่นยำและได้มาจากการความบริบูรณ์ของจำนวนจริง
- ทำไมความบริบูรณ์จึงมีความสำคัญมาก?
- ความบริบูรณ์รับประกันว่าลิมิตของลำดับทางเดียวที่มีขอบเขตหรือลำดับโคชีมีอยู่จริงภายในจำนวนจริง ซึ่งเป็นสิ่งที่ทำให้ทฤษฎีบทการลู่เข้า ความต่อเนื่อง และการหาปริพันธ์ของการวิเคราะห์เป็นจริง