Verbum

КУЛО́НА ЗАКО́Н,

адзін з асн. законаў электрастатыкі, які вызначае сілу ўзаемадзеяння паміж двума кропкавымі зарадамі (гл. Зарад электрычны). Устаноўлены ў 1785 Ш.А.Кулонам і незалежна Г.Кавендышам (яго працы апублікаваны ў 1879) і з’яўляецца эксперым. абгрунтаваннем класічнай электрадынамікі.

Паводле К.з. 2 кропкавыя задачы q₁ і q₂ узаемадзейнічаюць у вакууме з сілай $\overrightarrow{F}$, модуль якой прама прапарцыянальны здабытку гэтых зарадаў і адваротна прапарцыянальны квадрату адлегласці г паміж імі: F = kq₁q₂/r​², дзе k = 1/4πε₀, ε₀ — электрычная пастаянная. Сіла накіравана ўздоўж прамой, што злучае зарады, і адпавядае прыцягненню рознаіменных зарадаў і адштурхоўванню аднайменных. Калі ўзаемадзейныя зарады знаходзяцца ў аднародным дыэлектрыку з дыэлектрычнай пранікальнасцю ε, сіла іх узаемадзеяння змяншаецца ў ε разоў. Абагульненне К.з. прыводзіць да Гаўса тэарэмы.

т. 9, с. 8

ЛІ́ННІК (Юрый Уладзіміравіч) (21.1. 1915, г. Белая Царква, Украіна — 30.6. 1972),

расійскі матэматык. Акад. АН СССР (1964), замежны чл. Шведскай каралеўскай АН (1971). Герой Сац. Працы (1969). Сын У.П.Лінніка. Скончыў Ленінградскі ун-т (1938), у якім і працаваў (з 1944 праф.). З 1942 у Ленінградскім аддз. Матэм. ін-та АН СССР. Навук. працы па тэорыі лікаў, тэорыі імавернасцей і матэм. статыстыцы. Сфармуляваў лімітныя тэарэмы для незалежных выпадковых велічынь і неаднародных ланцугоў Маркава, выканаў шэраг грунтоўных даследаванняў (рашэнне праблемы Варынга, дысперсійны метад у адытыўнай тэорыі лікаў, тэорыя ацэньвання і інш.). Ленінская прэмія 1970, Дзярж. прэмія СССР 1947.

Тв.:

Избр. труды. [Т. 1—2]. Л., 1979—81.

Літ.:

Академик Ю.В. Линник: Биобиблиогр. указ. Л., 1975.

т. 9, с. 270

ГА́ЎСА ТЭАРЭ́МА,

асноўная тэарэма электрастатыкі, якая ўстанаўлівае сувязь паміж патокам напружанасці эл. поля праз адвольную замкнёную паверхню і эл. зарадам, што знаходзіцца ўнутры гэтай паверхні. Вынікае з Кулона закону, устаноўлена К.Ф.Гаўсам (1839).

У інтэгральнай форме Гаўра тэарэма мае выгляд: ${\displaystyle \mathrm{\Phi }\overrightarrow{\mathrm{E}}\bullet \mathrm{d}\overrightarrow{\mathrm{S}}=\mathrm{q}/{\mathrm{\epsilon }}_0}$ , дзе $\mathrm{\Phi }\overrightarrow{\mathrm{E}}\bullet \mathrm{d}\overrightarrow{\mathrm{S}}$ — паток вектара напружанасці эл. поля $\overrightarrow{\mathrm{E}}$ праз замкнёную паверхню S, q — зарад, абмежаваны паверхняй S, ε₀ — электрычная пастаянная. Дыферэнцыяльная форма Гаўра тэарэмы: ${\displaystyle \mathrm{div}\overrightarrow{\mathrm{E}}=\mathrm{\rho }/\mathrm{\epsilon }0}$ , дзе $\mathrm{div}\overrightarrow{\mathrm{E}}$ — дывергенцыя вектара $\overrightarrow{\mathrm{E}}$, ρ — шчыльнасць эл. зараду ў тым пункце прасторы, дзе вызначаецца $\overrightarrow{\mathrm{E}}$. Гаўра тэарэма адно з Максвела ўраўненняў, адлюстроўвае той факт, што эл. зарады з’яўляюцца крыніцамі эл. поля; дазваляе вызначаць вектар $\overrightarrow{\mathrm{E}}$ пры зададзеным зарадзе (шчыльнасці зараду).

