Континуум (теория множеств). Структура некоторых числовых множеств Смотреть что такое "континуума мощность" в других словарях

Существуют бесконечные множества, элементы которых нельзя перенумеровать. Такие множества называются несчетными .

Теорема Кантора. Множество всех точек отрезка несчетно.

Доказательство.

Пусть множество точек отрезка счетно. Значит, эти точки можно перенумеровать, т. е. расположить в виде последовательности x 1 , x 2 … x n , … .

Разобьем отрезок на три равные части. Где бы ни находилась точка x 1 , она не может принадлежать всем отрезкам , , . Поэтому среди них есть отрезок D 1 , не содержащий точку x 1 (рис. 1.7). Возьмем этот отрезок D 1 и разделим его на три равные части. Среди них всегда есть отрезок D 2 , не содержащий точку x 2 . Разделим этот отрезок на три равные части и т. д. Получим последовательность отрезков D 1 É D 2 É D 3 É…ÉD n É… . В силу аксиомы Кантора сходится к некоторой точке x при n ® ¥. По построению эта точка x принадлежит каждому отрезку D 1 , D 2 , D 3 ,…, D n , …, т. е. она не может совпадать ни с одной из точек x 1 , x 2 , … x n , …, т. е. последовательность x 1 , x 2 … x n , …не исчерпывает всех точек отрезка , что противоречит первоначальному предположению. Теорема доказана.

Множество, эквивалентное множеству всех точек отрезка называется множеством мощности континуума .

Так как множества точек интервалов, отрезков и всей прямой эквивалентны между собой, то все они имеют мощность континуума.

Чтобы доказать, что данное множество имеет мощность континуума, достаточно указать взаимно однозначное соответствие между данным множеством и множеством точек отрезка, интервала или всей прямой.

Пример 1.24 .

Из рис. 1.8 следует, что множество точек параболы y = x 2 эквивалентно множеству точек прямой –¥ < x < ¥ и, следовательно, имеет мощность континуума.

Установить мощность континуума можно также, используя следующие теоремы о множествах мощности континуума (приводятся без доказательств).

Теорема 1. Множество всех подмножеств счетного множества счетно.

Теорема 2. Множество иррациональных чисел имеет мощность континуума.

Теорема 3. Множество всех точек n- мерного пространства при любом n имеет мощность континуума.

Теорема 4. Множество всех комплексных чисел имеет мощность континуума.

Теорема 5. Множество всех непрерывных функций, определенных на отрезке [a , b ] имеет мощность континуума.

Итак, мощности бесконечных множеств могут различаться. Мощность континуума больше, чем мощность счетного множества. Ответ на вопрос, существуют ли множества более высокой мощности, чем мощность континуума, дает следующая теорема (приводится без доказательства).

Теорема о множествах высшей мощности. Множество всех подмножеств данного множества имеет более высокую мощность, чем данное множество.

Из этой теоремы следует, что множеств с максимально большой мощностью не существует.

Контрольные вопросы к теме 1.

1. Пусть a Î А . Следует ли отсюда, что {a } А ?

2. В каком случае А А ÇВ ?

3. Назовите множество, которое является подмножеством любого множества.

4. Может ли быть множество эквивалентно своему подмножеству?

5. Мощность какого множества больше: множества натуральных чисел или множества точек отрезка ?

Для мощности множества вещественных чисел R есть специальное обозначение – с. Любое множество имеющее такую мощность называется континуумом (от английского continue – продолжаться).

Введение понятия мощность континуума порождает два вопроса.

1. Существует ли множество мощностью больше чем с?

2. Существует ли множество промежуточной мощности между счетным и континуумом?

На первый взгляд множеством мощности больше с является любая плоская фигура, например, квадрат. Однако, это не так и справедлива

ТЕОРЕМА. Открытый единичный квадрат на плоскости имеет мощность равную с.

ДОКАЗАТЕЛЬСТВО. Построим отображение f точек квадрата на его сторону. Возьмем любую точку внутри квадрата с координатами (x, y). Пусть в десятичном представлении x = 0,a 1 a 2 a 3 ..., а y = 0,b 1 b 2 b 3 ... . Образуем число z = f(x, y) = = 0,a 1 b 1 a 2 b 2 a 3 b 3 ..., которое является координатой точки на стороне квадрата. Таким образом, мы отобразим точки квадрата на его сторону. Ясно что это отображение инъективно, т.е. если мы берем точки А = (x 1 , y 1) и B = (x 2 , y 2), такие, что А ¹ В, и определим z A = f(A), z B = f(B), то получим z A ¹ z B , т.е. две разные точки A и B квадрата отображаются в две разные точки на отрезке прямой. Действительно, пусть А ¹ В. Значит x 1 ¹ x 2 или y 1 ¹ y 2 , а раз так, то эти числа отличаются хотя бы одним десятичным знаком, и значит z A ¹ z B .

