Verbum

ПРАЕКТЫ́ЎНАЯ ПРАСТО́РА,

эўклідава прастора, дапоўненая бясконца аддаленымі (няўласнымі) пунктамі, прамымі і плоскасцю. У больш агульным сэнсе П.п. — сукупнасць трох мностваў элементаў (пунктаў, прамых і плоскасцей), якія падпарадкоўваюцца патрабаванням аксіём праектыўнай геаметрыі.

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

т. 12, с. 541

ЛЕБЕ́Г ((Lebesgue) Анры Леон) (28.6. 1875, г. Бавэ, Францыя — 26.7.1941),

французскі матэматык, адзін з заснавальнікаў тэорыі функцый сапраўднай пераменнай. Чл. Парыжскай АН (1922). Замежны чл.-кар. АН СССР (1929). Скончыў Вышэйшую нармальную школу ў Парыжы (1897). Праф. Парыжскага ун-та і Сарбоны (з 1910), Калеж дэ Франс (з 1921). Навук. працы па тэорыі функцый, тэорыі інтэгравання, тэорыі мностваў, гісторыі метадалогіі матэматыкі. Пабудаваў новую тэорыю інтэграла (інтэграл Л.), увёў новыя паняцці меры, мноства і вымяральных функцый (1902—04), што зрабіла магчымым інтэграванне шырокага класа функцый. Даследаванні Л. спрыялі стварэнню новых кірункаў у матэматыцы.

Літ.:

Тумаков И.М. АЛ.​Лебег, 1875—1941. М., 1975.

т. 9, с. 172

ПАРАДО́КС (ад грэч. paradoxos нечаканы, дзіўны),

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

В.​В.​Краснова.

т. 12, с. 83

ГАМАЛО́ГІЯ ў матэматыцы,

1) у праектыўнай геаметрыі — узаемна адназначнае пераўтварэнне праектыўнай плоскасці ў сябе, якое пакідае нерухомымі ўсе пункты некат. прамой (вось гамалогіі) і мае дакладна адзін нерухомы пункт (цэнтр гамалогіі). Гамалогія з уласным (канечным) цэнтрам і няўласнай (бясконца аддаленай) воссю наз. гаматэтыя. Любое праектыўнае пераўтварэнне ёсць вынік паслядоўнага здабытку 2 пераўтварэнняў: гамалогіі і руху.

2) У тапалогіі — фармалізацыя інтуітыўных уяўленняў аб абмежаванасці мностваў. Напр., крывая 1 на паверхні тора абмяжоўвае частку S гэтай паверхні і наз. гомалагічнай нулю. Крывая λ не гомалагічная нулю, таму што яна не абмяжоўвае ніякай паверхні (пры разразанні ўздоўж яе з тора не выпадзе якога-н. кавалка).

т. 5, с. 9

МЕТАМАТЭМА́ТЫКА (ад мета... + матэматыка),

раздзел матэматычнай логікі, у якім вывучаюцца асновы матэматыкі, структура і заканамернасці матэм. доказаў з дапамогай фармальных метадаў. Тэрмін «М.» ўвёў Д.Гільберт для абазначэння тэорыі, якая аналізуе структуру і ўласцівасці фармальных сістэм. У шырокім сэнсе — метатэорыя матэматыкі.

Паводле Гільберта, фармалізаваная сістэма, што атрымліваецца ў выніку фармалізацыі навук. тэорыі, даследуецца (на прадмет высвятлення яе несупярэчлівасці, паўнаты, вырашальнасці і ўзаемасувязі з інш. тэорыямі, незалежнасці яе аксіём і інш.) змястоўнымі метадамі, якія не апелююць да сэнсу яе аб’ектаў (формул). Гэта канцэпцыя (наз. фінітызм) прадугледжвае выкарыстанне канечных канструкцый («наглядных» матэм. прадметаў, эфектыўна здзяйсняльных працэсаў) і адмаўляе абстракцыю актуальнай бесканечнасці (гл. Абстракцыя). К.Гёдэль паказаў абмежаванасць фінітных (простых) метадаў для даследавання фармалізаваных тэорый; у 1931 ён даказаў тэарэму аб непаўнаце дастаткова багатых фармальных сістэм (у т. л. аксіяматычнай мностваў тэорыі і арыфметыкі натуральных лікаў) і аб немагчымасці доказу несупярэчлівасці сістэмы з дапамогай сродкаў, якія фармалізуюцца ў гэтай сістэме. Для доказу несупярэчлівасці фундаментальных матэм. тэорый сучасная М. выкарыстоўвае больш складаныя, нефінітныя метады.

