псеўданім групы франц. матэматыкаў. У групу, створаную ў 1937, аб’ядналіся выпускнікі Вышэйшай нармальнай школы (А.Картан, А.Вейль, Ж.Дзьеданэ і інш.), аднак колькасць удзельнікаў і поўны склад групы не абвешчаны. Выступаюць у друку, на кангрэсах і з’ездах ад імя адной асобы. Бурбакі паставілі перад сабой мэту стварыць трактат «Элементы матэматыкі», які ахапіў бы гал. раздзелы сучаснай матэматыкі на аснове фармальнага аксіяматычнага метаду.
За 1939—77 Бурбакі ў Францыі выдадзена больш за 40 твораў, значная частка якіх перакладзена на інш. мовы. Выкладанне матэм.тэорыі мае абстрактны і фармалізаваны характар, даецца толькі іх лагічны каркас. Аснова выкладання — т.зв. структуры, вызначаныя паводле аксіём. Спосаб разважання — ад агульнага да асобнага. Самыя істотныя вынікі атрыманы ў тапалогіі, тапалагічнай алгебры, алг. геаметрыі, тэорыі функцый многіх камплексных пераменных, тэорыіалг. лікаў і функцыянальным аналізе.
Тв.:
Рус.пер. — Очерки по истории математики. М., 1963;
Начала математики. Ч. 1, кн. 1. Теория множеств. М., 1965;
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ВО́ТЧЫННАЯ ТЭО́РЫЯ,
сістэма поглядаў, паводле якой сярэдневяковая вотчына ў Зах. Еўропе разглядалася як вызначальны інстытут, у сац.-эканам., паліт. і культ. жыцці сярэднявечча. Зарадзілася ў ням. гістарыяграфіі ў канцы 18 — пач. 19 ст., сфарміравалася ў 1870—80-я г. Прыхільнікі вотчыннай тэорыі даказвалі, што буйная вотчына поўнасцю паглынула ўсе астатнія формы землекарыстання і да 13—14 ст. у рамках вотчыны існавала гармонія інтарэсаў феадалаў і сялян. Частка прадстаўнікоў вотчыннай тэорыі (ням. даследчыкі К.Т.Інама-Штэрнег, К.Лампрэхт, рус. П.Г.Вінаградаў і інш.) спалучала яе з асобнымі прынцыпамі абшчыннай тэорыі, звязваючы ўзнікненне вотчыны з працэсам ператварэння свабодных земляробаў-абшчыннікаў у феад.-залежных сялян і прызнаючы істотную розніцу паміж эпохай ранняга сярэднявечча і перыядам сталых феад. адносін. Група вучоных (Н.Д.Фюстэль дэ Куланж у Францыі, Ф.Сібам у Вялікабрытаніі) адмаўляла існаванне свабоднай абшчыны ў мінулым і разглядала вотчыну з уласцівай ёй залежнасцю земляроба ад уласніка зямлі як адзін з найпершых ін-таў чалавецтва. Да сярэдзіны 20 ст. вотчынная тэорыя страціла сваё значэнне.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АДПАВЕ́ДНАСЦІ ПРЫ́НЦЫП,
агульнаметадалагічны прынцып развіцця навукі, які патрабуе, каб кожная новая тэорыя, што прэтэндуе на больш глыбокае апісанне аб’ектыўнай рэальнасці на больш шырокую вобласць прымянення, чым старая, уключала апошнюю як свой асобны гранічны выпадак. Адлюстроўвае дыялектыку працэсу пазнання, пераходу ад менш поўнай да больш поўнай ісціны і пры гэтым змена адной прыродазнаўча-навук.тэорыі другой выяўляе не толькі розніцу, але і сувязь, пераемнасць паміж імі, якая можа быць выражана з матэм. дакладнасцю. Адпаведнасці прынцып сфармуляваны Н.Борам пры стварэнні першапачатковай квантавай тэорыі атама і яго спектраў (1913). Паводле адноснасці прынцыпу фіз. вынікі квантавай механікі ў гранічным выпадку вял. квантавых лікаў супадаюць з вынікамі класічнай тэорыі; квантава-мех. апісанне фіз. аб’ектаў павінна пераходзіць у класічнае пры h → 0 (h — Планка пастаянная); хвалевая оптыка — у геам. пры λ → 0, дзе λ — даўжыня хвалі; законы рэлятывісцкай механікі — у законы класічнай пры скарасцях руху v << c, дзе c — скорасць святла ў вакууме.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГАРМАНІ́ЧНЫ АНА́ЛІЗ,
раздзел матэматыкі, у якім вывучаецца раскладанне функцый у трыганаметрычныя шэрагі і інтэгралы. Класічны гарманічны аналіз узнік у 18—19 ст. пад уплывам фіз. задач і стаў самаст.матэм. дысцыплінай у канцы 19 — пач. 20 ст. Далейшае развіццё прывяло да ўстанаўлення сувязей гарманічнага аналізу з агульнымі праблемамі тэорыі функцый і функцыянальнага аналізу. Метады гарманічнага аналізу выкарыстоўваюцца ў тэорыі імавернасцей, тэорыі дыферэнцыяльных і інтэгральных ураўненняў і інш.
Сутнасць класічнага гарманічнага аналізу ў раскладанні перыядычных функцый у збежныя Фур’е шэрагі, каэфіцыенты якіх у некат. выпадках вылічаюцца па Эйлера—Фур’е формулах, калі функцыя зададзена складаным выразам, табліцай або графікам — лікавымі, графічнымі і інш. метадамі набліжанага інтэгравання або з дапамогай спец. прылад — гарманічных аналізатараў. Неперыядычная функцыя (пры пэўных умовах) выражаецца ў выглядзе Фур’е інтэграла, што апісвае яе як суму бясконца малых гарманічных кампанентаў, параметры якіх вызначаюцца Фур’е пераўтварэннем.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ІВАНЕ́НКА (Дзмітрый Дзмітрыевіч) (29.7.1904, г. Палтава, Украіна — 30.12.1994),
расійскі фізік-тэарэтык, заснавальнік навук. школы па тэарэт. фізіцы. Д-рфіз.-матэм.н. (1940). Скончыў Ленінградскі ун-т (1927). З 1943 праф. Маскоўскага ун-та. Навук. працы па тэорыі спінораў, фізіцы атамнага ядра, квантавай і адзінай нелінейнай тэорыях поля, тэорыі гравітацыі, гісторыі фізікі. Прапанаваў пратон-нейтронную мадэль атамнага ядра (1932). Заклаў асновы палявой тэорыі парных ядз. сіл (1934, разам з І.Тамам). Прапанаваў нелінейнае абагульненне спінорнага ўраўнення Дзірака (1938). Выказаў ідэю ўзаемнага ператварэння гравітонаў у элементарныя часціцы (1944). Прадказаў сінхратроннае выпрамяненне (1944; разам з І.Я.Памеранчуком). Дзярж. прэмія СССР 1950.
Тв.:
Групповые, геометрические и топологические методы в теории поля. Ч. 1. М., 1983;
Калибровочная теория гравитации. М., 1985 (абедзве разам з П.І.Проніным, Г.А.Сарданашвілі).
Літ.:
Памяти профессора Д.Д.Иваненко // Вестн. Московского ун-та Сер. 3. Физика. Астрономия. 1995. Т. 36, № 2.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЛЯПУНО́ВА ТЭАРЭ́МА,
адна з лімітных тэарэмтэорыі імавернасцей. Устанаўлівае агульныя дастатковыя ўмовы збежнасці размеркавання сумы незалежных выпадковых велічынь да нармальнага размеркавання. Сфармулявана і даказана А.М.Ляпуновым (1901).
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ПРЫБА́ВАЧНАЯ ВА́РТАСЦЬ,
частка кошту тавараў, што ствараецца неаплачанай працай наёмных рабочых. Тэрмін «П.в.» шырока выкарыстоўваўся ў марксісцкай эканам.тэорыі для вызначэння сутнасці асн.эканам. закону капіталізму.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЗАХАВА́ННЯ ЗАКО́НЫ,
фізічныя заканамернасці, якія ўстанаўліваюць пастаянства ў часе пэўных велічынь, што характарызуюць фіз. сістэму ў працэсе змены яе стану; найб. фундаментальныя заканамернасці прыроды, якія вылучаюць самыя істотныя характарыстыкі фіз. сістэм і працэсаў. Асаблівае значэнне З.з. звязана з тым, што дакладныя дынамічныя законы, якія поўнасцю апісваюць фіз. сістэмы, часта вельмі складаныя ці невядомыя. У гэтых выпадках З.з. даюць магчымасць зрабіць істотныя вывады пра паводзіны і ўласцівасці сістэмы без рашэння ўраўненняў руху.
З.з. для энергіі, імпульсу, моманту імпульсу і эл. зараду выконваюцца ў кожнай ізаляванай сістэме (універсальныя законы прыроды). Пасля стварэння адноснасці тэорыі страціў сваё абсалютнае значэнне З.з. масы (гл.Дэфект мас)\ З.з. энергіі і імпульсу аб’яднаны ў агульны З.з. энергіі—імпульсу; удакладнена фармулёўка З.з. поўнага моманту імпульсу (з улікам спіна). Асабліва важная роля З.з. у тэорыі элементарных часціц, дзе ёсць шэраг абсалютных (для электрычнага, барыённага і лептоннага зарадаў) і прыблізных (для ізатапічнага спіна, дзіўнасці і інш.) З.з., якія выконваюць толькі пры некат. умовах. Напр., дзіўнасць захоўваецца ў моцных, але парушаецца ў слабых узаемадзеяннях (гл.Адроны, Барыёны, Лептоны, Узаемадзеянні элементарных часціц). З.з. ў тэорыі элементарных часціц — асн. сродак вызначэння магчымых рэакцый паміж часціцамі. Існуе глыбокая сувязь паміж З.з. і сіметрыяй фіз. сістэм (гл.Сіметрыя, Нётэр тэарэма). Наяўнасць характэрнай для кожнага тыпу фундаментальных узаемадзеянняў дынамічнай (калібровачнай) сіметрыі прыводзіць да З.з. сілавых (дынамічных) зарадаў, якія вызначаюць здольнасць элементарных часціц да адпаведнага ўзаемадзеяння. З.з. эл. зараду, слабых ізатапічнага спіна і гіперзараду, каляровых (моцных) зарадаў выкарыстоўваюцца пры пабудове палявых (калібровачных) тэорый электрамагнітнага, электраслабага і моцнага ўзаемадзеянняў адпаведна. У квантавай тэорыі поля ўведзены спецыфічныя З.з. прасторавай, часавай і зарадавай цотнасцей, што вызначаюць уласцівасці тэорыі адносна пераўтварэнняў адпаведнай дыскрэтнай сіметрыі (гл.Людэрса—Паўлі тэарэма).
Літ.:
Фейнман Р. Характер физических законов: Пер. с англ.М., 1968;
Богуш А.А. Очерки по истории физики микромира. Мн., 1990.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ЛІ́КАЎ ТЭО́РЫЯ,
раздзел матэматыкі, які вывучае ўласцівасці цэлых, рацыянальных і алг.лікаў, іх сувязі з інш. лікамі (ірацыянальнымі, трансцэндэнтнымі).
Паняцце цэлага ліку, а таксама арыфм. аперацый над лікамі вядома са стараж. часоў і з’яўляецца адной з першых матэм. абстракцый. Натуральныя лікі распадаюцца на 2 класы: простыя лікі, якія маюць 2 натуральныя дзельнікі (адзінку і самога сябе), і састаўныя лікі — усе астатнія. Уласцівасці простых лікаў і іх сувязь з натуральнымі вывучаў Эўклід (3 ст. да н.э.). Вывучэнне размеркавання простых лікаў прывяло да стварэння алгарытмаў (напр., рэшата Эратасфена) для атрымання табліц такіх лікаў. Пытанні цэлалікавых рашэнняў рознага віду ўраўненняў (гл.Дыяфантавы ўраўненні) разглядалі Эўклід, Піфагор, Дыяфант і інш. Шэраг адкрыццяў у тэорыі дыяфантавых ураўненняў і ў тэорыі, звязанай з падзельнасцю цэлых лікаў належыць П.Ферма (гл.Ферма вялікая тэарэма, Ферма малая тэарэма). Вывучэнне ірацыянальных лікаў паставіла задачу іх набліжанага вылічэння з дапамогай рацыянальных лікаў, што спрыяла ўзнікненню тэорыі дыяфантавых набліжэнняў. Адкрыццё трансцэндэнтных лікаў вылучыла шэраг праблем пра крытэрыі трансцэндэнтнасці, класіфікацыю трансцэндэнтных велічынь і інш. Вырашэнне праблем Л.т. патрабуе ўдасканалення і стварэння новых матэм. паняццяў, метадаў, напр., імкненне даказаць тэарэму Ферма прывяло ням. матэматыка Э.Кумера (19 ст.) да стварэння асноў алг. Л.т. (тэорыя ідэалаў), вывучэнне размеркавання простых лікаў спрыяла развіццю тэорыіаналітычных функцый (Б.Рыман, Ж.Адамар; 19 ст.). Л.т. цесна звязана з многімі раздзеламі матэматыкі (алгебра, тапалогія, матэм. логіка, тэорыя функцый, тэорыя імавернасцей), што прыводзіць да яе сінтэзу з інш.матэм. навукамі (р-адычныя лікі, лакальны аналіз, тэорыя алг. функцый).
На Беларусі даследаванні па Л.т. пачаты ў 1960-я г. пад кіраўніцтвам У.Г.Спрынджука і праводзяцца ў Ін-це матэматыкі Нац.АН, БДУ, Бел.агр.тэхн., Гродзенскім і Магілёўскім ун-тах. Вырашаны шэраг праблем у тэорыі трансцэндэнтных лікаў, метрычнай Л.т., дыяфантавых ураўненнях.
Літ.:
Спринджук В.Г. Метрическая теория диофантовых приближений. М.,1977;
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МЕТАМАТЭМА́ТЫКА (ад мета... + матэматыка),
раздзел матэматычнай логікі, у якім вывучаюцца асновы матэматыкі, структура і заканамернасці матэм. доказаў з дапамогай фармальных метадаў. Тэрмін «М.» ўвёў Д.Гільберт для абазначэння тэорыі, якая аналізуе структуру і ўласцівасці фармальных сістэм. У шырокім сэнсе — метатэорыя матэматыкі.
Паводле Гільберта, фармалізаваная сістэма, што атрымліваецца ў выніку фармалізацыінавук.тэорыі, даследуецца (на прадмет высвятлення яе несупярэчлівасці, паўнаты, вырашальнасці і ўзаемасувязі з інш. тэорыямі, незалежнасці яе аксіём і інш.) змястоўнымі метадамі, якія не апелююць да сэнсу яе аб’ектаў (формул). Гэта канцэпцыя (наз. фінітызм) прадугледжвае выкарыстанне канечных канструкцый («наглядных» матэм. прадметаў, эфектыўна здзяйсняльных працэсаў) і адмаўляе абстракцыю актуальнай бесканечнасці (гл.Абстракцыя). К.Гёдэль паказаў абмежаванасць фінітных (простых) метадаў для даследавання фармалізаваных тэорый; у 1931 ён даказаў тэарэму аб непаўнаце дастаткова багатых фармальных сістэм (у т. л. аксіяматычнай мностваў тэорыі і арыфметыкі натуральных лікаў) і аб немагчымасці доказу несупярэчлівасці сістэмы з дапамогай сродкаў, якія фармалізуюцца ў гэтай сістэме. Для доказу несупярэчлівасці фундаментальных матэм. тэорый сучасная М. выкарыстоўвае больш складаныя, нефінітныя метады.
Састаўная частка прадмета М. — даследаванне фармалізаваных матэм. тэорый, выкладзеных у выглядзе сімвалічных моў, і вывучэнне саміх гэтых моў. Мноства канечных паслядоўнасцей з аперацыямі над імі таксама могуць быць аб’ектамі матэм. даследавання. Гэта абумоўлівае выкарыстанне ў М. метадаў алгебры (гл.Булева алгебра), тэорыі мностваў і тапалогіі. Шырока выкарыстоўваецца ў М. гёдэлеўскі метад арыфметызацыі метатэорыі і тэорыя рэкурсіўных функцый. У больш вузкім сэнсе да М. (у адрозненне ад металогікі) адносяць пытанні сінтаксісу, прадметнай матэм.тэорыі (гл.Сінтаксіс у логіцы); семантыку вылучаюць у якасці самаст. галіны даследавання (гл.Семантыка лагічная).
Літ.:
Клини С.К. Введение в метаматематику: Пер. с англ.М., 1957;
Расёва Е., Сикорский Р. Математика метаматематики: Пер. с англ.М., 1972;
Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982.
