НЕРНСТ ((Nernst) Вальтэр Фрыдрых Герман) (25.6.1864, г. Вамбжэзьна Куяўска-Паморскага ваяв., Польшча — 18.11.1941),

нямецкі фізік і фізікахімік, адзін са стваральнікаў фізічнай хіміі. Чл. Берлінскай АН (1905), Лонданскага каралеўскага т-ва (1932). Замежны ганаровы чл. АН СССР (1926). Скончыў Вюрцбургскі ун-т (1887). З 1891 праф. Гётынгенскага ун-та, у 1902—33 праф. і адначасова дырэктар Ін-та хіміі (1905—22), Ін-та фізікі (1924—33) Берлінскага ун-та. Навук. працы па фізіцы нізкіх тэмператур, тэрмадынаміцы, тэорыі раствораў, хім. кінетыцы, электрахіміі. Сфармуляваў трэці закон тэрмадынамікі (гл. Нернста тэарэма), адкрыў адну з тэрмамагн. з’яў (гл. Нернста—Этынгсгаўзена эфект). Распрацаваў дыфузійную тэорыю гетэрагенных хім. рэакцый на мяжы падзелу фаз (1904). Атрымаў ураўненне залежнасці электроднага патэнцыялу ад тэрмадынамічнай актыўнасці ўдзельнікаў электрахім. рэакцыі (ураўненне Н., 1888). Нобелеўская прэмія 1920.

Тв.:

Рус. пер. — Теоретическая химия с точки зрения закона Авогадро и термодинамики. СПб., 1904.

Літ.:

Гельфер Я.М. История и методология термодинамики и статистической физики. 2 изд. М., 1981;

Льоцци М. История физики: Пер. с итал. М., 1970.

А.І.Болсун.

В.Нернст.

т. 11, с. 293

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

АПЕРА́ТАРЫ ў квантавай механіцы, матэматычныя аперацыі, якія выконваюцца над хвалевай функцыяй, што апісвае стан сістэмы. Служаць для супастаўлення з зададзенай хвалевай функцыяй (вектарам стану) ψ інш. функцыі ψ′ : ψ′ = L^ψ , дзе L^ — аператар, якому адпавядае фіз. велічыня L. Напр., аператар множання x^ψ=x, дзе x^ — аператар каардынаты; дыферэнцавання P^xψ = ih ψ x , дзе P^x — аператар праекцыі імпульсу на вось х. Над аператарам можна выконваць алг. дзеянні, напр., здабытак L^=L^1L^2 азначае, што L^ψ=ψ″, калі L^1ψ=ψ′ і L^2tp′=ψ″. Яўны выгляд аператара вызначаецца ўласцівасцямі пераўтварэнняў той сіметрыі, з якой звязана матэм. фармулёўка адпаведнага закону захавання (гл. Нётэр тэарэма). Уласцівасці аператара L^ вызначаюцца ўраўненнем L^ψ=L^nψn; яго рашэнні ψn (уласныя функцыі) апісваюць квантавыя станы, у якіх фіз. велічыня L прымае значэнні Ln(уласныя значэнні аператара). Набор такіх значэнняў (спектр) выяўляе ўсе значэнні фіз. велічыні L, якія можна вызначыць эксперыментальна, бывае неперарыўным (напр., аператар каардынат, імпульсу), дыскрэтным (аператар праекцыі моманту імпульсу на каардынатную вось) і змешаным (аператар энергіі ў залежнасці ад характару сіл, што дзейнічаюць у сістэме; дыскрэтныя ўласныя значэнні аператара наз. ўзроўнямі энергіі). У квантавай механіцы карыстаюцца пераважна лінейнымі аператарамі і эрмітавымі аператарамі.

А.А.Богуш.

т. 1, с. 423

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

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

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

Літ.:

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

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

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

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

т. 1, с. 335

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

МА́КСВЕЛА ЎРАЎНЕ́ННІ,

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

М.ў. звязваюць напружанасць эл. поля E, магн. індукцыю B, эл. індукцыі D і напружанасць магн. поля H з характарыстыкамі крыніц эл. і магн. палёў: шчыльнасцю эл. зарадаў і шчыльнасцю току праводнасці j. У дыферэнцыяльнай форме маюць выгляд: rotE = B t (1), rotH = j + D t (2), divD = ρ (3), divB = 0 (4), дзе D t — шчыльнасць току зрушэння. М.ў. дапаўняюцца матэрыяльнымі ўраўненнямі: D = ε0 ε E , B = μ0 μ H , j = γ E , дзе ε00) — эл. (магн.) пастаянная, ε(μ) — адносная дыэлектрычная (магн.) пранікальнасць і γ — эл. праводнасць асяроддзя. М.ў. (1) выяўляе непарыўную сувязь паміж эл. і магн. палямі і выражае закон электрамагнітнай індукцыі, (2) паказвае, што крыніцай магн. поля з’яўляюцца токі праводнасці і токі зрушэння (гл. Поўнага току закон), (3) устанаўлівае, што крыніцай эл. поля з’яўляюцца эл. зарады (гл. Гаўса тэарэма), (4) паказвае на адсутнасць адасобленых крыніцы магн. поля (магн. зарадаў). М.ў. дазваляюць вызначыць асн. характарыстыкі эл.-магн. поля E, D, B, H у кожным пункце прасторы і ў кожны момант часу, калі вядомыя Q, i, j як функцыі каардынат і часу. З М.ў. вынікае магчымасць існавання электрамагнітных хваль, якія распаўсюджваюцца ў вакууме са скорасцю святла. М.ў. адлюстроўваюць глыбокую сувязь эл. і магн. з’яў і з’яўляюцца тэарэтычнай асновай класічнай і квантавай электрадынамікі, фіз. оптыкі, тэорыі распаўсюджання эл.-магн. хваль і інш. раздзелаў электрамагнетызму.

А.І.Болсун.

т. 9, с. 544

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

ЗЛІЧЭ́ННЕ,

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

У матэматычнай логіцы любое З. адназначна задаецца зыходнымі элементамі (алфавітам З.), правіламі ўтварэння формул дадзенага З. (слоў ці выразаў), сукупнасцю аксіём і правіл пераўтварэння (вывядзення) яго фразеалогіі. Прыпісванне элементам З. пэўных значэнняў (гл. Семантыка лагічная) пераўтварае З. ў фармалізаваную мову. Напр., у З. выказванняў шляхам пэўнай канечнай працэдуры (доказу; улічваецца толькі праўдзівасць ці непраўдзівасць выказвання) атрымліваюць выказванні-тэарэмы (гл. Логіка выказванняў). У выніку атрымліваюць лагічную сістэму, якая фармалізуе разважанне, заснаванае на структуры складаных выказванняў у адрозненне ад унутранай структуры элементарных выказванняў. Пры З. прэдыкатаў атрымліваюць сцвярджэнні (формулы, тэарэмы) з улікам суб’ектна-прэдыкатыўнай структуры выказванняў (напр., «элемент X мае ўласцівасць P), што дае магчымасць выяўляць сувязь аб’ектаў з іх уласцівасцямі і суадносіны паміж імі, колькасна характарызаваць сувязь рэчаў, уласцівасцей і адносін з дапамогай лагічных эквівалентаў выразаў «усе», «некаторыя», «кожны» і інш. (гл. Квантары). Такое З. адпавядае логіцы прэдыкатаў, калі яно мае ўласцівасці несупярэчлівасці (кожная тэарэма агульназначная) і паўнаты (кожная агульназначная формула даказальная). З. прэдыкатаў уключае З. выказванняў і разглядаецца звычайна як яго пашырэнне шляхам фармалізацыі вывадаў, заснаваных на ўнутранай структуры выказванняў. Тэорыю З. прэдыкатаў распрацаваў ням. логік, матэматык і філосаф Г.Фрэге, чым істотна ўзбагаціў сілагістыку Арыстоцеля і традыц. сілагістыку. Абагульненне З. выказванняў — З. класаў, дзе дадаткова разглядаецца суб’ектна-прэдыкатная структура выказванняў і пры гэтым з кожным прэдыкатам (уласцівасцю) звязваецца ўся сукупнасць элементаў (клас) з разгляданай вобласці, якія маюць гэтую ўласцівасць (гл. Логіка класаў). З. класаў часам разглядаюць як фармалізаваную тэорыю мностваў, выкарыстоўваюць як дапаможны этап пры пераходзе ад З. выказванняў да З. прэдыкатаў і будуюць на базе З. выказванняў з дапамогай адпаведнай інтэрпрэтацыі яго формул.

Літ.:

Гильберт Д., Аккерман В. Основы теоретической логики: Пер. с нем. М., 1947;

Методологические проблемы развития и применения математики. М., 1985;

Жуков Н.И. Философские основания математики. 2 изд. Мн., 1990.

С.Ф.Дубянецкі.

т. 7, с. 76

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.Т.Вальвачоў, У.К.Лукашэвіч.

т. 1, с. 207

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

А́ЛГЕБРА,

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

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

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)