I have heard several times that some mathematician has given another and more rigorous for an established theorem, but I don't know what does it really mean and what differences makes it to be more 'rigorous'. My understanding of a proof is that a proof is some explanation to convincing others that a statement is true. If some proof is not rigorous, does it mean that while the proof is acceptable for many but it is not for everybody? If so, the proof is not correct since it going to be rejected by some people and it is not a proof at all. Or, does rigorous mean it uses more advanced tools? If so, why not any alternative (but simpler) proof is also acceptable as rigorous (which is more 'valuable' as well since it's simpler!)?
Saying those limited insight of mine, my questions are:
$1-$ What does rigorous proof mean, in general definition?
$2-$ In order to understand your answers, as an example I am re-writing three of the proofs for the compactness of the torus. Which of the following proofs are most rigorous, 'normal' and least rigorous; and why so?
Theorem: The torus $T^2$ is compact.
First proof: The torus is homeomorphic to the product space $S^1 \times S^1$. The circle $S^1$ is compact. Therefore the torus is the product of two compact spaces, and thus it is compact.
Second proof: The torus $T$ is the subspace of $\mathbb{R}^3$ obtained by rotating a circle about the $z$-axis. The torus is closed since given any point in its complement, there is an open ball of sufficiently small radius centered at that point and disjoint from the torus. Also, the torus is bounded since it is contained in the ball of radius $4$ centered at the origin. Since the torus is closed and bounded in $\mathbb{R}^3$, it is compact.
Third proof: The torus is homeomorphic to a space obtained as a quotient
space of the square by identifying opposite edges. The square is a closed and
bounded subset of $\mathbb{R}^3$ and therefore is compact. Furthermore, a quotient map on the square is a continuous function, and the image of a compact space under a continuous function is compact. Therefore the torus is compact.
Thanks a lot for your guidance.
Best Answer
A proof is a succession of "trivial" steps, leading from one statement to another. To be perfectly rigorous, the trivial steps should be either axioms, or theorems proven in equally rigorous manner (and references to said proofs).
However, this is clearly impractical, so in the facts most steps are condensed or simply omitted, and it's up to the reader to fill in the gaps. The more gaps, the less rigor you have. It doesn't necessarily mean the steps are less correct: they can be perfectly true, but the reader has a more difficult task to check and understand them.
In your examples about the torus, you clearly use results about compact sets (among others). I don't have enough background here, so it is not detailed enough to convince me. On the other hand, a reader recognizing theorems he has accepted before would be able to fill the gaps and decide that some of them are sufficiently rigorous for him.