Verbum

АРЫФМЕ́ТЫКА (ад грэчаскага arithmos лік),

навука, галоўны аб’ект якой цэлыя, рацыянальныя лікі і дзеянні над імі. Узнікла ў старажытныя часы з практычных патрэб чалавека лічыць і вымяраць. Для падліку вялікай колькасці аб’ектаў створаны сістэмы лічэння. Найбольш зручная дзесятковая сістэма лічэння; існуюць таксама сістэмы лічэння з асновамі 5, 12, 20, 40, 60 і нават 11 (Новая Зеландыя). З пашырэннем вылічальнай тэхнікі выкарыстоўваецца двайковая сістэма лічэння.

Да пачатку нашай эры былі атрыманы дастаткова глыбокія вынікі: даказана бесканечнасць мноства простых лікаў, несувымернасць стараны квадрата і яго дыяганалі (па сутнасці доказ ірацыянальнасці ліку √2), створаны алгарытм выяўлення агульнай меры двух адрэзкаў і найбольшага агульнага дзельніка, Піфагорам знойдзены агульны выгляд цэлалікавых катэтаў і гіпатэнузы прамавугольных трохвугольнікаў, значны ўплыў на развіццё арыфметыкі зрабіў Архімед. Фундаментальнае значэнне арыфметыкі як навукі стала зразумелым у канцы 17 стагоддзя ў сувязі з далучэннем да яе паняцця ірацыянальнага ліку. Развіццё апарату сувязяў паміж гэтымі лікамі і іх рацыянальнымі набліжэннямі (у прыватнасці, дзесятковымі), а таксама вынаходства і дастасаванне лагарыфмаў (шатландскі матэматык Дж.​Непер) значна пашырылі тэматыку даследаванняў. Шматлікія пытанні знайшлі вырашэнне ў лікаў тэорыі. Спроба Г.Грасмана аксіяматычнай пабудовы арыфметыкі (сярэдзіна 19 стагоддзя) завершана італьянскім матэматыкам Дж.​Пеана ў выглядзе 5 аксіём: 1) адзінка ёсць натуральны лік; 2) наступны за натуральным лікам ёсць таксама натуральны лік; 3) у адзінкі няма папярэдняга натуральнага ліку; 4) калі натуральны лік a стаіць за натуральным лікам b і за натуральным лікам c, то b і c тоесныя; 5) калі якое-небудзь сцвярджэнне даказана для адзінкі і калі з дапушчэння, што яно праўдзівае для натуральнага ліку n, вынікае, што яно выконваецца і для наступнага за n натуральнага ліку, то гэта сцвярджэнне справядліва для адвольнага натуральнага ліку (аксіёма поўнай матэматычнай індукцыі). Па-за прапанаванай сістэмай аксіём застаюцца многія пытанні, у якіх вывучаецца ўся бесканечная сукупнасць натуральных лікаў, што патрабуе даследавання несупярэчлівасці адпаведнай сістэмы аксіём і больш дэталёвага аналізу сэнсу сцвярджэнняў, якія вынікаюць з яе. Як навука арыфметыка часам атаясамліваецца з тэорыяй лікаў.

Літ.:

История математики с древнейших времен до начала XIX столетия. Т. 1—3. М., 1970—72. Депман И.Я. История арифметики. 2 изд. М., 1965.

В.​І.​Бернік.

т. 2, с. 9

ІМАВЕ́РНАСЦЕЙ ТЭО́РЫЯ,

матэматычная тэорыя, якая вывучае імавернасці выпадковых падзей і дае магчымасць вызначыць імавернасці складаных падзей праз імавернасці простых, калі вядома, як састаўлены з іх складаныя падзеі. Асн. аб’ект вывучэння І.т. — паслядоўнасці і сем’і выпадковых велічынь. І.т. будуецца на аснове мностваў тэорыі і тэорыі меры (гл. Мера мноства). Гэты падыход распрацаваны А.М.Калмагоравым. І.т. выкарыстоўваецца ў стат. фізіцы, матэм. статыстыцы, імавернаснай логіцы, а таксама ў біялогіі, ваен. справе, тэхніцы і інш.

