عدد حقيقي ممتاز

في الجبر المجرد، مجموعة الأعداد الحقيقية الممتازة (Superreal numbers) تشكل زمرة أكثر شمولا من زمرة الأعداد الحقيقية الفائقة (Hyperreal)، وتبرز أهميتها في الأساس في التحليل غير العياري ونظرية النموذج ودراسة جبر باناخ. وضع المصطلح العالمان گارث ديلز وهيو وودن. حقل الأعداد الحقيقية الممتازة هو جزء من حقل الأعداد فوق الحقيقية Surreal numbers.

الأعداد الحقيقية الممتازة لديلز وودين تختلف عن الأعداد الحقيقية الممتازة لديڤيد تال، التي هي كسور متسلسلات أسية رسمية مرتبة معجمياً على الأرقام الحقيقية[1].

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

التعريف الرسمي

افترض أن X هي فضاء تيخونوڤ، وتـُسمى كذلك فضاء T3.5 ، و C(X) هي جبر الدوال ذات القيم الحقيقية المتصلة في X. افترض أن P هي prime ideal in C(X). Then the factor algebra A = C(X)/P is by definition an integral domain which is a real algebra and which can be seen to be مرتبة تماماً. The field of fractions F of A is a superreal field if F strictly contains the real numbers  , so that F is not order isomorphic to  .

If the prime ideal P is a maximal ideal, then F is a field of الأعداد الحقيقية الهائلة.


الهامش

  1. ^ David Tall, "Looking at graphs through infinitesimal microscopes, windows and telescopes," Mathematical Gazette, 64 22– 49, reprint at http://www.warwick.ac.uk/staff/David.Tall/downloads.html
  • L. Gillman and M. Jerison: Rings of Continuous Functions, Van Nostrand, 1960.