Индивидуальные очистные сооружения: К классу индивидуальных очистных сооружений относят сооружения, пропускная способность которых...
Архитектура электронного правительства: Единая архитектура – это методологический подход при создании системы управления государства, который строится...
Топ:
Марксистская теория происхождения государства: По мнению Маркса и Энгельса, в основе развития общества, происходящих в нем изменений лежит...
Характеристика АТП и сварочно-жестяницкого участка: Транспорт в настоящее время является одной из важнейших отраслей народного хозяйства...
Устройство и оснащение процедурного кабинета: Решающая роль в обеспечении правильного лечения пациентов отводится процедурной медсестре...
Интересное:
Мероприятия для защиты от морозного пучения грунтов: Инженерная защита от морозного (криогенного) пучения грунтов необходима для легких малоэтажных зданий и других сооружений...
Аура как энергетическое поле: многослойную ауру человека можно представить себе подобным...
Подходы к решению темы фильма: Существует три основных типа исторического фильма, имеющих между собой много общего...
Дисциплины:
2022-05-08 | 40 |
5.00
из
|
Заказать работу |
|
|
Любое множество A детерминировано. |
Аксиома детерминированности — аксиома теории множеств, её предложили в 1962 году польские математики Ян Мычельский и Гуго Штейнгауз в качестве замены для аксиомы выбора.
Причиной поиска альтернативы аксиоме выбора стали необычные следствия из этой аксиомы, которые вызывали и продолжают вызывать критику со стороны части математиков. Многие следствия конкурирующих аксиом противоположны друг другу. С помощью аксиомы выбора доказано, что существуют множества вещественных чисел, неизмеримые по Лебегу; из аксиомы детерминированности следует, что таких множеств не существует — все множества вещественных чисел измеримы.
По-разному решается проблема континуума (существование промежуточных мощностей между счётной и континуальной). Аксиоматика Цермело—Френкеля допускает любой из двух вариантов решения этой проблемы (то есть, она не может быть ни доказана, ни опровергнута), недоказуемость этой гипотезы в рамках аксиоматики ZFC показана Коэном в 1963 г. В то время как из аксиомы детерминированности выводится однозначное решение: любое бесконечное несчётное множество вещественных чисел континуально.
Аксиомы теории множеств.
Система аксиом ZFC (Цермело-Френкеля с аксиомой выбора).
0. Аксиома пустого множества .
1. Условие равенства множеств (аксиома объёмности).
верно, что если : то .
2. Существование множества из двух элементов (аксиома пары).
, такое что : или .
3. Аксиома объединения. Из любого семейства множеств можно образовать как минимум одно такое множество , каждый элемент которого принадлежит хотя бы одному множеству данного семейства .
|
.
4. Аксиома пересечения. Из любого семейства множеств можно образовать как минимум одно такое множество , каждый элемент которого принадлежит всем множествам данного семейства .
.
5. Существование подмножества, элементы которого удовлетворяют некоторому свойству.
.
6. Существование бесконечного множества.
= {Ø, {Ø}, {Ø,{Ø},... }
7. Существование образа функции
т.е. если кратко, то .
8. Аксиома регулярности. Любое непустое семейство множеств содержит множество , все элементы которого не принадлежат семейству .
9. Аксиома выбора. Для любого класса не пересекающихся непустых множеств существует множество, содержащее только по одному элементу из каждого множества.
Прим – бесконечное мн-во прямых на пл-ти (континуум). Не сущ пр, пересекающ со всеми только в 1 точке.
10. Аксиома степени (аксиома булеана). Можно образовать множество всех подмножеств данного множества.
Упорядоченные множества.
Говорят, что на множестве М задано бинарное отношение R, если задано подмножество декартового произведения: .
Примеры. Отношения на множестве
Отношение равенства:
Можно перечислить все пары элементов, находящихся в данном отношении: .
|
|
Архитектура электронного правительства: Единая архитектура – это методологический подход при создании системы управления государства, который строится...
Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...
Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...
Типы сооружений для обработки осадков: Септиками называются сооружения, в которых одновременно происходят осветление сточной жидкости...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!