Postulater og teoremer er to vanlige termer som ofte brukes i matematikk. Et postulat er en uttalelse som antas å være sant, uten bevis. En setning er en uttalelse som kan bevises sant. Dette er nøkkelforskjell mellom postulat og teorem. Teorier er ofte basert på postulater.
Et postulat er en uttalelse som antas å være sant uten noe bevis. Postulat er definert av Oxford-ordboken som "ting som er foreslått eller antatt som sant som grunnlag for begrunnelse, diskusjon eller tro" og av den amerikanske arvsloggboken som "noe som antas uten bevis som selvsagt eller generelt akseptert, spesielt når det brukes som grunnlag for et argument ".
Postulatene er også kjent som aksiomer. Postulatene må ikke bevises siden de er synlig korrekte. For eksempel er utsagnet om at to poeng gjør en linje et postulat. Postulater er grunnlaget for hvilke teorier og lemmas er opprettet. En teorem kan avledes fra en eller flere postulater.
Nedenfor er noen grunnleggende egenskaper som alle postulater har:
Imidlertid er noen postulater - som Einsteins postulat om at universet er homogent - ikke alltid korrekt. Et postulat kan bli åpenbart feil etter en ny oppdagelse.
Hvis summen av de indre vinklene a og β er mindre enn 180 °, møtes de to rette linjene, produsert på ubestemt tid, på den siden.
En teori er en uttalelse som kan bevises som sant. Oxford-ordboken definerer teorem som et "generelt forslag ikke selvsagt, men bevist av en kjede av resonnement; en sannhet etablert ved hjelp av aksepterte sannheter "og Merriam-Webster definerer det som" en formel, proposisjon eller setning i matematikk eller logikk utledet eller utledes av andre formler eller proposisjoner ".
Teorier kan bevises ved logisk resonnement eller ved å bruke andre teoremer som allerede er bevist. En teorem som må bevises for å bevise et annet teorem kalles a lemma. Både lemmas og teoremer er basert på postulater. En teorem har vanligvis to deler kjent som hypoteser og konklusjoner. Pythagorasetning, fire fargestudier, og Fermats siste teori er noen eksempler på teorier.
Visualisering av pythagorasetning
postulat: Postulat er definert som "en setning som er akseptert som sant som grunnlag for argument eller innledning."
teorem: Setning er definert som "generelt forslag ikke selvsagt, men bevist av en kjede av resonnement; en sannhet etablert ved hjelp av aksepterte sannheter ".
postulat: Et postulat er en uttalelse som antas å være sant uten noe bevis.
teorem: En teori er en uttalelse som kan bevises som sant.
postulat: Postulater er grunnlaget for teoremer og lemmas.
teorem: Teorier er basert på postulater.
postulat: Postulater trenger ikke å bli bevist siden de oppgir det åpenbare.
teorem: Teorier kan bevises ved logisk resonnement eller ved å bruke andre teoremer som er bevist.
Bilde Courtesy:
"Pythagoras teorem abc" Av Pythagoras abc.png: nl: Bruker: Andre_Engels - Pythagoras abc.png (CC BY-SA 3.0) via Commons Wikimedia
"Parallel postulate en" Ved 6054 - Rediger av http://pl.wikipedia.org/wiki/Grafika:Parallel_postulate.svg av Bruker: Harkonnen2 (CC BY-SA 3.0) via Commons Wikimedia