In an earlier post, I discussed the basic and most important aspects of Set theory, Functions and Real Number System. In the same, there was a significant discussion about the union and intersection of sets.

Restating the facts again, given a collection $ \mathcal{A}$ of sets, the union of the elements of $ \mathcal{A}$ is defined by

$ \displaystyle{\bigcup_{A \in \mathcal{A}}} A := {x : x \in A \textrm{ for at least one } A \in \mathcal{A} }$ .

The intersection of the elements of $ \mathcal{A}$ is defined by

$ \displaystyle{\bigcap_{A \in \mathcal{A}}} A := {x : x \in A \textrm{ for every } A \in \mathcal{A} }$ .

But what if the collection is empty? i.e., what if the collection contains no sets?

From the first day at Topology class in Gorakhpur University , it was the very first confusion which troubled many of classmates. Topology’s Professor was elaborating the finite intersection of sets in reference to topological space — and everyone in the classroom was enjoying it. To end of the lecture, as he wrote,

the intersection of members of empty collection equals to the universal set.

Which mathematically, Professor wrote $ \bigcap \emptyset = X$ where $ X$ is universal set. The quote was okay and significant but the mathematical notion of the same was confusing, as he represented an empty collection by “empty-set notation $ \emptyset$ ” . Professor easily asserted this to be an agreement among some mathematicians and even though the result is useful in some problems, he skipped a proper proof of it. [That’s really bad, Sir!]  At first instant, this problem lead me to a single result: $ \bigcap {\emptyset} = \emptyset$ , if $ \emptyset$ was usual null-set. But in the case, where $ \emptyset$ was an empty collection – I couldn’t reach to any result.

There came Munkres’s Topology book to the rescue. It’s second edition has a little note about the same on Chapter 1 page 12 .  He writes:

There is no problem with these definitions if one of the elements of $ \mathcal{A}$ happens to be the empty set. [In each such case of arbitrary union  and intersection the results is $ \emptyset$ .] But it is tricky to decide what (if anything) these definitions mean if we allow $ \mathcal{A}$ to be the empty collection. Applying the definitions literally, we see that  no element $ x$ satisfies the defining property for the union of the elements of $ \mathcal{A}$ . So it is reasonable to say that

$ \displaystyle{\bigcup_{A \in \mathcal{A}}} A := \emptyset$ if $ \mathcal{A}$ is empty.

On the other hand , every $ x$ satisfies (vacuously) the defining property for the intersection of the elements of $ \mathcal{A}$ . The question is, every $ x$ in what set? If one has a given large set $ X$ that is specified at the outset of the discussion to be one’s “universe of discourse”, and one considers only subsets of X throughout, it is reasonable to let

$ \displaystyle{\bigcap_{A \in \mathcal{A}}} A := X$ when $ \mathcal{A}$ is empty.

Not all Mathematicians follow this convention, however. …

 

So, according to Munkres (with some very good arguments), the intersection of elements of an empty collection of subsets of a set (say) $ E \subseteq X$ equals to the universal set $ X$ . In other words, nothing is everything. There must be any theoretical or logical proof of it! There must be.

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

You May Also Like

Four way valid expression

People really like to twist the numbers and digits bringing fun into life. For example, someone asks, “how much is two and two?” : the answer should be four according to basic (decimal based) arithmetic. But the same  with base three (in ternary number system) equals to 11. Two and Two also equals to Twenty Two. Similarly there are many ways you can…

Essential Steps of Problem Solving in Mathematical Sciences

Learning how to solve problems in mathematics is simply to know what to look for.   Mathematics problems often require established procedures. To become a problem solver, one must know What, When and How to apply them. To identify procedures, you have to be familiar with the different problem situations. You must also be good in gathering information, extracting strategies…

The Area of a Disk

If you are aware of elementary facts of geometry, then you might know that the area of a disk with radius $ R$ is $ \pi R^2$ . The radius is actually the measure(length) of a line joining the center of disk and any point on the circumference of the disk or any other circular lamina. Radius for a disk…

Test your counting skills with Branifyd game for Android

Without basic operations of counting, like Addition, Subtraction, Multiplication and Division, it is not possible to imagine math problems. Counting is the base of human life. A student, whether he’s a math major or not, must be good at counting numbers.  The counting ability builds from experience and is definitely a time taking process.   Larger you have given time…

A Possible Proof of Collatz Conjecture

Our reader Eswar Chellappa has sent his work on the solution of ‘3X+1’ problem, also called Collatz Conjecture. He had been working on the proof of Collatz Conjecture off and on for almost ten years. The Collatz Conjecture can be quoted as follow: Let $\phi : \mathbb{N} \to \mathbb{N}^+$ be a function defined  such that: $$\phi(x):= \begin{cases} \frac{x}{2}, & \text{if }…