Information | |
---|---|
has gloss | eng: In mathematics, a lemma (plural lemmata or lemmas from the Greek λήμμα, "lemma" meaning "anything which is received, such as a gift, profit, or a bribe") is a proven proposition which is used as a stepping stone to a larger result rather than as a statement in-and-of itself. A good stepping stone leads to many others, so some of the most powerful results in mathematics are known as lemmata, such as Bézouts lemma, Urysohns lemma, Dehns lemma, Fatous lemma, Gausss lemma, Nakayamas lemma, Poincarés lemma, Rieszs lemma, Couchmans Lemma, Schwarzs lemma and Zorn's lemma. There is no formal distinction between a lemma and a theorem, only one of usage and convention. However Couchman makes a distinction between a lemma and a theorem when it comes to Set Theory. |
has gloss | eng: In mathematics, a lemma is a "mini-proof"; a small hypothesis which is proved and then provides a part of a more important theorem. |
lexicalization | eng: Lemmas |
lexicalization | eng: Lemma |
subclass of | (noun) a subsidiary proposition that is assumed to be true in order to prove another proposition lemma |
Note: 60 other instance(s) ommited in the following list | |
has instance | e/Artin–Rees lemma |
has instance | e/Bramble-Hilbert lemma |
has instance | e/Condensation lemma |
has instance | e/Danielson-Lanczos lemma |
has instance | e/Dehn's lemma |
has instance | e/Dickson's lemma |
has instance | e/Dynkin's lemma |
has instance | e/Estimation lemma |
has instance | e/Expander mixing lemma |
has instance | e/Farkas' lemma |
has instance | e/Feld-Tai lemma |
has instance | e/Fodor's lemma |
has instance | e/Goursat's lemma |
has instance | e/Hartogs lemma |
has instance | e/Higman's lemma |
has instance | e/Lebesgue's lemma |
has instance | e/List of lemmas |
has instance | e/Littlewood-Offord problem |
has instance | e/Malliavin's absolute continuity lemma |
has instance | e/Morse-Palais lemma |
has instance | e/Pugh's closing lemma |
has instance | e/Rasiowa-Sikorski lemma |
has instance | e/Schurs lemma |
has instance | e/Schwarz lemma |
has instance | e/Short five lemma |
has instance | e/Siegel's lemma |
has instance | e/Slepian's lemma |
has instance | e/Snake lemma |
has instance | e/Spijker's lemma |
has instance | e/Steinitz exchange lemma |
has instance | e/Stewart Walker Lemma |
has instance | e/Urysohn's lemma |
has instance | e/Whitehead's lemma |
has instance | e/Yoneda lemma |
has instance | e/fr/Lemme d'homotopie |
has instance | e/fr/Lemme de Borel-Carathéodory |
has instance | e/fr/Lemme de Cousin |
has instance | e/fr/Lemme de Goursat (analyse complexe) |
has instance | e/it/Lemma del cerchio grande |
has instance | e/it/Lemma del cerchio piccolo |
Meaning | |
---|---|
Arabic | |
has gloss | ara: إن اﻟسُدّة، البرهان الاستدلالي، اللم أو البرهان اللمي ( باليونانية ) في منطق الرياضيات: مبرهنة تمهيدية لازمة —أو معضلة صغيرة إن صح التعبير—تؤخذ مَيْدَ التسديد إلى برهان مبرهنة أهم۔ |
lexicalization | ara: سدة رياضيات |
lexicalization | ara: سدة |
Bosnian | |
lexicalization | bos: Leme |
Bulgarian | |
has gloss | bul: Лема в математикатата е доказано твърдение, което се използва като база за други заключения. Би могло да се разглежда и като малка теорема. Много велики постижения в математиката са известни като леми: Лема на Цорн, Лема на Гаус, Лема на Накаяма и др. Гръцката дума лема (λημμα) означава "предпоставка" |
lexicalization | bul: Лема |
Catalan | |
has gloss | cat: En matemàtiques, un lema (del grec, λήμμα, "lemma" que vol dir "tot allò que es rep, com un regal, benefici, o un suborn") és una proposició demostrada que es fa servir com a pas a un resultat més gran més que com una afirmació en si mateixa. Un bon pas condueix a molts altres, així part dels resultats més forts en matemàtiques es coneixen com lemes, com el lema de Bézout, el lema dUrysohn, el lema de Dehn, el lema de Fatou, el lema de Gauss, el lema de Nakayama, el lema de Poincaré, el lema de Riesz, el lema de Schwarz i el lema de Zorn. No hi ha cap distinció formal entre un lema i un teorema, només dús i convenció. |
lexicalization | cat: lema |
Czech | |
has gloss | ces: V matematice značí lemma (nebo lema) dokázané tvrzení, používané jako mezikrok k důkazu nějakého složitějšího tvrzení. Z toho důvodu se v češtině někdy používá název pomocné tvrzení. |
lexicalization | ces: lemma |
German | |
has gloss | deu: Ein Hilfssatz oder Lemma (gr. λήμμα: Einnahme, Annahme) ist eine mathematische oder logische Aussage, die im Beweis eines Satzes verwendet wird, der aber selber nicht der Rang eines Satzes eingeräumt wird. Die Unterscheidung von Sätzen und Lemmata ist fließend und nicht objektiv. |
lexicalization | deu: Hilfssatz |
Esperanto | |
lexicalization | epo: Lemoj |
Finnish | |
has gloss | fin: Lemma eli apulause kuuluu osana loogiseen päättelyyn. Sitä käytetään matemaattisen todistuksen välivaihelauseena ja askeleena kohti varsinaisen väittämän todistusta. Tätä käytetään yleensä silloin, kun varsinaisen väittämän todistamisessa on selvä osa, jonka todistaminen on itsessäänkin merkittävä. Tällaista välivaiheena todistettua lausetta, lemmaa, voidaan mahdollisesti (tai oletetaan voitavan) käyttää myös muiden väitteiden todistamisessa. |
lexicalization | fin: lemma |
French | |
has gloss | fra: Le lemme, en mathématiques et en logique mathématique, est un résultat intermédiaire sur lequel on sappuie pour conduire la démonstration dun théorème plus important. |
lexicalization | fra: Lemme de mathématiques |
lexicalization | fra: lemme |
Hebrew | |
has gloss | heb: לֶמה (ביוונית: λημμα; בכתיב לטיני: Lemma) הוא משפט מתמטי המשמש כלי-עזר להוכחת משפטים אחרים. נקרא לפעמים גם "משפט עזר". ההבחנה בין "למה" לבין "משפט" אינה חדה, ותוצאות חשובות רבות נקראות בשם למה: הלמה של צורן, הלמה של ביזו, הלמה של פאטו, הלמה של נקאימה ועוד. |
lexicalization | heb: למה |
Hindi | |
has gloss | hin: गणित में प्रमेयिका (lemma) ऐसे कथन को कहते हैं जो सिद्ध किया जा चुका हो। प्रमेयिकाएँ अन्य बड़े परिणामों की सिद्धि के लिये सीढ़ी का काम करतीं हैं। |
lexicalization | hin: प्रमेयिका |
Indonesian | |
has gloss | ind: Di bidang matematika, lema adalah sebuah proposisi (pernyataan) yang digunakan untuk pembuktian pernyataan lainnya. Umumnya tidak ada perbedaan antara lema dengan teorema, namun istilah lema digunakan untuk mengacu kepada sebuah pernyataan yang digunakan sebagai bagian untuk membuktikan sebuah teorema yang lebih besar. |
lexicalization | ind: lema |
Italian | |
has gloss | ita: In matematica per lemma si intende un enunciato che viene dimostrato nell'ambito di una teoria formale (come un teorema, un corollario o una qualsiasi proposizione derivabile dagli assiomi della teoria stessa mediante un procedimento dimostrativo) e che in una esposizione sistematica della teoria viene presentato come fatto preliminare ad un enunciato di maggiore evidenza cui si riserva il ruolo di teorema. |
lexicalization | ita: lemma |
lexicalization | ita: Lemmi |
Japanese | |
lexicalization | jpn: 補題 |
Korean | |
lexicalization | kor: 보조정리 |
Lithuanian | |
has gloss | lit: Lema ( – prielaida) turi keletą reikšmių : * Matematikoje pagalbinė teorema, padedanti įrodyti vieną ar keletą teoremų. * Kalbotyroje pagrindinė žodžio forma. |
lexicalization | lit: Lema |
Macedonian | |
has gloss | mkd: Во математиката, лемите се помошни тврдења кои им претходат на теоремите; но на теоремата не мора да ѝ претходи лема (или леми). Лемите се всушност теореми, односно тврдења, чијашто важност сама за себе, вон рамките на теоремата на која се однесуваат, е мала и (можеби) небитна. Значи, бидејќи и самата лема е теорема, таа ги има истите елементи како и теоремата и нужно ѝ следи доказ. Леми во математиката има многу, а можеби најпозната е лемата на Цорн. |
lexicalization | mkd: лема |
Dutch | |
has gloss | nld: Een hulpstelling of lemma is in de wiskunde een stelling waarin een deelresultaat aangetoond wordt dat nodig is als onderdeel van het hoofdresultaat, de eigenlijke stelling of hoofdstelling. Hoewel een hulpstelling ook op zichzelf van belang kan zijn, is het resultaat van de hulpstelling meestal slechts van belang voor de hoofdstelling. |
lexicalization | nld: hulpstelling |
Polish | |
has gloss | pol: Lemat – w matematyce twierdzenie pomocnicze, którego głównym zastosowaniem jest uproszczenie dowodów innych, bardziej istotnych twierdzeń. Formalnie jednak każdy lemat jest pełnoprawnym twierdzeniem, a zaklasyfikowanie pewnego twierdzenia jako lematu wynika jedynie ze sposobu jego użycia w innym, obszerniejszym kontekście. Często zdarzało się, że lemat zyskiwał sobie o wiele większe znaczenie od pierwotnego, znajdując szersze zastosowanie i stając się w zasadzie samodzielnym twierdzeniem, którego nazwa wynika z uwarunkowań historycznych. Do twierdzeń tradycyjnie nazywanych lematami należą m.in.: * lemat Booth'a * lemat Ogdena, * lemat Königa, * lemat Lindenbauma, * lemat Riemanna, * lemat Kuratowskiego-Zorna, * lemat o pompowaniu dla języków bezkontekstowych, * lemat o pompowaniu dla języków regularnych, * lemat Barbalata, * lematy Borela-Cantelliego, * lemat Poincarégo. |
lexicalization | pol: lemat |
Portuguese | |
has gloss | por: Na Matemática, um lema é um teorema que é usado como um passo intermediário para atingir um resultado maior, provado em outro teorema. Normalmente o lema tem pouca serventia além de servir ao propósito do teorema que o utiliza, mas isto não é uma regra, e a classificação entre lemas e teoremas é arbitrária. |
lexicalization | por: lema |
Moldavian | |
has gloss | ron: Lemă, cuvânt de origine greacă, semnifică astăzi, mai ales, un adevăr ce este în legătură cu o teoremă sau cu un corolar şi care este, de regulă, un adevăr matematic sau ştiinţific de mai mică importanţă sau de circulaţie relativ restrânsă. |
lexicalization | ron: Lemă |
Russian | |
has gloss | rus: Лемма — доказанное утверждение, полезное не само по себе, а для доказательства других утверждений. Примеры известных лемм — лемма Евклида, лемма Гаусса, лемма Накаямы. |
lexicalization | rus: лемма |
Slovak | |
has gloss | slk: Lemma (gr. lemma = predpoklad) je pomocný predpoklad, používaný pri dôkaze teorém; hypoteticko-disjunktívny úsudok (lemmatický sylogizmus). Podľa počtu dôsledkov vo väčšej premise (rovnako členov disjunkcie v menšej premise) lemma vystupuje ako dilema (dvojčlenná lemma), trilemma (trojčlenná), polylemma (mnohočlenná). |
lexicalization | slk: lemma |
Swedish | |
has gloss | swe: Ett lemma är en matematisk sats vars innehåll i sig kanske inte anses särskilt intressant, men som behövs för att bevisa något annat. Kallas också hjälpsats. |
lexicalization | swe: lemma |
Tajik | |
has gloss | tgk: Лемма (аз , lemma) дар математика, ҷумлаи ёрирасон, ки ҳангоми исботи як ё якчанд теорема истифода мешавад. Истилоҳи леммаро дар илм муҳандисони Юнони Қадим ҷорӣ кардаанд. Махсусан Архимед леммаро бисёр истифода бурдааст. |
lexicalization | tgk: лемма |
Thai | |
has gloss | tha: ในทางคณิตศาสตร์ บทตั้ง (กรีก: λήμμα อังกฤษ: lemma สิ่งที่ได้รับ) คือญัตติหรือข้อเสนอที่พิสูจน์แล้ว ซึ่งใช้อธิบายธรรมชาติของสิ่งที่ใหญ่กว่าตัวมันเอง บทตั้งที่ดีสามารถนำไปสู่ผลลัพธ์ที่หลากหลาย และบางส่วนอาจให้ผลลัพธ์ที่มีประสิทธิภาพในการศึกษาคณิตศาสตร์ซึ่งเรียกว่า lemmata ตัวอย่างเช่น * บทตั้งของซอร์น (Zorns lemma) เกี่ยวกับขอบเขตสูงสุดของเซตอันดับ * บทตั้งของเบซู (Bézouts lemma) เกี่ยวกับความสัมพันธ์ของตัวหารร่วมมาก * บทตั้งของเกาส์ (Gauss's lemma) เกี่ยวกับพหุนามและทฤษฎีจำนวน และยังไม่มีผู้ใดอธิบายความแตกต่างระหว่างบทตั้งกับทฤษฎีบทอย่างเป็นทางการ |
lexicalization | tha: บทตั้ง |
Ukrainian | |
has gloss | ukr: Лема (від грец. λημμα) - доведене твердження, корисне не само по собі, а для доказу інших тверджень. Приклади відомих лем — лема Евкліда, лема Гауса, лема Накаями, лема Больцано-Вейєрштраса. |
lexicalization | ukr: лема |
Chinese | |
has gloss | zho: 引理是数学中为了取得某个更好的结论而作为步骤被证明的命题,其意义并不在于自身被证明,而在于为达成最终目的作出贡献。 |
lexicalization | zho: 引理 |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint