Verbum

МНО́СТВАЎ ТЭО́РЫЯ,

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

Заснавана Г.Кантарам, які ўвёў паняцці магутнасці мноства, даказаў незлічонасць мноства рэчаісных лікаў, сфармуляваў паняцце актуальна бясконцага (гл. Бесканечнае і канечнае, Бесканечнасць). Паняцце мноства належыць да першапачатковых матэм. паняццяў, яго можна тлумачыць толькі на прыкладах. Адно з асн. паняццяў М.т. — паняцце прыналежнасці элемента дадзенаму мноству. Мноства лічыцца зададзеным, калі зададзена характарыстычная ўласцівасць яго элементаў; а калі дадзенай уласцівасці не мае ні адзін з элементаў, то гавораць, што такая ўласцівасць вызначае пустое мноства. Напр., мноства рэчаісных каранёў ураўнення х​² = -1 з’яўляецца пустым. Магчымасць колькаснай параўнальнай ацэнкі мностваў грунтуецца на паняцці ўзаемна адназначнай адпаведнасці (біекцыі) паміж 2 мноствамі: мноствы X і Y з’яўляюцца роўнамагутнымі (эквівалентнымі), калі паміж іх элементамі вызначана ўзаемна адназначная адпаведнасць. Бясконцыя мноствы, роўнамагутныя мноству ўсіх цэлых лікаў, наз. злічонымі (напр., мноства рацыянальных лікаў). Мноства ўсіх рэчаісных лікаў мае магутнасць (абагульненне паняцця ліку элементаў), большую за магутнасць злічонага мноства, і яго магутнасць наз. магутнасцю кантынуума. Значны ўклад у развіццё М.т. зрабілі рас. матэматыкі Дз.​Ф.​Ягораў, М.​М.​Лузін, П.​С.​Аляксандраў, А.​М.​Калмагораў, П.​С.​Новікаў, амер. матэматык П.​Дж.​Коэн.

Літ.:

Бурбаки Н. Теория множеств: Пер. с фр. М., 1965;

Коэн П.​Дж. Теория множеств и континуум-гипотеза: Пер. с англ. М., 1969;

Александров П.С. Введение в теорию множеств и общую топологию. М., 1977.

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

т. 10, с. 502

ІЗАЛЯВА́НЫ ПУНКТ,

пункт некаторага мноства, у дастаткова малым наваколлі якога няма інш. пунктаў гэтага мноства. Напр., пункт O(0,0) — І.п. крывой y​² = x​⁴ − 4x​² Гл. таксама Асаблівы пункт.

т. 7, с. 174

НАВАКО́ЛЛЕ пункта ў метрычнай прасторы,

мноства ўсіх пунктаў, адлегласць якіх да дадзенага пункта меншая за некаторы дадатны лік. У больш агульным выпадку Н. — любое адкрытае мноства, элементам якога з’яўляецца дадзены пункт. Н. — адно з асн. паняццяў тапалогіі.

т. 11, с. 99

АПТЫМІЗА́ЦЫІ ЗАДА́ЧЫ І МЕ́ТАДЫ,

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

Літ.:

Габасов Р., Кириллова Ф.М. Методы оптимизации. 2 изд. Мн., 1981;

Васильев Ф.П. Численные методы решения экстремальных задач. 2 изд. М., 1988;

Карманов В.Г. Математическое программирование. 3 изд. М., 1986.

В.​С.​Танаеў.

т. 1, с. 436