موضوع مقاله: حسابان غیراستاندارد | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # حسابان غیراستاندارد | مقدمه: حسابان غیراستاندارد یک شیوهٔ متفاوت برای نگاه‌کردن به حسابان است که بر پایهٔ اعداد بسیار بسیار کوچک ساخته شده است. | ## بخش 1: حسابان غیراستاندارد | در حسابان معمولی وقتی می‌خواهیم چیزی مثل مشتق یا انتگرال را تعریف کنیم، از مفهوم حد استفاده می‌کنیم. اما در حسابان غیراستاندارد، به‌جای حد، از «بی‌نهایت کوچک‌ها» (یعنی عددهایی که از هر عدد معمولی کوچک‌تر هستند اما صفر هم نیستند) استفاده می‌شود. در حسابان عادی، می‌گوییم: «بازهٔ زمانی را آن‌قدر کوچک کنیم تا تقریباً صفر شود» و بعد از مفهوم حد استفاده می‌کنیم. اما در حسابان غیراستاندارد، می‌گوییم: «بیاییم از یک زمان بی‌نهایت کوچک واقعی استفاده کنیم» و مستقیم شیب را با آن حساب می‌کنیم. فلسفهٔ این روش آن است که خیلی از ریاضی‌دانان قدیمی (مثل لایب‌نیتس) در آغاز همین‌طور فکر می‌کردند: با «بی‌نهایت کوچک‌ها». در سدهٔ بیستم، ریاضی‌دانان دوباره نشان دادند که می‌توان همان بی‌نهایت کوچک‌ها را به‌طور دقیق و منطقی به کار گرفت، و این شد حسابان غیراستاندارد. این روش به دانشجویان کمک می‌کند شهودی‌تر بفهمند «تغییرات لحظه‌ای» و «جمع تغییرات ریز» چطور عمل می‌کند. بنابراین در تعریفی علمی‌تر، در ریاضیات، حسابان غیراستاندارد کاربرد امروزی بی‌نهایت‌کوچکها در چارچوب آنالیز غیراستاندارد برای تحلیل حسابان بی‌نهایت‌کوچک‌ها است. این رویکرد، توجیهی سخت‌گیرانه برای برخی استدلال‌هایی در حسابان فراهم می‌آورد که پیش‌تر صرفاً رهیافت آنی یا شهودی تلقی می‌شدند. پیش از آن‌که کارل وایرشتراس در دههٔ ۱۸۷۰ تلاش کند بی‌نهایت‌کوچک‌ها را با حد تابع جایگزین کند، محاسبات غیرسخت‌گیرانه با بی‌نهایت‌کوچک‌ها به‌طور گسترده استفاده می‌شد. او همچنین در صفحهٔ ۱۰۱ آن‌ها را "ناسازگار با وضوح مفهومی مورد نیاز در ریاضیات"، "کاملاً بی‌معنا"، "مهی که بر بنیادها سایه انداخته" و "ایده‌ای مبهم" می‌نامد. در تقابل با این دیدگاه‌ها، آبراهام رابینسون در سال ۱۹۶۰ نشان داد که بی‌نهایت‌کوچک‌ها دقیق، روشن و معنادارند. به گفتهٔ هوارد کیسلر: «رابینسون مسئله‌ای سیصد ساله را با ارائهٔ رویکردی دقیق به بی‌نهایت‌کوچک‌ها حل کرد. تاریخچه تاریخچهٔ حسابان غیراستاندارد با استفاده از کمیت‌های بی‌نهایت‌کوچک در حسابان آغاز شد. استفاده از بی‌نهایت‌کوچک‌ها را می‌توان در بنیان‌های حسابان مشاهده کرد که به‌طور مستقل توسط گوتفریت لایبنیتس و آیزاک نیوتن در دههٔ ۱۶۶۰ توسعه یافت. جان والیس، با بهره‌گیری از کمیتی بی‌نهایت‌کوچک که آن را \(\tfrac{1 \infty} \) می‌نامید، تکنیک‌های پیشین اصل کاوالیری اثر بوناونتورا کاوالیری و دیگران را برای محاسبهٔ مساحت بهبود داد و زمینه را برای حسابان انتگرالی فراهم کرد.Scott, J.F. آن‌ها همچنین از کار ریاضیدانانی مانند پیر دو فرما، آیزاک بارو و رنه دکارت بهره گرفتند. در حسابان آغازین، استفاده از کمیت‌های بی‌نهایت‌کوچک با انتقادهایی روبه‌رو شد، به‌ویژه از سوی میشل رول و جرج بارکلی که در کتاب خود The Analyst آن‌ها را زیر سؤال برد. چندین ریاضیدان، از جمله کولین مک‌لورین و ژان لو رون دالامبر، از استفاده از حد دفاع کردند. آگوستین لویی کوشی طیفی کارآمد از بنیان‌گذاری‌ها را توسعه داد که شامل تعریفی از تابع پیوسته بر پایهٔ بی‌نهایت‌کوچک‌ها و همچنین نمونه‌ای (تا حدی نادقیق) از حد تابع در چارچوب مشتق‌گیری بود. کارل وایرشتراس مفهوم حد تابع را در قالب دستگاه اعداد حقیقی (بدون بی‌نهایت‌کوچک) صورت‌بندی کرد. پس از سال‌ها که رویکرد بی‌نهایت‌کوچک‌ها جز در آموزش مقدماتی به‌کار نمی‌رفت، آبراهام رابینسون در دههٔ ۱۹۶۰ سرانجام بنیانی سخت‌گیرانه برای استفاده از بی‌نهایت‌کوچک‌ها فراهم آورد. رویکرد رابینسون، آنالیز غیراستاندارد نامیده می‌شود تا از کاربرد استانداردِ حدها متمایز شود. این رویکرد با بهره‌گیری از ابزارهای فنی منطق ریاضی، نظریه‌ای از عدد ابرحقیقی پدیدآورد که در آن، بی‌نهایت‌کوچک‌ها معنایی دقیق می‌یابند و می‌توان حسابان را همانند سبک لایبنیتس توسعه داد. رویکردی جایگزین نیز توسط ادوارد نلسون ارائه شد که بی‌نهایت‌کوچک‌ها را در خود خط اعداد حقیقی جای می‌دهد و با گسترش ZFC از طریق افزودن گزارهٔ تک‌مقداری جدید «استاندارد»، چارچوب بنیانی را دگرگون می‌سازد. | ## بخش 2: حسابان غیراستاندارد | انگیزه برای محاسبهٔ مشتق از تابع در نقطهٔ «x»، هر دو رویکرد (استاندارد و غیراستاندارد) در گام‌های جبری زیر توافق دارند: در این‌جا، اگر به‌عنوان یک بی‌نهایت‌کوچک تعبیر شود و نماد "" به‌معنای «بی‌نهایت نزدیک بودن به» باشد، این عبارت به محاسبهٔ مشتق با استفاده از عدد ابرحقیقی تبدیل می‌شود. در رویکرد عدد ابرحقیقی، یک بی‌نهایت‌کوچک در نظر گرفته می‌شود؛ یعنی عددی ناصفر که از هر عدد حقیقی مثبت، به صفر نزدیک‌تر است. گام‌های جبری بالا نشان می‌دهد که بی‌نهایت نزدیک به 2x است؛ بنابراین، مشتق f در x برابر است با 2x . حذف بی‌نهایت‌کوچک‌ها در گذشته نزد برخی نویسندگان، از جمله جرج بارکلی، پارادوکسی تلقی می‌شد. هنگامی که دستگاه عدد عدد ابرحقیقی (پیوستاری که به‌وسیلهٔ بی‌نهایت‌کوچک‌ها غنی شده) برقرار شود، بسیاری از دشواری‌های فنی در سطح بنیان‌ها رفع می‌گردد. از این‌رو، حدها که برخی آن‌ها را جوهر آنالیز می‌دانند، می‌توانند یک‌باره در سطح بنیادی پیاده‌سازی شوند و دیگر نیاز نیست که دانش‌آموزان، «در پوشش آموزش حسابان، نمایش‌هایی با چند کمیت منطقی انجام دهند»، به‌نقل از یک مطالعهٔ اخیر: به‌طور خاص، مفاهیم پایه‌ای حسابان مانند پیوستگی، مشتق و انتگرال را می‌توان با استفاده از بی‌نهایت‌کوچک‌ها، بدون ارجاع به \(\varepsilon \), \(\delta \) تعریف کرد. تعریف مشتق عدد ابرحقیقی را می‌توان در چارچوب نظریه مجموعه‌های زرملو-فرنکل، یعنی دستگاه استاندارد بنیان‌گذاری نظریه مجموعه‌ها، ساخت. برای توضیحی شهودی از رویکرد ابرحقیقی، توجه داشته باشید که آنالیز غیراستاندارد وجود اعدادی مثبت ε را مفروض می‌گیرد «که بی‌نهایت کوچک هستند»، به این معنا که ε از هر عدد حقیقی مثبت کوچک‌تر، ولی از صفر بزرگ‌تر است. هر عدد حقیقی x توسط ابری از اعداد ابرحقیقی احاطه می‌شود که بی‌نهایت نزدیک به آن‌اند. برای تعریف مشتق f در یک عدد حقیقی استاندارد x ، دیگر نیازی به فرایند بی‌نهایت‌گرا (حد) نیست؛ بلکه می‌توان نوشت: که در آن st همان تابع بخش استاندارد است که عدد حقیقی بی‌نهایت نزدیک به استدلال ابرحقیقی‌اش را بازمی‌گرداند و بسط طبیعی f به مجموعهٔ اعداد ابرحقیقی است. پیوستگی یک تابع حقیقی f در عدد حقیقی استاندارد x پیوسته است، اگر برای هر x′ ابرحقیقی که بی‌نهایت نزدیک به x باشد، مقدار f(x′) نیز بی‌نهایت نزدیک به f(x) باشد. برای دقت بیشتر، f باید با بسط ابرحقیقی طبیعی‌اش که معمولاً با f* نمایش داده می‌شود، جایگزین گردد. با استفاده از نماد برای رابطهٔ «بی‌نهایت نزدیک بودن»، تعریف را می‌توان برای نقاط دلخواه (چه استاندارد، چه غیراستاندارد) چنین گسترش داد: تابع f در x ریزپیوسته (microcontinuous) است اگر هرگاه ، آنگاه نیز برقرار باشد. تعریف بالا، کمیت‌نماهای منطقی (quantifiers) کمتری نسبت به تعریف حد تابع در حسابان ابتدایی استاندارد دارد: تابع f در x پیوسته است اگر برای هر ε > ۰ ، مقداری δ > ۰ وجود داشته باشد به‌طوری‌که برای هر x′ ، هرگاه |x − x′| < δ برقرار باشد، آنگاه |f(x) − f(x′)| < ε نیز برقرار باشد. این پیچیدگی با تعریف پیوستگی یکنواخت بر پایهٔ دنباله‌ها در حسابان استاندارد برابری می‌کند، با این تفاوت که تعریف دنباله‌ای در منطق مرتبه اول روی اعداد حقیقی قابل بیان نیست. تعریف ابرحقیقی را می‌توان با سه مثال زیر روشن‌تر کرد: مثال ۱: تابع f روی بازهٔ نیمه‌باز (۰٬۱] زمانی یکنواختاً پیوسته است که بسط طبیعی آن f* ، علاوه بر پیوستگی در نقاط استاندارد بازه، در هر بی‌نهایت‌کوچک مثبت نیز ریزپیوسته باشد. مثال ۲: تابع f روی بازهٔ [۰,∞) زمانی یکنواختاً پیوسته است که در نقاط استاندارد بازه پیوسته باشد و افزون بر آن، بسط طبیعی آن f* در هر نقطهٔ ابرحقیقی بی‌نهایت بزرگ مثبت، ریزپیوسته باشد. مثال ۳: به‌طور مشابه، عدم پیوستگی یکنواخت برای تابع مربع به دلیل نبود ریزپیوستگی در تنها یک نقطهٔ ابرحقیقی بی‌نهایت بزرگ رخ می‌دهد. این، دلیل اصلی دشواری درک تعاریف سخت‌گیرانهٔ حد، همگرایی، پیوستگی و مشتق‌پذیری در آنالیز است، زیرا این تعاریف دارای کمیت‌نماهای متعدد هستند. آندریاس بلاس نیز می‌نویسد: غالباً … تعریف غیراستاندارد یک مفهوم ساده‌تر از تعریف استاندارد آن است (چه از دید شهودی و چه از نظر فنی، مانند سطح پایین‌تر کمیت‌نماها یا تعداد کمتر تناوب میان آن‌ها)., ص. فشردگی یک مجموعهٔ A زمانی فشرده است که بسط طبیعی آن A* ویژگی زیر را داشته باشد: هر نقطه در A* بی‌نهایت نزدیک به نقطه‌ای از A باشد؛ بنابراین، بازهٔ باز (۰٬۱) فشرده نیست، زیرا بسط طبیعی آن شامل بی‌نهایت‌کوچک‌های مثبتی است که به هیچ عدد حقیقی مثبت بی‌نهایت نزدیک نیستند. قضیه هاینه–کانتور این واقعیت که هر تابع پیوسته روی بازه‌ای فشرده I الزاماً یکنواختاً پیوسته است (یعنی قضیه هاینه–کانتور)، با برهان ابرحقیقی به‌صورتی فشرده اثبات می‌شود. اگر x و y بی‌نهایت نزدیک باشند، آن‌گاه بر اساس نامساوی مثلثی، آن‌ها بخش استاندارد یکسانی دارند: از آنجا که تابع در c پیوسته است، و در نتیجه f(x) و f(y) بی‌نهایت نزدیک‌اند که پیوستگی یکنواخت f را اثبات می‌کند. در نتیجه، f* در نقطهٔ ابرحقیقی N ریزپیوسته نیست؛ بنابراین، تابع مربع بر اساس تعریف پیوستگی یکنواخت بالا، پیوسته به‌صورت یکنواخت نیست. مثال: تابع دیریکله تابع دیریکله را در نظر بگیرید: بر کسی پوشیده نیست که این تابع، در چارچوب تابع پیوسته، در هر نقطه ناپیوسته است. | ## بخش 3: حسابان غیراستاندارد | حال اگر n یک عدد ابرطبیعی بی‌نهایت باشد، طبق اصل انتقال، بسط طبیعی تابع دیریکله در an مقدار ۱ می‌گیرد. توجه داشته باشید که نقطهٔ ابرگویا an بی‌نهایت نزدیک به π است؛ بنابراین، بسط طبیعی تابع دیریکله در دو نقطهٔ بی‌نهایت نزدیک، دو مقدار متفاوت (۰ و ۱) می‌گیرد، و از این‌رو، این تابع در π پیوسته نیست. حد در حالی‌که جوهر رویکرد رابینسون آن است که بتوان از رویکرد دارای کمیت‌نماهای چندگانه چشم‌پوشی کرد، مفهوم حد را می‌توان به‌سادگی با استفاده از تابع بخش استاندارد st بازسازی کرد. حد دنباله اگر دنباله‌ای از اعداد حقیقی داده شده باشد، آنگاه «حد» دنباله است هرگاه: اگر برای هر n بی‌نهایت در مجموعهٔ ابرطبیعی‌ها، st(xn) = L باشد. (در این‌جا از اصل بسط برای تعریف xn برای هر عدد طبیعی بی‌نهایت استفاده شده است) این تعریف شامل هیچ تناوب سور نیست. اما تعریف استاندارد حد تابع چنین تناوبی دارد: قضیهٔ مقدار بیشینه برای اثبات این‌که یک تابع حقیقی پیوسته f روی بازهٔ [۰٬۱] دارای مقدار بیشینه است، بگذارید N یک عدد ابرصحیح بی‌نهایت باشد. اکنون بازهٔ ابرحقیقی [۰٬۱] را به N زیربازه با طول بی‌نهایت‌کوچک 1/N افراز می‌کنیم، که نقاط افراز آن xi هستند و xi = i/N ، برای i از ۰ تا N . در حالت استاندارد (یعنی وقتی N متناهی باشد)، همیشه می‌توان با استقرا، نقطه‌ای از میان N+1 نقطهٔ xi یافت که در آن f به بیشترین مقدار می‌رسد؛ بنابراین، طبق اصل انتقال، عددی i0 در مجموعهٔ ابرصحیح‌ها وجود دارد به‌طوری که ۰ ≤ i0 ≤ N و برای همهٔ i = ۰, …, N برقرار است. (توضیحی جایگزین: هر مجموعه ابرمتناهی دارای بیشینه است) اکنون نقطهٔ حقیقی زیر را در نظر بگیرید: که در آن st همان تابع بخش استاندارد است. هر نقطهٔ حقیقی دلخواه x در یکی از زیربازه‌های افراز جای دارد، یعنی ، به‌طوری‌که st(xi) = x . با اعمال st بر نامساوی ، داریم: و به‌واسطهٔ پیوستگی f ، در نتیجه، f(c) ≥ f(x) برای هر x برقرار است و بدین‌سان c بیشینهٔ تابع f است. قضیه مقدار میانی برای نشان دادن توانایی رویکرد آبراهام رابینسون، می‌توان اثباتی کوتاه برای قضیه مقدار میانی (قضیه بولتسانو) با استفاده از بی‌نهایت‌کوچک‌ها ارائه داد. بازهٔ [a,b] را به N زیربازه با طول برابر افراز کنید، به‌طوری‌که نقاط افراز xi باشند و i از ۰ تا N تغییر کند. کمترین عضو این مجموعه را i0 بنامید (وجود چنین عضوی از اصل انتقال نتیجه می‌شود، زیرا این مجموعه یک مجموعه ابرمتناهی است). این برهان، پیچیدگی منطق مرتبه اول را نسبت به اثبات استاندارد قضیه مقدار میانی کاهش می‌دهد. قضایای پایه اگر f تابعی حقیقی‌مقدار تعریف‌شده روی بازهٔ [a,b] باشد، آنگاه عملگر انتقالِ f که با *f نمایش داده می‌شود، تابعی «درونی» و ابرحقیقی‌مقدار تعریف‌شده روی بازهٔ ابرحقیقی [*a, *b] خواهد بود. قضیه: اگر f تابعی حقیقی‌مقدار تعریف‌شده روی بازهٔ [a,b] باشد، آنگاه f در a < x < b مشتق‌پذیر است اگر و تنها اگر برای هر بی‌نهایت‌کوچک ناصفر h ، مقدار مستقل از h باشد. توجه شود که نتیجه‌ای مشابه برای مشتق‌پذیری در نقاط پایانی a و b نیز برقرار است، به‌شرط آن‌که علامت بی‌نهایت‌کوچک h به‌درستی محدود شده باشد. برای قضیهٔ دوم، انتگرال ریمان به‌عنوان حد (در صورت وجود) خانواده‌ای جهت‌دار از مجموع‌های ریمان تعریف می‌شود؛ این مجموع‌ها به‌شکل زیرند: که در آن داریم: این دنباله از نقاط را «افراز» یا «توری» (mesh) می‌نامند، و مقدار عرض توری نام دارد. در تعریف انتگرال ریمان، حد مجموع‌های ریمان در حالی گرفته می‌شود که عرض توری به صفر میل می‌کند. قضیه: اگر f تابعی حقیقی‌مقدار تعریف‌شده روی بازهٔ [a,b] باشد، آنگاه f روی [a,b] انتگرال‌پذیر به‌معنای ریمان است اگر و تنها اگر برای هر توری درونی با عرض بی‌نهایت‌کوچک، کمیت زیر مستقل از انتخاب توری باشد. کاربردها یکی از کاربردهای فوری، گسترش تعاریف استاندارد مشتق‌گیری و انتگرال‌گیری به توابع درونی تعریف‌شده روی بازه‌هایی از اعداد ابرحقیقی است. یک تابع درونی ابرحقیقی‌مقدار f روی [a, b] در نقطهٔ x زمانی S-مشتق‌پذیر است که: موجود بوده و مستقل از h باشد. قضیه: فرض کنید f در هر نقطه از [a, b] S-مشتق‌پذیر باشد، که در آن b − a یک عدد ابرحقیقی کراندار است. همچنین فرض کنید: آنگاه برای یک بی‌نهایت‌کوچک ε داریم: برای اثبات، بگذارید N یک عدد طبیعی غیراستاندارد باشد. | ## جمع‌بندی | بازهٔ [a, b] را به N زیربازه تقسیم می‌کنیم، به‌طوری‌که N−۱ نقطهٔ میانی با فاصلهٔ مساوی قرار گیرند: در این صورت خواهیم داشت: اکنون، بیشینهٔ هر مجموعهٔ درونی از بی‌نهایت‌کوچک‌ها، خود بی‌نهایت‌کوچک است؛ بنابراین همهٔ εk ها تحت سلطهٔ یک بی‌نهایت‌کوچک ε قرار دارند.