Лемма

У этого термина существуют и другие значения, см. Лемма (значения).

Ле́мма (греч. λημμα — предположение) — доказанное утверждение, полезное не само по себе, а для доказательства других утверждений. По этой причине она также известна как «вспомогательная теорема»[1][2]. Во многих случаях важность леммы определяется теоремой, которую она стремится доказать; однако лемма также может оказаться более важной, чем предполагалось изначально[3]. Слово «лемма» происходит от древнегреческого λῆμμα («все, что получено»[2], например, подарок, прибыль или взятка).

Примеры известных лемм: лемма Евклида, лемма Жордана, несколько лемм Гаусса, лемма Накаямы, лемма Бёрнсайда, лемма Морса, лемма о разрастании, лемма Фату, лемма Ферма, лемма Цорна, лемма Шепли — Фолкмана, лемма Шура.

Сравнение с теоремой

Между леммой и теоремой нет формального различия, только различие по намерению. Однако лемму можно считать второстепенным результатом, единственной целью которого является помощь в доказательстве более существенной теоремы — шаг в направлении доказательства[3].

См. также

Примечания

  1. ↑ Nicholas J. Higham. Handbook of writing for the mathematical sciences. — Philadelphia : Society for Industrial and Applied Mathematics, 1998. — 328 с. — ISBN 978-0-89871-420-3.
  2. ↑ 1 2 Definition of lemma | Dictionary.com (англ.). www.dictionary.com. Дата обращения: 28 июля 2022. Архивировано 28 июля 2022 года.
  3. ↑ 1 2 Dave Richeson. What is the difference between a theorem, a lemma, and a corollary? (англ.). David Richeson: Division by Zero (23 сентября 2008). Дата обращения: 28 июля 2022. Архивировано 28 июля 2022 года.

Литература

  • Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970 (Том 1)

Read other articles:

List of active volcanoes in the Philippines

For a list of Philippine mountains which include those classified as active volcanoes, see List of mountains in the Philippines. Mayon in Albay is the most active volcano in the Philippines. As of 2018, the Philippines has 24 [1] volcanoes listed as active by the Philippine Institute of Volcanology and Seismology (PHIVOLCS). Twenty-one of these have had historical eruptions. The three exceptions are Cabalian, which is a strongly fumarolic volcano;[further explanation needed] ...

 

Muskingum County, Ohio

County in Ohio, United States Muskingum County redirects here. Not to be confused with Muskegon County. County in OhioMuskingum CountyCountyMuskingum County Courthouse SealLocation within the U.S. state of OhioOhio's location within the U.S.Coordinates: 39°58′N 81°57′W / 39.97°N 81.95°W / 39.97; -81.95Country United StatesState OhioFoundedMarch 1, 1804[1]Named forA Native American word meaning swampy groundSeatZanesvilleLargest cityZanesvilleA...

 

Stray Kids

Untuk acara realitas Korea Selatan dengan nama yang sama, lihat Stray Kids (serial TV). Stray Kids스트레이 키즈Dari kiri ke kanan: Lee Know, Han, I.N, Felix, Bang Chan, Hyunjin, Seungmin, dan ChangbinInformasi latar belakangNama lainSKZAsalSeoul, Korea SelatanGenreK-pophip hopelectronicaTahun aktif2018 (2018)–sekarangLabelJYP EntertainmentEpic JapanRepublic RecordsArtis terkait3RACHAJYP NationSitus webstraykids.jype.comAnggota Bang Chan Lee Know Changbin Hyunjin Han Felix Seungmi...

Boidae

Boidae Ular boa pembelit TaksonomiKerajaanAnimaliaFilumChordataKelasReptiliaOrdoSquamataUpaordoSerpentesInfraordoAlethinophidiaSuperfamiliBooideaFamiliBoidae Gray, 1825 lbs Boidae adalah nama famili yang terdiri dari 65 spesies[1] ular yang sebagian besar tersebar di Benua Amerika, dan sebagian kecil terdapat di Afrika, Eurasia, serta beberapa kepulauan di Samudera Pasifik. Nama umumnya dalam bahasa Inggris adalah Boa. Klasifikasi familia ini juga mencakup genus Eunectes (Anakonda) ya...

 

Ricardo Wolf

