Luda teoremo

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En matematiko, luda teoremo estas simpligita versio de iu pli ĝenerala teoremo. Luda teoremo estas kutime ricevata per iu plisimpligo de supozoj de la fonta teoremo.

Kutime, luda teoremo estas uzata al ilustri la plenan teoremo. Povas ankaŭ esti utile studi pruvojn de luda teoremo derivitajn de pruvoj de ne-bagatela teoremo. Ludaj teoremoj povas ankaŭ havas klerigan valoron. Post prezento de la plena teoremo kiu havas alte ne-bagatelan pruvon, oni povas kiel iu montrilo de tio ke la teoremo reale veras, doni pli simplan pruvon de luda versio de la teoremo.

Ekzemple, luda teoremo de la fiksa punkta teoremo de Brouwer estas ricevita per konsidero de la 1-dimensia okazo. En ĉi tiu okazo, la fiksa punkta teoremo de Brouwer preskaŭ senpere sekvas el la intera valora teoremo.

Vidu ankaŭ[redakti | redakti fonton]

Eksteraj ligiloj[redakti | redakti fonton]