Hi,

can any one give me proof for mathematical induction?

Printable View

- Aug 27th 2007, 03:56 AMksssudhanvainduction
Hi,

can any one give me proof for mathematical induction? - Aug 27th 2007, 04:46 AMTKHunny
Hmmm...That's a tough one. What do you mean? Can it be proven that Mathematical Induction works or is valid? The fundamentals lie in the logic. Do you mean just any old proof using Mathematical Induction? It may help if you would provide the actual wording of an actual problem statement. If this is a personal exploration, you're going to have to get substantially more clear.

- Aug 27th 2007, 07:00 PMkezman
The principle of mathematical induction is usually stated as an axiom of the natural numbers. However, it can be proved in some logical systems. For instance, it can be proved if one assumes:

The set of natural numbers is well-ordered.

Every natural number is either zero, or n+1 for some natural number n.

For any natural number n, n+1 is greater than n.

To derive simple induction from these axioms, we must show that if P(n) is some proposition predicated of n, and if:

P(0) holds and

whenever P(k) is true then P(k+1) is also true

then P(n) holds for all n. - Aug 28th 2007, 12:47 AMksssudhanvainduction
I mean how can you say the method of mathematical induction is true.

- Aug 28th 2007, 07:06 AMThePerfectHacker
**Well-Ordering Principle:**Let $\displaystyle S$ be a non-empty set of natural numbers. Then $\displaystyle S$ has a smallest element!

**Induction:**Let $\displaystyle S$ be a set. Given $\displaystyle 0 \in S$ and that if $\displaystyle n\in S\implies n+1\in S$. Then $\displaystyle S=\mathbb{N}$.

**Proof:**Let $\displaystyle T = \{ x\in \mathbb{N} | x\not \in S \}$. Our goal is to show that $\displaystyle T$ is an empty set. Now assume that $\displaystyle T$ is non-empty. By the Well-Ordering Principle there exists a*minimial element*$\displaystyle a\in T$. Now $\displaystyle a\not = 0$ since $\displaystyle 0\in S$. So $\displaystyle a\geq 1$. That means it has a predecessor $\displaystyle a-1$. Since $\displaystyle a-1<a$ it must and $\displaystyle a$ is minimal it means $\displaystyle (a-1)\in S$. But then $\displaystyle (a-1)+1 = a\in S$. A contradiction! Thus, $\displaystyle T$ must be empty. Q.E.D.