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

อ่าน 2 นาที

เลขเหนือจริง

ใน พีชคณิตนามธรรม จำนวน เหนือจริง (superreal numbers) เป็นกลุ่มของจำนวนขยายของ จำนวนจริง (real numbers ) ที่เสนอโดย H. Garth Dales และ W.

เลขเหนือจริง

ในพีชคณิตนามธรรมจำนวน เหนือจริง (superreal numbers)เป็นกลุ่มของจำนวนขยายของจำนวนจริง (real numbers ) ที่เสนอโดยH. Garth DalesและW. Hugh Woodinในฐานะการวางนัยทั่วไปของจำนวนเหนือจริง (hyperreal numbers)และมีความสำคัญหลักใน สาขา การวิเคราะห์แบบไม่มาตรฐานทฤษฎีแบบจำลองและการศึกษาพีชคณิตบานาค (Banach algebras ) ขอบเขตของจำนวนเหนือจริงเองก็เป็นขอบเขตย่อยของจำนวนเหนือจริง (surreal numbers )

ซูเปอร์เรียลของเดลส์และวูดินแตกต่างจากจำนวนซูเปอร์เรียลของเดวิด โอ. ทอลล์ซึ่งเป็นเศษส่วนที่เรียงลำดับตามพจนานุกรม ของ อนุกรมกำลังอย่างเป็น ทางการ เหนือจำนวนจริง[ 1 ]

คำจำกัดความอย่างเป็นทางการ

สมมติว่าXเป็นปริภูมิไทโคนอฟและ C( X ) เป็นพีชคณิตของฟังก์ชันค่าจริงต่อเนื่องบนXสมมติว่าPเป็นอุดมคติเฉพาะใน C( X ) แล้วพีชคณิตแฟกเตอร์A = C( X )/ Pตามคำนิยามจะเป็นโดเมนเชิงปริพันธ์ที่เป็นพีชคณิตจริง และสามารถมองเห็นได้ว่ามีลำดับสมบูรณ์ฟิลด์เศษส่วน F ของ A เป็นฟิลด์เหนือจริงถ้าFประกอบด้วยจำนวนจริงอย่างเคร่งครัดอาร์{\displaystyle \mathbb {R} }ดังนั้นF จึง ไม่สมสัณฐานเชิงลำดับกับอาร์{\displaystyle \mathbb {R} }.

ถ้าอุดมคติเฉพาะPเป็นอุดมคติสูงสุดแล้วFจะเป็นฟิลด์ของจำนวนไฮเปอร์เรียล ( โดยไฮเปอร์เรียล ของโรบินสัน เป็นกรณีพิเศษมาก)

บรรณานุกรม

  • Dales, H. Garth; Woodin, W. Hugh (1996), Super-real fields , London Mathematical Society Monographs. New Series, vol.  14, The Clarendon Press Oxford University Press, ISBN 978-0-19-853991-9, MR 1420859 
  • กิลล์แมน, แอล.; เจริสัน, เอ็ม. (1960), วงแหวนของฟังก์ชันต่อเนื่อง , แวน นอสแตรนด์, ISBN 978-0442026912{{citation}}: ความไม่เข้ากันของหมายเลข ISBN / วันที่ ( ขอความช่วยเหลือ )

สรุปเนื้อหา

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

ข้อมูลสำคัญเกี่ยวกับ เลขเหนือจริง

ใน พีชคณิตนามธรรม จำนวน เหนือจริง (superreal numbers) เป็นกลุ่มของจำนวนขยายของ จำนวนจริง (real numbers ) ที่เสนอโดย H. Garth Dales และ W.

คำจำกัดความอย่างเป็นทางการ

สมมติว่า X เป็น ปริภูมิไทโคนอฟ และ C( X ) เป็น พีชคณิต ของฟังก์ชันค่าจริงต่อเนื่องบน X สมมติว่า P เป็น อุดมคติเฉพาะ ใน C( X ) แล้ว พีชคณิตแฟกเตอร์ A = C( X )/ P ตามคำนิยามจะเป็น โดเมนเชิงปริพันธ์ ที่เป็นพีชคณิตจริง และสามารถมองเห็นได้ว่ามี ลำดับสมบูรณ์...

บรรณานุกรม

Dales, H. Garth; Woodin, W. Hugh (1996), Super-real fields , London Mathematical Society Monographs. New Series, vol. 14, The Clarendon Press Oxford University Press, ISBN 978-0-19-853991-9 , MR 1420859 กิลล์แมน, แอล.; เจริสัน, เอ็ม.