Lemo

El Vikipedio, la libera enciklopedio

Lemo estas en matematiko teoremo helpa, kies ĉefa apliko estas simpligo de pruvoj de aliaj pli gravaj teoremoj. Formale tamen ĉiu lemo estas plenrajta teoremo kaj kvalifiko de ia teoremo kiel lemo rezultas nur el maniero de ĝia uzo en alia pli vasta kunteksto. Kelkfoje okazis, ke lemo gajnis por si multe pli grandan signifon ol la origine intencita, trovante pli vastan aplikon kaj iĝante memstara teoremo, kies karakterizo kiel lemo rezultas nur dank' al historiaj kondiĉoj kaj restas nur pro respekto al tradicio.

Al teoremoj tradicie nomataj lemoj apartenas i.a.: