• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Lemat

    Przeczytaj także...
    Lemat Jordana – twierdzenie analizy zespolonej często używane w połączeniu z twierdzeniem o residuach do obliczania całek krzywoliniowych oraz całek niewłaściwych. Twierdzenie nosi nazwisko francuskiego matematyka Camille’a Jordana. Lemat Königa to lemat mówiący o tym, że jeśli drzewo jest nieskończone, a każdy węzeł ma skończoną liczbę dzieci, to musi istnieć nieskończona gałąź.
    Lemat Lindenbauma, jedno z twierdzeń metamatematycznych, zwane tradycyjnie "lematem". Sformułowane przez polskiego logika ze szkoły lwowsko-warszawskiej, Adolfa Lindenbauma. Ma ono szerokie zastosowanie w teorii modeli, m.in. w dowodach twierdzenia o pełności tzw. metodą henkinowską.

    Lemat (z gr. λημμα, lēmma – założenie) – 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.

    Lemat Kuratowskiego-Zorna – twierdzenie teorii mnogości, nazywane zwyczajowo lematem, dające pewien warunek dostateczny istnienia elementu maksymalnego w danym zbiorze częściowo uporządkowanym; znajduje ono wiele zastosowań w pozostałych działach matematyki, gdzie wykorzystywane jest w dowodach istnienia różnych obiektów (gdy szukany element, którego istnienie jest postulowane, jest maksymalnym w pewnym zbiorze z częściowym porządkiem).Lemat Bootha – zdanie teorii mnogości dotyczące nieskończonych rodzin podzbiorów zbiorów przeliczalnych o pewnych własnościach. Zdanie to jest niezależne od standardowych aksjomatów teorii mnogości, tzn. zdania tego nie można udowodnić na gruncie tych aksjomatów ani nie można go obalić. Jest ono oznaczane symbolami:

    Do twierdzeń tradycyjnie nazywanych lematami należą m.in.:

    Lemat Barbălata – twierdzenie analizy matematycznej udowodnione w 1959 przez Ioana Barbălata, które mówi, że jeżeli funkcja Język grecki, greka (starogr. dialekt attycki Ἑλληνικὴ γλῶττα, Hellenikè glõtta; nowogr. Ελληνική γλώσσα, Ellinikí glóssa lub Ελληνικά, Elliniká) – język indoeuropejski z grupy helleńskiej, w starożytności ważny język basenu Morza Śródziemnego. W cywilizacji Zachodu zaadaptowany obok łaciny jako język terminologii naukowej, wywarł wpływ na wszystkie współczesne języki europejskie, a także część pozaeuropejskich i starożytnych. Od X wieku p.n.e. zapisywany jest alfabetem greckim. Obecnie, jako język nowogrecki, pełni funkcję języka urzędowego w Grecji i Cyprze. Jest też jednym z języków oficjalnych Unii Europejskiej. Po grecku mówi współcześnie około 15 milionów ludzi. Język grecki jest jedynym językiem z helleńskich naturalnych, który nie wymarł.
  • lemat Bootha
  • 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,
  • lemat Jordana,
  • lematy Borela-Cantelliego,
  • lemat Poincarégo.
  • Zobacz też[ | edytuj kod]

  • forma słownikowa
  • Lemat Ogdena to uogólnienie lematu o pompowaniu dla języków bezkontekstowych. Służy do udowadniania, że dany język nie jest językiem bezkontekstowym.Twierdzenie to sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, które łączy relacja implikacji. Pierwszy zbiór zdań określa ściśle warunki dla których dane twierdzenie jest spełnione i nazywa się założeniem twierdzenia, a drugi zbiór zdań jest właściwym sądem, będącym istotną treścią wypowiadanego twierdzenia i zwany jest tezą twierdzenia.




    Warto wiedzieć że... beta

    Lemat o pompowaniu dla języków regularnych – twierdzenie służące do dowodzenia, że dany język nie jest językiem regularnym.
    Lemat Poincarégo – jedno z najważniejszych twierdzeń teorii form różniczkowych, zwyczajowo zwane lematem. Twierdzenie zostało sformułowane przez Henri Poincarégo.
    Lemat o pompowaniu dla języków bezkontekstowych to twierdzenie służące do udowadniania, że dany język nie jest bezkontekstowy. Jego uogólnieniem jest lemat Ogdena.
    Lematy Borela-Cantellego – lematy dotyczące ciągów zdarzeń losowych, wykorzystywane m.in. w dowodzie mocnej wersji prawa wielkich liczb.

    Reklama

    Czas generowania strony: 0.585 sek.