Hi, can anyone help me show how to prove this. I know it is common sense, but I don't know how to express on paper how to prove it.
A∩∅=∅
Thanks!
To prove that A∩∅=∅ you must prove that A∩∅ is a subset of ∅ and then that ∅ is a subset of A∩∅ .
But we know that the empty set is a subset of any set hence ∅ is a subset of A∩∅ .
So we are left with the proof that A∩∅ is a subset of ∅ . for that you need to prove :
...........xεA∩∅ ===>xε∅........................................... ..................1
ΟR because 1 seems a Little strange,through contrapositive law that :
.......................~xε∅ ======> ~(xε∅ ^ xεA) <===>~xεA v ~ xε∅.................................2.
For 1 you need the law of logic called addition elimination:
.......................p^q ====> p or p^q ====>q.....................................,3
For 2 you need the laws of logic called De Morgan's and disjunction introduction:
............................~( p^q) is equivalent to ~p v ~q and p===> pvq............................................... ......4
Sometimes in mathematics the simplests proofs need a lot of thinking.
If you put now p=.................
The above is a syntactical proof, as most,if not all, of mathematical proofs are,but it so happens that in here we can also produce a semantical proof as well, using the truthful values of p and q.
To prove that xεA∩∅ ===>xε∅ i.e. that xεA∩∅ logically implies xε∅ we must prove that the conditional (xεA∩∅ ------>xεA∩∅) is an identity i.e. it is always true.
Or we can loosely reason: Since A∩∅ is always false it is equal to the empty set
Axiom schema of specification - Wikipedia, the free encyclopedia
Or, to put it more "simply":
"For every set and every condition, there corresponds a set whose elements are exactly the same as those elements of the original set for which the condition is true."
Otherwise known as the "Axiom of Subsets".
That is, the set can be created from taking the set and making a set from it with the extra "specification" that elements "must also be in set ".
Thus the definition of intersection is created from an axiomatic framework for set theory.
Loosely speaking, a propositional function which returns "true" or "false" on a given element.
For example, let be the set of all numbers. Let be the condition " is even."
Then the set means "The set of all elements of such that is even."
In the context of defining , this can be translated into the above language by saying:
where the "condition" is " ".
Thus means "All elements of such that is (also) in .
We can go further and state that which means the same thing. Thus intersection is commutative.
This subject goes on for ever, and is usually not treated at degree level - I've gleaned all I know about this aspect of set theory from independent research (i.e. reading books).