REVISTACIENTIFICAMULTIDISCIPLINARNUCLEODOCONHECIMENTO

Revista Científica Multidisciplinar

Pesquisar nos:
Filter by Categorias
Administração
Administração Naval
Agronomia
Arquitetura
Arte
Biologia
Ciência da Computação
Ciência da Religião
Ciências Aeronáuticas
Ciências Sociais
Comunicação
Contabilidade
Educação
Educação Física
Engenharia Agrícola
Engenharia Ambiental
Engenharia Civil
Engenharia da Computação
Engenharia de Produção
Engenharia Elétrica
Engenharia Mecânica
Engenharia Química
Ética
Filosofia
Física
Gastronomia
Geografia
História
Lei
Letras
Literatura
Marketing
Matemática
Meio Ambiente
Meteorologia
Nutrição
Odontologia
Pedagogia
Psicologia
Química
Saúde
Sem categoria
Sociologia
Tecnologia
Teologia
Turismo
Veterinária
Zootecnia
Pesquisar por:
Selecionar todos
Autores
Palavras-Chave
Comentários
Anexos / Arquivos

Considerações sobre o princípio de indução finita à luz da definição de quantificador universal

RC: 43112
84
5/5 - (2 votes)
DOI: 10.32749/nucleodoconhecimento.com.br/matematica/principio-de-inducao

CONTEÚDO

ARTIGO ORIGINAL

PEREIRA, Olavo de Carvalho [1]

PEREIRA, Olavo de Carvalho. Considerações sobre o princípio de indução finita à luz da definição de quantificador universal. Revista Científica Multidisciplinar Núcleo do Conhecimento. Ano 05, Ed. 01, Vol. 01, pp. 53-57. Janeiro de 2020. ISSN: 2448-0959, Link de acesso: https://www.nucleodoconhecimento.com.br/matematica/principio-de-inducao

RESUMO

O artigo mostra que o Princípio de Indução Finita, da maneira como está definido, sobretudo nos livros citados, não produz indução alguma.

Palavras-Chave: Indução Finita, princípio.

1. INTRODUÇÃO

O presente artigo tem o objetivo de rever o princípio de indução finita, à luz do que se depreende da definição de quantificador universal, no intuito de estabelecer a real situação a ser considerada.

1.1 QUANTIFICADOR UNIVERSAL E O PRINCÍPIO DE INDUÇÃO FINITA

O quantificador universal é utilizado quando queremos nos referir a todos os elementos de um conjunto, seja ele o conjunto dos naturais, dos inteiros, dos racionais, . . ., ou um conjunto qualquer, X.

Seu símbolo é ∀ e significa “para todo”, “qualquer que seja”, etc.

Por exemplo, quando dizemos “para todo k pertencente ao conjunto dos números naturais” isto significa “para todo número natural k”; isto é, para todo número natural aqui designado genericamente pela letra k; significa, portanto, que k representa todos os números naturais e que, dessa forma,  pode ser identificado com o próprio conjunto dos números naturais, isto é,  k=N.

Quando utilizamos o quantificador universal, por exemplo, ∀ k ∈ N, pelo fato do k representar todo e qualquer número natural, a expressão k+1 fica sem sentido, pois, seria equivalente a N+1 (o conjunto de todos os números naturais acrescido de uma unidade).

Outro exemplo: quando dizemos, “para todo k pertencente ao conjunto dos números naturais, 2k é par”, significa que k=N e 2k= 2 multiplicado por cada número natural, portanto, equivalente a 2N, que representa todos os números pares.

Situação diferente é quando dizemos “seja k um número natural” ou “dado k ∈ N”, em que o número k é separado, é destacado do conjunto dos naturais e representa apenas um elemento daquele conjunto, por exemplo, seja k=5 (o 5 foi destacado do conjunto dos números naturais).

Quando destacamos o número natural  como na expressão “seja k ∈ N”, faz sentido falarmos em k+1, isto é, faz sentido falarmos do natural k+1 sucessor do natural k.

O significado do quantificador universal nem sempre tem sido utilizado de forma correta, acarretando inconsistência lógica.

Identificamos sua utilização na definição do princípio de indução finita e analisamos uma consequência lógica imediata.

Vejamos algumas versões.

Filho (1992) define o princípio de indução finita da seguinte forma:

“Seja S um subconjunto do conjunto N dos inteiros positivos (conjunto dos números naturais) que satisfaz as duas seguintes condições:

          • 1 pertence a S;
          • Para todo inteiro positivo k, (portanto, para todo número natural k), se k pertence a S, então k+1 pertence a S.

