Verbum

БУРБАКІ́ Нікала

(Bourbaki Nicolas),

псеўданім групы франц. матэматыкаў. У групу, створаную ў 1937, аб’ядналіся выпускнікі Вышэйшай нармальнай школы (А.Картан, А.Вейль, Ж.Дзьеданэ і інш.), аднак колькасць удзельнікаў і поўны склад групы не абвешчаны. Выступаюць у друку, на кангрэсах і з’ездах ад імя адной асобы. Бурбакі паставілі перад сабой мэту стварыць трактат «Элементы матэматыкі», які ахапіў бы гал. раздзелы сучаснай матэматыкі на аснове фармальнага аксіяматычнага метаду.

За 1939—77 Бурбакі ў Францыі выдадзена больш за 40 твораў, значная частка якіх перакладзена на інш. мовы. Выкладанне матэм. тэорыі мае абстрактны і фармалізаваны характар, даецца толькі іх лагічны каркас. Аснова выкладання — т.зв. структуры, вызначаныя паводле аксіём. Спосаб разважання — ад агульнага да асобнага. Самыя істотныя вынікі атрыманы ў тапалогіі, тапалагічнай алгебры, алг. геаметрыі, тэорыі функцый многіх камплексных пераменных, тэорыі алг. лікаў і функцыянальным аналізе.

Тв.:

Рус. пер. — Очерки по истории математики. М., 1963;

Начала математики. Ч. 1, кн. 1. Теория множеств. М., 1965;

Общая топология: Тополог. группы... М., 1969.

т. 3, с. 347

ЛАГРА́НЖ (Lagrange) Жазеф Луі

(25.1. 1736, г. Турын, Італія — 10.4.1813),

французскі матэматык і механік, адзін са стваральнікаў аналітычнай механікі і варыяцыйнага злічэння. Чл. Берлінскай АН (1759) і яе прэзідэнт (1766—87), чл. Парыжскай АН (1772), замежны ганаровы чл. Пецярбургскай АН (1776). Вучыўся ў Турынскім ун-це. Праф. Артыл. школы (з 1754) у Турыне, Вышэйшай нармальнай школы (з 1795) і Політэхн. школы (з 1797) у Парыжы. Навук. працы па механіцы, геаметрыі, тэорыі дыферэнцыяльных ураўненняў, матэм. аналізе, тэорыі лікаў, алгебры, астраноміі. Сфармуляваў асн. варыяцыйныя прынцыпы механікі, увёў абагульненыя каардынаты, надаў ураўненням руху форму, названую яго імем (гл. Лагранжа ўраўненні), прапанаваў тэорыю лібрацыі Месяца і тэорыю руху спадарожнікаў Юпітэра, выканаў шэраг грунтоўных даследаванняў па розных раздзелах матэматыкі, матэм. картаграфіі і тэарэт. астраноміі.

Тв.:

Рус. пер. — Аналитическая механика. Т. 1—2. 2 изд. М.; Л., 1950.

Літ.:

Жозеф Луи Лагранж, 1736—1936: Сб. ст.: К 200-летию со дня рождения. М.; Л., 1937.

А.І.Болсун.

т. 9, с. 92

БЕРНУ́ЛІ

(Bernoulli),

сям’я швейц. вучоных 17—18 ст.

Якаб Бернулі (27.12.1654, г. Базель, Швейцарыя — 16.8.1705), матэматык. Праф. Базельскага ун-та (1687). Развіў метады злічэння бесканечна малых Г.Лейбніца; у тэорыі імавернасцяў даказаў самы просты выпадак закону вял. лікаў (тэарэма Бернулі); разам з братам Іаганам заклаў асновы варыяцыйнага злічэння. Іаган Бернулі (27.7.1667, Базель — 1.1.1748), матэматык. Праф. Гронінгенскага (1695) і Базельскага (1705) ун-таў. Ганаровы чл. Пецярбургскай АН (1725). Працы па злічэнні бесканечна малых і варыяцыйным злічэнні.

Данііл Бернулі (29.1.1700, г. Гронінген, Нідэрланды — 17.3.1782), механік і матэматык. Сын Іагана. Замежны ганаровы чл. Пецярбургскай АН (1733), дзе працаваў у 1725—33, чл. Балонскай (1724), Берлінскай (1747), Парыжскай (1748) АН, Лонданскага каралеўскага т-ва (1750). Працы па фізіялогіі, медыцыне, матэматыцы і механіцы. Распрацаваў метад лікавага рашэння алг. ураўненняў з дапамогай зваротных шэрагаў, вывеў асн. ўраўненне стацыянарнага руху ідэальнай вадкасці (Бернулі ўраўненне), працаваў над кінетычнай тэорыяй газаў.