А.​І.​Болсун.

т. 5, с. 92

НАРМА́ЛЬНАЕ РАЗМЕРКАВА́ННЕ ў тэорыі імавернасцей,

адно з найважнейшых размеркаванняў выпадковых велічынь. Тэарэт. абгрунтаванне выключнай ролі Н.р. даюць лімітныя тэарэмы тэорыі імавернасцей (гл. Лапласа тэарэма, Ляпунова тэарэма).

Мае шчыльнасць імавернасці $p\text{(}x\text{)}=\frac{1}{\mathrm{\sigma }\sqrt{2\mathrm{\pi }}}{e}^{-{\text{(}x-a\text{)}}^2/2{\mathrm{\sigma }}^2}$ , дзе a — матэматычнае чаканне выпадковай велічыні, σ​² — яе дысперсія. Графік Н.р. y = p(x; a, σ) сіметрычны адносна ардынаты, што праходзіць праз пункт x = a і мае ў гэтым пункце адзіны максімум. Плошча пад крывой Н.р. заўсёды роўная 1. Паняцце Н.р. дастасавальнае таксама для супольнага размеркавання імавернасцей некалькіх выпадковых велічынь (мнагамернае Н.р.).

т. 11, с. 161

ПІФАГО́Р (Pythagoras) Самаскі

(каля 580, в-аў Самас, Грэцыя — 500 да н.э.),

старажытна-грэчаскі матэматык і філосаф-ідэаліст, заснавальнік піфагарэізму. У галіне матэматыкі яму прыпісваюць увядзенне доказу ў геаметрыю, пабудову планіметрыі прамалінейных фігур, стварэнне вучэння пра падобнасць, доказ Піфагора тэарэмы, адкрыццё ірацыянальных лікаў, пабудову некат. правільных многавугольнікаў і мнагаграннікаў і інш. Ёсць звесткі пра П. як астранома. Ён лічыў Зямлю шарам, які знаходзіцца ў цэнтры Сусвету; ведаў пра ўласны рух Сонца, Месяца і планет. Заснаваў у г. Кратоне (Паўд. Італія) піфагарэйскі саюз, які быў адначасова філас. школай, паліт. партыяй і рэліг. брацтвам. Лічыў, што лік ёсць сутнасць усіх рэчаў, а Сусвет з’яўляецца гарманічнай сістэмай лікаў і іх адносін. Адстойваў уяўленне аб бессмяротнасці душ і іх перасяленні. Быў ідэолагам рабаўладальніцкай арыстакратыі.

Літ.:

Болгарский Б.В. Очерки по истории математики. Мн., 1974.

т. 12, с. 392

ВЯЛІ́КІХ ЛІ́КАЎ ЗАКО́Н,

агульны прынцып, паводле якога сукупнае дзеянне вял. ліку выпадковых фактараў пры некаторых вельмі агульных умовах прыводзіць да выніку, які амаль не залежыць ад выпадку.

На пач. 18 ст. Я.Бернулі ўпершыню дакладна даказаў тэарэму пра імкненне частаты выпадковай падзеі да яе імавернасці пры вял. колькасці выпрабаванняў. Гэтая тэарэма дае тэарэт. аснову для набліжанага вылічэння невядомай імавернасці падзеі па яе частаце. С.Пуасон у 1837 пашырыў тэарэму Бернулі на больш агульныя ўмовы і ўвёў тэрмін «Вялікіх лікаў закон». Значнае абагульненне тэарэмы Бернулі зрабіў П.Л.Чабышоў (1866), вынікам чаго з’яўляецца правіла сярэдняга арыфметычнага, якое выкарыстоўваецца ў практыцы вымярэнняў: калі x₁, x₂, x₃, ..., x_n — значэнні велічыні, што вымяраецца, то яе сапраўднае значэнне супадае з сярэднім значэннем ${\displaystyle a=\text{<}x\text{>}\approx \frac{1}{n}\sum _{\mathrm{k}=1}^{\mathrm{n}}{x}_k}$

Вялікіх лікаў законам карыстаюцца ў тэхніцы, фізіцы, статыстыцы, эканоміцы і інш. галінах навукі і тэхнікі.

