Verbum

ПО́ЛАЦКІ КАДЭ́ЦКІ КО́РПУС,

сярэдняя ваенна-навуч. ўстанова закрытага тыпу ў г. Полацк у 1835—1918. Засн. для падрыхтоўкі да вайск. службы дваранскіх дзяцей з Віцебскай, Мінскай, Магілёўскай, Віленскай, Гродзенскай і Смаленскай губ. Размяшчаўся ў будынку, дзе раней знаходзіліся Полацкая езуіцкая акадэмія і Полацкае вышэйшае піярскае вучылішча. Быў разлічаны на 400 навучэнцаў, прымаліся хлопчыкі ва ўзросце 9—11 гадоў. Складаўся з 4 рот (грэнадзёрская, неранжырная, 2 мушкецёрскія), якія ўтваралі батальён. Меў 2 падрыхтоўчыя і 4 агульныя класы, у 1857 уведзены 5-ы агульнаадук. клас і 2-гадовыя спец. класы, пасля заканчэння якіх кадэты атрымлівалі чын афіцэра. Выкладаліся: рус., франц. і ням. мовы, арыфметыка, алгебра, геаграфія, гісторыя, чыстапісанне, маляванне, чарчэнне, закон Божы; у спец. класах дадаткова — тактыка, артылерыя, ваен. гісторыя і фартыфікацыя. У 1859—63 спец. класы падрыхтавалі 172 афіцэры. У 1865 корпус рэарганізаваны ў ваен. гімназію, якая ў 1882 зноў пераўтворана ў кадэцкі корпус з 7-гадовым курсам навучання. У пач. 1-й сусв. вайны эвакуіраваны. Пасля Лют. рэвалюцыі 1917 рэарганізаваны ў гімназію ваен. ведамства. У 1919—20 на базе П.к.к. і інш. эвакуіраваных кадэцкіх карпусоў былі створаны Крымскі (у Арэандзе) і Феадасійскі кадэцкія карпусы. За час існавання П.к.к. падрыхтаваў больш за 3 тыс. афіцэраў. Сярод іх Д.Д.Бохан, браты Кірпічовы і Манцэвічы, Р.І.Кандраценка, Н.Н. і М.Н. Кайгародавы і інш.

Літ.:

Долгов И.И. Полоцкий кадетский корпус. Витебск, 1899;

Викентьев В.П. Полоцкий кадетский корпус: Ист. очерк. Полоцк, 1910;

Дьяков В.А. Деятели русского и польского освободительного движения в царской армии 1856—1865 гг.: (Биобиблиогр. словарь). М., 1965;

Лукашэвіч А.М. Арганізацыя вучэбнага працэсу ў кадэцкіх карпусах на тэрыторыі Беларусі ў 30-х — пачатку 50-х гг. XIX ст. // Весн. БДУ. Сер. 4. 1998. № 3.

А.​М.​Лукашэвіч.

т. 12, с. 463

ЛІК у матэматыцы,

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

Паняцце натуральных Л. (1, 2, 3, ...) узнікла ў глыбокай старажытнасці з патрэбы параўноўваць і колькасна характарызаваць (лічыць) розныя мноствы прадметаў. З узнікненнем пісьменства Л. пазначалі рыскамі на матэрыяле, які служыў для запісу, напр. папірусе, гліняных таблічках. Пазней уведзены інш. знакі для абазначэння вял. лікаў. З цягам часу паняцце натуральнага Л. набыло больш абстрактную форму, якая ў вуснай мове перадаецца словамі, на пісьме — спец. знакамі. Важным крокам з’яўляецца асэнсаванне бясконцасці натуральнага раду Л., што адлюстравана ў помніках антычнай матэматыкі, працах Эўкліда і Архімеда. Паняцце аб адмоўных Л. узнікла ў 6—11 ст. у Індыі. Аналіз аперацый складання, адымання, множання і дзялення Л. спрыяў узнікненню навукі пра Л. — арыфметыкі. Узнікненне дробавых (рацыянальных) Л. звязана з патрэбамі праводзіць вымярэнні. Напр., даўжыня вымяралася адкладаннем адрэзка, прынятага за адзінку; аднак адзінка вымярэння не заўсёды ўкладвалася цэлую колькасць разоў, што вяло да дзялення цэлага на часткі. Патрэба ў дакладным выражэнні адносін велічынь (напр., адносіны дыяганалі квадрата да яго стараны) прывяла да ўводу ірацыянальных Л. Пры рашэнні лінейных і квадратных ураўненняў паводле фармальных правіл іншы раз атрымліваліся адмоўныя і ўяўныя Л., якім быў нададзены строгі сэнс — узнікла алгебра. Неабходнасць вывучаць фіз. працэсы, неперарыўныя ў прасторы і часе (напр., рух цела), стымулявала ўвядзенне сапраўдных Л. і паняцця лікавай прамой, што з’явілася асновай стварэння матэм. аналізу. Далейшае развіццё паняцця Л. прывяло да камплексных лікаў, гіперкамплексных лікаў, р-адычных лікаў.

