05/04/2023, 08:14 princípio da indução finita

princípio da indução finita

O princípio da indução finita , também conhecido como indução matemática , é

comumente formulado de duas maneiras. Ambos são equivalentes . A primeira formulação é
conhecida como indução fraca . Afirma que se uma declaração P (n)detém paran = 0e se
P (n) ⇒ P (n + 1), entãoP (n)vale para todos os números naturais n. O cason = 0é chamado

de caso base ou passo base e a implicação P (n) ⇒ P (n + 1)é chamado de passo indutivo .
Em uma prova indutiva, usa-se o termo hipótese de indução ou hipótese indutiva para se referir
à afirmaçãoP (n)quando alguém está tentando provarP (n + 1)a partir dele.

A segunda formulação é conhecida como indução forte ou completa . Afirma que se a

implicação∀n ((∀m < nP (m)) ⇒ P (n))é verdade entãoP (n)é verdadeiro para todos os
números naturaisn. (Aqui, os quantificadores abrangem todos os números naturais.) Como
formulamos, a indução forte não requer um caso base separado. Note que a implicação
∀n((∀m < nP (m)) ⇒ P (n)já implicaP (0)desde a declaração∀m < 0P (m)segura no vácuo

(não há números naturais menores que zero).

Um momento de reflexão mostrará que a primeira formulação (indução fraca) é equivalente

ao seguinte:

DeixarS Seja um conjunto de números naturais tal que

1. 0pertence aS , e
2. senpertence aS , assim comon + 1.

EntãoS é o conjunto de todos os números naturais.

Da mesma forma, a indução forte pode ser declarada:

SeS é um conjunto de números naturais tal quenpertence aS sempre que todos os

números menores quenpertence aS , entãoS é o conjunto de todos os números
naturais.

O princípio da indução finita pode ser derivado do fato de que todo conjunto não vazio de
números naturais tem um menor elemento . Esse fato é conhecido como o princípio da boa
ordenação dos números naturais . (Observe que isso não é a mesma coisa que o princípio da
boa ordenação , que é equivalente ao axioma da escolha e não tem nada a ver com indução.)

https://planetmath.org/principleoffiniteinduction 1/2
05/04/2023, 08:14 princípio da indução finita

Título princípio da indução finita

nome canônico PrincípioDeInduçãoFinita
Data de criação 2013-03-22 11:46:41
Última modificação em 2013-03-22 11:46:41
Proprietário Cwoo (3771)
Última modificação por Cwoo (3771)
id numérico 24
Autor Cwoo (3771)
Tipo de entrada Teorema
Classificação msc 03E25
Classificação msc 00-02
Tópico relacionado Indução transfinita
Tópico relacionado UmExemploDeInduçãoMatemática
Tópico relacionado Indução
Tópico relacionado Indução BemFundada
define hipótese de indução
define hipótese indutiva
define caso base
define passo básico
Gerado em quinta-feira, 8 de fevereiro 20:17:00 2018 por LaTeXML

https://planetmath.org/principleoffiniteinduction 2/2