Састаўная частка прадмета М. — даследаванне фармалізаваных матэм. тэорый, выкладзеных у выглядзе сімвалічных моў, і вывучэнне саміх гэтых моў. Мноства канечных паслядоўнасцей з аперацыямі над імі таксама могуць быць аб’ектамі матэм. даследавання. Гэта абумоўлівае выкарыстанне ў М. метадаў алгебры (гл. Булева алгебра), тэорыі мностваў і тапалогіі. Шырока выкарыстоўваецца ў М. гёдэлеўскі метад арыфметызацыі метатэорыі і тэорыя рэкурсіўных функцый. У больш вузкім сэнсе да М. (у адрозненне ад металогікі) адносяць пытанні сінтаксісу, прадметнай матэм. тэорыі (гл. Сінтаксіс у логіцы); семантыку вылучаюць у якасці самаст. галіны даследавання (гл. Семантыка лагічная).

Літ.:

Клини С.К. Введение в метаматематику: Пер. с англ. М., 1957;

Расёва Е., Сикорский Р. Математика метаматематики: Пер. с англ. М., 1972;

Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982.

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

т. 10, с. 308

ПО́ЛЯ ТЭО́РЫЯ ў матэматыцы,

раздзел алгебры, што вывучае матэм. палі (гл. Пале ў матэматыцы).

У матэматычнай фізіцы П.т. вывучае адлюстраванні мностваў каардынат прасторы і часу на адпаведныя мноствы функцый. Пры гэтым кожнаму пункту прасторы ў зададзены момант часу ставяцца ў адпаведнасць адна ці некалькі функцый — адна- ці многакампанентныя функцыі поля. Змены ў прасторы і часе функцый поля апісваюцца дыферэнцыяльнымі ўраўненнямі — ураўненнямі поля, рашэнні якіх вызначаюць выразы функцый поля. П.т. павінна задавальняць патрабаванні інварыянтнасці адносна пераўтварэнняў універсальнай сіметрыі прасторы і часу, што забяспечваецца за кошт выкарыстання функцый з пэўнымі трансфармацыйнымі ўласцівасцямі пры пераходзе ад адной інерцыяльнай сістэмы адліку да другой. У адпаведнасці з гэтым вызначаюцца скалярныя (1-кампанентныя), вектарныя (3- і 4-кампанентныя), тэнзарныя і інш. палі. З дапамогай аперацыі дыферэнцавання ўводзяцца матэм. характарыстыкі палёў — градыент (для скалярнага поля), дывергенцыя і ротар (для вектарнага поля).

А.А.Богуш.

т. 12, с. 503

АПЕРА́ТАР (ад лац. operator які дзейнічае), 1) у матэматыцы — адпаведнасць паміж элементамі двух мностваў X і Y (кожнаму элементу x з X адпавядае пэўны элемент y з Y). Раўназначныя паняцці: адлюстраванне, пераўтварэнне, функцыя, функцыянал. Важны клас аператара — лінейныя аператары ў лінейнай алгебры і функцыянальным аналізе. Дыферэнцыяльнымі і інтэгральнымі аператарамі карыстаюцца ў матэм. фізіцы, тэорыі дыферэнцыяльных і інтэгральных ураўненняў і інш. Напр., аператар дыферэнцавання ${\displaystyle \mathrm{A }\mathrm{f}\text{(}\mathrm{x}\text{)}=\frac{\mathrm{d}\mathrm{f}\text{(}\mathrm{x}\text{)}}{\mathrm{d}\mathrm{x}}}$ ; інтэгральны ${\displaystyle \mathrm{A }\mathrm{f}\text{(}\mathrm{x}\text{)}={\int }_{\mathrm{a}}^{\mathrm{b}}\mathrm{K}\text{(x, x′)}\mathrm{f}\text{(}\mathrm{x}\text{′)}\mathrm{d}\mathrm{x\prime }}$ ; зруху ${\displaystyle \mathrm{A }\mathrm{f}\text{(}\mathrm{x}\text{)}=\mathrm{f}\text{(}\mathrm{x}+\mathrm{a}\text{)}}$ . Да логікавых аператараў адносяцца кан’юнкцыя, дыз’юнкцыя, імплікацыя, адмаўленне, квантары агульнасці і існавання.

2) У вылічальнай тэхніцы — прадпісанне на мове праграмавання закончанага дзеяння ў праграме, напр. прысваенне лікавага значэння пераменнай велічыні, перадача кіравання, выклік падпраграмы, цыкл.

3) У тэхніцы — спецыяліст, які кіруе з пульта абсталяваннем, напр. ЭВМ, радыёлакацыйнай станцыяй.

М.​П.​Савік.

т. 1, с. 423

ЛО́ГІКА КЛА́САЎ,