Літ.:

Нечаев В.И. Числовые системы. М., 1975;

Бейкер А. Введение в теорию чисел: Пер. с англ. Мн., 1995.

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

т. 9, с. 256

ЛІ́КАЎ ТЭО́РЫЯ,

раздзел матэматыкі, які вывучае ўласцівасці цэлых, рацыянальных і алг. лікаў, іх сувязі з інш. лікамі (ірацыянальнымі, трансцэндэнтнымі).

Паняцце цэлага ліку, а таксама арыфм. аперацый над лікамі вядома са стараж. часоў і з’яўляецца адной з першых матэм. абстракцый. Натуральныя лікі распадаюцца на 2 класы: простыя лікі, якія маюць 2 натуральныя дзельнікі (адзінку і самога сябе), і састаўныя лікі — усе астатнія. Уласцівасці простых лікаў і іх сувязь з натуральнымі вывучаў Эўклід (3 ст. да н.э.). Вывучэнне размеркавання простых лікаў прывяло да стварэння алгарытмаў (напр., рэшата Эратасфена) для атрымання табліц такіх лікаў. Пытанні цэлалікавых рашэнняў рознага віду ўраўненняў (гл. Дыяфантавы ўраўненні) разглядалі Эўклід, Піфагор, Дыяфант і інш. Шэраг адкрыццяў у тэорыі дыяфантавых ураўненняў і ў тэорыі, звязанай з падзельнасцю цэлых лікаў належыць П.​Ферма (гл. Ферма вялікая тэарэма, Ферма малая тэарэма). Вывучэнне ірацыянальных лікаў паставіла задачу іх набліжанага вылічэння з дапамогай рацыянальных лікаў, што спрыяла ўзнікненню тэорыі дыяфантавых набліжэнняў. Адкрыццё трансцэндэнтных лікаў вылучыла шэраг праблем пра крытэрыі трансцэндэнтнасці, класіфікацыю трансцэндэнтных велічынь і інш. Вырашэнне праблем Л.т. патрабуе ўдасканалення і стварэння новых матэм. паняццяў, метадаў, напр., імкненне даказаць тэарэму Ферма прывяло ням. матэматыка Э.​Кумера (19 ст.) да стварэння асноў алг. Л.т. (тэорыя ідэалаў), вывучэнне размеркавання простых лікаў спрыяла развіццю тэорыі аналітычных функцый (Б.​Рыман, Ж.​Адамар; 19 ст.). Л.т. цесна звязана з многімі раздзеламі матэматыкі (алгебра, тапалогія, матэм. логіка, тэорыя функцый, тэорыя імавернасцей), што прыводзіць да яе сінтэзу з інш. матэм. навукамі (р-адычныя лікі, лакальны аналіз, тэорыя алг. функцый).

На Беларусі даследаванні па Л.т. пачаты ў 1960-я г. пад кіраўніцтвам У.​Г.​Спрынджука і праводзяцца ў Ін-це матэматыкі Нац. АН, БДУ, Бел. агр. тэхн., Гродзенскім і Магілёўскім ун-тах. Вырашаны шэраг праблем у тэорыі трансцэндэнтных лікаў, метрычнай Л.т., дыяфантавых ураўненнях.

Літ.:

Спринджук В.Г. Метрическая теория диофантовых приближений. М.,1977;

Берник В.И., Мельничук Ю.В. Диофантовы приближения и размерность Хаусдорфа. Мн., 1988.

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

т. 9, с. 257

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

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

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

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

Літ.:

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

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

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

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

т. 10, с. 308

ЗНА́КІ МАТЭМАТЫ́ЧНЫЯ,

умоўныя абазначэнні (сімвалы), якімі карыстаюцца для запісу матэм. паняццяў, суадносін, выкладак і ніш. Напр., выраз «лік тры большы за лік два» з дапамогай З.м. запісваецца як 3 > 2.