Инъективность означает, что точек в квадрате не больше, чем на отрезке. С другой стороны, их не может быть меньше, поскольку отрезок является подмножеством квадрата. Следовательно, построенное отображение f взаимно-однозначно.

Тем не менее, множества мощности выше континуума существуют, более того, справедлива

ТЕОРЕМА. Для любого множества А существует множество В большей мощности.

ДОКАЗАТЕЛЬСТВО. Пусть имеется множество А. Рассмотрим множество В, являющееся множеством всех функций, определенных в точках множества А и равных 0 или 1 в этих точках. Покажем, что мощность множества В больше мощности А.

Рассмотрим на множестве А функцию из B, определенную по правилу

где aÎА. Поставим каждой точке аÎА в соответствие функция f a (x)ÎВ и рассмотрим полученное множество

B 1 = { f a (x)ÎB | aÎA }Ì B.

Очевидно, что нами установлено взаимно однозначное отображение А « В 1 . Следовательно, | A | = | B 1 |, а значит | A | £ | B 1 |.

Покажем, что | A | ¹ | B 1 |. Это эквивалентно тому, что не существует взаимно однозначного отображения А на все В. Предположим противное, что существует биективное отображение j: А ® В, которое каждому аÎА ставит в соответствие элемент bÎВ и каждой функции из B – элемент множества A. Обозначим j(a) = f (a) (x), и рассмотрим функцию

g(x) = 1 – f (а) (x).

По свойствам элементов множества В имеем, что значение f (а) (x) равно 0 или 1, тогда это свойство выполнено и для функции g(x). Следовательно, g(x)ÎВ. Значит, по предположению, существует такая точка bÎА, что ей однозначно соответствует g(x), т.е. g(x) = f (b) (x). Возьмем х = b, тогда получим

g(b) = 1 – f (b) (b) = f (b) (b).

Отсюда f (b) (b)=1/2, что противоречит условию принадлежности функции f (b) (x) множеству В. Поэтому, такого отображения j не существует. Значит, мощность В строго больше мощности А.

Из теоремы следует, что множества самой большой мощности не существует.

Эквивалентный способ построения множества большей мощности получим, если определим B как множество, элементами которого являются всевозможные подмножества множества A. Множество всех подмножеств некоторого множества A называется булеаном и обозначается 2 A (2 A ={ C | C Í A}). Тогда m(2 A) = 2 | A | .

Множество, мощность которого равна 2 c , называется множеством мощности гиперконтинуума.

Что касается проблемы существования множества промежуточной мощности, то оказалось, что это утверждение невозможно доказать на основе аксиом теории множеств, но оно и не противоречит им.

КОНТРОЛЬНЫЕ ВОПРОСЫ И ЗАДАНИЯ

1. Определить мощности следующих множеств:

а) множество всех треугольников на плоскости, координаты вершин которых выражаются рациональными числами;

б) множество корней многочленов с целыми коэффициентами;

в) множество вещественных чисел от 0 до 1, в десятичном представлении которых 7 стоит на 3-м месте (т.е. числа вида 0.ab7cd...).

2. На числовой прямой задано неограниченное счетное множество Е. Доказать, что всегда существует вещественное число z, что сдвинув множество Е на z вправо, получим новое множество Е 1 , которое будет иметь пустое пересечение с Е.

3*. Доказать, что множество всех непрерывных функций на отрезке имеет мощность континуума.

4. Какова мощность множества всех функций, определенных на отрезке и разрывных хотя бы в одной точке этого отрезка?

5. Какова мощность множества всех строго возрастающих непрерывных функций, заданных на отрезке ?

6. Какова мощность множества всех монотонных функций на отрезке ?

7. Показать, что множество всех перестановок натурального ряда N имеет мощность континуума.

8. Какова мощность множества всех строго возрастающих последовательностей натуральных чисел?

9. Какова мощность множества всех последовательностей натуральных чисел?

Примеры решения

