Verbum

ГЛАЗЕНА́П Сяргей Паўлавіч

(25.9.1848, с. Паўлаўскае Цвярской вобл., Расія — 12.4.1937),

расійскі астраном. Ганаровы чл. АН СССР (1929). Герой Працы (1932). Скончыў Пецярбургскі ун-т (1870). У 1870—77 у Пулкаўскай абсерваторыі, з 1877 у Пецярбургскім ун-це (з 1889 праф.). Адзін з заснавальнікаў Рус. астр. т-ва. Навук. працы па вывучэнні руху спадарожнікаў Юпітэра, даследаванні падвойных і пераменных зорак, рэфракцыі святла ў зямной атмасферы. Прапанаваў спосаб вызначэння арбіт падвойных зорак. Пад яго кіраўніцтвам пабудавана абсерваторыя Пецярбургскага ун-та. Аўтар падручнікаў па астраноміі і матэматыцы.

Літ.:

Перель Ю.Г. Выдающиеся русские астрономы. М.; Л., 1951.

т. 5, с. 284

АГІНА́ЛЬНАЯ сям’і ліній,

лінія, якая ў кожным сваім пункце датыкаецца да адной лініі сям’і. Напр., усякая крывая з’яўляецца агінальнай для сям’і сваіх датычных; агінальная сям’і акружнасцяў аднолькавага радыуса R з цэнтрамі на адной прамой — пара прамых, кожная з якіх ляжыць на адлегласці R ад лініі цэнтраў (гл. рыс.). Ураўненне агінальнай сям’і ліній на плоскасці, якія вызначаюцца ўраўненнем 𝑓(x, y, C) = 0, можна знайсці з сістэмы 𝑓(x, y, C) = 0, 𝑓_c (x, y, C) = 0 выключэннем параметра C пры ўмове, што 𝑓(x, y, C) мае неперарыўныя першыя частковыя вытворныя па ўсіх пераменных.

т. 1, с. 75

АЛГЕБРАІ́ЧНАЯ ГЕАМЕ́ТРЫЯ,

раздзел матэматыкі, які вывучае геаметрычныя аб’екты, звязаныя алг. ўраўненнямі, — алг. мнагастайнасці. Узнікла ў 17 ст. з увядзеннем у геаметрыю паняцця каардынат. У сярэдзіне 19 ст. алгебраічная геаметрыя выдзелілася з матэм. аналізу як тэорыя алг. крывых. У канцы 19 ст. італьян. вучоныя К.Сегрэ, Л.Крэмона і інш. стварылі тэорыю алг. паверхняў. У 1930-я г. матэматыкі галандскі Б.Л.Ван-дэр-Вардэн, ням. Г.Гасе і франц. А.Вейль стварылі асновы алгебраічнай геаметрыі над адвольным полем К. Падабенства тэорыі алг. крывых і тэорыі алг. лікаў стымулявала пошукі агульнай алг. асновы (амер. вучоны О.Зарыскі, франц. матэматыкі К.Шэвале і Ж.Сер). Асновай стала тэорыя схем (франц. матэматык А.Гратэндзік), дзе, напр., на геам. мове разглядаліся сістэмы алг. ураўненняў над адвольным камутатыўным кольцам, апісваліся ўласцівасці праектыўных мнагастайнасцяў. Алгебраічная геаметрыя звязана з тэорыяй функцый камплексных пераменных, лікаў тэорыяй, ураўненнямі матэматычнай фізікі і інш.

Літ.:

Шафаревич И.Р. Основы алгебраической геометрии. 2 изд. Т. 1—2. М., 1988;

Гриффитс Ф., Харрис Дж. Принципы алгебраической геометрии: Пер. с англ. Т. 1—2. М., 1982.

В.А.Ліпніцкі.

т. 1, с. 234

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

(Bourbaki Nicolas),

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

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

Тв.:

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

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

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

т. 3, с. 347

АНА́ЛАГАВАЯ ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА

(АВМ),

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

Папярэднікамі сучаснай АВМ можна лічыць лагарыфмічную лінейку, графікі і намаграмы (гл. Намаграфія) для вызначэння функцый некалькіх пераменных, упершыню прыведзеныя ў дапаможніках па навігацыі (1971), аналагавую прыладу (планіметр) англ. вучонага Дж.Германа для вызначэння плошчы, якая ўтворана замкнутай крывой на плоскасці (1814). Першая мех. АВМ для рашэння дыферэнцыяльных ураўненняў пры праектаванні караблёў прапанавана рус. вучоным А.М.Крыловым у 1904. Сав. Матэматык С.А.Гершгорын (1927) заклаў асновы пабудовы сеткавых мадэляў АВМ.

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

т. 1, с. 333

АНАЛІТЫ́ЧНАЯ ФУ́НКЦЫЯ,

