Полусет - Semiset
В теория множеств, а полумножество это правильный класс что содержится в набор Теория полумножеств была предложена и развита Чешский математики Петр Вопенка и Петр Гайек (1972). Он основан на модификации теория множеств фон Неймана – Бернейса – Гёделя; в стандартном NBG существование полумножеств исключается аксиома разделения.
Концепция полумножеств открывает путь к формулированию альтернативная теория множеств В частности, Vopěnka's Альтернативная теория множеств (1979) аксиоматизирует понятие полумножества, дополняя его несколькими дополнительными принципами.
Полумножества можно использовать для представления наборов с неточными границами. Новак (1984) изучал аппроксимацию полумножеств нечеткие множества, которые часто больше подходят для практических приложений моделирования неточности.
использованная литература
- Vopěnka, P., и Hájek, P. Теория полусетов. Амстердам: Северная Голландия, 1972.
- Вопенка, П. Математика в альтернативной теории множеств. Тойбнер, Лейпциг, 1979.
- Холмс, М. Альтернативные аксиоматические теории множеств, §9.2, Альтернативная теория множеств Вопенко. В E.N. Залта (ред.): Стэнфордская энциклопедия философии (Осенний выпуск 2014 г.).
- Новак, В. "Нечеткие множества - приближение полумножеств". Нечеткие множества и системы 14 (1984): 259–272.