Menteri luar negeri Israel Golda Meir, Presiden Yitzhak Ben-Zvi, dan Dubes Kuba untuk Israel Ricardo Subirana Y Lobo (Ricardo Wolf) di Yerusalem pada 1960. Ricardo Wolf (dulunya Richard Wolf; 1887–1981) adalah seorang penemu, diplomat dan filantropis asal Israel. Ia adalah mantan duta besar Kuba untuk Israel. Ia adalah pendiri Yayasan Wolf.[1] Pranala luar Website of Wolf Foundation Referensi ^ Ricardo Wolf: from the Jewish scientist to the Cuban diplomat. Diarsipkan dari versi asli...

 

Niccolò Paganini

Italian violinist and composer (1782–1840) Paganini redirects here. For other uses, see Paganini (disambiguation). Paganini in 1836 by John Whittle Niccolò (or Nicolò) Paganini (Italian: [ni(k)koˈlɔ ppaɡaˈniːni] ⓘ; 27 October 1782 – 27 May 1840) was an Italian violinist and composer. He was the most celebrated violin virtuoso of his time, and left his mark as one of the pillars of modern violin technique. His 24 Caprices for Solo Violin Op. 1 are among the b...

B

  此條目介紹的是拉丁字母中的第2个字母。关于其他用法，请见「B (消歧义)」。   提示：此条目页的主题不是希腊字母Β、西里尔字母В、Б、Ъ、Ь或德语字母ẞ、ß。 BB b(见下)用法書寫系統拉丁字母英文字母ISO基本拉丁字母（英语：ISO basic Latin alphabet）类型全音素文字相关所属語言拉丁语读音方法 [b][p][ɓ](适应变体)Unicode编码U+0042, U+0062字母顺位2数值 2歷史發...

 

趙家驤

追晉陸軍二級上將趙家驤將軍个人资料出生1910年 大清河南省衛輝府汲縣逝世1958年8月23日(1958歲—08—23)（47—48歲） † 中華民國福建省金門縣国籍 中華民國政党 中國國民黨获奖 青天白日勳章（追贈）军事背景效忠 中華民國服役 國民革命軍 中華民國陸軍服役时间1924年－1958年军衔 二級上將 （追晉）部队四十七師指挥東北剿匪總司令部參謀長陸軍�...

 

Jaazaniah

Biblical name Jaazaniah (Hebrew: יַאֲזַנְיָה Yaʾăzanyā, lit. “May God hear”) or Jezaniah is a biblical Hebrew personal name that appears in the Bible for several different individuals, and has been found on an onyx seal dating from the 6th century BCE. Biblical references Drawing of the impression made by the onyx seal of Jaazaniah Four distinct individuals named Jaazaniah are mentioned in the Bible: Jaazaniah the son of Hoshaiah was an officer in the army of the kingdom of ...

Jane Byrne Interchange

Highway interchange in Chicago Jane Byrne InterchangeCircle InterchangeView of the interchange from the BMO Tower in October 2022LocationChicago, IllinoisCoordinates41°52′32″N 87°38′44″W / 41.87556°N 87.64556°W / 41.87556; -87.64556Roads atjunction I-90 I-94 I-290 IL 110 (CKC)ConstructionOpened1960s; 63 years ago (1960s)Maintained byIDOT The Jane Byrne Interchange (until 2014, Circle Interchange) is a major freeway interchange near downtow...

 

Daftar Wali Kota Yerusalem

Wali Kota YerusalemLambang Wali KotaPetahanaMoshe Lionsejak 4 Desember 2018KediamanRehavia, Yerusalem, IsraelMasa jabatan5 tahunPejabat perdanaMusa al-AlamiTeddy Kollek (kini Munisipalitas Yerusalem)Dibentuk1867Situs webKantor Wali Kota Wali kota Ehud Olmert (1993-2003) menjabat Perdana Menteri Israel sejak 2006. Halaman ini mendaftarkan Wali kota Yerusalem secara kronologis. Wali kota Yerusalem Wali Kota Yerusalem Barat Israel (Yerushalayim) Abdelrahman al-Dajani (1863–1882) Salim al-...

 

Patin kunyit

Patin Kunyit Klasifikasi ilmiah Kerajaan: Animalia Filum: Chordata Kelas: Actinopterygii Ordo: Siluriformes Famili: Pangasiidae Genus: Pangasius Spesies: P. kunyit Nama binomial Pangasius kunyitPouyaud, Teugels & Legendre, 1999[1] Patin kunyit (Pangasius kunyit) adalah salah satu jenis ikan Patin dari genus Pangasius. Ikan ini tercatat menyebar di sungai-sungai besar di Kalimantan dan Sumatra. Pengenalan Ikan patin yang dapat mencapai ukuran besar, panjang total tubuh dapat ...

