У чым розніца паміж сказам і лемай і як вы будуеце лему?


адказ 1:

Леммы - тэарэмы. Я не хачу гаварыць пра выкарыстанне для ўсіх камп'ютэрных навукоўцаў і матэматыкаў, але я вылучу некалькі пунктаў ніжэй, каб спадзявацца, разбярэцца блытаніна.

Лемма - гэта назва сказа, якое служыць кампанентам альбо плацдармам для дасягнення жаданага (галоўнага) выніку. Асноўны вынік альбо вынік зліцця гэтых лем аўтары звычайна называюць сказам. Сапраўды гэтак жа меншыя вынікі часам называюць лемамі. Леммы ў тэхнічных публікацыях часта аказваюць больш карысці, чым атрыманы сказ, альбо дакладныя рысы, якія прасцей даказаць. Часам леммы таксама могуць быць даволі тэхнічнымі і прыводзіць да магутных тэарэм, калі іх прывесці ў патрэбныя параметры. Леммы звычайна "меншыя" вынікі, чым тэарэма, але гэта не заўсёды так.

Сапраўды высновай з'яўляецца назва сказа, якое вынікае з іншага сказа ў выніку.

Я не зусім разумею, што азначае "пабудова леммы", гэта проста прысуд. Напрыклад, цалкам нармальна называць тэарэмы лемамі падчас напісання рукапісу, каб зрабіць яго больш простым для чытання артыкула альбо для вылучэння пэўных аспектаў працы.

Адзін са спосабаў сфармуляваць матэматычны доказ складанага выніку - разбіць яго на часткі. Калі ўсе гэтыя часткі праўдзівыя (альбо прытрымлівацца ланцугу аргументаў, структураванага аўтарам), прапанова дакладная. Леммы ў назве часта спосабы адрозніць, што такое "кавалак" ад цэлага кампанента.