Teorem

Sa Wikipedije, slobodne enciklopedije
Idi na: navigacija, traži
Question book-new.svg Ovaj članak ili neka od njegovih sekcija nije dovoljno potkrijepljena izvorima (literatura, web stranice ili drugi izvori).
Sporne rečenice i navodi bi mogli, ukoliko se pravilno ne označe validnim izvorima, biti obrisani i uklonjeni. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci, te nakon toga možete ukloniti ovaj šablon.

Teorem ili teorema je iskaz u kojem se uočava da neki matematički pojam (uz, možda, još neke uslove) ima još neke karakteristike osim onih danih u definiciji tog pojma (npr. da je 1>0) i ta se tvrdnja mora dokazati. Dok se tvrdnja ne dokaže, tu tvrdnju zovemo propozicijom, hipotezom.

Na neki način se dokazane propozicije dijele na tri grupacije (ovo nije stroga matematička podjela, nego čisto zbog lakšeg razumijevanja):

Lema je dokazana propozicija koja, u principu, nema korisnost osim u dokazivanju nekog većeg teorema. Dobar primjer je determinanta matrice. Postoji lema koja kaže da determinanta transponirane matrice nije veća od determinante originalne matrice. Tvrdnja sama po sebi i nije nešto posebno, pogotovo kada se iskoristi ponovo na samu sebe i time dokaže da je determinanta transponirane matrice jednaka determinanti originalne matrice.

Korolar je dokazana propozicija koja slijedi direktno iz nekog prethodnog teorema.

Teorem je nešto jako bitno što se dosta često koristi i izvan dokaza drugih teorema, najbolji primjer je Pitagorina teorema.

Commons logo
U Wikimedijinom spremniku se nalazi još materijala vezanih uz: