A rant on the null-set.

by ayushkhaitan3437

This as a post was long due.

What exactly is \emptyset? It is the single most confusing thing I have come across. I am going to try and elaborate its properties. I’m going to build the theory in stages.

1. Nothingness. Let us give it a symbol- \mathfrak{not}. This \mathfrak{not} is an element of EVERY set. \mathfrak{not} is the absence of elements, but it is present in everything. This is a little non-intuitive, if one were to take the physical world as a reference point. For a to be present inside S, there has to be some trance, some sign of the presence of a in S.

Maybe even a space  ” “, showing an absence of elements. But really in set theory, we don’t have spaces of this kind to show an absence of elements. We have no such trace, which is fairly irritating. But one has to get used to it.

2. Now we come to \emptyset. This is NOT equivalent to \mathfrak{not}. \emptyset is not the absence of elements. It is a set containing no element, the operating word being “set”. Technically, \mathfrak{not}\in\emptyset, which makes \emptyset non-empty. However, we work around this by translating to English. When we say \mathfrak{not}\in\emptyset, what we’re really saying is no element belongs to \emptyset, thereby making it an emptyset. See? Clever!

3. Say we have a set A=\{a,b,c\}. Actually, A=\{\mathfrak{not},a,b,c\}. Hence, one element of \mathcal{P}(A) is \{\mathfrak{not}\}=\emptyset, as stated before (by clever linguistics). Hence, \emptyset\in\mathcal{P}(A) for every set A. In fact \mathcal{P}(\emptyset)=\mathcal{P}(\{\mathfrak{not}\})=\{\{\mathfrak{not}\}\}=\{\emptyset\}. Hence, \emptyset\in\mathcal{P}(\emptyset) also.

4. Say we have to construct the set S=\{x\in\Bbb{R}|x=x+1\}. This set contains no element from \mathbb{R}. However, even THIS set has to contain the element \mathfrak{not}. Hence, S=\{\mathfrak{not}\}=\emptyset.

I have sort of developed my own concepts here, and have made set theory more understandable for myself. I hope it helps other readers too.