функцыя, значэнне якой у кожным пункце яе вобласці вызначэння роўнае суме ступеннага шэрага, які збягаецца ў некаторым наваколлі гэтага пункта. Да аналітычнай функцыі адносяцца: рацыянальная функцыя, паказнікавая функцыя, лагарыфмічная функцыя, трыганаметрычныя функцыі, адваротныя трыганаметрычныя функцыі, іх разнастайныя кампазіцыі, а таксама функцыі, адваротныя да гэтых кампазіцый. Існуюць аналітычныя функцыі аднаго або некалькіх рэчаісных ці камплексных пераменных. Функцыя 𝑓(z) аднаго комплекснага пераменнага z=x+iy наз. аналітычнай функцыяй у пункце z₀, калі ў некаторым наваколлі h гэтага пункта існуе канечная вытворная $\mathrm{f}\text{′(}\mathrm{z}\text{)}=\underset{\mathrm{h}\to 0}{\overset{}{lim}}\frac{\mathrm{f}\text{(}\mathrm{z}+\mathrm{h}\text{)}-\mathrm{f}\text{(}\mathrm{z}\text{)}}{\mathrm{h}}$ (дыферэнцыравальнасць функцыі), што мае месца ў тым і толькі ў тым выпадку, калі выконваецца ўмова Кашы—Рымана $\frac{\mathrm{dt}}{\mathrm{dz̅}}=0$ , дзе $\mathrm{z̅}=\mathrm{x}+\mathrm{y}$. Асновы тэорыі аналітычнай функцыі былі закладзены А.Кашы, Б.Рыманам і К.Веерштрасам, С.В.Кавалеўскай і інш. На Беларусі даследаванні па тэорыі аналітычнай функцыі пачаліся ў 1930-я г. ў БДУ (М.В.Ламбін, М.Л.Лукомская), з 1960-х г. праводзяцца ў АН, БДУ і інш. ВНУ рэспублікі (Ф.Дз.Гахаў, Э.І.Звяровіч і інш.). Аналітычныя функцыі маюць шматлікія дастасаванні ў матэм. аналізе (вылічэнне вызначаных інтэгралаў), у геаметрыі (канформныя адлюстраванні), у тэорыі пругкасці, гідрадынаміцы, электрадынаміцы і інш. навуках. Гл. таксама Кашы інтэграл, Кашы тэарэма.

Літ.:

Маркушевич А.И. Теория аналитических функций. Т. 1—2. М., 1967—68;

Шабат Б.В. Введение в комплексный анализ. Ч. 1—2. 3 изд. М., 1985;

Гахов Ф.Д. Краевые задачи. 3 изд. М., 1977.

Э.І.Звяровіч.

т. 1, с. 335

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

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

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

А.А.Гусак.

т. 7, с. 99

А́ЛГЕБРА ЛО́ГІКІ,

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.Буль (1815—64). Алгебра логікі разглядае выказванні толькі з пункту гледжання іх праўдзівасці (пазначаюць лічбамі 1 — праўдзівасць і 0 — ілжывасць). Логікавыя аперацыі над выказваннямі даюць магчымасць будаваць новыя выказванні. Праўдзіваснае значэнне такога выказвання A (a₁,..., a_n), атрыманага пры дапамозе логікавых аперацый з прасцейшых выказванняў a₁, ..., a_n, адназначна выяўляецца праўдзіваснымі значэннямі зыходных выказванняў a₁,..., a_n. Таму кожнаму такому выказванню A (a₁, ..., a_n) адпавядае n-ме́сцавая функцыя, якая прымае значэнні 0,1, аргументы яе таксама прымаюць гэтыя значэнні. Такія функцыі наз. функцыямі алгебры логікі, ці булевымі, функцыямі. Яны могуць быць зададзеныя з дапамогай праўдзівасных табліц, якія маюць 2​ⁿ радкоў.

Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць x̅. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B наз. роўнымі (раўназначнымі), калі адпаведныя ім функцыі роўныя, г.зн. калі супадаюць іх праўдзівасныя табліцы. Азначэнне A=B ці A≡B, A~B, калі кажуць пра іх раўназначнасць. Важную ролю ў алгебры логікі маюць роўнасці, якія задаюць булеву алгебру.

Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць вял. прыкладное значэнне. Сістэма функцый Ф. наз. функцыянальна поўнай, калі адвольная функцыя алгебры логікі можа быць рэалізаваная формулай, якая мае толькі сімвалы функцый з Ф. Напр., сістэмы функцый {&, ⋁, ¬}, {&, ¬}, {⋁, ¬}, {⇒, ¬}, {x | у}, {x ↓ у} функцыянальна поўныя (тут $\mathrm{x}|\mathrm{y}=\mathrm{x}\&\mathrm{y}\_$ , $\mathrm{x}\downarrow \mathrm{y}=\mathrm{x}\bigvee \mathrm{y}$ , якія наз. штрыхам Шэфера і стрэлкай Пірса адпаведна).

Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі эл. схем.

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

т. 1, с. 234