Lema (matemática) - Lemma (mathematics)

Em matemática , lógica informal e mapeamento de argumento , um lema ( lemas plurais ou lemata ) é uma proposição comprovada geralmente menor que é usada como um trampolim para um resultado maior. Por esse motivo, também é conhecido como "teorema de ajuda" ou "teorema auxiliar". Em muitos casos, um lema deriva sua importância do teorema que pretende provar, no entanto, um lema também pode ser mais importante do que se pensava originalmente. A palavra "lema" deriva do grego antigo λῆμμα ("tudo o que é recebido", como um presente, lucro ou suborno).

Comparação com teorema

Não há distinção formal entre um lema e um teorema , apenas um de intenção (ver terminologia do teorema ). No entanto, um lema pode ser considerado um resultado menor cujo único propósito é ajudar a provar um teorema mais substancial - um passo na direção da prova.

Lemas bem conhecidos

Um bom trampolim pode levar a muitos outros. Alguns resultados poderosos em matemática são conhecidos como lemas, inicialmente nomeados devido ao seu propósito originalmente menor. Estes incluem, entre outros:

Embora esses resultados originalmente parecessem muito simples ou muito técnicos para justificar um interesse independente, eles acabaram se revelando centrais para as teorias em que ocorrem.

Veja também

Notas

Referências

links externos

Este artigo incorpora material do Lemma no PlanetMath , que é licenciado sob a licença Creative Commons Atribuição / Compartilhamento pela mesma Licença .