قضیه بولزانو-وایرشتراس
قضیه بولزانو– وایرشتراس، که به نام برنارد بولزانو و کارل وایرشتراس نامگذاری شدهاست، یک قضیه بنیادی در آنالیز حقیقی دربارهٔ همگرایی در فضای اقلیدسی متناهیبعد است. این قضیه بیان میکند که هر دنباله کراندار در Rn یک زیردنباله همگرا دارد. گزاره معادل این است که یک زیرمجموعه از Rn به صورت متوالی فشردهاست اگر و فقط اگر بسته و کراندار باشد. این قضیه را گاهی قضیه فشردگی متوالی نیز مینامند.
این قضیه نخستین بار توسط بولزانو در سال ۱۸۱۷ به عنوان یک لم در اثبات قضیه مقدار میانی اثبات شد. حدود پنجاه سال بعد این نتیجه بهطور مستقل مورد توجه قرار گرفت و دوباره توسط وایرشتراس ثابت شد. از آن زمان به یک قضیه اساسی در آنالیز ریاضی تبدیل شدهاست.[۱][۲][۳]
اثبات[ویرایش]
برای اثبات قضیه بولزانو – وایرشتراس میتوان از بازههای تودرتو استفاده کرد. با یک دنباله محدود شروع میکنیم:
-
از آنجا که کراندار است، این دنباله یک کران پایین و یک کران بالا دارد.
-
بازه را به عنوان نخستین بازه از دنباله بازههای تودرتو در نظر میگیریم.
-
سپس را به دو زیربازه با اندازه برابر تقسیم میکنیم .
-
از آنجا که هر دنباله بینهایت عضو دارد، حداقل یکی از این زیربازهها شامل بینهایت عنصر از است. فرض میکنیم چنین دنبالهای باشد.
-
سپس را نیز به دو بازه با اندازه برابر تقسیم میکنیم
-
مجددا یکی از این دو زیربازه شامل بینهایت عنصر از است. این بازه را در نظر میگیریم.
-
این فرآیند را میتوان بینهایت بار تکرار کرد و دنبالهای از بازههای تودرتو به دست آورد
از آنجا که طول هر بازه هر بار نصف میشود، حد طول بازهها برابر صفر است. همچنین بنا بر قضیه بازههای تودرتو، اگر هر بسته و کراندار باشد، آنگاه با فرض تودرتو بودن، اشتراک ها ناتهی است؛ بنابراین عددی مانند در هر بازه وجود دارد. سپس باید نشان داد نقطه حدی است.
همسایگی حول را در نظر بگیرید. از آنجا که طول بازهها همگرا به صفر است، وجود دارد بازهای مانند که زیرمجموعه است. از آنجا که این بازه بینهایت عنصر از را در بر میگیرد، نیز بینهایت عنصر از را در برخواهد گرفت؛ بنابراین یک نقطه حدی برای خواهد بود و زیردنبالهای از وجود خواهد داشت که به همگرا است.
پانویس[ویرایش]
منابع[ویرایش]
- Bartle, Robert G.; Sherbert, Donald R. (2000). Introduction to Real Analysis (3rd ed.). New York: J. Wiley. ISBN 978-0-471-32148-4.
- Fitzpatrick, Patrick M. (2006). Advanced Calculus (2nd ed.). Belmont, CA: Thomson Brooks/Cole. ISBN 0-534-37603-7.