А.​А.​Гусак.

т. 4, с. 387

ЛАГІЦЫ́ЗМ,

кірунак у асновах матэматыкі, у якім зыходныя паняцці матэматыкі зводзяцца да паняццяў логікі. Ідэі Л. прапанаваны Г.В.Лейбніцам. У сістэматызаваным выглядзе выкладзены Г.​Фрэге ў кн. «Асноўныя законы арыфметыкі» (т. 1—2, 1893—1903). Ён прапанаваў звядзенне асноўнага для матэматыкі паняцця натуральнага ліку да аб’ёмаў паняццяў і распрацаваў лагічную сістэму, сродкамі якой можна было даказаць усе тэарэмы арыфметыкі. Дактрына Л. развіта Б.Раселам, які выявіў у сістэме Фрэге супярэчнасць («парадокс Расел», гл. Парадокс). У кн. «Прынцыпы матэматыкі» (т. 1—3, 1910—13) Расел і А.Н.Уайтхед прапанавалі т.зв. тэорыю тыпаў, у якой парадоксаў можна пазбегнуць пры дапамозе спец. іерархіі паняццяў. У далейшым К.Гёдэль паказаў, што сістэмы Л. няпоўныя, іх сродкамі можна сфармуляваць змястоўна правільныя, але не вырашальныя матэм. сцвярджэнні (сцвярджэнні, якія нельга даказаць і нельга абвергнуць). Сістэмы Л. садзейнічалі фарміраванню і ўдакладненню важнейшых логіка-матэм. ідэй, зрабілі значны ўплыў на развіццё матэматычнай логікі і навукі.

В.​М.​Пешкаў.

т. 9, с. 89

ДЫЯФА́НТАВЫ НАБЛІЖЭ́ННІ,

раздзел лікаў тэорыі, у якім вывучаецца рашэнне ў цэлых ліках лінейных і нелінейных няроўнасцей ці сістэм няроўнасцей з рэчаіснымі каэфіцыентамі. У прыватнасці, вывучаюцца набліжэнні рэчаісных лікаў рацыянальнымі. Названы ў гонар Дыяфанта.

Напр., для адвольнага рэчаіснага ліку α няроўнасць |α − ​^p/_q| < q​⁻² мае бясконца шмат рашэнняў у цэлых ліках p і q (ням. матэматык П.​Дзірыхле), аднак няроўнасць |β − ​^p/_q| < c(β)q​⁻ⁿ пры пэўным значэнні c(β) не мае рашэнняў у алгебраічных ліках β ступені n (франц. матэматык Ж.​Ліувіль). З апошняй тэарэмы вынікае трансцэндэнтнасць лікаў тыпу ${\displaystyle \sum _{n=1}^{\mathrm{\infty }}{10}^{-n!}}$ Д.н. маюць шмат дастасаванняў у розных раздзелах матэматыкі. Значны ўклад у развіццё Д.н. зрабілі ням. матэматык Г.​Мінкоўскі, англ. матэматыкі К.​Рот і А.​Бейкер, сав. матэматык А.​В.​Гельфанд, бел. матэматык У.​Г.​Спрынджук.

Літ.:

Виноградов И.М. Метод тригонометрических сумм в теории чисел. 2 изд. М., 1980;

Хинчин А.Я. Цепные дроби. 4 изд. М., 1978.

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

т. 6, с. 318

ЗЛІЧЭ́ННЕ,

сістэма правіл аперыравання са знакамі пэўнага віду, якая дазваляе даць дакладнае апісанне некаторага класа задач і алгарытмы іх рашэння; спосаб утварэння якой-н. сукупнасці (мноства) элементаў на аснове правіл атрымання новых элементаў з зададзеных зыходных. Мае фундаментальны характар, як і паняцце алгарытму. Узнікла і развівалася ў рамках матэматыкі (гл. Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Дыферэнцыяльнае злічэнне, Інтэгральнае злічэнне). Пазней метады пабудовы З. пачалі выкарыстоўвацца ў логіцы (гл. Алгебра логікі, Матэматычная лінгвістыка). Агульная тэорыя З. выкарыстоўваецца ў алгарытмаў тэорыі.

У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл. Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл. Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл. Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.​Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц. сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл. Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.

С.​Ф.​Дубянецкі.

т. 7, с. 76