اپسیلون ماشین

این جدول مقادیر اپسیلون ماشین را برای فرمت های استاندار ممیز شناور نشان می‌دهد. تمام فرمت های زیر از روش گرد کردن به نزدیک ترین استفاده می‌کنند.

استاندارد IEEE 754 - 2008	نام متداول	نام تایپ در C++	مبنا b	دقت p	اپسیلون ماشین[الف]${\displaystyle b^{-(p-1)}/2}$	اپسیلون ماشین[ب]${\displaystyle b^{-(p-1)}}$
binary16	half precision	N/A	2	11(یک بیت ضمنی است)	2−11 ≈ 4.88e-04	2−10 ≈ 9.77e-04
binary32	single precision	float	2	24(یک بیت ضمنی است)	2−24 ≈ 5.96e-08	2−23 ≈ 1.19e-07
binary64	double precision	double	2	53(یک بیت ضمنی است)	2−53 ≈ 1.11e-16	2−52 ≈ 2.22e-16
	extended precision, long double	_float80[۱]	2	64	2−64 ≈ 5.42e-20	2−63 ≈ 1.08e-19
binary128	quad(ruple) precision	_float128[۱]	2	113(یک بیت ضمنی است)	2−113 ≈ 9.63e-35	2−112 ≈ 1.93e-34
decimal32	single precision decimal	_Decimal32[۲]	10	7	5 × 10−7	10−6
decimal64	double precision decimal	_Decimal64[۲]	10	16	5 × 10−16	10−15
decimal128	quad(ruple) precision decimal	_Decimal128[۲]	10	34	5 × 10−34	10−33

گرد کردن به عملیاتی گفته می‌شود که طی آن نمایشی برای عددی حقیقی که در سیستم ممیز شناور ذخیره شده انتخاب می‌کنیم. به ازای یک سیستم عددی و یک شیوه گرد کردن، اپسیلون ماشین حداکثر خطای نسبی به وجود امده توسط شیوه گرد کردن می‌باشد.

برای محاسبه این مقدار به اطلاعات بیشتری نیاز داریم. یک سیستم عددی ممیز شناور توسط یک مبنا ، ${\displaystyle b}$ ، و یک دقت ${\displaystyle p}$ (تعداد بیت های ضریب شامل هر تعداد بیت ضمنی)، توصیف می‌شود. اعداد با توان یکسان ${\displaystyle e}$ دارای فاصله یکسان ${\displaystyle b^{e-(p-1)}}$ می‌باشند. این فاصله در اعدادی که توان کامل ${\displaystyle b}$ هستند تغییر می‌کند؛ فاصله اعداد در سمت با اندازه بزرگ تر، ${\displaystyle b}$ برابر فاصله در سمت با اندازه کوچک تر است.

از آنجا که اپسیلون ماشین کرانی برای خطای نسبی است، بدون از دست دادن کلیت مسئله می‌توان فرض کرد ${\displaystyle e=0}$ . همچنین می‌توانیم فقط اعداد مثبت را بررسی کنیم. برای روش گرد کردن به نزدیک ترین، خطا حداکثر نصف فاصله بین اعداد، یا ${\displaystyle b^{-(p-1)}/2}$ است. این عدد بزرگ ترین مقدار ممکن برای صورت در کسر خطای نسبی است. مخرج آن، عددی است که گرد می‌کنیم. برای پیدا کردن خطای حداکثر این عدد باید کوچک ترین مقدار ممکن را به خود اختصاص دهد. در نتیجه بدترین خطای نسبی هنگامی رخ می‌دهد که عدد ما به فرم ${\displaystyle 1+a}$ که در آن ${\displaystyle a}$ بین ${\displaystyle 0}$ و ${\displaystyle b^{-(p-1)}/2}$ باشد. تمام این اعداد به ${\displaystyle 1}$ گرد می‌شوند که خطای ما را برابر با ${\displaystyle a/(1+a)}$ قرار می‌دهد. حداکثر آن هنگامی است که ${\displaystyle a}$ در حد بالای برد خود باشد. ${\displaystyle 1+a}$ در مخرج نسبت به صورت کسر قابل چشم پوشی است، پس برای تسریع محاسبات اپسیلون ماشین را فقط برابر با ${\displaystyle b^{-(p-1)}/2}$ قرار می‌دهیم. نشان دادیم خطای نسبی برای اعدادی که به ${\displaystyle 1}$ گرد می‌شوند حداکثر است، به همین دلیل اپسیلون ماشین گاهی خطای گرد کردن واحد(انگلیسی: unit roundoff) نامیده می‌شود که به معنای "حداکثر خطایی که می‌تواند هنگام گرد کردن به مقدار واحد رخ دهد" است.

در نتیجه اختلاف عدد ممیز شناور عادی سازه شده، ${\displaystyle x}$ ، و عدد ممیز شناور عادی سازه شده مجاورش حداکثر برابر با ${\displaystyle 2\varepsilon |x|}$ است.^[۳]

استاندارد IEEE اپسیلون ماشین و خطای گرد کردن واحد را تعریف نمی‌کند، به همین دلیل تعاریف متفاوتی برای آن ها ارائه داده شده که گاهاً باعث اختلافاتی می‌شود.

تعریف قراردادی آن، تعریفی است که توسط پروفسور جیمز دمل در کنفرانس هایش^[۴]، پکیج جبر خطی LAPACK^[۵]، شماری از مقاله های علمی و برخی از نرم افزار های محاسبه ای دیگر^[۶] ارائه داده شده. اکثر تحلیل گران عددی با استفاده از این معنا از اپسیلون ماشین و خطای گرد کردن واحد به جای یکدگیر استفاده می‌کنند.

تعریف دیگر آن که تعریفی است که خارج از محیط آکادمیک متداول تر است: اپسیلون ماشین تفاوت بین ۱ و کوچک ترین عدد ممیز شناور بزرگ تر از آن است.

با این تعریف، ${\displaystyle \varepsilon }$ برابر با ${\displaystyle b^{-(p-1)}}$ است(${\displaystyle b}$ مبنا و ${\displaystyle p}$ دقت سیستم ممیز اعشاری است) و خطای گرد کردن واحد با فرض گرد کردن به نزدیک ترین برابر با ${\displaystyle \,=\varepsilon /2}$ u، و با فرض کف یا سقف گرفتن برابر با ${\displaystyle \,=\varepsilon }$ u است.

شیوع این تعریف به دلیل استفاده آن در استاندارد ISO زبان C، برای ثابت های مربوط به تایپ های ممیز اعشاری^[۷][۸]، ثابت های متناظر در زبان های دیگر^{[۹][۱۰][۱۱]}، استفاده فراگیر در نرم افزار های محاسباتی^{[۱۲][۱۳][۱۴]} و تعدادی از مقالات مربوط به محاسبات عددی است.