Рассмотрим множество Q всех рациональных точек отрезка , занумерованных произвольным образом, т.е. Q= = {r 1 , r 2 , ...}. Поставим в соответствие каждой непрерывной на функции f последовательность действительных чисел f(r 1), f(r 2), ... Так как непрерывная функция на полностью определяется своими значениями в точках множества Q, то тем самым устанавливается взаимно однозначное соответствие между множеством всех непрерывных функций на и частью множества всех последовательностей действительных чисел. Значит, в силу результатов задач 11–13 п. 4, мощность множества всех непрерывных функций на не больше мощности континуума. С другой стороны, она не может быть меньше мощности континуума, так как все функции, постоянные на , уже образуют множество мощности континуума. Для завершения доказательcтва остается применить теорему Кантора-Бернштейна.

Нечеткие множества. Основные понятия

Классическая теория множеств зародилась в начале XX века в трудах Кантора, а в 1965 году профессор Калифорнийского университера (Беркли) Лотфи А. Заде опубликовал работу “Нечеткие множества” ("Fuzzy Sets"), в которой он расширил классическое понятие множества и заложил основы моделирования ин-теллектуальной деятельности человека.

Во многих прикладных задачах, решаемых с помощью теории множеств, бывает сложно однозначно и четко ограничить набор элементов, принадлежащих данному множеству, т.к. возникает противоречие между формальной природой математики и привычкой человека мыслить неопределенными, расплывчатыми погятиями. (Куча камней это сколько штук? 5 слонов – это много, 10 муравьев – это мало и т.д.). Заде удалось в определенной мере преодолеть это противоречие.

Дальнейшие работы профессора Л. Заде и его последователей заложили прочный фундамент новой теории и создали предпосылки для внедрения методов нечеткого управления в инженерную практику. Уже к 1990 году по этой проблематике опубликовано свыше 10000 работ, а число исследователей достигло 10000, причем в США, Европе и СССР по 200 - 300 человек, около 1000 – в Японии, 2000 - 3000 – в Индии и около 5000 исследователей в Китае. В последние 5 – 7 лет началось использование новых методов и моделей в промышленности. И хотя первые применения нечетких систем управления состоялись в Европе, наиболее интенсивно внедряются такие системы в Японии. Спектр приложений их широк: от управления процессом отправления и остановки поезда метрополитена, управления грузовыми лифтами и доменной печью до стиральных машин, пылесосов и СВЧ-печей. При этом нечеткие системы позволяют повысить качество продукции при уменьшении ресурсов и энергозатрат и обеспечивают более высокую устойчивость к воздействию мешающих факторов по сравнению с традиционными системами автоматического управления.

Другими словами, новые подходы позволяют расширить сферу приложения систем автоматизации за пределы применимости классической теории. В этом плане любопытна точка зрения Л. Заде: "Я считаю, что излишнее стремление к точности стало оказывать действие, сводящее на нет теорию управления и теорию систем, так как оно приводит к тому, что исследования в этой области сосредоточиваются на тех и только тех проблемах, которые поддаются точному решению. В результате многие классы важных проблем, в которых данные, цели и ограничения являются слишком сложными или плохо определенными для того, чтобы допустить точный математический анализ, оставались и остаются в стороне по той причине, что они не поддаются математической трактовке. Для того чтобы сказать что-либо существенное для проблем подобного рода, мы должны отказаться от наших требований точности и допустить результаты, которые являются несколько размытыми или неопределенными".

Смещение центра исследований нечетких систем в сторону практических приложений привело к постановке целого ряда проблем таких, как новые архитектуры компьютеров для нечетких вычислений, элементная база нечетких компьютеров и контроллеров, инструментальные средства разработки, инженерные методы расчета и разработки нечетких систем управления и многое другое.

Пусть Е – универсальное множество, x – элемент E, а Р – некоторое свойство. Обычное (четкое) подмножество A универсального множества E, элементы которого удовлетворяют свойству Р, определяется как множество упорядоченных пар A= {m A (х) / х} , где m A (х) – характеристическая функция, прини-мающая значение 1, если x удовлетворяет свойству Р, и 0 – в про-тивном случае.