Развіццё матэм. сімволікі цесна звязана з агульным развіццём паняццяў і метадаў матэматыкі. Першымі З.м. былі лічбы — знакі для абазначэння лікаў; мяркуюць, што яны папярэднічалі ўзнікненню пісьменнасці. З.м. для абазначэння адвольных велічынь з’явіліся 5—4 ст. да н.э. ў Грэцыі. Напр., плошчы, аб’ёмы, вуглы адлюстроўваліся адрэзкамі, а здабыткі велічынь — прамавугольнікамі, пабудаванымі на такіх адрэзках. У «Асновах» Эўкліда (3 ст. да н.э.) велічыні абазначаюцца дзвюма літарамі — пачатковай і канцавой літарамі адпаведнага адрэзка, а часам і адной. Пачаткі літарнага абазначэння і злічэння ўзніклі ў познаэліністычную эпоху (Дыяфант; верагодна 3 ст.) пры вызваленні алгебры ад геам. формы. Сучасная алг. сімволіка створана ў 14—17 ст.; яе развіццё і ўдасканаленне спрыяла ўзнікненню новых раздзелаў матэматыкі (гл. напр., Аперацыйнае злічэнне, Варыяцыйнае злічэнне, Тэнзарнае злічэнне) і матэм. логікі (Алгебра логікі).

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

т. 7, с. 99

ПРАЕКТЫ́ЎНАЯ ГЕАМЕ́ТРЫЯ,

раздзел геаметрыі, што вывучае ўласцівасці фігур, якія не змяняюцца пры праектыўных пераўтварэннях. Такія ўласцівасці наз. праектыўнымі, напр., датычнасць прамой і лініі, парадак лініі. Існуюць таксама непраектыўныя ўласцівасці, напр., паралельнасць ці перпендыкулярнасць прамых, роўнасць адрэзкаў і вуглоў. Асн. тэарэмы класічнай П.г.: Брыяншона тэарэма, Дэзарга тэарэма, Паскаля тэарэма.

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

Літ.:

Хартсхорн Р. Основы проективной геометрии: Пер. с англ. М., 1970;

Ефимов Н.В. Высшая геометрия. 6 изд. М., 1978;

Алгебра и аналитическая геометрия. Ч. 2. Мн., 1987.

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

т. 12, с. 541

ЗЛІЧЭ́ННЕ,

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

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

Літ.:

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

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

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

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

т. 7, с. 76

МАТЭМА́ТЫКА (грэч. mathēmatikē ад mathēma веды, навука),

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

