تمامیت اعداد حقیقی: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز Melancholist20 صفحهٔ اصل موضوع کمال را به تمامیت اعداد حقیقی منتقل کرد: موضوع اصلی تمامیت اعداد حقیقی است که میتواند اصل موضوع باشد یا نباشد. |
ترجمه مقاله انگلیسی |
||
خط ۱:
به طور شهودی، تمامیت میگوید (مطابق اصطلاحات ددکیند) هیچ «حفره»ای در [[خط حقیقی|محور اعداد حقیقی]] وجود ندارد. برای محور اعداد گویا چنین نیست و در هر مقدار [[عدد گنگ|ناگویا]] یک «حفره» وجود دارد. در نظام اعداد دهدهی تمامیت با این گزاره معادل است که هر رشته نامتناهی از ارقام اعشاری بسط اعشاری یک عدد حقیقی است.
بر اساس ساختی که برای اعداد حقیقی استفاده کنیم، تمامیت میتواند به صورت یک [[اصل موضوع (منطق)|اصل موضوع]] ('''اصل موضوع تمامیت''') دربیاید و یا [[قضیه|قضیهای]] باشد که از ساخت اعداد حقیقی اثبات شود. انواع معادلی از تمامیت وجود دارند که رایجترینشان '''تمامیت ددکیند''' و '''تمامیت کوشی''' ([[فضای متریک کامل|تمامیت یک فضای متریک]]) است.
== صورتهای تمامیت ==
اعداد حقیقی را میتوان به صورت یک [[میدان مرتب]] تعریف کرد که نسخهای از اصل موضوع تمامیت برای آن صادق است. نسخههای مختلف این اصل موضوع، به جز تمامیت کوشی و قضیه بازههای تودرتو که در برخی میدانهای غیرارشمیدسی نیز صادقند، همگی معادلند. زمانی که اعداد حقیقی با استفاده از یک مدل ساخته شوند، تمامیت یک قضیه یا مجموعهای از قضایاست.
=== خاصیت کوچکترین کران بالایی ===
'''خاصیت کوچکترین کران بالایی''' میگوید هر زیرمجموعه ناتهی از اعداد حقیقی که یک [[کران بالایی]] داشته باشد باید یک [[اینفیمم و سوپریمم|کوچکترین کران بالایی]] (یا سوپریمم) در مجموعه اعداد حقیقی داشته باشد.
[[عدد گویا|محور اعداد گویا]] دارای خاصیت کوچکترین کران بالایی نیست؛ برای مثال زیرمجموعه
<math>S=\{x \in \mathbb{Q}|x^2<2\}</math>
از اعداد گویا دارای یک کران بالایی است، اما هیچ کوچکترین کران بالایی در میان اعداد گویا ندارد. به ازای هر کران بالایی <math>x \in \mathbb{Q}</math>یک کران بالایی دیگر <math>y \in \mathbb{Q}</math> وجود دارد که <math>y<x</math>.
خاصیت کوچکترین کران بالایی میتواند به [[مجموعه جزئیمرتب|مجموعههای جزئیمرتب]] تعمیم داده شود.
=== تمامیت ددکیند ===
تمامیت ددکیند این خاصیت است که هر [[برش ددکیند]] از اعداد حقیقی توسط یک عدد حقیقی تولید میشود. این نسخه از تمامیت است که معمولاً به عنوان یک اصل موضوع استفاده میشود.
محور اعداد گویا دارای ویژگی تمامیت ددکیند نیست. برش ددکیند
<math>L=\{x \in \mathbb{Q}|x^2\leq2\or x<0\}</math>
<math>R=\{x \in \mathbb{Q}|x^2\geq2\and x>0\}</math>
توسط یک عدد گویا تولید نشده است زیرا <math>L</math> ماکسیمم و <math>R</math> مینیمم ندارد.
میتوان با استفاده از برشهای ددکیند اعداد حقیقی را از روی اعداد گویا ساخت؛ برای مثال برش بالا <math>\sqrt{2}</math> را تعریف میکند. اگر همین فرایند را بر روی مجموعه اعداد حقیقی انجام بدهیم به هیچ عدد جدیدی نمیرسیم زیرا اعداد حقیقی دارای ویژگی تمامیت ددکیند هستند.
=== تمامیت کوشی ===
'''تمامیت کوشی''' این خاصیت است که هر [[دنباله کوشی]] از اعداد حقیقی [[سری همگرا|همگرا]] است.
محور اعداد گویا دارای خاصیت تمامیت کوشی نیست. دنباله
<math>3,3.1,3.14,3.142,3.1416,\ldots</math>
که عبارت nام آن تقریب اعشاری nام برای [[عدد پی]] است، گرچه یک دنباله کوشی از اعداد گویاست، به هیچ عدد گویایی میل نمیکند. (در محور اعداد حقیقی این دنباله به عدد پی میل میکند.)
تمامیت کوشی با ساخت اعداد حقیقی با استفاده از دنبالههای کوشی است. این روش یک عدد حقیقی را به عنوان حد یک دنباله کوشی از اعداد گویا تعریف میکند.
تمامیت کوشی میتواند به تمامیت در [[فضای متری|فضاهای متریک]] تعمیم داده شود. [[فضای متریک کامل|فضای متریک تمام (کامل)]] را ببینید.
برای یک میدان مرتب، تمامیت کوشی از دیگر صورتهای تمامیت در این صفحه (به جز قضیه بازههای تودرتو) ضعیفتر است. اما تمامیت کوشی و [[خاصیت ارشمیدسی]] با هم معادل دیگر صورتها هستند.
=== قضیه بازههای تودرتو ===
'''قضیه بازههای تودرتو''' صورت دیگری از تمامیت است. فرض کنید <math>I_n=[a_n,b_n]</math> یک دنباله از [[بازه|بازههای]] بسته باشد و فرض کنید این دنبالهها تودرتواند به این معنا که <math>I_1 \supset I_2 \supset I_3 \supset \ldots</math>.
علاوه بر این فرض کنید اگر <math>n</math> به بینهایت میل کند، <math>a_n-b_n</math> به صفر نزدیک شود. قضیه بازههای تودرتو میگوید اشتراک همه بازههای <math>I_n</math> دقیقاً شامل یک نقطه است.
قضیه بازههای تودرتو برای محور اعداد گویا صادق نیست. برای مثال دنباله
<math>[3,4]\supset[3.1,3.2]\supset[3.14,3.15]\supset[3.141,3.142]\supset\ldots</math>
که عبارتهایش از ارقام عدد پی گرفته شدهاند، یک دنباله تودرتو از بازههای بسته است که اشتراک آن تهی است. (در اعداد حقیقی اشتراک این بازهها عدد پی است.)
قضیه بازههای تودرتو نیز همراه با خاصیت ارشمیدسی معادل دیگر صورتهای تمامیت است.
=== قضیه همگرایی یکنواخت ===
[[قضیه همگرایی یکنواخت|'''قضیه همگرایی یکنواخت''']] میگوید هر دنباله غیرنزولی و کراندار از اعداد حقیقی همگرا است. این میتواند به عنوان حالت خاصی از خاصیت کوچکترین کران بالایی شناخته شود ولی میتواند مستقیماً برای اثبات تمامیت کوشی اعداد حقیقی به کار برود.
=== قضیه بولتسانو-وایرشتراس ===
'''[[قضیه بولتسانو-وایرشتراس]] '''میگوید هر دنباله کراندار از اعداد حقیقی شامل یک زیردنباله همگرا است. این قضیه معادل دیگر صورتهای تمامیت است.
=== قضیه مقدار میانی ===
'''[[قضیه مقدار میانی]]''' میگوید هر تابع پیوسته که هم دارای مقادیر مثبت و هم منفی است یک ریشه دارد. این نتیجهای از خاصیت کوچکترین کران بالایی است، اما میتواند برای اثبات خاصیت کوچکترین کران بالایی هم به کار برود. (تعریف پیوستگی بر هیچ صورتی از تمامیت استوار نیست، پس بنابراین این اثبات دوری نیست.)
== جستارهای وابسته ==
سطر ۸ ⟵ ۷۴:
== منابع ==
}}}
* {{cite book|last=Aliprantis|first=Charalambos D|authorlink=Charalambos D. Aliprantis|author2=Burkinshaw, Owen|title=Principles of real analysis|edition=Third|publisher=Academic|date=1998|pages=|isbn=0-12-050257-7}}
* {{cite book|author=Browder, Andrew|title=Mathematical Analysis: An Introduction|series=[[Undergraduate Texts in Mathematics]]|location=New York|publisher=Springer-Verlag|date=1996|isbn=0-387-94614-4}}
* {{cite book|author1=Bartle, Robert G.|author2=Sherbert, Donald R.|title=Introduction to Real Analysis|edition=3|location=New York|publisher=John Wiley and Sons|date=2000|isbn=0-471-32148-6|url-access=registration|url=https://archive.org/details/introductiontore00bart_1}}
* {{cite book|author=Abbott, Stephen|title=Understanding Analysis|series=Undergraduate Texts in Mathematics|isbn=0-387-95060-5|date=2001|location=New York|publisher=Springer-Verlag}}
* {{citation|title=A companion to analysis: a second first and first second course in analysis|first=Thomas William|last=Körner|authorlink=Thomas William Körner|publisher=AMS Chelsea|year=2004|isbn=978-0-8218-3447-3}}
* {{cite book|author=Rudin, Walter|title=Principles of Mathematical Analysis|url=https://archive.org/details/principlesofmath00rudi|url-access=registration|series=Walter Rudin Student Series in Advanced Mathematics|edition=3|publisher=McGraw-Hill|isbn=978-0-07-054235-8}}
* {{cite book|author1=Dangello, Frank|author2=Seyfried, Michael|title=Introductory Real Analysis|isbn=978-0-395-95933-6|publisher=Brooks Cole|date=1999}}
* {{cite book|author=Bressoud, David|title=A Radical Approach to Real Analysis|isbn=0-88385-747-2|publisher=MAA|date=2007}}
{{{
{{خرد|ریاضی}}
|