Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proving the proof by contradiction method

  1. Oct 25, 2011 #1
    Proving the "proof by contradiction" method

    This can get a little bit fundamental or "axiomatic", if you will. Let's say we can describe sets by prescribing a fixed property P on objects of a certain type, and claiming that a set is a collection of objects satisfying P; i.e. [itex]A = \{x : P(x)\}[/itex]. We have the usual notions of subset, union, intersection, set difference, complement, etc.

    Result. Let S be a set of objects (the "universe") and [itex]A, B \subseteq S[/itex]. Take the convention that neither A nor B are empty. Suppose A and B partition S in the following sense: [itex]A \cup B = S[/itex], and [itex]A \cap B = \emptyset[/itex]. Then if [itex]x \in S[/itex] with [itex]x \notin A[/itex], we necessarily have [itex]x \in B[/itex].

    Remark. Notice that this will show that we can use the "contradiction" method: let [itex]A = \{x \in S : P(x)\}[/itex] and [itex]B = \{x \in S : \neg P(x)\}[/itex]. Of course, [itex]A \cup B = S[/itex] and [itex]A \cap B = \emptyset[/itex]. If we can show that for all [itex]x \in S[/itex], we have [itex]x \notin B[/itex] (i.e. x cannot satisfy [itex]\neg P(x)[/itex]), then we will necessarily have [itex]x \in A[/itex] (i.e. x satisfies [itex]P(x)[/itex]).

    Proof of result. First we will show that [itex]A = S \setminus B[/itex] and vice-versa (lemma) -- we will do this by showing mutual inclusion of these sets.

    "[itex]\subseteq[/itex]" Let [itex]x \in A[/itex]. Then [itex]x \in S[/itex]. But [itex]x \notin B[/itex] since [itex]A \cap B = \emptyset[/itex]. Thus [itex]x \in S \setminus B[/itex].
    "[itex]\supseteq[/itex]" Let [itex]x \in S \setminus B[/itex]. Then [itex]x \in S[/itex], but [itex]x \notin[/itex]. Since [itex]A \cup B = S[/itex], we get [itex]x \in A[/itex].

    We will move on to the proof of the main result. Suppose [itex]x \notin A[/itex]. By the lemma, since [itex]B = S \setminus A[/itex], we get [itex]x \in B[/itex]. □

    I'm clearly playing around with boolean logic and using loose definitions of set-axiomatic items. I want to be very careful as I am presenting a formal talk on using sets to describe proofs by contradiction, induction and contraposition in the same manner as I have done above. I'm sure about my results for the latter two, but "proving" that proofs by contradiction are valid is tricky and seemingly not possible. I'm not sure if I've done it correctly here so please point out any flaws in this argument. Thanks!
     
    Last edited: Oct 25, 2011
  2. jcsd
  3. Oct 26, 2011 #2
    Re: Proving the "proof by contradiction" method

    the part where A intersect B = empty is basically an axiom. That's why this method works, because we use the law of excluded middle.
     
  4. Oct 26, 2011 #3

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Re: Proving the "proof by contradiction" method

    It's a little hard to comment without knowing your precise motivation. Naive set theory and naive logic are more or less synonymous; they only differ in the words (and symbols) used. The form of a proof can vary a lot depending on what your set of axioms are and the level of detail you intend.

    e.g. at the most extreme level of detail, you ought to justify why [itex]x \notin B[/itex] and [itex]A \cup B = S[/itex] imply that [itex]x \in A[/itex].



    As an editorial note, in your mutual inclusion proof, you proved A=S\B, but the result you use is B=S\A. It's probably to swap A and B so that you instead prove B=S\A, rather than invoke an implied symmetry argument.



    That said, I'm not sure this counts as justifying proof by contradiction. What you're really justifying is that complementary propositions are actually negations of each other.


    Proof by contradiction would more closely relate to the following fact:
    If [itex]A = \emptyset[/itex], then [itex]x \notin A[/itex]​
     
  5. Oct 26, 2011 #4
    Re: Proving the "proof by contradiction" method

    I usually observe that:

    [tex] (P \Rightarrow (P \wedge \neg P)) \Rightarrow \neg P [/tex]

    is a tautology irrespective of any of the various set theories, and go from there.
     
  6. Oct 27, 2011 #5
    Re: Proving the "proof by contradiction" method

    I realize this. I'm presenting to undergrads, from freshman to seniors. Myself, I'm in my 2nd year. The only "axioms" I want to use are just simple intuitive things like that sets exist, that "set membership" is well-defined, that I can take unions, etc. Of course, considering my audience, I will assume everyone is comfortable with basic set notation if not formal set theory. I haven't ever taken a formal set theory course anyway. I just want to use sets as a vehicle of deepening understanding of these proof methods. I hope this gives a better understanding of the level of detail I want to achieve here.

    The proof of both B = S \ A and A = S \ B are identical for practical purposes -- the difference is just interchanging symbols. For clarity, I should probably prove B = S \ A then.

    Interesting. I will see what I can do with that then!

    Alternatively, I'm trying to show that if the negation of a property does not hold, then the property must always hold; i.e. if [itex]B = {x \in S : \not P(x)} = \emptyset[/itex], then [itex]A = {x \in S : P(x)} = S[/itex]. I wonder if this is a reasonable approach.
     
  7. Oct 27, 2011 #6
    Re: Proving the "proof by contradiction" method

    I will show you what I have prepared on induction. My goal is to give new light on well-understood ideas, especially for freshman and juniors. Everyone learns mathematical induction in first year, so I just want to show a less common characterization of this concept.

    Let [itex]\mathbb{N} = \{1, 2, 3, ...\}[/itex] and [itex]S \subseteq \mathbb{N}[/itex] with [itex]S \neq \emptyset[/itex]. Then there exists [itex]s \in S[/itex] such that [itex]s \leq x[/itex] for all [itex]x \in S[/itex]. This says that every nonempty subset of the natural numbers has a least element. We know this as the well-ordering principle of [itex]\mathbb{N}[/itex].

    Induction. Let [itex]S \subseteq \mathbb{N}[/itex] and suppose (i) [itex]1 \in S[/itex] and (ii) whenever [itex]k \in S[/itex], we get [itex](k + 1) \in S[/itex]. Then [itex]S = \mathbb{N}[/itex].

    Proof. Suppose that [itex]S \neq \mathbb{N}[/itex] towards contradiction. Then its complement (with respect to [itex]\mathbb{N}[/itex]) is nonempty. Let [itex]T = \mathbb{N} \setminus S[/itex]. Since T is nonempty, by well-ordering T has a least element, say [itex]t \in T[/itex]. Since [itex]1 \in S[/itex] by (i), [itex]1 \notin T[/itex]; so we can take [itex]t \neq 1[/itex] so [itex]t > 1[/itex].
    [itex](t - 1) \notin T[/itex] since t is the smallest number in T. Thus [itex](t - 1) \in S[/itex]. But then by (ii), [itex](t - 1) + 1 = t \in S[/itex], a contradiction. □

    This is the type of presentation I want to make for my seminar.
     
  8. Oct 27, 2011 #7
    Re: Proving the "proof by contradiction" method

    I think it would be better to avoid all of the complexity, and use something simple like the following set theorem, which makes rich use of proof by contradiction:

    [tex] \forall x (x \not \in \emptyset) [/tex]
     
  9. Oct 27, 2011 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Re: Proving the "proof by contradiction" method

    It might be fun to generalize this result to arbitrary well-ordered sets.

    A set X is well-ordered if all non-empty subsets of X have a least element. In particular, X has a least element 0.

    Now the induction can be defined as:
    If [itex]S\subseteq X[/itex] is such that
    • 0 is in S
    • If y in X has that [itex]\{x\in X~\vert~x\leq y\}\subseteq S[/itex], then y is in S.

    Then S=X.

    The fun thing is that every set can be well-ordered (using the axiom of choice). So we can do induction on every set!! This is called transfinite induction.
     
  10. Oct 27, 2011 #9
    Re: Proving the "proof by contradiction" method

    ^ Yeah, I know about that stuff!! That's a super good idea, thanks a lot. I will upgrade my presentation to discuss transfinite induction. Thanks for the idea!
     
  11. Oct 27, 2011 #10
    Re: Proving the "proof by contradiction" method

    I have seen "x is an element of the empty set if and only if x is not equal to itself."

    I'm told that this can be proved to be always true in any system of logic. There are two possible results: either all elements are not in the empty set, or all elements are. Needless to say, systems of the first type are found to be more useful.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook