اعداد سورئال

در ریاضیات، دستگاه اعداد سورئال  یک کلاس محض کاملاً مرتب شامل اعداد حقیقی به علاوه اعداد بی نهایت و بی‌نهایت‌کوچک‌ها است که به ترتیب از نظر قدر مطلقی از هر عدد حقیقی مثبتی بزرگتر و کوچکتر اند. اعداد سورئال در بسیاری از خواص با اعداد حقیقی مشترکند، شامل خواصی چون عملیات حسابی معمولی (جمع، تفاضل، ضرب و تقسیم)؛ به علاوه این که آن ها تشکیل یک میدان مرتب را می دهند. اگر از فرموله بندی نظریه مجموعه های فون نویمان-برنیز-گودل استفاده شود، اعداد سورئال تبدیل به میدان ترتیبی جهانی می شوند، بدین معنا که تمام میدان های ترتیبی چون اعداد گویا، اعداد حقیقی، توابع گویا، میدان لوی-چیویتا، اعداد ابرحقیقی (superreal) و اعداد فراحقیقی (hyperreal) را می توان بر اساس چنین فرموله بندی به عنوان زیرمیدانی از اعداد سورئال در نظر گرفت. همچنین سورئال ها شامل تمام اعداد ترتیبی ترامتناهی نیز می شوند؛ چنان که حساب روی آن ها توسط عملیات طبیعی صورت می پذیرد. همچنین نشان داده شده است که (در بستر نظریه مجموعه‌های فون نویمان-برنیز-گودل) کلاس ماکسیمال میدان فراحقیقی یک ریخت با کلاس ماکسیمال میدان سورئال است؛ در نظریات، بدون استفاده از اصل انتخاب سرتاسری ممکن است این حالت ایجاد نشود، در چنین نظریاتی الزاماً سورئال ها میدان مرتب جهانی نیستند.

یادداشت‌ها

منابع

برای مطالعه بیشتر 

 Donald Knuth's original exposition: Surreal Numbers: How Two Ex-Students Turned on to Pure Mathematics and Found Total Happiness, 1974, . More information can be found at the book's official homepage .
 An update of the classic 1976 book defining the surreal numbers, and exploring their connections to games: John Conway, On Numbers And Games, 2nd ed., 2001, .
 An update of the first part of the 1981 book that presented surreal numbers and the analysis of games to a broader audience: Berlekamp, Conway, and Guy, Winning Ways for Your Mathematical Plays, vol. 1, 2nd ed., 2001, .
 Martin Gardner, Penrose Tiles to Trapdoor Ciphers, W. H. Freeman & Co., 1989, ، Chapter 4. A non-technical overview; reprint of the 1976 Scientific American article.
 Polly Shulman, "Infinity Plus One, and Other Surreal Numbers", Discover, December 1995.
 A detailed treatment of surreal numbers: Norman L. Alling, Foundations of Analysis over Surreal Number Fields, 1987, .
 A treatment of surreals based on the sign-expansion realization: Harry Gonshor, An Introduction to the Theory of Surreal Numbers, 1986, .
 A detailed philosophical development of the concept of surreal numbers as a most general concept of number: Alain Badiou, Number and Numbers, New York: Polity Press, 2008,  (paperback),  (hardcover).
  The surreal numbers are studied in the context of homotopy type theory in section 11.6.

پیوند به بیرون 

 Hackenstrings, and the 0.999... ?= 1 FAQ, by A. N. Walker, an archive of the disappeared original
 A gentle yet thorough introduction by Claus Tøndering
 Good Math, Bad Math: Surreal Numbers, a series of articles about surreal numbers and their variations

 

بی‌نهایت
جان هورتون کانوی
منطق ریاضی
میدان بسته حقیقی
نظریه بازی‌های ترکیبیاتی
آنالیز غیر استاندارد