Пачатак развіцця М. адносяць да 6—5 ст. да н.э., калі сфармуляваны паняцці цэлага ліку, рацыянальнага дробу, адлегласці, плошчы, аб’ёму, створаны правілы дзеянняў з лікамі, вызначэння плошчаў фігур і аб’ёмаў цел (гл. Вавілона-асірыйская культура, Егіпет Старажытны, Грэцыя Старажытная). Назапашаны матэрыял паступова склаўся ў арыфметыку, вымярэнне плошчаў і аб’ёмаў садзейнічала станаўленню геаметрыі, метады арыфметычных вылічэнняў спарадзілі алгебру, а патрэбы астраноміі — трыганаметрыю. М. ў гэты перыяд яшчэ не была дэдуктыўнай навукай, а ўяўляла сабой збор правіл і прыкладаў рашэння асобных задач. Самастойнай навукай са сваім дакладна акрэсленым метадам і сістэмай асн. паняццяў М. становіцца да сярэдзіны 17 ст. Была створана дзесятковая сістэма лічэння (5 ст., Індыя), метад рашэння лінейных ураўненняў з 2 невядомымі. Узорам матэм. дэдуктыўна пабудаванай тэорыі стала эўклідава геаметрыя, з арыфметыкі паступова вылучылася лікаў тэорыя, створана сістэматызаванае вучэнне аб ліках і вымярэннях, фарміруецца паняцце сапраўднага ліку, развіваецца плоская і сферычная трыганаметрыя, уводзіцца паняцце трыганаметрычных функцый (гл. ў арт. Арабская культура). Значны ўплыў на развіццё М. зрабілі працы Піфагора Самоскага, Эўдокса Кнідскага, Эўкліда, Архімеда, Дыяфанта Александрыйскага, Герона Александрыйскага, Арыябхаты, Ф.Віета, Дж.​Кардана і інш. У 17—18 ст. у М. ўводзяцца ідэі руху і змены ў форме пераменных велічынь і функцыянальнай залежнасці паміж імі, ствараецца аналітычная геаметрыя, дыферэнцыяльнае злічэнне, інтэгральнае злічэнне. У 18 ст. ўзнікаюць тэорыя дыферэнцыяльных ураўненняў, дыферэнцыяльная геаметрыя, варыяцыйнае злічэнне і інш. У 19 — пач. 20 ст. М. ўзнімаецца на новыя ступені абстракцыі, ствараюцца неэўклідавы геаметрыі. Развіццё М. гэтага перыяду звязана з імёнамі І.Ньютана, Г.В.Лейбніца, Р.Дэкарта, Б.Паскаля, П.Ферма, сям’і Бернулі, Ж.Л.Лагранжа, Н.Г.Абеля, Ж.Б.Ж.Фур’е, Э.Галуа, Я.Больяй, К.Ф.Гаўса, Г.Ф.Б.Рымана, К.Т.В.Веерштраса, Ж.Адамара, Ж.А.Пуанкарэ, Л.Эйлера, М.І.Лабачэўскага, П.Л.Чабышова, А.А.Маркава, М.В.Астраградскага, А.М.Ляпунова, У.А.Сцяклова і інш. У 20 ст. з’явіліся ці былі развіты новыя матэм. дысцыпліны і кірункі М.: праектыўная геаметрыя, мностваў тэорыя, функцыянальны аналіз, матэматычная логіка, груп тэорыя, імавернасцей тэорыя, тапалогія і інш. Лікавыя метады М. склалі яе самастойную галіну — вылічальную М., стымулявалі развіццё вылічальных машын. «Матэматызацыя» навукі, хуткае развіццё выліч. тэхнікі стымулявалі паяўленне такіх матэм. дысцыплін, як гульняў тэорыя, інфармацыі тэорыя, графаў тэорыя, дыскрэтная матэматыка, тэорыя аптымальнага кіравання. Значным укладам у М. былі працы Н.Бурбакі, Г.Кантара, М.У.Келдыша, А.М.Калмагорава, М.М.Крылова, М.М.Багалюбава, М.А.Лаўрэнцьева, Л.С.Пантрагіна і інш.

На Беларусі даследаванні па М. пачаліся ў 1920-я г., праводзіліся ў БДУ, БСГА, АН Беларусі, Віцебскім пед. ін-це і інш. Асн. кірункамі даследаванняў былі: дыферэнцыяльныя ўраўненні; геаметрыя, алгебра; тэорыі функцый рэчаіснай і комплекснай пераменных; лікавыя і графічныя метады, набліжаныя метады ў алгебры; тэорыя імавернасцей і матэм. статыстыка, матэм. апрацоўка вынікаў вымярэнняў; матэм. фізіка, матэм. метады ў механіцы; метадалогія навукі, філас. пытанні М. Ішло стварэнне бел. навуковай тэрміналогіі. У пасляваен. гады цэнтрам матэм. даследаванняў сталі Інстытут матэматыкі Нац. АН Беларусі, БДУ. Асн. кірункі даследаванняў: алгебра, выліч. матэматыка, геаметрыя, дыферэнцыяльныя і інтэгральныя ўраўненні, матэм. кібернетыка, тэорыя лікаў, матэм. фізіка, праграмнае забеспячэнне ЭВМ, функцыянальны аналіз. Дасягненні бел. матэматыкаў у гэтых кірунках атрымалі міжнар. прызнанне. Значны ўклад у развіццё М. на Беларусі зрабілі М.П.Яругін, У.І.Крылоў, С.А.Чуніхін, Ф.​Дз.Гахаў, Дз.А.Супруненка, Я.А.Барбашын, У.Г.Спрынджук і інш. У Мінску выдаюцца часопісы: «Дифференциальные уравнения» (з 1965), «Весці Нац. АН Беларусі. Сер. фіз.-матэм. навук» (з 1965; гл. «Весці Акадэміі навук Беларусі»), «Веснік БДУ. Сер. 1. Фізіка. Матэматыка. Механіка» (з 1969; гл. «Веснік Беларускага дзяржаўнага універсітэта»), «Труды Института математики Нац. АН Беларуси» (з 1998). Створана Бел. матэм. т-ва (1993).

Літ.:

Математика, ее содержание, методы и значение. Т. 1—3. М., 1956;

Курант Р., Роббинс Г. Что такое математика?: Пер. с англ. 2 изд. М., 1967;