раздзел логікі, у якім разглядаюцца класы (мноствы) прадметаў, што задаюцца характарыстычнымі ўласцівасцямі гэтых прадметаў (элементаў класаў). Л.к. выступае як прыватны выпадак логікі прэдыкатаў, што аперыруе з аб’ёмамі (класамі) паняццяў, змест якіх выражаецца адпаведнымі аднамеснымі прэдыкатамі. Л.к. адпавядае таксама сілагістыцы Арыстоцеля. Часам яна разглядаецца як фармалізаваная тэорыя мностваў, у іншых выпадках — як расшырэнне логікі выказванняў. Калі ў логіцы выказванняў абстрагуюцца ад сувязей паміж суб’ектам і прэдыкатам выказвання, то ў Л.к. гэтыя сувязі ўлічваюцца. У лік класаў у Л.к. уключаецца і пусты клас (0), які ўтрымлівае нулявое мноства элементаў, і ўніверсальны клас (1), які ўключае ўсе аб’екты. З класамі (мноствам) можна рабіць аперацыі: перасячэння (знаходжанне агульных для іх элементаў), аб’яднання (складання) і дапаўнення да ўзроўню універсальнага класа. Да алфавіта логікі выказванняў у Л.к. дадаюцца: пераменныя a, b, c, ... для класаў; знакі, якія абазначаюць аперацыі з класамі; пастаянныя тэрмы 0 і 1; знакі для абазначэння адносін паміж класамі. Уводзяцца адносіны ўключэння класа ў клас (a⊂b) — a уключаецца ў клас b; адносіны роўнасці двух класаў (a=b); абедзве гэтыя формы адносін могуць быць вызначаны праз адносіны прыналежнасці элемента класу (a∈b).

В.​В.​Краснова.

т. 9, с. 334

АЎТАМА́ТАЎ ТЭО́РЫЯ,

раздзел тэарэтычнай кібернетыкі, які даследуе пераўтваральнікі дыскрэтнай інфармацыі. Узнікла ў сярэдзіне 20 ст. ў сувязі з развіццём тэорыі выліч. машын, тэорыі алгарытмаў. Асн. паняцці — абстрактны аўтамат і кампазіцыя аўтаматаў. Першае характарызуе алгарытм функцыянавання прыстасавання (алгарытм перапрацоўкі інфармацыі, які яно рэалізуе), складаецца з 3 непустых мностваў (станаў, уваходных і выхадных сігналаў) і 2 функцый (выхаду і пераходу). Другое характарызуе структуру прыстасавання, прынцыпы яго пабудовы з больш простых элементаў. Аўтаматаў тэорыя складаецца з абстрактна-алг., структурнай тэорыі і тэорыі імавернасных аўтаматаў і самаарганізоўных сістэм.

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

На Беларусі даследаванні па аўтаматаў тэорыі праводзяцца з 1956 у Мінскім пед. ун-це, ін-тах матэматыкі і тэхн. кібернетыкі АН.

Літ.:

Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. 3 изд. М., 1989;

Закревский А.Д. Алгоритмы синтеза дискретных автоматов. М., 1971.

А.​Дз.​Закрэўскі.

т. 2, с. 114

РА́СЕЛ (Russell) Бертран Артур Уільям, лорд (18.5.1872, Трэлек, Вялікабрытанія — 2.2.1970), англійскі матэматык, філосаф, грамадскі дзеяч; адзін са стваральнікаў сучаснай матэматычнай логікі. Скончыў Кембрыджскі ун-т (1894). Прафесар шэрагу ун-таў Вялікабрытаніі і ЗША. Чл. Лонданскага каралеўскага т-ва (з 1908). Адкрыў лагічны парадокс (названы яго імем), які прывёў да пабудовы арыгінальнага варыянта аксіяматычнай тэорыі мностваў. Аўтар (з А.​Уайтхедам) фундаментальнай працы «Асновы матэматыкі» (т. 1—3, 1910—13). Адзін са стваральнікаў канцэпцыі лагічнага атамізму і роданачальнік неапазітывізму. Прызнаваў рэальнасць толькі «пачуццёвых даных», тлумачыў іх у духу «нейтральнага манізму», зыходзячы з якога разглядаў паняцці «дух» і. «матэрыя» як лагічныя канструкцыі з «пачуццёвых даных». Дапускаў існаванне «атамарных фактаў», якія, у адрозненне ад «элементаў вопыту», аб’ектыўныя, але іх аб’ектыўнасць заснавана толькі на веры ў быццё знешняга свету. У галіне этыкі лічыў найвышэйшай мэтай жыццё, якое накіроўваецца пачуццёвай любоўю і зыходзіць з веры ў магутнасць розуму. У палітыцы выступаў супраць тэорый, якія падпарадкоўваюць асобу дзяржаве, асуджаў фашызм і камунізм. Быў адным з ініцыятараў Пагуашскага руху. Аўтар прац «Філасофія лагічнага атамізму» (1918), «Перспектывы індустрыяльнай цывілізацыі» (1923), «Улада і асоба» (1949), «Цвярозы розум і ядзерная вайна» (1960) і інш. Сааўтар «Маніфеста Расела—Эйнштэйна» (1955), прасякнутага ідэяй неабходнасці мысліць па-новаму ў ядзерны век. Нобелеўская прэмія па л-ры 1950.

Тв.:

Рус. пер. — Воздействие науки на общество. М., 1952;

Человеческое познание. Его сфера и границы. М., 1957;

Почему я не христианин. М., 1958;

История западной философии. М., 1959.

Я.​М.​Бабосаў.

т. 13, с. 311