Nestas condições, S é o conjunto N dos inteiros positivos: S=N. (p.34)”

Analisando a definição acima, no item (2) temos o quantificador universal do conjunto N dos naturais. A expressão “Para todo inteiro positivo k”, significa que k representa todos os naturais, o conjunto completo dos números naturais, e, portanto, pode ser identificado com o conjunto dos naturais, isto é, k=N. Continuando . . . se k pertence a S, isto significa que todo número natural pertence a S, e, com isso, o conjunto N dos naturais está todo contido no conjunto S. Como k já representa todo e qualquer número natural, a expressão “k+1” fica sem sentido no contexto da definição, pois seria equivalente a N+1 (o conjunto de todos os números naturais acrescido de uma unidade). Portanto a expressão “k+1” não tem razão de ser.

Em Lima (1978) o princípio de indução finita é definido assim:

“Se X contido em N (conjunto dos números naturais) é um subconjunto tal que 1 pertence a X e, para todo n (natural) pertencente a X tem-se também o sucessor de n, (n+1), pertencente a X, então X=N. (p. 26)”

Analisando esta definição identificamos o quantificador universal do conjunto X na expressão “para todo n (natural) pertencente a X” onde n representa todos os elementos de X, o conjunto X completo, e, portanto, n=X. Sendo assim, da mesma forma que na definição anterior, a expressão n+1 em nada acrescenta em relação aos elementos de X, uma vez que n já representa todos os elementos de X. Neste caso, n+1 significaria X+1, e, por isso, ficaria sem sentido no contexto da definição.

Na definição de Filho (1992), chega-se à conclusão de que S=N, simplesmente porque se supôs S contido em N e N contido em S, e não porque se utilizou de um mecanismo de sucessão de elementos que expandiu o conjunto S até identificá-lo com o conjunto dos naturais; nela o item (1) está contido no item (2), uma vez que k é o quantificador universal de N, contendo, portanto, o elemento 1.

Na definição do conjunto X, contido em Lima (1978), temos apenas que X está contido em N, pois a inclusão inversa não foi conseguida  pela estrutura   apresentada. Sendo assim, de forma alguma pode-se chegar à conclusão de que X=N.

Vejamos mais um exemplo.

Iezzi e Murakami (1991) assim definem o Princípio de Indução Finita:

 “Uma proposição P(n), aplicável aos números naturais n, é verdadeira para todo n ∈ N, n ≥ ω, quando

1º) P(ω) é verdadeira, isto é, a propriedade é válida para n=ω, e

2º) Se k ∈ N, k≥ ω e P(k) é verdadeira, então P(k+1) também é verdadeira. (p. 53 a 54)”

Neste caso a situação é mais restrita ainda, pois não temos o quantificador universal na estrutura da definição, isto é, em 2º) lemos “Se k ∈ N”, ou seja, o k representa um número qualquer que foi destacado do conjunto dos números naturais e, por isso, P(k) e P(k+1) representarão apenas dois números, não sendo possível se fazer uma indução.

Do exposto, conclui-se que essas definições nada acrescentam em termos matemáticos, pois o “Princípio de Indução Finita”, da maneira como está definido nos exemplos citados, não produz indução alguma, uma vez que, com a estrutura lógica apresentada,  o quantificador universal do conjunto dos naturais, ou de um dado conjunto X, já representa os elementos desses conjuntos, não sendo necessário, nem possível, utilizar-se de um sucessor de elementos dos conjuntos dados para expandi-los até o conjunto dos naturais.

2. CONCLUSÃO

No exposto mostramos a não existência do princípio de indução finita, da maneira como está definido nos livros citados.

A tese se baseou na definição de quantificador universal.

Relatamos essa observação na intenção de que tal princípio, caso possua uma estrutura lógica que respalde sua existência, possa ela constar em livros que se destinam ao ensino da matemática elementar.

3. REFERÊNCIAS

FILHO, Edgar de Alencar. Teoria Elementar dos Números, 3ª edição, 1992.

IEZZI,Gelson e MURAKAMI, Carlos. Fundamentos de Matemática Elementar, Volume 1, 1991.

LIMA, Elon Lages. Curso de Análise, vol. 1, 1978.

[1] Graduação – Bacharelado em Matemática pela Universidade de Brasília.

Enviado: Novembro, 2019.

Aprovado: Janeiro, 2020.

5/5 - (2 votes)
Olavo De Carvalho Pereira

Deixe um comentário

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *

Pesquisar por categoria…
Este anúncio ajuda a manter a Educação gratuita