Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

For this question I am required to give a self-contained proof of a statement, but I am not sure what a "self-contained proof" is.

share|improve this question
2  
In this case, it most likely means that you are not using (nontrivial) identities or properties that you did not show in the course of the proof. –  Cameron Williams Aug 4 '13 at 17:48
    
Apart from Cameron Wiliams's remarks, we might be able to tell you more concretely what not to use in your proof if to added the actual statement to be shown (though many might accidentally take that as incentive to actually post such a self-contained proof) –  Hagen von Eitzen Aug 4 '13 at 17:52
    
Ah ok, thank you. The statement was "If a vertex of a graph G has a degree of at least 2, then G contains a cycle." I think that I have figured it out now. –  nonion Aug 4 '13 at 17:55
    
Is that statement true? –  Bananarama Aug 4 '13 at 17:58
    
take an asterisk: the center vertex has degree 6 but it has no cycles –  Bananarama Aug 4 '13 at 18:06
add comment

3 Answers 3

Without knowing more context, it is hard to tell what was meant.

A proof is "self-contained" if it doesn't make use of external results.

The definition of "external results" is the variable in the question. For example, it could mean any of the following:

  • Using only axioms
  • Not using other results from this chapter
  • Not using advanced results

I'm sure there are other possible meanings.

The first is really the only "formal" definition of "self-contained proof," but it is hardly ever what is intended unless you are studying foundations.

One example would be:

Prove that $1+3+5+\dots +(2n-1) = n^2$.

You could prove this using the fact that $1+2+3+\dots + n = \frac{n(n+1)}{2}$. That would not be self-contained, because you reference another result.

Alternatively, you could prove the theorem directly by induction, which would be a self-contained proof.

Quite often, during a chapter, we prove a very general result, and often an exercise will ask you to show such a specific instance of that result without resorting to the general theorem, just so you can see how a specific instance works out.

share|improve this answer
add comment

It is a proof which does not refer to other sources.

For example, this is a self-contained answer (it does not rely on any external information).

However, this is not self-contained as it refers to other sources (in this case books).

share|improve this answer
add comment

A self contained proof in its most rigorous form would be a proof that does not rely on theorems or lemmas that have not been proved previously in the same text.

But in practice if you are asked to give a self contained proof I would expect that as long as you don't prove it by using generalizations of the theorem in question or relying on complex theorems that most people reading it wont understand it should be considered a self-contained proof.

The point of the self-contained proof is to reduce the prevous knowledge requirements as much as possible.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.