Якаб Бернулі (17.10.1759, Базель — 3.7.1789), механік. Унук Іагана. Акад. Пецярбургскай АН (1787). Асн. працы па дыферэнцыяльных і інтэгральных ураўненнях, механіцы, муз. акустыцы.

Літ.:

Никифоровский В.А. Великие математики Бернулли. М., 1984.

т. 3, с. 121

ЛАБАЧЭ́ЎСКАГА ГЕАМЕ́ТРЫЯ,

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

Л.г. распрацавана М.І.Лабачэўскім у 1826 (апублікавана ў 1829—30). У 1832 аналагічныя вынікі незалежна атрымаў Я.Больяй. Перадумовай узнікнення Л.г. былі шматвяковыя спробы доказу аксіёмы пра паралельныя прамыя (пяты пастулат Эўкліда) на аснове астатніх аксіём. Лабачэўскі першы прыйшоў да высновы пра недаказальнасць пастулата і пра магчымасць існавання геам. сістэм з інш. аксіёмамі паралельнасці, пабудаваў своеасаблівую лагічна бездакорную геам. сістэму. Л.г. мае некаторыя асаблівасці (напр., 2 трохвугольнікі з роўнымі вугламі роўныя; сума вуглоў трохвугольніка меншая за 2 прамыя вуглы), якія не супярэчаць рэчаіснасці. Стварэнне Л.г. заклала асновы развіцця неэўклідавых геаметрый. значна пашырыла ўяўленні аб прыродзе прасторы і спрыяла ўзнікненню новых кірункаў у матэматыцы.

Літ.:

Смородинский Я.А., Сурков Е.Л. Геометрия Лобачевского и теория относительиости. М., 1971;

Лаптев Б.Л. Геометрия Лобачевского, ее история и значение. М.,1976.

В.І.Вядзернікаў.

т. 9, с. 81

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

раздзел матэматыкі, які вывучае агульныя ўласцівасці алгарытмаў; тэарэт. аснова кібернетыкі, вылічальнай матэматыкі.

У інтуітыўным паняцці алгарытмы выкарыстоўваліся ў матэматыцы на працягу яе існавання. Дакладнае паняцце алгарытму сфарміравалася ў пач. 20 ст. і ўпершыню з’явілася ў працах матэматыкаў франц. Э.Барэля (1912) і ням. Г.Вейля (1921). Сістэматычная распрацоўка алгарытмаў тэорыі пачалася ў 1936, калі амер. матэматык А.Чэрч удакладніў паняцце алгарытмічна вылічальнай функцыі і прывёў прыклад невыліч. функцыі, англ. А.Цьюрынг і амер. Э.Пост удакладнілі паняцце алгарытму ў тэрмінах ідэалізаваных выліч. машын (машыны Цьюрынга—Поста); сав. матэматык А.М.Калмагораў прапанаваў выкарыстанне алгарытмаў тэорыі для абгрунтавання інфармацыі тэорыі (1965).

Адзін з гал. Кірункаў алгарытмаў тэорыі — вывучэнне невырашальнасці (вырашальнасці) алгарытмічных праблем, напр., у самой алгарытмаў тэорыі — праблема спынення універсальнай машыны Цьюрынга; у матэм. логіцы — праблема распазнавання тоесна праўдзівых формул злічэння прэдыкатаў 1-й ступені; у алгебры — праблема тоеснасці для паўгруп; у тапалогіі — праблема гомеамарфізму; у тэорыі лікаў — 10-я праблема Д.Гільберта. Даследаванні прывялі да ўзнікнення паняцця ступені невырашальнасці, вывучэння адпаведных матэм. структур і паказалі, што алгарытмічныя праблемы невырашальнасці маюць найб. ступень.

Літ.:

Мальцев А.И. Алгоритмы и рекурсивные функции. 2 изд. М., 1986;

Ершов Ю.Л. Проблемы разрешимости и конструктивные модели. М., 1980.

Р.Т.Вальвачоў.

т. 1, с. 233

