Verbum

МНО́СТВА ў матэматыцы,

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

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

т. 10, с. 502

МЕ́РА МНО́СТВА,

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

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

т. 10, с. 291

АДЛЮСТРАВА́ННЕ ў матэматыцы,

закон, паводле якога кожнаму элементу x мноства X адпавядае пэўны элемент y=$𝑓\text{(}x\text{)}$ мноства Y (пры гэтым X можа супадаць з Y). Адлюстраванне наз. ін’ектыўным, калі з таго, што элементы a і b мноства Х розныя, выцякае, што 𝑓(a) і 𝑓(b) — розныя элементы мноства Y; сюр’ектыўным, калі кожны элемент мноства Y — вобраз якога-н. элемента мноства X; біекцыяй або біектыўным — калі адлюстраванне адначасова ін’ектыўнае і сюр’ектыўнае і г.д. Гл. таксама Функцыя, Аператар, Пераўтварэнне.

т. 1, с. 113

НЕПЕРАРЫ́ЎНАСЦЬ у матэматыцы,

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

Н. адлюстравання — абагульненне паняцця сапраўднай неперарыўнай функцыі на адвольныя адлюстраванні: адназначнае адлюстраванне y = 𝑓(x) некаторага мноства X элементаў x на мноства Y элементаў y наз. неперарыўным. калі са збежнасці паслядоўнасці x₁, x₂, ..., x_n, ... элементаў мноства X да x вынікае збежнасць іх вобразаў 𝑓(x₁), 𝑓(x₂), …, 𝑓(x_n), ... да вобраза 𝑓(x) лімітавага элемента x. Такім чынам, Н. адлюстравання аднаго мноства на другое залежыць ад таго, як у зададзеных мноствах вызначаны лімітавыя суадносіны. Мноства элементаў з пэўнымі лімітавымі суадносінамі паміж імі наз. тапалагічнай прасторай.

т. 11, с. 288

ПАДСТАНО́ЎКА ў камбінаторыцы, узаемна адназначнае адлюстраванне мноства на сябе. Кожны элемент дадзенага мноства замяняецца якім-н. інш. элементам таго ж мноства. Запісваецца 2 радкамі ў агульных дужках, дзе кожнаму элементу верхняга радка адпавядае элемент ніжняга, які стаіць пад ім: ${\displaystyle A=\left[\begin{array}{cccc}a\text{,}& b\text{,}& \text{...}& с\\ \mathrm{\alpha }\text{,}& \mathrm{\beta }\text{,}& \text{...}& \mathrm{\gamma }\end{array}\right]}$ . У некат. раздзелах матэматыкі тэрмін «П.» выкарыстоўваецца ў інш. сэнсе, напр., у інтэгральным злічэнні П. азначае замену пераменнай у падынтэгральным выразе.

т. 11, с. 506

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

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

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

Літ.:

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

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

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

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

т. 10, с. 502

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

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

т. 7, с. 174