Нечеткое подмножество отличается от обычного тем, что для элементов x из E нет однозначного ответа “да-нет” относительно свойства Р. В связи с этим, нечеткое подмножество A универсального множества E определяется как множество упорядоченных пар A= {m A (х) /х}, где m A (х) – характеристическая функция принадлежности (или просто функция принадлежности), принимающая значения в некотором вполне упорядоченном множестве M (например, M= [ 0,1] ). Функция принадлежности указывает степень (или уровень) принадлежности элемента x подмножеству A. Множество M называют множеством принадлежностей. Если M= { 0,1} , то нечеткое подмножество A может рассматриваться как обычное или четкое множество.

Примеры записи нечеткого множества

Пусть E= {x 1 , x 2 , x 3 , x 4 , x 5 }, M= [ 0,1] ; A – нечеткое множество, для которого m A (x 1)=0,3; m A (x 2)=0; m A (x 3)=1; m A (x 4)=0,5; m A (x 5)=0,9. Тогда A можно представить в виде:
A = { 0,3 / x 1 ; 0 / x 2 ; 1 / x 3 ; 0,5 / x 4 ; 0,9 / x 5 } или
A= 0,3/x 1 È 0/x 2 È 1/x 3 È 0,5/x 4 È 0,9/x 5 , или

A =

x 1	x 2	x 3	x 4	x 5
0,3			0,5	0,9

Покончив, таким образом, с вопросом о континууме одного измерения, я считаю последовательным обратиться к континууму двух измерений. Прежде всякий конечно, думал, что плоскость содержит больше точек, чем прямая; поэтому все были крайне удивлены, когда Кантор показал, что мощность двумерного континуума в точности равна мощности континуума одного измерения Если вместо возьмем квадрат со. стороной 1, а вместо - отрезок длиной единица, то следует доказать возможность установить между точками обоих множеств взаимно однозначное соответствие (рис. 125).

Причина того, что это утверждение представляется таким парадоксальным, заключается, вероятно, в трудности освободиться от представления об известной непрерывности соответствия, а между тем в действительности то соответствие, которое мы имеем в виду установить, оказывается в высшей мере разрывным или, если хотите, неорганическим. Образно говоря, оно в такой мере разрушает, кроме «мощности», все, что является характерным для плоского и для линейного образов как таковых, как если бы все точки квадрата насыпали в мешок и затем самым основательным образом перемешали их.

Множество точек квадрата совпадает с множеством всех пар десятичных дробей вида

которые мы, как и раньше, предполагаем написанными в бесконечном виде. Следовательно, мы исключаем те пограничные точки, для которых одна из координат у обращается в нуль; иными словами, исключаем обе стороны квадрата, примыкающие к началу координат О, между тем как обе другие стороны сохраняем. Но нетрудно убедиться в том, что это не изменяет мощности множества точек. И вот основная идея доказательства Кантора заключается в том, чтобы слить обе эти десятичные дроби в одну новую десятичную дробь z, по которой в свою очередь можно было бы однозначно определить х, у и которая принимала бы ровно по одному разу все значения когда точка один раз пробегает по всему квадрату. Если рассматривать z как абсциссу, то получим тем самым требуемое взаимно однозначное соответствие квадрата и единичного отрезка при этом в соответствии с соглашениями относительно квадрата у этого отрезка принимаем во внимание только одну конечную точку

Такое слияние двух координат у в одну мы попытаемся сначала получить тем, что положим

действительно, из этой дроби можно, отделяя четные и нечетные десятичные знаки, восстановить однозначным образом .

Но тут ввиду двоякого способа написания десятичных дробей возникает следующее возражение: такое z не пробегает всего ряда значений когда пробегает все пары бесконечных десятичных дробей, т. е. все множество точек действительно, хотя при этом для z всегда получается бесконечная дробь, но существуют такие бесконечные дроби, как, например,

которые получаются только из конечной дроби или у, в нашем примере из

Обойти это затруднение легче всего при помощи следующего видоизменения метода Кантора, предложенного Кёнигом из Будапешта. А именно, Кёниг понимает под а, b, с не отдельные цифры, а известные комплексы цифр, я бы сказал, «молекулы» десятичной дроби, соединяя в одно целое всякую значащую цифру, отличную от нуля, со всеми непосредственно ей предшествующими нулями; благодаря этому выделяется роль нулей. Тогда всякая десятичная бесконечная дробь должна иметь бесконечно много молекул, так как в ней появляются все снова и снова отличные от нуля цифры, и наоборот. Например, в дроби

за такие «молекулы» следует принять