ДВАЙКО́ВАЯ СІСТЭ́МА ЛІЧЭ́ННЯ,

пазіцыйная сістэма лічэння з асновай 2. Мае толькі 2 знакі — лічбы 0 i 1. Лік 2 лічыцца адзінкай 2-га разраду і запісваецца ў выглядзе 10 (чытаецца: «адзін—нуль»), лік 4—3-га разраду і запісваецца як 100 і г.д. Кожная адзінка наступнага разраду ўдвая большая за папярэднюю. Каб лік, запісаны ў дзесятковай сістэме лічэння, запісаць у Д.сл., яго выражаюць праз ступені ліку 2, напр., 45₁₀ = 1∙2​⁵ + 0∙2​⁴ + 1∙2​³ + 1∙2​² + 0∙2​¹ + 1∙2​⁰ = 101101₂. Выкарыстоўваецца ў тэарэт. пытаннях і для апрацоўкі інфармацыі на лічбавых ЭВМ (уваходныя і выхадныя даныя прадстаўляюць у дзесятковай сістэме лічэння).

У Д.с.л. найб. проста выконваюцца ўсе арыфм. дзеянні, напр., табліца множання зводзіцца да роўнасці 11 = 1. Аднак гэта сістэма нязручная з-за грувасткага запісу лікаў, напр., лік 9000 у Д.с.л. будзе 14-разрадным. Каб скараціць даўжыню запісаў праграм для ЭВМ, кожныя 3 ці 4 двайковыя лічбы замяняюць адным сімвалам (з алфавіта 0, 1, ..., 7 або 0, 1, ..., 9, A B, C, D, E, F адпаведна) і атрымліваюць запіс у васьмярковай ці шаснаццатковай сістэме лічэння. Гл. таксама Лічэнне.

М.П.Савік.

т. 6, с. 73

ДЗЕСЯТКО́ВАЯ СІСТЭ́МА ЛІЧЭ́ННЯ,

найбольш пашыраная пазіцыйная сістэма лічэння з асновай 10. Мае 10 сімвалаў — лічбы 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. Мяркуюць, што выбар у якасці асновы ліку 10 бярэ пачатак ад лічэння на пальцах. Узнікла на аснове нумарацыі, якая зарадзілася ў Індыі ў 5 ст., назву арабскай атрымала таму, што ў Еўропе з ёй пазнаёміліся ў 10—12 ст. па лац. перакладах з араб. мовы; у Расіі Дз.с.л. пачала пашырацца з 17 ст.

Пазіцыйны прынцып Дз.с.л. азначае, што адзін і той жа знак (лічба) мае розныя значэнні ў залежнасці ад таго месца, на якім ён стаіць, і таму асобныя сімвалы патрэбныя толькі пры запісе першых 10 лікаў. Лік 10 (аснова Дз.с.л.) утварае адзінку 2-га разраду, 10 адзінак 2-га разраду (лік 100 = 10​²) — адзінку 3-га разраду і г.д. (адзінка кожнага наступнага разраду ў 10 разоў большая за адзінку папярэдняга). Для запісу ліку ў Дз.с.л. выяўляюць колькасць адзінак найвышэйшага разраду, потым у астачы — колькасць адзінак разраду, на 1 меншага, і г.д. Атрыманыя лічбы запісваюць побач. напр.. 4 · 10​² + 7 · 10 + 3 · 10° = 473. Гл. таксама Лічэнне.

М.П.Савік.

т. 6, с. 107

ВЕ́КТАР

(ад лац. vector вядучы, нясучы),

1) накіраваны адрэзак пэўнай даўжыні. Абазначаецца лац. літарамі тлустага шрыфту a, A (AB — калі пачатак вектара ў пункце A, канец у пункце B) ці светлага шрыфту з рыскай або стрэлкай над імі: a̅, $\overrightarrow{\mathrm{a}}$, A̅B̅, A$\overrightarrow{\mathrm{B}}$. Даўжынёй (модулем) вектара наз. даўжыня адрэзка AB і абазначаецца AB ці |A$\overrightarrow{\mathrm{B}}$|.

