Множества мощности континуума и выше

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

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

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

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

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

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

Доказательство. Построим отображение f точек квадрата на его сторону. Возьмем любую точку внутри квадрата с координатами (x, y). Пусть в десятичном представлении x = 0,a₁a₂a₃..., а y = 0,b₁b₂b₃.... Образуем число z = f(x, y) = = 0,a₁b₁a₂b₂a₃b₃..., которое является координатой точки на стороне квадрата. Таким образом, мы отобразим точки квадрата на его сторону.

Возьмем две различные точки квадрата А = (x₁, y₁) и B = (x₂, y₂) и определим z_A = f(A), z_B = f(B). Ясно, что при А ≠ В либо x₁ ¹ x₂ либо y₁ ¹ y₂, А раз так, то эти числа отличаются хотя бы одним десятичным знаком, и значит z_A ¹ z_B. Значит, две разные точки A и B квадрата отображаются в две разные точки на отрезке прямой. Поэтому отображение f инъективно.

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

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

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

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

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

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

B₁ = { f_a(x)ÎB | aÎA }Ì B.

Очевидно, что нами установлено взаимно однозначное отображение А «В₁. Следовательно, | A | = | B₁ |, а значит | A | £ | B |. Покажем, что | A | ¹ | B|. Это эквивалентно тому, что не существует взаимно однозначного отображения А на все В.

Предположим противное, что существует биективное отображение 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 не существует. Значит, | A | £ | B | и | A | ¹ | B|, т.е. мощность В строго больше мощности А.

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

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

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

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

 

 

Тема 3. Нечеткие множества

Понятие нечеткого множества

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

Пусть Е – универсальное множество, x – элемент E, а Р – некоторое свойство. Обычное (четкое) подмножество A универсального множества E, элементы которого удовлетворяют свойству Р, определяется как множество упорядоченных пар

A = {m_A(х) | x }, (1)

где m_A(х) – характеристическая функция, принимающая значение 1, если x удовлетворяет свойству Р, и 0 – в противном случае.

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

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

Пусть E= {x₁, x₂, x₃, x₄, x₅ }, M = [ 0, 1 ]; A – нечеткое множество, для которого m_A(x ₁) = 0,3; m_A(x ₂)=0; m_A(x ₃)=1; m_A(x ₄)=0,5; m_A(x ₅)=0,9. Тогда A можнопредставить в виде:

A = { 0,3 / x₁; 0 / x₂; 1 / x₃; 0,5 / x₄; 0,9 / x₅ }

или

A = 0,3/x₁ È 0/x₂ È 1/x₃ È 0,5/x₄ È 0,9/x₅,

или

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