You are currently browsing the tag archive for the ‘Paul Halmos’ tag.

The difference between sets A and B, also known as the relative complement of B in A, is the set A - B defined by

A - B = \{ x: x \in A \mbox{ and } x \not\in B \}.

If we assume the existence of a universe, U, such that all the sets are subsets of U, then we can considerably simplify our notation. So, for instance, U - B can simply be written as B', which denotes the complement of B in U. Similarly, U' = U - U  = \emptyset \,, \emptyset ' = U - \emptyset = U, and so on. A quick look at a few more facts:

  • (A')' = A,
  • A \cap A' = \emptyset,
  • A \cup A' = U
  • A \subset B if and only if B' \subset A'.

The last one is proved as follows. We prove the “if” part first. Suppose B' \subset A'. If x \in A, then clearly x \not\in A'. But, since B' \subset A', we have x \not\in B', which implies x \in B. Hence, A \subset B. This closes the proof of the “if” part. Now, we prove the “only if” part. So, suppose A \subset B. Now, if x \in B', then clearly x \not\in B. But, since A \subset B, we have x \not\in A, which implies x \in A'. Hence, B' \subset A'. This closes the proof of the “only if” part, and, we are done.

The following are the well-known DeMorgan’s laws (about complements):

(A \cup B)' = A' \cap B', and (A \cap B)' = A' \cup B'.

Let’s quickly prove the first one. Suppose x belongs to the left hand side. Then, x \not\in A \cup B, which implies x \not\in A and x \not\in B, which implies x \in A' and x \in B', which implies x \in A' \cap B'. This proves that the left hand side is a subset of the right hand side. We can similarly prove the right hand side is a subset of the left hand side, and this closes our proof.

Though it isn’t very apparent, but if we look carefully at the couple of problems whose proofs we did above, we note something called the principle of duality for sets. One encounters such dual principles in mathematics quite often. In this case, this dual principle is stated a follows.

Principle of duality (for sets): If in an inclusion or equation involving unions, intersections and complements of subsets of U (the universe) we replace each set by its complement, interchange unions and intersections, and reverse all set-inclusions, the result is another theorem.

Using the above principle, it is easy to “derive” one of the DeMorgan’s laws from another and vice versa. In addition, DeMorgan’s laws can be extended to larger collections of sets instead of just pairs.

Here are a few exercises on complementation.

  1. A - B = A \cap B',
  2. A \subset B if and only if A - B = \emptyset,
  3. A - (A - B) = A \cap B,
  4. A \cap (B - C) = (A \cap B) - (A \cap C),
  5. A \cap B \subset (A \cap B) \cup (A \cap C),
  6. (A \cup C) \cap (B \cup C') \subset A \cup B.

 

We will prove the last one, leaving the remaining as exercises to the reader. Suppose x belongs to the left hand side. Then, x \in A \cup C and x \in B \cup C'. Now, note that if x \in C, then x \not\in C', which implies x \in B, which implies x \in A \cup B. If, on the other hand, x \in C', then x \not\in C, which implies x \in A, which implies x \in A \cup B. Hence, in either case, the left hand side is a subset of A \cup B, and we are done.

We now define the symmetric difference (or Boolean sum) of two sets A and B as follows:

A \triangle B = (A-B) \cup (B-A).

This is basically the set of all elements in A or B but not in A \cap B. In other words, A \triangle B = (A \cup B) - (A \cap B). Again, a few facts (involving symmetric differences) that aren’t hard to prove:

  1. A \triangle \emptyset = A,
  2. A \triangle A = \emptyset,
  3. A \triangle B = B \triangle A (commutativity),
  4. (A \triangle B) \triangle C = A \triangle (B \triangle C) (associativity),
  5. (A \triangle B) \triangle (B \triangle C) = A \triangle C,
  6. A \cap (B \triangle C) = (A \cap B) \triangle (A \cap C).

This brings us now to the axiom of powers, which basically states if E is a set then there exists a set that contains all the possible subsets of E as its elements.

Axiom of powers: If E is a set, then there exists a set (collection) P, such that if X \subset E, then X \in P.

The set P, described above, may be too “comprehens ive”, i.e., it may contain sets other than the subsets of E. Once again, we “fix” this by applying the axiom of specification to form the new set P = \{ X: X \subset E \}. The set P is called the power set of E, and the axiom of extension, again, guarantees its uniqueness. We denote P by P(E) to show the dependence of P on E. A few illustrative examples: P(\emptyset) = \{ \emptyset \}, P(\{ a \}) = \{ \emptyset, \{ a \} \}, P(\{ a, b \}) = \{ \emptyset,  \{ a \}, \{ b \}, \{ a, b \} \}, and so on.

Note that if E is a finite set, containing n elements, then the power set P(E) contains 2^n elements. The “usual” way to prove this is by either using a simple combinatorial argument or by using some algebra. The combinatorial argument is as follows. An element in E either belongs to a subset of E or it doesn’t: there are thus two choices; since there are n elements in E, the number of all possible subsets of E is therefore 2^n. A more algebraic way of proving the same result is as follows. The number of subsets with k elements is \binom{n}{k}. So, the number of subsets of E is \sum_{k=0}^{n}\binom{n}{k}. But, from the binomial theorem, we have \displaystyle (1 + x)^n = \sum_{k=0}^{n}\binom{n}{k}x^k. Putting x = 1, we get 2^n as our required answer.

A few elementary facts:

  1. \bigcap_{X \in P(E)} X = \emptyset.
  2. If E \subset F, then P(E) \subset P(F).
  3. E = \bigcup P(E) .

EXERCISES:

1. Prove that P(E) \bigcap P(F) = P(E \bigcap F).

2. Prove that P(E) \bigcup P(F) \subset P(E \bigcup F).

 

 

 

 

 

 

 

 

 

 

After postulating a couple of important axioms in the previous two sections, we now arrive at a couple of important results.

1. There exists an empty set. (In fact, there exists exactly one!)

2. The empty set is a subset of every set.

Indeed, to prove the first result, suppose A is some set. Then, the set \{ x \in A: x \not= x \} is clearly an empty set, i.e. it doesn’t contain any elements. To “picture” this, imagine an empty box with nothing inside it. In fact, we can apply the axiom of specification to A with any universally false sentence to create an empty set. The empty set is denoted by \emptyset. The axiom of extension, on the other hand, guarantees there can be only one empty set.

Now, how do we argue that \emptyset \subset A, for any arbitrary set A? Well, the reasoning is an indirect one, and for most beginners, it doesn’t seem like a complete one. There is something in the argument that doesn’t feel quite “right!” However, there is nothing “incomplete” about the argument, and here it is anyway.

Suppose, for the sake of contradiction, the emptyset, \emptyset, is not a subset of A. Then, there exists an element in \emptyset that doesn’t belong to A. But, the empty set is empty, and hence, no such element exists! This means our initial hypothesis is false. Hence, we conclude (maybe, still somewhat reluctantly) \emptyset \subset A.

Now, the set theory we have developed thus far isn’t a very rich one; after all, we have only showed there is only one set and that it is empty! Can we do better? Can we come up with an axiom that can help us construct new sets? Well, it turns out, there is one.

Axiom of pairing: If a and b are two sets, then there exists a set A such that a \in A and b \in A.

The above axiom guarantees that if there are two sets, a and b, then there exists another one, A, that contains both of these. However, A may contain elements other than a and b. So, can we guarantee there is a set that contains exactly a and b and nothing else? Indeed, we can. We just apply the axiom of specification to A with the sentence “x = a or x = b.” Thus, the set \{ x \in A: x = a \mbox{ or } x = b\} is the required one.

The above construction of a particular set illustrates one important fact: all the remaining principles of set construction are pseudo-special cases of the axiom of specification. Indeed, if it were given that there exists a set containing some particular elements, then the existence of a set containing exactly those elements (and nothing else) would follow as a special case of the axiom of specification.

Now, observe if a is a set, then the axiom of pairing implies the existence of the set \{ a, a \}, which is the same as the set \{ a \} and is called a singleton of a. Also, note that \emptyset and \{ \emptyset \} are different sets; the first has no elements at all, whereas the second has exactly one element, viz. the empty set. In fact, there is a minimalist (inductive) way of constructing the set of natural numbers, N, (due to von Neumann) using the axiom of infinity as follows.

0 = \emptyset, 1 = \{ 0 \}, 2 = \{ 0, 1 \}, \ldots

But, more on this later.

The axiom of extension (discussed in Section 1) is unique in the sense that it postulates the existence of a relation between belonging and equality. All the other axioms of set theory, on the other hand, are designed to create new sets out of old ones!

The axiom of specification, loosely speaking, states that given some arbitrary (but well-defined) set U (our universe), if we can make some “intelligent” assertion about the elements of U, then we specify or characterize a subset of U. An intelligent assertion about the elements of U could, for example, specify a property that is shared by some elements of U and not shared by the other elements. In the end, we will take up an example about an assertion that is tied to the famous Russell’s paradox.

For now, let us discuss a simple example. Suppose A is the set of all (living) women. If we use x to denote an arbitrary element of A, then the sentencex is married” is true for some of the elements of A and false for others. Thus, we could generate a subset of A using such a sentence. So, the subset of all the women who are married is denoted by \{ x \in A: x \mbox{ is married}\}. To take another example, if N is the set of natural numbers, then \{x \in N: 1 < x \leq 5 \} = \{ 2, 3, 4, 5 \}. Now, note that the subset \{ 2 \} of N is not the same as the number 2. Loosely speaking, a box containing a hat is not the same thing as the hat itself.

Now, we only need to define what a sentence is before we can precisely formulate our axiom of specification. The following rules would be a formal way to (recursively) define a sentence:

x \in A” is a sentence.”

A = B” is a sentence.

If X is a sentence, then (\mbox{not}(X)) is a sentence.

If X, Y are sentences, then (X \mbox{ and } Y) is a sentence.

If X, Y are sentences, then (X \mbox{ or } Y) is a sentence.

If X, Y are sentences, then (\mbox{if } X \mbox{ then } Y) is a sentence.

If X, Y are sentences, then (X \mbox{ if and only if } Y) is a sentence.

If X is a sentence, then (\mbox {for some }y  (X) ) is a sentence.

If X is a sentence, then (\mbox {for all }y  (X)) is a sentence.

Note that the two types of sentences, “x \in A” and “A = B“, stated in the first two rules, are what we would call atomic sentences, while the rest of the other rules specify (valid) ways of generating (infinitely) many sentences from those two atomic sentences using the usual logical operators. Also, note that some of the rules above are rather redundant because it is possible to convert certain sentences having a set of logical operators to another sentence having a different set of logical operators. For example, “X \mbox{ or } Y” can be written as “\mbox{not ( not(X) and not(Y))}“, and so on. Anyway, we are digressing too far from our objective.

Having defined what a sentence is, we can now formulate the major principle of set theory, often referred to by its German name Aussonderungsaxiom.

Axiom of specification: To every set A and to every condition S(x), there corresponds a set B whose elements are exactly those elements x of A for which S(x) holds.

A “condition” here just means a sentence. The letter x is free in the sentence S(x), meaning x occurs in S(x) at least once without occurring in the phrases “for some x” or “for all x“. Now, the axiom of extension guarantees us that the axiom of specification determines the set B uniquely, and we usually write B = \{ x \in A: S(x) \}.

This finally brings us to the example we mentioned in the beginning of this section. Let us define S(x) := x \not\in x. Suppose A is some arbitrary set. Let B = \{ x \in A: x \not\in x \}. Then for all y,

(*) \,\, y \in B \mbox{ if and only if } (y \in A \mbox{ and } y \not\in y).

Can we have B \in A? The answer is no, and here’s why. Suppose, for the sake of contradiction, B \in A. Then, we have either B \in B, or B \not\in B. If B \in B, then using (*), we have B \not\in B, a contradiction. And, if B \not\in B, then using (*) again, the assumption B \in A yields B \in B, a contradiction. This proves that B \in A is false, and hence we conclude B \not\in A. Note that our set A was an arbitrary one, and we just showed that there is something (viz. B) that does not belong to A. We have, thus, essentially proved that

 

there is no universe.

Here, “universe” means “universe of discourse”, a set that contains all the objects that enter into that discussion.

It was mentioned earlier that the above example has something to do with Russell’s paradox. We shall see why. In the earlier pre-axiomatic approaches to set theory, the existence of a universe was taken for granted. Now, in the above example, we just showed that B \not\in A implies the non-existence of a universe. So, if we assume that a universe exists, then it implies that B \in A, but we have already shown that this leads to a contradiction! And this was exactly the content of Russell’s paradox. In Halmos’ own words:

The moral is that it is impossible , especially in mathematics, to get something for nothing. To specify a set, it is not enough to pronounce some magic words (which may form a sentence such as “x \not\in x“); it is necessary also to have at hand a set whose elements the magic words apply.

Our other blog

Visitors to this blog

Blog Stats

  • 257,869 hits

Wikio Ranking

Wikio - Top Blogs - Sciences

Current Online Readers

Archives

October 2014
M T W T F S S
« Jan    
 12345
6789101112
13141516171819
20212223242526
2728293031  
Follow

Get every new post delivered to your Inbox.

Join 68 other followers