Рыбников К.А. История математики. 2 изд. М., 1974;

Бурбаки Н. Очерки по истории математики: Пер. с фр. М., 1963;

Стройк Д.Я. Краткий очерк истории математики: Пер. с нем. 3 изд. М., 1978;

История математики с древнейших времен до начала XIX столетия. Т. 1—3. М., 1970—72;

История отечественной математики. Т. 1—4. Киев, 1966—70.

І.​В.​Гайшун.

т. 10, с. 211

ГЕАМЕ́ТРЫЯ (ад геа... + ...метрыя),

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

Асн. паняцці геаметрыі (лінія, паверхня, пункт, цела геаметрычнае) узніклі ў выніку абстрагавання ад інш. уласцівасцей цел (напр., масы, колеру). Параўнанне цел абумовіла ўзнікненне паняццяў даўжыні, плошчы, аб’ёму, меры вугла. Самыя простыя геам. звесткі і паняцці былі вядомы ў стараж. Егіпце, Вавілоне, Кітаі, Індыі; геам. палажэнні фармуляваліся ў выглядзе правіл з элементарнымі доказамі або без доказаў. Самастойнай навукай геаметрыя стала ў Стараж. Грэцыі (5 ст. да н.э.); геаметрыя ў аб’ёме, які прыкладна адпавядае сучаснаму курсу элементарнай геаметрыі, выкладзена ў «Пачатках» Эўкліда (3 ст. да н.э.). Развіццё астраноміі і геадэзіі прывяло да стварэння плоскай (гл. Трыганаметрыя) і сферычнай трыганаметрыі (1—2 ст. да н.э.). Інтэнсіўнае развіццё геаметрыі пачынаецца з 17 ст.: Р.Дэкарт прапанаваў метад каардынат; І.Ньютан і Г.Лейбніц стварылі дыферэнцыяльнае і інтэгральнае злічэнне, што дало магчымасць вывучаць геам. аб’екты метадамі алгебры і аналізу бясконца малых (гл. Алгебраічная геаметрыя, Аналітычная геаметрыя, Дыферэнцыяльная геаметрыя); Ж.Дэзарг і Б.Паскаль заклалі асновы праектыўнай геаметрыі. У працах Г.Монжа (18 ст.) сучасны выгляд набыла нарысоўная геаметрыя. У 1826 М.А.Лабачэўскі пабудаваў геаметрыю на аснове сістэмы аксіём, якія адрозніваюцца ад эўклідавай толькі аксіёмай аб паралельных прамых (гл. Лабачэўскага геаметрыя). Стала магчымым будаванне разнастайных прастораў з рознымі геаметрыямі (гл., напр., Неэўклідавы геаметрыі), сістэматызацыя якіх магчыма з дапамогай груп тэорыі. Пасля гэтага павялічылася роля і пашырылася выкарыстанне аксіяматычнага метаду. У 1872 Ф.Клейн сфармуляваў новае тлумачэнне геаметрыі як навукі аб уласцівасцях, інварыянтных адносна зададзенай групы пераўтварэнняў. Паралельна развіваўся логікавы аналіз асноў геаметрыі, высвятляліся пытанні несупярэчлівасці, мінімальнасці і паўнаты сістэмы аксіём. Вынікі гэтых работ падвёў Д.Гільберт у кн. «Асновы геаметрыі» (1899). У працах сав. матэматыкаў П.​С.​Аляксандрава, Л.​С.​Пантрагіна, П.​С.​Урысона развіваліся асн. кірункі тапалогіі. Кірунак «Геаметрыя ў цэлым» заснавалі сав. матэматыкі А.​Д.​Аляксандраў, М.​У.​Яфімаў, А.​Б.​Пагарэлаў.

На Беларусі станаўленне геаметрыі пачалося ў 1930-я г. Атрыманы важныя вынікі ў праблеме ўкладання рыманавых прастораў у эўтслідавы і рыманавы прасторы (Ц.Л.Бурстын); метадамі вонкавых форм даследаваны лініі і паверхні Картана ў неэўклідавых прасторах (Л.​К.​Тутаеў); адкрыты клас аднародных прастораў і распрацавана іх тэорыя (В.​І.​Вядзернікаў, А.​С.​Фядзенка, Б.​П.​Камракоў).

Літ.:

Александров А.Д., Нецветаев Н.Ю. Геометрия. М., 1990;

Алгебра и аналитическая геометрия. Ч. 1. Мн., 1984;

Дифференциальная геометрия. Мн., 1982;

