Verbum

БЕРНУ́ЛІ (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

ЛІМІ́Т у матэматыцы,

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

Л. функцыі 𝑓(z) у пункце z = a ёсць лік A, да якога неабмежавана набліжаецца значэнне функцыі 𝑓(z), калі z імкнецца да α (запісваецца ${\displaystyle \underset{z\to a}{\overset{\mathrm{}}{lim}}𝑓\text{(}z\text{)}=A}$ ).

Больш дакладна: лік A наз. Л. функцыі 𝑓(z) у пункце z = a, калі для адвольнага дадатнага ліку ε можна ўказаць такі дадатны лік δ, што для ўсіх значэнняў z, якія задавальняюць |z−a|<δ, і не супадаюць з a, выконваецца ўмова |𝑓(z)−A|<ε. Л. паслядоўнасці лікаў a₁, a₂, ... a_n, ... ёсць лік a, да якога неабмежавана набліжаюцца ўсе члены паслядоўнасці, пачынаючы з некаторага дастатковага вял. нумара (запісваецца ${\displaystyle \underset{n\to \infty }{\overset{\mathrm{}}{lim}}{a}_n=a}$ ). Больш дакладна: лік a наз. Л. паслядоўнасці a₁, a₂, ... a_n, ..., калі для адвольнага дадатнага ліку ε можна ўказаць такі нумар N, што для ўсіх членаў паслядоўнасці з нумарам n>N мае месца ўмова |a_n−a|<ε. Паняцце Л. ўжываецца да дыскрэтных і пераменных паслядоўнасцей, якія мяняюцца неперарыўна.

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

т. 9, с. 260

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

найбольш пашыраная пазіцыйная сістэма лічэння з асновай 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

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

пазіцыйная сістэма лічэння з асновай 2. Мае толькі 2 знакі — лічбы 0 і 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

ВЕ́КТАР (ад лац. vector вядучы, нясучы),

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

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

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

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

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

т. 4, с. 63

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

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

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

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

Літ.:

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

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

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

т. 1, с. 233

ПУАНКАРЭ́ ((Poincaré) Жуль Анры) (29.4.1854, г. Нансі, Францыя 17.7.1912),

французскі матэматык, фізік і астраном. Чл. Парыжскай АН (1887), Французскай акадэміі (1909). Скончыў Політэхн. (1875) і Горную (1879) школы. З 1881 у Парыжскім ун-це (з 1886 праф.), адначасова з 1893 чл. Бюро даўгот. Навук. працы па тэорыі лікаў, алгебры, тапалогіі, тэорыях функцый, дыферэнцыяльных ураўненняў і імавернасцей, матэм. і тэарэт. фізіцы, нябеснай механіцы і касмагоніі, метадалогіі навук. пазнання. Пабудаваў якасную тэорыю дыферэнцыяльных ураўненняў, распрацаваў тэорыю інтэгральных інварыянтаў і інш. Адкрыў аўтаморфныя функцыі ад адной камплекснай пераменнай (1883) і распрацаваў іх тэорыю. Увёў асн. паняцці камбінаторнай тапалогіі, даў уласную інтэрпрэтацыю геаметрыі Лабачэўскага (1882). Вызначыў фігуры важкіх вадкасцей пры іх вярчэнні ва ўласным гравітацыйным полі, даказаў існаванне фігур раўнавагі, адрозных ад эліпсоіда-, кольца- і грушападобных і даследаваў іх устойлівасць. Незалежна ад А.Эйнштэйна развіў матэм. асновы спец. тэорыі адноснасці, увёў тэрмін «Лорэнца пераўтварэнні». Даследаваў праблемы цеплаправоднасці, электрамагнетызму, оптыкі, тэорыі пругкасці, тэорыі патэнцыялу. Залаты медаль Каралеўскага астр. т-ва (1900). Імем П. названы кратэр на адваротным баку Месяца.

Тв.:

Рус. пер. — О кривых, определяемых дифференциальными уравнениями. М.; Л., 1947;

Лекции по небесной механике. М., 1965;

Избр. труды. Т. 1—3. М., 1971—74;

О науке. 2 изд. М., 1990.

Літ.:

Тяпкин А.А., Шибанов А.С. Пуанкаре. 2 изд. М., 1982.

М.​М.​Касцюковіч.

т. 13, с. 113

А́ЛГЕБРА,

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

Вялікі ўплыў на развіццё алг. ідэй і сімволікі зрабіла «Арыфметыка» Дыяфанта (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