Два вектары роўныя, калі яны паралельныя ці аднолькава накіраваныя і маюць аднолькавую даўжыню. Вектар, пачатак і канец якога супадаюць, наз. нуль-вектарам, даўжыня яго роўная нулю. Яму не прыпісваецца ніякі напрамак. Вектар, даўж. якога роўная адзінцы, наз. адзінкавым. На плоскасці ці ў прасторы ўсякі вектар можа быць паказаны накіраваным адрэзкам, адкладзеным ад пачатку каардынат. Таму вектар можна задаваць трыма сапраўднымі лікамі (x, y, z) — праекцыямі вектара на восі прамавугольнай сістэмы каардынат (каардынатамі вектара). У n-мернай прасторы вектар вызначаецца як упарадкаваная сістэма n сапраўдных лікаў (x₁, x₂, ..., x_n).

З дапамогай вектара ў матэматыцы, фізіцы і механіцы апісваюцца сілы, скорасці, паскарэнні і інш. велічыні, зададзеныя лікам і напрамкам. Гл. таксама Вектарнае злічэнне.

2) У пераносным сэнсе — пэўны кірунак у якой-н. сферы дзейнасці ці адносін (напр., у палітыцы, эканоміцы і г.д.).

А.А.Гусак.

т. 4, с. 63

А́ЛГЕБРА,

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

Вялікі ўплыў на развіццё алг. ідэй і сімволікі зрабіла «Арыфметыка» Дыяфанта (3 ст.). Тэрмін «алгебра» паходзіць ад назвы твора Мухамеда аль-Харэзмі «Альджэбр аль-мукабала» (9 ст.), які мае агульныя метады рашэння алгебраічных ураўненняў (АУ) 1-й і 2-й ступеняў. У канцы 15 ст. замест грувасткіх слоўных апісанняў алг. дзеянняў у матэм. творах з’яўляюцца знакі «+» і «-», потым знакі ступеняў, кораняў, дужкі. У канцы 16 ст. Ф.Віет першы выкарыстаў літарныя абазначэнні. Да сярэдзіны 17 ст. ў асн. склалася сучасная алг. сімволіка. У далейшым погляд на алгебру мяняўся. Алгебра 17—18 ст. займалася літарнымі вылічэннямі (рашэнне АУ, тоеснае пераўтварэнне формул і інш.) у адрозненне ад арыфметыкі, якая аперыруе канкрэтнымі лікамі. Да сярэдзіны 18 ст. алгебра склалася прыблізна ў аб’ёме цяперашняй т.зв. элементарнай алгебры. Алгебра 18—19 ст. з’яўляецца ў асн. алгебрай мнагачленаў. Першай гіст. задачай алгебры было рашэнне АУ з адным невядомым. У 16 ст. італьян. матэматыкамі была знойдзена формула для рашэння ўраўненняў 3-й ступені (формула Кардана), потым метад рашэння ўраўненняў 4-й ступені (метад Ферары). Амаль 3 стагоддзі вёўся пошук формулы для рашэння ўраўненняў вышэйшай ступені. У 17 ст. ўпершыню выказана А.Жырарам, а ў канцы 18 ст. К.Гаўсам даказана асн. тэарэма алгебры аб існаванні камплекснага кораня для адвольных АУ з камплекснымі каэфіцыентамі. У 1824 Н.Абель даказаў, што ўраўненне вышэй 4-й ступені ў агульным выпадку ў радыкалах невырашальнае, а ў 1830 Э.Галуа знайшоў крытэрый вырашальнасці ў радыкалах АУ. Разам з тэарэмай АУ з адным невядомым разглядаліся сістэмы АУ з многімі невядомымі, у прыватнасці сістэмы лінейных ураўненняў, у сувязі з чым узніклі паняцці матрыцы і дэтэрмінанта. З сярэдзіны 19 ст. даследаванні ў алгебры паступова пераносяцца з тэорыі АУ да вывучэння адвольных алг. аперацый. Абстрактнае паняцце алг. аперацыі ўзнікла ў сярэдзіне 19 ст. ў сувязі з даследаваннем прыроды камплексных лікаў, а таксама ў выніку з’яўлення прыкладаў алг. аперацый над элементамі зусім інш. прыроды, чым лікі, — складанне і множанне матрыц і інш.

