حساب اعشاری

حساب اعشاری. [ ح ِ ب ِ اَ ] ( ترکیب وصفی، اِ مرکب ) رجوع به اعشاری شود.

💡 این توصیف اعداد حقیقی به عنوان برش‌های ددکیند اولین‌بار در سال ۱۸۷۲ توسط ریچارد ددکند مطرح شد. روش بالا برای تعیین‌کردن بسط اعشاری یک عدد حقیقی در مقاله‌ای به عنوان "آیا ۰٫۹۹۹‎…‎=۱ است؟" توسط فرد ریچمن، در مجله ریاضیات مطرح شد، که هدف آن آموزش به استادان دانشگاهی ریاضی و شاگردان آن‌ها بود. ریچمن اشاره می‌کند که استفاده از برش‌های ددکیند در هر زیرمجموعه متراکم از اعداد حقیقی، نتایجی یکسان به ثمر خواهد رساند؛ به ویژه، او برای نشان دادن بدیهی‌تر بودن یکی از اثبات‌ها از کسر اعشاری استفاده می‌کند. او همچنین اشاره دارد این تعریف اجازه می‌دهد {x:x<1} به وسیله {x:x≤۱} برش نیابد. «چرا این کا ر را انجام دهیم؟ دقیقاً برای این‌که وجود اعداد متمایز ۰٫۹۹۹‎…‎ و ۱ را نشان دهیم؛ لذا می‌بینیم که در توصیف سنتی اعداد حقیقی معادله ۰٫۹۹۹‎…‎=۱ در ابتدا به کار می‌رود.» اصلاح دیگری از این رویه به ساختار متفاوتی هدایت می‌کند که این‌دو برابر نیستند. اگرچه آن نامتناقض است، بسیاری از قوانین رایج حساب اعشاری دیگر اعتباری ندارند، برای مثال کسر 1⁄3 هیچ نمایش عددی ندارد، سیستم‌های عددی جایگزین را در پایین ببینید.

💡 زمانی که یک طرح نشان‌دادن توصیف می‌شود، می‌توان برای توجیه قوانین حساب اعشاری استفاده شده در اثبات‌های بالا، از آن استفاده کرد. به علاوه، می‌توان به‌طور مستقیم نشان داد که اعداد اعشاری ۰٫۹۹۹‎…‎ و ۱٫۰۰۰‎…‎ یک عدد حقیقی یکسان را نمایش می‌دهند؛ این در تعریف نیز وارد شده‌است. در پایین می‌توان آن را مشاهده کرد