Математика Вопроса первичности

vjsav
Сообщений: 1
Зарегистрирован: 11 янв 2016, 21:00

Математика Вопроса первичности

Сообщение vjsav » 16 янв 2016, 13:39

Немного математики к Вопросу первичности
Рассмотрим начало Вопроса первичности, а именно вот это утверждение: "первично Ничто, событий нет; Событие вторично", с позиций теории множеств математики. (Вопроса первичности изложен здесь: http://vjsav.ru/ru/notes/question_of_primacy.htm)
Перечислим некоторые, интересные нам, свойства Пустого множества:
Пустое множество — множество, не содержащее ни одного элемента, $$\large&space;\forall&space;x,&space;x\notin&space;\O$$
Пустое множество не тождественно пустому элементу, $$\fn_cm&space;\large&space;\O&space;\not\equiv&space;\o$$
Существование по меньшей мере одного пустого множества декларировано аксиомой, $$~ \exist a \forall b \ (b \notin a)$$.
Существование единственного Пустого множества. Из аксиомы объёмности следует, что есть только [i]одно Пустое множество, [/i]
$$~ \exist \{0,1\} a \ (\forall b \ (b \notin a))$$ 
Пустое множество является основанием всех множеств. Согласно аксиоме регулярности(аксиоме основания), из Пустого множества строятся все остальные множества: $$~ \forall a \ (a \ne \varnothing \to \exist b \ (b \in a \ \land \ a \cap b = \varnothing) \ )$$, где $$~ a \cap b = \varnothing \Leftrightarrow \forall c \ (c \in b \to c \notin a)$$
Если принять, что A - множество событий, а х - произвольное событие, то можно утверждать,  что х не принадлежит Пустому множеству событий, обозначенному в Вопросе первичности как Ничто,  $$\large&space;\forall&space;x(x\in&space;A&space;\Rightarrow&space;x\notin&space;\O)$$
Пустое множество событий, обозначенное в Вопросе первичности как Ничто, существует, ∃Ax(∉ A) , где A и есть искомое Ø.
Пустое множество событий, обозначенное в Вопросе первичности как Ничто,  единственно, $$\large&space;\exists&space;\left&space;\{&space;0,1\right&space;\}&space;A&space;(\forall&space;x&space;(x\notin&space;A))$$
Пустое множество событий Ничто, единственное, из которого состоят все множества событий,
$$\large&space;\forall&space;A&space;(\O&space;\in&space;A)$$
Источник: http://vjsav.ru/ru/notes/question_of_primacy.htm
Последний раз редактировалось vjsav 27 ноя 2019, 18:47, всего редактировалось 1 раз.
Причина: test

Вернуться в «Дискретная математика»

Кто сейчас на форуме

Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 1 гость