У пачатку 20 ст. алгебра стала разглядацца як агульная тэорыя алг. аперацый на аснове аксіяматычнага метаду (сфарміравалася пад уплывам прац Ц.Гільберта, Э.Штэйніца, Э.Арціна, Э.Нётэр і інш.). Сучасная алгебра вывучае мноствы адвольнай прыроды з зададзенымі на іх алг. аперацыямі (г.зн. алгебра ці універсальныя алгебра). Доўгі час вывучаліся толькі некалькі тыпаў універсальных алгебраў — групы, кольцы, лінейныя прасторы. Пазней пачалося вывучэнне абагульненняў паняцця групы — паўгрупы, квазігрупы і лупы. Разам з асацыятыўнымі кольцамі і алгебрай пачалі вывучацца і неасацыятыўныя кольцы і алгебра. Асацыятыўна-камутатыўныя кольцы і палі з’яўляюцца асн. аб’ектам вывучэння камутатыўнай алгебры, з якой цесна звязана алгебраічная геаметрыя. Важным тыпам алгебры з’яўляюцца структуры. Лінейныя прасторы, модулі, а таксама іх лінейныя пераўтварэнні і сумежныя пытанні вывучае лінейная алгебра, часткай якой з’яўляюцца тэорыі лінейных ураўненняў і матрыц. Да лінейнай алгебры прымыкае полілінейная алгебра. Першыя працы па агульнай тэорыі адвольных універсальных алгебраў належаць Г.Біркгафу (1830-я г.). У тыя ж гады А.І.Мальцаў і А.Тарскі заклалі асновы тэорыі мадэляў — мностваў з зададзенымі на іх адносінамі. У выніку цеснага збліжэння тэорыі універсальных алгебраў з тэорыяй мадэляў узнік новы раздзел алгебры, сумежны з алгебрай і матэматычнай логікай, — тэорыя алг. сістэм, якая вывучае мноствы з зададзенымі на іх алг. аперацыямі і адносінамі (гл. Алгебра логікі). Дысцыпліны, сумежныя з алгебрай і інш. часткамі матэматыкі, вызначаюцца ўнясеннем ва універсальныя алгебры дадатковых структур, узгодненых з алг. аперацыямі і адносінамі: тапалагічная алгебра, у т. л. тапалагічныя групы і групы Лі, тэорыя ўнармаваных кольцаў, дыферэнцыяльная алгебра, тэорыі розных упарадкаваных алгебраў. Да сярэдзіны 1950-х г. сфарміравалася гамалагічная алгебра, карані якой ляжаць у алгебры і тапалогіі.

Алг. паняцці і метады выкарыстоўваюцца ў геаметрыі, тэорыі лікаў, функцыян. аналізе, тэорыі дыферэнцыяльных ураўненняў, метадах вылічэнняў і інш. Алгебра мае вял. дачыненне да фізікі (выяўленні груп у квантавай фізіцы), крышталяграфіі (дыскрэтныя групы), кібернетыкі (тэорыі аўтаматаў і кадзіравання), матэм. эканомікі (лінейныя няроўнасці) і інш. Сістэм. даследаванні па алгебры на Беларусі пачалі Дз.А.Супруненка (1945) і С.А.Чуніхін (1953). Вядуцца пераважна ў Ін-це матэматыкі АН Беларусі, БДУ, Гомельскім ун-це ў школах У.П.Платонава, А.Я.Залескага, Л.А.Шамяткова.

Літ.:

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

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

Р.Т.Вальвачоў.

т. 1, с. 233

ГРА́ФАЎ ТЭО́РЫЯ,

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

Першыя задачы графаў тэорыі былі звязаны з рашэннем галаваломак і матэм. забаўляльных задач (напр., задачы аб Кёнігсбергскіх мастах, аб расстаноўцы ферзей на шахматнай дошцы, аб перавозках, кругасветным падарожжы, задача 4 фарбаў і інш.). Адным з першых вынікаў у графаў тэорыі быў крытэрый існавання абходу графа без паўтораў рэбраў (Л.Эйлер, 1736). У 19 ст. з’явіліся работы, у якіх пры рашэнні практычных задач атрыманы важныя вынікі ў графаў тэорыі (задачы пабудавання эл. ланцугоў, падліку хім. рэчываў з рознымі тыпамі малекулярных злучэнняў і інш.). У 20 ст. задачы, звязаныя з графамі, з’явіліся ў тапалогіі, алгебры, тэорыі лікаў, тэорыі імавернасці і інш. Найб. развіццё графаў тэорыя атрымала з 1950-х г. у сувязі са станаўленнем кібернетыкі і развіццём выліч. тэхнікі.

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

Літ.:

Лекции по теории графов. М., 1990.

Ю.Н.Сацкоў.

т. 5, с. 411