پست ۴: برهان استقرایی قضیهٔ سرپینسکی و جمعبندی نهایی
در سه پست قبل، مسیر کلی بحث را آماده کردیم:
- ابتدا دیدیم که از معادلهٔ کلاسی میتوان به معادلاتی از جنس مجموع معکوسها رسید.
- سپس نمونهٔ مهم
1/n + 1/m + 1/ℓ = 1
را بهطور کامل حل کردیم.
- بعد نشان دادیم که در حالت کلی، اگر
x1 ≤ x2 ≤ ... ≤ xs
باشد و
1/x1 + ... + 1/xs = 1،
آنگاه حتماً
x1 ≤ s.
اکنون میتوانیم برهان کامل قضیهٔ سرپینسکی را بنویسیم.
۱. صورت قضیه
قضیهٔ سرپینسکی:
برای هر عدد طبیعی ثابت s، معادلهٔ
1/x1 + 1/x2 + ... + 1/xs = 1
فقط تعداد متناهی جواب در اعداد طبیعی مثبت دارد.
۲. روش اثبات: استقرا روی تعداد جملهها
اثبات را با استقرا روی s انجام میدهیم.
گام پایه
اگر s = 1 باشد، معادله به صورت
1/x1 = 1
درمیآید، و تنها جواب آن
x1 = 1
است. پس در این حالت، تعداد جوابها متناهی است.
فرض استقرا
فرض میکنیم برای یک عدد طبیعی
s - 1،
معادلهٔ
1/y1 + 1/y2 + ... + 1/ys-1 = 1
فقط تعداد متناهی جواب طبیعی دارد.
میخواهیم نشان دهیم همین حکم برای s نیز برقرار است.
۳. مرتبسازی جوابها
یک جواب دلخواه از معادلهٔ
1/x1 + ... + 1/xs = 1
را در نظر بگیرید. بدون از دست دادن کلیت میتوان فرض کرد:
x1 ≤ x2 ≤ ... ≤ xs
طبق نتیجهٔ پست قبل، از این ترتیب نتیجه میگیریم که:
x1 ≤ s
پس کوچکترین مخرج فقط میتواند یکی از اعداد
1, 2, ..., s
باشد. بنابراین تعداد انتخابهای ممکن برای x1 متناهی است.
۴. تثبیت کوچکترین مخرج
اکنون یک عدد ثابت
k
را در نظر بگیرید، بهطوریکه
1 ≤ k ≤ s
و فرض کنید
x1 = k.
در این صورت معادلهٔ اصلی به شکل زیر درمیآید:
1/x2 + 1/x3 + ... + 1/xs = 1 - 1/k
سمت راست این معادله یک عدد گویا و ثابت است. نکتهٔ مهم این است که پس از ثابت کردن
x1,
مسئله به معادلهای با s-1 جمله کاهش پیدا میکند.
ایدهٔ اصلی سرپینسکی این است که این کاهش، امکان ادامهٔ برهان را فراهم میکند:
برای هر انتخاب ثابتِ k، تنها تعداد متناهی حالت برای دنبالهٔ
(x2, ..., xs)
وجود خواهد داشت؛ زیرا ساختار مسئله دیگر از مرتبهٔ s نیست، بلکه به مرتبهٔ پایینتر فروکاسته شده است.
۵. جمعکردن حالتها
از آنجا که:
- برای x1 فقط تعداد متناهی انتخاب ممکن است،
- و برای هر انتخاب ثابتِ x1، فقط تعداد متناهی حالت برای بقیهٔ مخرجها وجود دارد،
نتیجه میگیریم که کل معادله نیز فقط تعداد متناهی جواب دارد.
نتیجه: برای هر s ثابت، معادلهٔ
1/x1 + ... + 1/xs = 1
در اعداد طبیعی مثبت فقط تعداد متناهی جواب دارد.
۶. چرا این قضیه در بحث گروهها مهم است؟
اهمیت این نتیجه در آن است که وقتی از معادلهٔ کلاسی گروه به رابطهای از نوع مجموع معکوسها میرسیم، دیگر مسئله فقط یک مسئلهٔ گروهی نیست؛ بلکه به یک مسئلهٔ عددیِ کنترلپذیر تبدیل میشود.
به بیان دیگر، اگر ساختار یک گروه ما را به معادلهای از شکل
1/x1 + ... + 1/xs = 1
برساند، قضیهٔ سرپینسکی تضمین میکند که برای هر s ثابت، فقط تعداد محدودی آرایش ممکن برای این دادهها وجود دارد.
این موضوع در طبقهبندی ساختارهای گروهی، محدود کردن حالتها، و استخراج نتایج متناهی نقش مهمی دارد.
۷. جمعبندی مجموعهٔ این چهار پست
در این مجموعه دیدیم که:
- معادلهٔ کلاسی فقط یک فرمول شمارشی ساده نیست، بلکه پلی میان جبر و نظریه اعداد است.
- معادلاتی از جنس مجموع معکوسها، اطلاعات ساختاری مهمی دربارهٔ گروهها به ما میدهند.
- در مثال سهجملهای، جوابها کاملاً طبقهبندی شدند:
(2,3,6), (2,4,4), (3,3,3).
- در حالت کلی، کران
x1 ≤ s
نقطهٔ آغاز برهان است.
- و در نهایت، با استقرا نتیجه گرفتیم که برای هر s ثابت، تعداد جوابها متناهی است.
این دقیقاً همان زیبایی ریاضیات است:
یک ایدهٔ ساده در مرتبسازی و کرانگذاری، میتواند از دل یک مسئلهٔ جبری، یک قضیهٔ عمیق در نظریه اعداد بیرون بکشد.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.