Інтервальна арифметика

Інтервальна арифметика — математична структура, яка для дійсних інтервалів визначає операції, аналогічні звичним арифметичним. Дана галузь математики називаються також інтервальним аналізом або інтервальними обчисленнями. Дана математична модель зручна для дослідження різних прикладних об'єктів:

• Величин, значення яких відомі лише наближено, тобто існує певний скінчений інтервал, в якому містяться ці значення.
• Величин, значення яких в ході обчислень спотворені похибками округлення.
• Випадкових величин.

Об'єкти та операції інтервальної арифметики можна розглядати як узагальнення моделі дійсних чисел, внаслідок чого, інтервали в деяких джерелах називаються інтервальними числами. Практична цінність цієї моделі пов'язана з тим, що результати вимірювань і обчислень практично завжди мають певну похибку, яку необхідно врахувати та оцінити.

Операції над інтервалами

Ми розглядатимемо всі скінченні дійсні інтервали $[a,b](a⩽b)$. Операції над ними визначаються наступним чином:

• Додавання: $[a,b]+[c,d]=[a+c,b+d]$
• Віднімання: $[a,b]-[c,d]=[a-d,b-c]$
• Множення: $[a,b]*[c,d]=[\min (ac,ad,bc,bd),\max (ac,ad,bc,bd)]$
• Ділення: $[a,b]/[c,d]=[\min (a/c,a/d,b/c,b/d),\max (a/c,a/d,b/c,b/d)]$

З визначення видно, сума інтервалів містить усі можливі суми чисел із інтервалів-доданків і визначає границі інтервалу таких сум. Аналогічно пояснюються і інші дії. Відзначимо, що операція ділення визначена лише в тому випадку, якщо інтервал-дільник не містить нуля.

Вироджені інтервали, в яких початок і кінець збігаються, можна прирівняти до звичайних дійсних чисел. Для них дані вище визначення збігаються з класичними арифметичними діями.

Властивості операцій

Додавання та множення інтервалів комутативні та асоціативні. Дистрибутивність проявляється в послабленому вигляді: $X(Y+Z)\subset XY+XZ$

Властивості інтервалів

• Нижня границя інтервалу: $\underset{\_}{x}$
• Верхня границя інтервалу: $\bar{x}$
• Середина інтервалу: $midx=\frac{(\bar{x}+\underset{\_}{x})}{2}$
• Ширина інтервалу: $widx=\bar{x}-\underset{\_}{x}$
• Радіус інтервалу: $radx=\frac{(\bar{x}-\underset{\_}{x})}{2}$
• Абсолютне значення: $\left|\begin{array}{c}x\end{array}\right|=max\{\left|\begin{array}{c}\underset{\_}{x}\end{array}\right|,\left|\begin{array}{c}\bar{x}\end{array}\right|\}$
  
• Відстань між інтервалами: $dis(x,y)=max\{\left[\begin{array}{c}\underset{\_}{x}-\underset{\_}{y}\end{array}\right],\left|\begin{array}{c}\bar{x}-\bar{y}\end{array}\right|\}$

Див. також

• Обчислювальна математика

Література

• Добронец Б. С. Интервальная математикаШаблон:Недоступне посилання. Красноярск: Издательство КГУ, 2004.
• Шарый С. П. Конечномерный интервальный анализШаблон:Недоступне посилання. М.: 2007.
• Шокин Ю. И. Интервальный анализШаблон:Недоступне посилання. Новосибирск: Сибирское отделение изд-ва «Наука», 1981.