The positive energy theorem states that the total ADM mass of an asymptotically flat spacetime is non-negative and zero only for Minkowski space.4×10^24 كيلوغرام — كتلة الأرض. تجيب مبرهنة الطاقة الموجبة على سؤال: هل يمكن لمجال الجاذبية أن يضيف مساهمة سالبة؟ في عام 1979، أثبت ريتشارد شون وشينغ تونغ ياو أنه لا: الطاقة الكلية لنظام معزول في النسبية العامة دائمًا غير سالبة. قدم إدوارد ويتن برهانًا سبينوريًا أنيقًا في عام 1981. الطبيعة محاسب دقيق لا يسمح بالعجز.
تعود مسألة إيجابية الطاقة في النسبية العامة إلى أعمال أينشتاين، لكن البرهان الدقيق ظل بعيد المنال طويلاً. في عام 1959، طرح ديراك فرضية، وفي عام 1962، قدم أرنوفيت وديزر وميزنر كتلة ADM. في عام 1979، أثبت الرياضيان ريتشارد شون وشينغ تونغ ياو المبرهنة للأبعاد ≤7. في عام 1981، وجد إدوارد ويتن برهانًا بسيطًا للمتعددات السبينورية في أي بعد، بالاعتماد على الثقالة الفائقة. أصبح نهجه كلاسيكيًا.
تُستخدم لإثبات استقرار فضاء مينكوفسكي كحالة أرضية. في الحسابات العددية لاندماج الثقوب السوداء، تضمن ألا تتجاوز كتلة الإشعاع المجموع الابتدائي. قيد: تعمل فقط للفضاءات المقاربة للمستوى وبتحقق الشروط الطاقية (مثلًا، للمادة الكلاسيكية).
تضمن استقرار الثقوب السوداء والنجوم: لا يمكنها الانهيار إلى 'لا شيء' بطاقة سالبة. عند حساب مدارات الأقمار الصناعية في المجالات القوية، تستبعد المبرهنة السيناريوهات ذات 'الشحنة الجاذبية السالبة'.
استخدم ويتن السبينورات — كائنات رياضية تشبه 'الجذور التربيعية' للمتجهات. برهانه مدمج لدرجة أنه احتوى على بضع صفحات.













