العربية  

books مبرهنة الاستدعاء الذاتي

If you do not find what you're looking for, you can use more accurate words.

View more

مبرهنة الاستدعاء الذاتي (Info)


في نظرية المجموعات، هذه مبرهنة التي تضمن وجود دوال معرفة بالاستدعاء الذاتي. بإعطاء مجموعة X، عنصر a في X ودالة ، تنص المبرهنة أنه هنالك دالة مميزة (حيث أن ترمز مجموعة الأعداد الطبيعية شاملة الصفر) بحيث أن:

لأي عدد طبيعي n.

برهان التميز

لتكن و دالتين بحيث أن:

بحث أن a هو عنصر في X.

بالإمكان البرهنة بالاستقراء أن لكل الأعداد الطبيعية n:

الأساس: وبالتالي فإن المساواة تنطبق أيضا على .
خطوة الاستقراء: لنفرض أن لبعض . إذن
ومن هنا F(k) = G(k) يؤدي إلى F(k+1) = G(k+1).

بالاسقراء , لكل .

أمثلة

بعض العلاقات العودية الشائعة:

Source: wikipedia.org