أنجل (شعب)

  لمعانٍ أخرى، طالع أنجل (توضيح). أنجلمعلومات عامةنسبة التسمية أنغلن — الإنجليزية مناطق الوجود المميزةبلد الأصل ألمانيا تعديل - تعديل مصدري - تعديل ويكي بيانات خريطة رومانية رسمت سنة 125م تظهر موطن شعب الأنجل بشبه جزيرة يوتلاند. الأنجل (باللاتينية: Anglii) (بالإنجليزية: The An...

 

Abad Kuno Akhir

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Abad Kuno Akhir – berita · surat kabar · buku · cendekiawan · JSTOR Abad Kuno Akhir (bahasa Inggris: Late Antiquity) adalah suatu kurun waktu yang digunakan oleh para sejarawan untuk menjelaskan abad...

 

Belson Stadium

Stadium in Queens, New York, U.S. Belson StadiumBelson StadiumLocation8000 Utopia ParkwayQueens, New York City, NY 11439OwnerSt. John's UniversityOperatorSt. John's UniversityCapacity2,168SurfaceFieldTurfConstructionBroke groundFebruary 1, 2001OpenedSeptember 21, 2002[1]Construction cost$6 millionTenantsSt. John's Red Storm (NCAA) (2002–present)New York Pancyprian-Freedoms (USASA) (2005–present)F.C. New York (USL Pro/NPSL) (2011–2012)F.A. Euro (USL2) (2013–2018)New York Cosmos...

Moskow

Moskow МоскваIbu kota dan kota federalDari kiri ke kanan, atas ke bawah: Menara Spasskaya, Katedral Kristus Sang Juru Selamat, MIBC, Sungai Moskva, Universitas Negeri Moskow, Teater Bolshoi, Lapangan Merah BenderaLambang kebesaranHimne daerah: Moya MoskvanoiconKoordinat: 55°45′21″N 37°37′2″E / 55.75583°N 37.61722°E / 55.75583; 37.61722Negara RusiaDistrik federalPusatWilayah ekonomiPusatPertama kali disebutkan1147Pemerintahan • BadanDu...

 

Водоканал Санкт-Петербурга

Водоканал Санкт-Петербурга Тип Государственное унитарное предприятие Основание 1858 Расположение Санкт-Петербург Санкт-Петербург Ключевые фигуры Сергей Николаевич Волков (генеральный директор) Отрасль холодное водоснабжение и водоотведение Продукция холодное водо...

 

Wildau station

WildauThrough stationGeneral informationLocationWildau, BrandenburgGermanyCoordinates52°19′12″N 13°38′02″E / 52.3200°N 13.6340°E / 52.3200; 13.6340Line(s) Berlin–Görlitz (KBS 200.45–9) Tracks2Connections Other informationStation code6763DS100 codeBWICategory5 [1]Fare zoneVBB: Berlin C/5959[2]Websitewww.bahnhof.deServices Preceding station Berlin S-Bahn Following station Zeuthentowards Westend S46 Königs WusterhausenTerminus Zeuthentowa...

Beauvoir-sur-Niort

Pour les articles homonymes, voir Beauvoir. Beauvoir-sur-Niort Ancien bâtiment voyageurs et halte TER SNCF. Administration Pays France Région Nouvelle-Aquitaine Département Deux-Sèvres Arrondissement Niort Intercommunalité Communauté d'agglomération du Niortais Maire Mandat Séverine Vachon 2020-2026 Code postal 79360 Code commune 79031 Démographie Populationmunicipale 1 775 hab. (2021 ) Densité 76 hab./km2 Géographie Coordonnées 46° 10′ 49″ nord...

 

Varaha

Boar avatar of the Hindu god Vishnu VarahaMember of DashavataraVaraha killing Hiranyaksha and saving Bhumi, 1740 CE, Chamba paintingDevanagariवराहAffiliationAvatar of VishnuAbodeVaikunthaWeaponSudarshana Chakra, Kaumodaki, PanchajanyaSymbolsPadmaGenderMaleFestivalsVaraha Jayanti (August-September)GenealogyConsortLakshmi as Bhumi or Varahi (form of Bhumi)ChildrenNarakasura and Mangala Dashavatara SequencePredecessorKurmaSuccessorNarasimha Part of a series onVaishnavism Supreme deity Vi...