Феденко А.С. Пространства с симметриями. Мн., 1977.

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

т. 5, с. 121

РО́ДНАСЦЬ І СВАЯ́ЦТВА,

адносіны паміж людзьмі, заснаваныя на паходжанні ад агульнага продка (роднасць) або якія ўзнікаюць у мужа і жонкі да іх родных (сваяцтва). У першабытным грамадстве кроўнароднасныя адносіны былі асновай аб’яднання людзей у род, фратрыю, племя, яны характарызавалі формы сям’і. У сучасных сямейных адносінах адрозніваюць роднасць па лініях; прамой (бацькі і дзеці, продкі і нашчадкі), бакавой (браты і сёстры, дзядзькі, цёткі і пляменнікі), узыходнай (ад нашчадкаў да продкаў — напр., унук, сын, бацька, дзед), сыходнай (ад продкаў да нашчадкаў). Бел. назвы кроўнай роднасці па прамой лініі: 1-й ступені — бацька (тата), маці (матка, мама), сын, дачка (пазашлюбных дзяцей наз. бастрамі, байструкамі); няпоўнай роднасці паміж мужам (жонкаю) і дзецьмі ад папярэдняга шлюбу жонкі (мужа) — айчым, мачаха, пасынак, падчарыца; няпоўнай роднасці паміж дзецьмі — брат (сястра) па бацьку ці па маці; усынаўлення — выхаванец, выхаванка (у гаворках — гадаванец, гадаванка, дольнік, дольніца); дзеці мачахі і айчыма лічацца зводнымі братам і сястрой; 2-й ступені — дзед, баба, унук, унучка; 3-й ступені — прадзед, прабаба, праўнук, праўнучка; 4-й ступені — прапрадзед, прапрабаба, прапраўнук, прапраўнучка (гэтыя формы ўжываюцца вельмі рэдка і найчасцей замяняюцца апісальна). Далейшыя ступені кроўнай роднасці наз. агульна: па ўзыходнай лініі — продкі, дзяды, дзяды-прадзеды, па сыходнай — нашчадкі (патомкі). Назвы роднасці 1-й бакавой лініі: брат, сястра, пляменнік, пляменніца. У гаворках са значэннем «пляменнік» трапляюцца нябож, часам — сыновец; са значэннем «пляменніца» — нябога. Назвы роднасці 2-й бакавой лініі: дзядзька, цётка, дваюрадны (стрыечны) брат, дваюрадная (стрыечная) сястра. Назвы 3-й і наступных ліній ужываюцца радзей і звычайна перадаюцца апісальна. Назвы сваяцтва: муж, жонка, у гаворках таксама стары, старая; дзед, баба; гаспадар, гаспадыня. Да слова «муж» сінонімы мужык, чалавек, да слова «жонка» — маладзіца, дружына, жанчына і інш. Даччын муж — зяць; сынава жонка — нявестка (сынавая, сыновая). Мужавы бацькі — свёкар, свякроў (свякруха, свекрыва), жончыны — цешча, цесць; мужаў брат — дзевер, сястра — залвіца (залоўка). Слова «швагер» выражае 3 паняцці: сястрын муж, жончын брат, муж жончынай сястры; швагерка — жончына сястра. Братава жонка — братавая (браціха), братавыя паміж сабой — ятроўкі; дзядзькава жонка — дзядзіна (цётка). Бацькі мужа і жонкі адзін да аднаго — сваты, мацеры — свацці (свахі). У гаворках усе родныя мужа — сваты і свацці ў адносінах да ўсіх родных жонкі і наадварот. Асобна стаяць хросныя бацькі, хросная матка, хросныя дзеці — хроснік (хрэснік), хросніца (хрэсніца), а таксама назвы кум і кума. Усе яны звязаны з царкоўным абрадам хрышчэння. Апрача канкрэтных, ёсць агульныя назвы Р. і с.: радня, родзічы, сваякі, свае, у гаворках таксама радзіна, прырода, сраство, свайство, адроддзе, род і інш. Гл. таксама Роднасць у праве.

Літ.:

Трубачев О.Н. История славянских терминов родства и некоторых древних терминов общественного строя. М., 1959;

Булахаў М.Г. Старабеларускія назвы роднасці і сваяцтва // З жыцця роднага слова. Мн., 1968;

Алгебра родства: Родство. Системы родства. Системы терминов родства. Вып. 1. СПб., 1995.

К.​М.​Панюціч.

т. 13, с. 396