Пусть теперь в вышеприведенном правиле сопоставления и z символы обозначают такие молекулы. Тогда всякой паре будет снова однозначно соответствовать бесконечная дробь z, которая в свою очередь определит х и у. Но теперь всякая дробь z однозначно распадается на две дроби и у с бесконечным числом «молекул» каждая, и при этом дробь z может возникнуть только однажды, когда мы в качестве будем брать всевозможные пары бесконечных десятичных дробей. И это действительно дает взаимно однозначное отображение отрезка на квадрат; следовательно, они имеют одинаковую мощность.

Конечно, совершенно аналогичным образом можно показать, что континуумы трех, четырех, измерений имеют такую же мощность, как и одномерный континуум. Но замечательно то, что и континуум бесконечно многих измерений, - точнее говоря, счетного множества измерений - имеет такую же мощность; о таком пространстве бесконечно большого числа измерений теперь особенно много говорят в Гёттингене. Его определяют как совокупность всех тех числовых систем, какие только может принимать счетно бесконечное множество переменных

если каждая из них пробегает весь ряд действительных значений. Это представляет собой, собственно говоря, только новый способ выражения понятий, давно уже применяемых в математике. В самом деле, ведь всегда рассматривали совокупность всех степенных или тригонометрических рядов; счетное бесконечное множество коэффициентов этих рядов представляет собой, в сущности, не что иное, как такую же совокупность бесконечного числа независимых переменных, которые, впрочем, всегда подчинены еще известным условиям сходимости ряда.

Здесь мы снова ограничимся рассмотрением «единичного куба» континуума другими словами, множества всех точек, удовлетворяющих условиям и покажем, что эти точки можно привести во взаимно однозначное соответствие с точками единичного отрезка континуума При этом снова для удобства отбрасываем все те пограничные точки, для которых одна из координат равна нулю, и соответственно точку все же остальные пограничные точки сохраняем. Исходим, как и раньше, из изображения координат точек континуума при помощи десятичных дробей,

Другим важным примером бесконечного несчетного множества является множество вещественных чисел R . Дадим одно из возможных определений вещественного числа с помощью сечений Дедекинда.

Рассмотрим разбиение множества всех рациональных чисел на два непустых подмножества А и В. Будем называть это разбиение сечением и обозначать А|В, если выполняются условия:

1 0 . Каждое рациональное число попадает в одно и только одно из множеств А или В.

2 0 . Для всех xÎA и yÎB имеет место соотношение y > x.

Назовем А нижним классом сечения, В - верхним классом.

Существуют сечения трех типов.

1. Сечение, у которого в нижнем классе нет максимального числа, а в верхнем классе есть минимальное число, назовем сечением первого типа.

2. Сечение, у которого в нижнем классе есть максимальный элемент, а в верхнем классе нет минимального число, назовем сечением второго типа.

3. Сечение, у которого в нижнем классе нет максимального элемента, а в верхнем классе - минимального, назовем сечением третьего типа.

Примеры сечений:

1) А ={ x | x<1 }; B ={ x | x³1 } - сечение 1-го типа;

2) А ={ x | x£1 }; B ={ x | x>1 } - сечение 2-го типа;

3) А ={ x | x 3 £2 }; B ={ x | x 3 >2 } - сечение 3-го типа.

Докажем что в третьем примере нижний класс не содержит максимальный элемент. Для этого покажем, что

" аÎA $ n>0: (a + 1/n) 3 < 2.

Так как (a+1/n) 3 3a 2 /(2-a 3). Иными словами, какое бы рациональное а из A мы ни выбрали, в классе А всегда можно найти число больше его.

Аналогично можно доказать, что в этом примере в верхнем классе нет минимального элемента.

Сечения типа 1 и 2 определяют рациональное число r. Для сечения 1 типа это число - наименьшее в верхнем классе, для сечения 2 типа - наибольшее в нижнем классе. Сечение 3 типа не определяет никакого рационального числа, так как предположение противного противоречит определению сечения.

Будем говорить, что сечение 3-го типа определяет иррациональное число a, если для любых рациональных чисел xÎA и yÎB выполняется неравенство x

Для мощности множества вещественных чисел R есть специальное обозначение - с. Любое множество имеющее такую мощность называется континуумом (от английского continue - продолжаться).

Введение понятия мощность континуума порождает два вопроса.

1. Существует ли множество мощностью больше чем с?

2. Существует ли множество промежуточной мощности между счетным и континуумом?

ТЕОРЕМА. Единичный квадрат на плоскости имеет мощность равную с.

