куратовский
31ИЕРАРХИЯ — классификация тех или иных математич. объектов в соответствии с их сложностью. Первые И. были построены в дескриптивной теории множеств (см. [3]). В этих И. переход к более сложному классу множеств осуществляется путем применения теоретико… …
32ИНДУКТИВНОЕ ОПРЕДЕЛЕНИЕ — определение какого либо понятия А(n), зависящего от неотрицательного целого параметра п, протекающее по следующей схеме: а) задается значение А(0); б) задается правило по лучения, значения А(n+1) по пи по значению (п). Типичным И. о. является… …
33КАНТОРА ТЕОРЕМА — 1) Множество 2A, состоящее из всех подмножеств множества А, не равномощно ни самому А, ни его подмножеству. Идея доказательства этой теоремы, принадлежащая Г. Кантору (G.Cantor, 1878), получила название канторова диагонального метода и играет… …
34КАРДИНАЛЬНОЕ ЧИСЛО — трансфинитное число, мощность по Кантору, кардинал множества A, такое свойство этого множества, к рое присуще любому множеству В, равномощному А. При этом два множества Аи Вназ. равномощными, если существует взаимно однозначная функция f : с… …
35КОМПОНЕНТА — пространства связное подмножество Стопологии, пространства X, обладающее следующим свойством: для любого связного множества из включения вытекает, что С=С 1. К. пространства являются непересекающимися множествами. Всякое непустое связное… …
36КОНТИНУУМ — непустое связное хаусдорфово бикомпактное пространство. К. наз. вырожденным, если он состоит из одной точки. Особо важным является класс метризуемых К. Примеры К.: замкнутый отрезок, окружность, выпуклый многогранник и т. д. Компакт (X, р) (т. е …
37КОНТИНУУМА МОЩНОСТЬ — кардинальное число являющееся мощностью множества всех подмножеств натуральных чисел. Следующие множества имеют К. м.: 1) множество R всех действительных чисел, 2) множество всех точек интервала (0, 1); 3) множество всех иррациональных чисел из… …
38ЛУЗИНА РЕШЕТО — произвольное отображение к рое каждой двоичной дроби Ставит в соответствие нек рое подмножество Как правило, Xпредполагается полным сепарабельным метрич. пространством. Введено Н. Н. Лузиным [1], Множество Аточек таких, что существует бесконечная …
39МЕТРИКА — расстояние на множестве X, определенная на декартовом произведении функция р с неотрицательными действительными значениями, удовлетворяющая при. любых условиям: 1) тогда и только тогда, когда (аксиома тождества); 2) (аксиома треугольника); 3)… …
40МНОЖЕСТВ ТЕОРИЯ — наивная учение о свойствах множеств, преимущественно бесконечных, элиминирующее свойства элементов, составляющих эти множества. . Понятие множества принадлежит к числу первоначальных математич. понятий и может быть пояснено только при помощи… …
