- •Глава 1. Теория множеств
- •1. Основные понятия теории множеств
- •Контрольные вопросы и задания
- •2. Операции над множествами
- •Контрольные вопросы и задания
- •Примеры решения
- •3. Отображения
- •Контрольные вопросы и задания
- •Примеры решения
- •4. Мощность множества
- •0/1 1/1 2/1 3/1 . . .
- •1/2 2/2 3/2 4/2 . . .
- •Контрольные вопросы и задания
- •Примеры решения
- •5. Свойства счетных множеств
- •Контрольные вопросы и задания
- •Примеры решения
- •6. Свойства множества действительных чисел
- •Контрольные вопросы и задания
- •Примеры решения
- •7. Множества мощности континуума и выше
- •Контрольные вопросы и задания
- •Примеры решения
- •8. Нечеткие множества. Основные понятия
- •Примеры записи нечеткого множества
- •Основные характеристики нечетких множеств
- •Примеры нечетких множеств
- •9. Методы построения функций принадлежности нечетких множеств
- •10. Операции над нечеткими множествами
- •Свойства операций и .
- •11. Алгебраические операции над нечеткими множествами
- •12. Принцип обобщения
- •Контрольные вопросы и задания
- •Глава 2. Бинарные отношения и функция выбора
- •1. Бинарные отношения и операции над ними
- •Примеры решения
- •2. Свойства операций над отношениями
- •Контрольные вопросы и задания
- •Примеры решения
- •3. Способы задания бинарных отношений
- •Пример решения
- •4. Свойства бинарных отношений
- •Контрольные вопросы и задания
- •Примеры решения
- •5. Специальные бинарные отношения. Упорядочение и безразличие
- •6. Слабый порядок
- •XIслy ((X, y) Pсл и (y, X) Pсл)
- •XIслy ((y, X)Pсл и (X, y)Pсл).
- •7. Разбиение и эквивалентность
- •8. Качественный порядок
- •Контрольные вопросы и задания
- •Примеры решения
- •9. Нечеткие отношения. Основные понятия
- •10. Операции над нечеткими отношениями
- •11. Функция выбора. Основные понятия
- •12. Классификация функций выбора
- •Контрольные вопросы и задания
- •Примеры решения
- •13. Задача векторной оптимизации
- •Контрольные вопросы и задания
- •Приложение Метод математической индукции
- •Контрольные вопрсы и задания
- •Примеры решения
- •Библиографический список
Контрольные вопросы и задания
1. Определить мощности следующих множеств:
а) множество всех треугольников на плоскости, координаты вершин которых выражаются рациональными числами;
б) множество корней многочленов с целыми коэффициентами;
в) множество вещественных чисел от 0 до 1, в десятичном представлении которых 7 стоит на 3-м месте (т.е. числа вида 0.ab7cd...).
2. На числовой прямой задано неограниченное счетное множество Е. Доказать, что всегда существует вещественное число z, что сдвинув множество Е на z вправо, получим новое множество Е1, которое будет иметь пустое пересечение с Е.
3*. Доказать, что множество всех непрерывных функций на отрезке [a, b] имеет мощность континуума.
4. Какова мощность множества всех функций, определенных на отрезке [a, b] и разрывных хотя бы в одной точке этого отрезка?
5. Какова мощность множества всех строго возрастающих непрерывных функций, заданных на отрезке [a, b]?
6. Какова мощность множества всех монотонных функций на отрезке [a, b]?
7. Показать, что множество всех перестановок натурального ряда N имеет мощность континуума.
8. Какова мощность множества всех строго возрастающих последовательностей натуральных чисел?
9. Какова мощность множества всех последовательностей натуральных чисел?
Примеры решения
Задача 3.
Рассмотрим множество Q всех рациональных точек отрезка [a,b], занумерованных произвольным образом, т.е. Q= = {r1, r2, ...}. Поставим в соответствие каждой непрерывной на [a, b] функции f последовательность действительных чисел f(r1), f(r2), ... Так как непрерывная функция на [a, b] полностью определяется своими значениями в точках множества Q, то тем самым устанавливается взаимно однозначное соответствие между множеством всех непрерывных функций на [a, b] и частью множества всех последовательностей действительных чисел. Значит, в силу результатов задач 11–13 п. 4, мощность множества всех непрерывных функций на [a, b] не больше мощности континуума. С другой стороны, она не может быть меньше мощности континуума, так как все функции, постоянные на [a, b], уже образуют множество мощности континуума. Для завершения доказательcтва остается применить теорему Кантора-Бернштейна.
8. Нечеткие множества. Основные понятия
Классическая теория множеств зародилась в начале XX века в трудах Кантора, а в 1965 году профессор Калифорнийского университера (Беркли) Лотфи А. Заде опубликовал работу “Нечеткие множества” ("Fuzzy Sets"), в которой он расширил классическое понятие множества и заложил основы моделирования ин-теллектуальной деятельности человека.
Во многих прикладных задачах, решаемых с помощью теории множеств, бывает сложно однозначно и четко ограничить набор элементов, принадлежащих данному множеству, т.к. возникает противоречие между формальной природой математики и привычкой человека мыслить неопределенными, расплывчатыми погятиями. (Куча камней это сколько штук? 5 слонов – это много, 10 муравьев – это мало и т.д.). Заде удалось в определенной мере преодолеть это противоречие.
Дальнейшие работы профессора Л. Заде и его последователей заложили прочный фундамент новой теории и создали предпосылки для внедрения методов нечеткого управления в инженерную практику. Уже к 1990 году по этой проблематике опубликовано свыше 10000 работ, а число исследователей достигло 10000, причем в США, Европе и СССР по 200 - 300 человек, около 1000 – в Японии, 2000 - 3000 – в Индии и около 5000 исследователей в Китае. В последние 5 – 7 лет началось использование новых методов и моделей в промышленности. И хотя первые применения нечетких систем управления состоялись в Европе, наиболее интенсивно внедряются такие системы в Японии. Спектр приложений их широк: от управления процессом отправления и остановки поезда метрополитена, управления грузовыми лифтами и доменной печью до стиральных машин, пылесосов и СВЧ-печей. При этом нечеткие системы позволяют повысить качество продукции при уменьшении ресурсов и энергозатрат и обеспечивают более высокую устойчивость к воздействию мешающих факторов по сравнению с традиционными системами автоматического управления.
Другими словами, новые подходы позволяют расширить сферу приложения систем автоматизации за пределы применимости классической теории. В этом плане любопытна точка зрения Л. Заде: "Я считаю, что излишнее стремление к точности стало оказывать действие, сводящее на нет теорию управления и теорию систем, так как оно приводит к тому, что исследования в этой области сосредоточиваются на тех и только тех проблемах, которые поддаются точному решению. В результате многие классы важных проблем, в которых данные, цели и ограничения являются слишком сложными или плохо определенными для того, чтобы допустить точный математический анализ, оставались и остаются в стороне по той причине, что они не поддаются математической трактовке. Для того чтобы сказать что-либо существенное для проблем подобного рода, мы должны отказаться от наших требований точности и допустить результаты, которые являются несколько размытыми или неопределенными".
Смещение центра исследований нечетких систем в сторону практических приложений привело к постановке целого ряда проблем таких, как новые архитектуры компьютеров для нечетких вычислений, элементная база нечетких компьютеров и контроллеров, инструментальные средства разработки, инженерные методы расчета и разработки нечетких систем управления и многое другое.
Пусть Е – универсальное множество, x – элемент E, а Р – некоторое свойство. Обычное (четкое) подмножество A универсального множества E, элементы которого удовлетворяют свойству Р, определяется как множество упорядоченных пар A = {A (х) /х}, где A(х) – характеристическая функция, прини-мающая значение 1, если x удовлетворяет свойству Р, и 0 – в про-тивном случае.
Нечеткое подмножество отличается от обычного тем, что для элементов x из E нет однозначного ответа “да-нет” относительно свойства Р. В связи с этим, нечеткое подмножество A универсального множества E определяется как множество упорядоченных пар A = {A(х) /х}, где A(х) – характеристическая функция принадлежности (или просто функция принадлежности), принимающая значения в некотором вполне упорядоченном множестве M (например, M = [0,1]). Функция принадлежности указывает степень (или уровень) принадлежности элемента x подмножеству A. Множество M называют множеством принадлежностей. Если M = {0,1}, то нечеткое подмножество A может рассматриваться как обычное или четкое множество.