ДОКАЗАТЕЛЬСТВО. Построим отображение f точек квадрата на его сторону. Возьмем любую точку внутри квадрата с координатами (x,y). Пусть в десятичном представлении x=0,a 1 a 2 a 3 ..., а y=0,b 1 b 2 b 3 ... . Образуем число z=f(x,y)= =0,a 1 b 1 a 2 b 2 a 3 b 3 ..., которое является координатой точки на стороне квадрата. Таким образом, мы отобразим точки квадрата на его сторону. Ясно что это отображение инъективно, т.е. если мы берем точки А=(x 1 , y 1) и B=(x 2 , y 2), такие, что А¹В, и определим z A =f(A), z B =f(B), то получим z A ¹z B , т.е. две разные точки A и B квадрата отображаются в две разные точки на отрезке прямой. Действительно, пусть А¹В. Значит x 1 ¹x 2 или y 1 ¹y 2 , а раз так то эти числа отличаются хотя бы одним десятичным знаком, и значит z A ¹z B .

Тем не менее множества мощности выше континуума существуют, более того, справедлива

ТЕОРЕМА. Для любого множества А существует множество В большей мощности.

Рассмотрим на множестве А функцию из B, определенную по правилу

где aÎА. Поставим каждой точке аÎА в соответствие функция f a (x)ÎВ, причем, это отображение является взаимно однозначным. Очевидно, что построенное множество функций не исчерпывает всех возможных функций из В и {f a (x)}ÌВ, т.е. мы определили взаимно однозначное отображение всего А на часть множества В. Следовательно, мощность В не меньше мощности А.

Докажем, что мощность В не равна мощности А. Это эквивалентно тому, что не существует взаимно однозначного отображения А на все В. Предположим противное, что существует биективное отображение j: А ® В, которое каждому аÎА ставит в соответствие элемент bÎВ и каждой функции из B - элемент множества A. Обозначим j(a) = f (a) (x), и рассмотрим функцию

g(x) = 1 – f (x) (x).

По свойствам элементов множества В имеем, что значение f (x) (x) равно 0 или 1, тогда это свойство выполнено и для функции g(x). Следовательно, g(x)ÎВ. Значит, по предположению, существует такая точка bÎА, что ей однозначно соответствует g(x), т.е. g(x)=f (b) (x). Возьмем х=b, тогда получим

1 – f (b) (b) = f (b) (b).

Из теоремы следует, что множества самой большой мощности не существует.

Эквивалентный способ построения множества большей мощности получим, если определим B как множество, элементами которого являются всевозможные подмножества множества A. Тогда m(B)= 2 | A | .

Множество, мощность которого равна 2 c , называется множеством мощности гиперконтинуума.

Начертании: . Множество, имеющее мощность континуум, называется континуа́льным множеством.

Также термин континуум может обозначать само множество вещественных чисел, или даже любое континуальное множество.

Свойства

Примеры

Примеры множеств, имеющих мощность континуум:

Wikimedia Foundation . 2010 .

Смотреть что такое "Континуум (теория множеств)" в других словарях:

Теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… … Философская энциклопедия

Теория множеств раздел математики, в котором изучаются общие свойства множеств. Теория множеств лежит в основе большинства математических дисциплин; она оказала глубокое влияние на понимание предмета самой… … Википедия

ТЕОРИЯ МНОЖЕСТВ - раздел математики, исследующий общие свойства множеств. Множеством называется любое объединение в одно целое некоторых определенных и различных между собой объектов нашего восприятия или мысли. В Т. м. изучаются общие свойства различных операций… … Энциклопедический словарь по психологии и педагогике

Направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия

Формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… … Большая советская энциклопедия

От лат. continuum непрерывное, сплошное. Континуум (в физике) В математике: Континуум (теория множеств) множество, равномощное множеству вещественных чисел R, или класс всех таких множеств. Континуум (топология) связное… … Википедия

Математик, теория, изучающая точными средствами проблему бесконечности. Предмет М. т. свойства множеств (совокупностей, классов, ансамблей), гл. обр. бесконечных. Осн. содержание классич. М. т. было разработано нем. математиком Г.… … Философская энциклопедия

- (от лат. continuum непрерывное), термин, используемый? математике, естествознании и философии. В математике под К. понимаются бесконечные множества, количественно эквивалентные множеству действит. чисел. Мощность, или кардинальное число … Философская энциклопедия