Зыходныя паняцці І.т. — паняцці выпадковай падзеі і яе імавернасці. Падзеі рэчаіснасці бываюць: дакладныя — заўсёды адбываюцца; немагчымыя — ніколі не адбываюцца; выпадковыя — часам адбываюцца, а часам не. З двух выпадковых падзей A і B можна ўтварыць складаныя падзеі: аб’яднанне (суму) A∪B — {адбудзецца ці A, ці B}, перасячэнне (здабытак) A∩B — {адбудуцца і A і B}, рознасць A\B — {адбудзецца A, але не адбудзецца B}. Выкарыстоўваючы гэтыя аперацыі над дзвюма ці больш падзеямі, атрымліваюць складаныя падзеі. Мяркуецца, што для кожнай выпадковай падзеі A вызначана імавернасць — лік P(A), які задавальняе ўмовам: P(A)>0; калі падзеі A і B не могуць адбыцца адначасова, тады P(A∪B) = P(A) + P(B); імавернасць дакладнай падзеі роўна 1. У прасцейшых выпадках гэтыя ўмовы відавочныя; у агульным выпадку яны прымаюцца без доказу (аксіёмы). Па фармальных (матэм.) правілах атрымліваюць шэраг тэарэм пра імавернасці складаных падзей. Калі ажыццяўленне падзеі A не залежыць ад таго, адбудзецца ці не падзея B, тады A і B — незалежныя падзеі. Імавернасць P(A∩B) сумеснага ажыццяўлення дзвюх незалежных падзей A і B роўна P(A)∙P(B). Часам, калі нават дакладна можна запісаць імавернасці пэўных выпадковых падзей, вылічыць іх цяжка. Напр., імавернасць Pn(m) таго, што ў серыі з n незалежных ажыццяўленняў выпадковай падзеі A з P(A) = p(p ≠ 0,1) яна адбудзецца m разоў, роўна C_n​^mp​^mq​^n-m, дзе C_n​^m — лік спалучэнняў з n элементаў na m, q = 1 − p. Пры вялікіх n і m для вылічэння імавернасцей тыпу Pn(m) выкарыстоўваюць лімітавыя тэарэмы: 1) калі n→∞, то $P_n\text{(}m\text{)}~\frac{1}{\sqrt{2\mathrm{\pi }npq}}{e}^{-\frac{x^2}{2}}$ пры ўмове, што $x=\frac{m-np}{\sqrt{npq}}$ застаецца ў межах фіксаванага інтэрвалу (лакальная тэарэма Муаўра—Лапласа); 2) пры кожных фіксаваных ліках a і b, (a<b), $limP\text{(}a\le \frac{m-np}{\sqrt{npq}}<b\text{)}=\frac{1}{\sqrt{2\mathrm{\pi }}}\underset{a}{\overset{b}{\int }}{e}^{-\frac{x^2}{2}}dx$ (інтэгральная тэарэма Муаўра—Лапласа). Да лімітавых тэарэм адносіцца таксама вялікіх лікаў закон, які мае важнае значэнне для філас. асэнсавання І.т. і ў дастасаваннях. Вял. ўклад у развіццё лімітавых тэарэм зрабілі П.​Л.​Чабышоў і А.​М.​Ляпуноў. Узнікненне большасці лімітавых тэарэм звязана з тэорыяй выпадковых працэсаў. На Беларусі І.т. даследуецца ў асноўным ў БДУ (Г.​А.​Мядзведзеў, Ю.​С.​Харын і інш.).

Літ.:

Гнеденко Б.В. Курс теории вероятностей. 6 изд. М., 1988;

Колмогоров А.Н. Основные понятия теории вероятностей. М.; Л., 1936;

Лоэв М. Теория вероятностей: Пер. с англ. М., 1962;

Феллер В. Введение в теорию вероятностей и ее приложения: Пер. с англ. Т. 1—2. М., 1984;

Ширяев А.Н. Вероятность. М., 1980.

В.​І.​Бернік, У.​Г.​Спрынджук.

т. 7, с. 207