Verbum

АНАЛІТЫ́ЧНАЯ МЕХА́НІКА,

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

Галаномная сістэма (мех. сувязі залежаць толькі ад каардынат і часу) у патэнцыяльным полі характарызуецца функцыяй Лагранжа L=T-U, дзе T — кінетычная і U — патэнцыяльная энергія сістэмы. Калі вядома канкрэтная залежнасць L=L(q,q́,t), дзе q — абагульненыя каардынаты, q́ — абагульненыя скорасці, t — час, то пры дапамозе прынцыпу найменшага дзеяння можна знайсці дыферэнцыяльныя ўраўненні руху мех. сістэмы. Іх інтэграванне пры зададзеных пачатковых умовах дазваляе вызначыць закон руху сістэмы, г.зн. залежнасці q_i=q_i(t), дзе i=1, 2, ..., S, S — лік ступеняў свабоды.

Асн. Палажэнні аналітычнай механікі распрацаваў Ж.Лагранж (1788), значны ўклад зрабілі У.Гамільтан, М.В.Астраградскі, П.Л.Чабышоў, А.М.Ляпуноў, М.М.Багалюбаў, А.Ю.Ішлінскі і інш. Метады аналітычнай механікі далі магчымасць выявіць сувязь паміж асн. паняццямі механікі, оптыкі і квантавай механікі (оптыка-мех. аналогіі). Абагульненне варыяцыйных прынцыпаў механікі на неперарыўныя квантава-рэлятывісцкія сістэмы склала матэм. аснову тэорыі поля. Дасягненні аналітычнай механікі садзейнічалі развіццю балістыкі, нябеснай механікі, тэорыі ўстойлівасці, тэорыі аўтам. кіравання і інш.

Літ.:

Кильчевский Н.А. Курс теоретической механики. Т. 2. М., 1977.

А.І.Болсун.

т. 1, с. 334

АДВАРО́ТНЫЯ ТРЫГАНАМЕТРЫ́ЧНЫЯ ФУ́НКЦЫІ, кругавыя функцыі,

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

Адрозніваюць $\mathrm{Arcsin}x$ («арксінус x») — мноства функцый, адваротных да $\sin x$; $\mathrm{Arccos}x$ («арккосінус x») — да $\cos x$; $\mathrm{Arctg}x$ («арктангенс х») — да $\mathrm{tg}x$; $\mathrm{Arcctg}x$ (арккатангенс x») — да $\mathrm{ctg}x$; $\mathrm{Arcsec}x$ («арксеканс x») да $\sec x$; $\mathrm{Arccosec}x$ («арккасеканс x») — да $\mathrm{cosec}x$. Функцыі $\mathrm{Arcsin}x$ і $\mathrm{Arccos}x$ вызначаны пры $\mathrm{|x|}\le 1$, $\mathrm{Arctg}x$ і $\mathrm{Arcctg}x$ — для ўсіх сапраўдных x, $\mathrm{Arcsec}x$ і $\mathrm{Arccosec}x$ — $\mathrm{|x|}\ge 1$ (2 апошнія выкарыстоўваюцца рэдка). У выніку перыядычнасці трыганаметрычных функцый для кожнай з іх існуе бесканечнае мноства адваротных функцый, гал. значэнні якіх вызначаюцца ўмовамі: -π/2 ≤ arcsin x ≤ π/2; 0 ≤ arccos x ≤ π; -π/2 ≤ arctg x ≤ π/2; 0 ≤ arsec x ≤ π; 0 ≤ arcctg x ≤ π; -π/2 ≤ arccosec x ≤ π/2. Суадносіны паміж трыганаметрычнымі функцыямі можна замяніць суадносінамі паміж адваротнымі трыганаметрычнымі функцыямі, напр., з роўнасці $\mathrm{tg}x=\frac{\sin x}{\sqrt{1-{\sin }^{2}x}}$ вынікае, што $\arcsin x=\mathrm{arctg}\frac{x}{\sqrt{1-x^2}}$ .

т. 1, с. 99

ЛО́ГІКА КЛА́САЎ,

раздзел логікі, у якім разглядаюцца класы (мноствы) прадметаў, што задаюцца характарыстычнымі ўласцівасцямі гэтых прадметаў (элементаў класаў). Л.к. выступае як прыватны выпадак логікі прэдыкатаў, што аперыруе з аб’ёмамі (класамі) паняццяў, змест якіх выражаецца адпаведнымі аднамеснымі прэдыкатамі. Л.к. адпавядае таксама сілагістыцы Арыстоцеля. Часам яна разглядаецца як фармалізаваная тэорыя мностваў, у іншых выпадках — як расшырэнне логікі выказванняў. Калі ў логіцы выказванняў абстрагуюцца ад сувязей паміж суб’ектам і прэдыкатам выказвання, то ў Л.к. гэтыя сувязі ўлічваюцца. У лік класаў у Л.к. уключаецца і пусты клас (0), які ўтрымлівае нулявое мноства элементаў, і ўніверсальны клас (1), які ўключае ўсе аб’екты. З класамі (мноствам) можна рабіць аперацыі: перасячэння (знаходжанне агульных для іх элементаў), аб’яднання (складання) і дапаўнення да ўзроўню універсальнага класа. Да алфавіта логікі выказванняў у Л.к. дадаюцца: пераменныя a, b, c, ... для класаў; знакі, якія абазначаюць аперацыі з класамі; пастаянныя тэрмы 0 і 1; знакі для абазначэння адносін паміж класамі. Уводзяцца адносіны ўключэння класа ў клас (a⊂b) — a уключаецца ў клас b; адносіны роўнасці двух класаў (a=b); абедзве гэтыя формы адносін могуць быць вызначаны праз адносіны прыналежнасці элемента класу (a∈b).

В.В.Краснова.

т. 9, с. 334

ІЗАМАРФІ́ЗМ (ад іза... + грэч. morphe форма) у матэматыцы, узаемна адназначнае адлюстраванне аднаго матэм. аб’екта з зададзенымі на ім аперацыямі і суадносінамі (напр., групы, структуры, поля) на другі, якое захоўвае гэтыя аперацыі і суадносіны; адно з асн. паняццяў сучаснай матэматыкі. І. алг. сістэмы на сябе наз. аўтамарфізмам.

Паняцце І. ўзнікла ў пач. 19 ст. ў тэорыі груп, дзе Р.Дэкарт заўважыў, што вывучэнне ўнутранай будовы двух ізаморфных аб’ектаў уяўляе сабой адну і тую ж задачу; сучасную тэрміналогію распрацавала ням. матэматык Э.Нётэр. І. выяўляе ўласцівасці аперацый і суадносін, якія не залежаць ад элементаў даследаваных аб’ектаў і аднолькавыя для ўсіх ізаморфных аб’ектаў (абстрактныя ўласцівасці). Напр., мноству X сапраўдных лікаў з зададзенай аперацыяй множання ізаморфнае мноства Y сапраўдных лікаў з зададзенай аперацыяй складання, калі ліку x з X паставіць у адпаведнасць лік y=log_ax з Y (адваротнае адлюстраванне x=a​^y). Тады здабытку x=x₁x₂ адпавядае сума y=y₁+y₂=log_ax₁+log_ax₂, узвядзенню ў n-ю ступень — множанне на n, здабыванню кораня ступені n — дзяленне на n і інш., што закладзена ў аснову выкарыстання лагарыфмаў у арыфм. вылічэннях, прынцыпу работы лагарыфмічнай лінейкі і інш. Гл. таксама Гомамарфізм.

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

т. 7, с. 176