Verbum

АДПАВЕ́ДНАСЦІ ПРЫ́НЦЫП,

агульнаметадалагічны прынцып развіцця навукі, які патрабуе, каб кожная новая тэорыя, што прэтэндуе на больш глыбокае апісанне аб’ектыўнай рэальнасці на больш шырокую вобласць прымянення, чым старая, уключала апошнюю як свой асобны гранічны выпадак. Адлюстроўвае дыялектыку працэсу пазнання, пераходу ад менш поўнай да больш поўнай ісціны і пры гэтым змена адной прыродазнаўча-навук. тэорыі другой выяўляе не толькі розніцу, але і сувязь, пераемнасць паміж імі, якая можа быць выражана з матэм. дакладнасцю. Адпаведнасці прынцып сфармуляваны Н.Борам пры стварэнні першапачатковай квантавай тэорыі атама і яго спектраў (1913). Паводле адноснасці прынцыпу фіз. вынікі квантавай механікі ў гранічным выпадку вял. квантавых лікаў супадаюць з вынікамі класічнай тэорыі; квантава-мех. апісанне фіз. аб’ектаў павінна пераходзіць у класічнае пры h → 0 (h — Планка пастаянная); хвалевая оптыка — у геам. пры λ → 0, дзе λ — даўжыня хвалі; законы рэлятывісцкай механікі — у законы класічнай пры скарасцях руху v << c, дзе c — скорасць святла ў вакууме.

Л.​М.​Тамільчык.

т. 1, с. 126

БУРБАКІ́ (Нікала) (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

ІНВАРЫЯ́НТ у матэматыцы,

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

Становішча адрэзка M₁M₂ на плоскасці вызначаецца ў прамавугольнай дэкартавай сістэме каардынат 2 парамі лікаў x₁, y₁ і x₂, y₂ — каардынатамі яго канцоў M₁ і M₂. Пры пераўтварэннях сістэмы каардынат (зрушэнне яе пачатку і паварот восей) пункты M₁ і M₂ набываюць новыя каардынаты x₁′, y₁′ і x₂′, y₂′, аднак выраз (x₁−x₂)​² + (y₁−y₂)​² = (x₁′−x₂′)​² + (y₁′−y₂′)​², які вызначае квадрат даўжыні адрэзка M₁M₂, не мяняецца. І. з’яўляецца таксама інтэрвал — «адлегласць» паміж 2 падзеямі ў чатырохмернай прасторы-часе Паняцце І. адыгрывае важную ролю ў геаметрыі, тэорыі груп, тапалогіі, тэнзарным аналізе, фізіцы і інш. Гл. таксама Інварыянтнасць.

С.​У.​Доўнар.

т. 7, с. 219

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

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

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

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

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

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

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

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

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

Літ.:

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

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

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

т. 1, с. 233