n mathematics, the surreal number system is an arithmetic continuum containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. The surreals share many properties with the reals, including a total order ≤ and the usual arithmetic operations (addition, subtraction, multiplication, and division); as such, they form an ordered field. (Strictly speaking, the surreals are not a set, but a proper class.[1]) If formulated in Von Neumann–Bernays–Gödel set theory, the surreal numbers are the largest possible ordered field; all other ordered fields, such as the rationals, the reals, the rational functions, the Levi-Civita field, the superreal numbers, and the hyperreal numbers, can be realized as subfields of the surreals.[2] It has also been shown (in Von Neumann–Bernays–Gödel set theory) that the maximal class hyperreal field is isomorphic to the maximal class surreal field; in theories without the axiom of global choice, this need not be the case, and in such theories it is not necessarily true that the surreals are the largest ordered field. The surreals also contain all transfinite ordinal numbers; the arithmetic on them is given by the natural operations.
- คณิตศาสตร์ ระบบจํานวนจริง เป็นค่าต่อเนื่องที่มีตัวเลขที่แท้จริงเป็นอนันต์และกณิกนันต์ตัวเลขตามลำดับขนาดใหญ่หรือเล็กในค่าสัมบูรณ์มากกว่าจํานวนจริงบวก การ surreals แบ่งปันสมบัติมากมายกับจริง รวมถึง≤สั่งซื้อทั้งหมดและการดำเนินการเลขคณิตปกติ ( การบวก การลบ การคูณ และการหาร )เช่นที่พวกเขารูปแบบคำสั่งฟิลด์ ( พูด , surreals ไม่ได้ตั้ง แต่ระดับ เหมาะสม [ 1 ] ) ถ้าสูตรในฟอนนอยมันน์–– G ö del ตั้งทฤษฎี Bernays , ตัวเลขจริงจะเป็นไปได้มากที่สุดให้สนาม อื่น ๆทั้งหมดที่สั่งให้เขตข้อมูล เช่น rationals , จริง , ฟังก์ชั่นที่มีเหตุผล , ลีวายส์ Civita สนาม , เรียลและ hyperreal ตัวเลข , ตัวเลขที่สามารถรับรู้เป็น subfields ของ surreals [ 2 ] มันยังแสดง ( ในฟอนนอยมันน์ ( G ö del Bernays –ทฤษฎีเซต ) สูงสุดคลาส hyperreal สนามพวกเราเรียนสูงสุดเหนือสนาม ในทฤษฎีโดยความจริงของการเลือกโลกนี้ไม่จำเป็นต้องเป็นกรณีและในทฤษฎี เช่น มันไม่เสมอไปหรอกว่า surreals เป็นที่ใหญ่ที่สุดสั่งฟิลด์การ surreals ยังประกอบด้วย transfinite เลขลำดับ ; ) พวกเขาจะได้รับโดยการธรรมชาติ
การแปล กรุณารอสักครู่..
