Dokàz je v matematiki inferenčni argument za matematično trditev. V argumentu se lahko uporabijo druge predhodno uveljavljene izjave, kot so na primer izreki. Načeloma se lahko dokaz zasleduje nazaj na samoumevne ali domnevne izjave, znane kot aksiomi,[2][3][4] skupaj s sprejetimi pravili sklepanja. Aksiomi se lahko obravnavajo kot pogoj, ki ga je treba izpolniti, da trditev obvelja. Dokazi so primeri izčrpnega deduktivnega sklepanja ali induktivnega razmišljanja in se razlikujejo od empiričnih argumentov ali neizčrpnega induktivnega sklepanja (»razumnega pričakovanja« ali »zdrave pameti«). Dokaz mora pokazati, da je trditev vedno resnična (včasih z navedbo vseh možnih primerov in veljavnosti za vsak konkretni primer), ne pa navajati (ne)številnih primerov, za katere trditev velja. Nepotrjeno trditev, za katero se misli, da je resnična, se imenuje domneva.

P. Oxy. 29, en od najstarejših fragmentov Evklidovih Elementov, učbenika, ki je bil tisočletja dolgo vir tehnik in metod dokazovanja. Diagram se tiče Knjige II, Predlog 5.[1]

Po načinu sklepanja gre pri dokazih za izrazito deduktivno sklepanje, dokazovanje pa mora biti za popoln dokaz neizpodbitno. Nekateri dokazi, ki imajo vrzeli, so izpodbojni in je zato njihova uporaba predmet skepse.

Namen matematičnih dokazov

uredi

Dokazi se ukvarjajo z logiko, vendar navadno vključujejo tudi določeno mero naravnega jezika, zaradi česar so lahko malce nejasni. V resnici je večina dokazov v zapisani matematiki pravzaprav raba neformalne logike. V kontekstu teorije dokaza, kjer se upoštevajo formalni dokazi, takšnim ne popolnoma formalnim prikazom v matematiki pogosto rečejo »družbeni dokazi«. Z vlogo jezika in logike v dokazih se ukvarja filozofija matematike.

Včasih zadostuje, da se bralca z razumljivo skico dokaza prepriča, da se izrek dá formalno dokazati, ne da bi bilo treba zares izvesti dolg in nejasen formalen dokaz. Vendar mora biti matematično izobraženemu bralcu povsem jasno, kako bi izrek po tej skici dokazal tudi formalno iz samih aksiomov, če bi ga moral ali želel. Skica sama ni dokaz v formalnem in neizpodbojnem smislu.

Eden stebrov iz katerih dosega matematični dokaz ugled je pomen, ki ga je imela matematika za bralca. Evklidovi Elementi so bili ena temeljnih del matematične izobrazbe odraslega moža v industrijski dobi, saj je z jezikom in slikami učila tako logiko, sklepanje, prostorsko učenje in mnoge druge veščine. To je povzdignilo matematiko kot uporabno vedo in nudilo teoretično podlago mnogim intelektualcem, uporabnost pa je bila tudi dovolj jasna pri učenju geometrije.

Tehnike dokazovanja

uredi

Ne glede na odnos posameznika do formalizma, je rezultat, za katerega se dokaže, da je resničen, izrek; v popolnoma formalnem dokazu bi bila to zadnja vrstica, ves dokaz pa bi prikazoval, kako ta vrstica sledi iz samih aksiomov. Ko je enkrat izrek dokazan, se ga lahko uporablja kot osnovo za dokazovanje nadaljnjih izjav. Tako imenovani temelji matematike predstavljajo izjave, ki se jih ne da dokazati, ali pa tega ni treba. Včasih so predstavljali glavnino študija filozofov matematike. Danes se ti osredotočajo bolj na prakso, se pravi sprejemljive tehnike. Še vedno obstaja določena skupina izrazov, ki vsebujejo nedoslednosti in so tako potrebni dokazov. Matematični dokaz je velik akademski dosežek, praviloma možen le za matematike stare do 30 let, ko so še v vrhunski pripravljenosti.

Nekatere pogoste tehnike dokazovanja so:

  • direktni dokaz, kjer sklepi sledijo z logičnim kombiniranjem aksiomov, definicij in prejšnjih izrekov;
  • dokaz z indukcijo, kjer se dokaže bazni primer, in indukcijski korak, s katerim se dokaže, da iz prejšnjega primera sledijo vsi naslednji (pogosto jih je neskončno);
  • dokaz s protislovjem, kjer se dokaže, da se iz privzete neresničnosti izjave po logičnem sklepu pride do protislovja, zato mora biti izjava pravilna;
  • konstruktivni dokaz, kjer se konstruira konkreten primer z značilnostjo, ki dokazuje, da obstaja nekaj, ki ima to značilnost;
  • dokaz s surovo silo, kjer se sklep dobi tako, da se ga razdeli na končno množico posameznih primerov in se dokaže vsakega posebej.

Verjetnostni dokaz naj bi pomenil dokaz obstoja primera z metodami teorije verjetnosti – ne argument, da je izrek »verjetno« resničen. Slednji vrsti sklepanja se lahko reče »verodostojen argument«; zgled Collatzeve domneve pokaže, kako daleč je ta od pravega dokaza. Verjetnostni dokaz je ena od številnih možnosti za dokaz izrekov o obstoju, razen konstrukcijskega dokaza.

Kombinatorični dokaz vzpostavi enakost različnih izrazov tako, da pokaže, da se na različne načine štejejo isti objekti. Navadno se za prikaz tega uporablja kakšna bijektivna preslikava.

Če se želi dokazati, denimo, da »značilnost f(X) velja za nekatere X«, potem se z nekonstruktivnim dokazom dokaže, da res obstaja X, za katerega velja f(X), vendar ne pojasni, kako se lahko takšen X zares dobi. Konstruktivni dokaz pojasni tudi to.

Izjava, za katero se domneva, da je resnična, vendar še ni bila dokazana, se imenuje domneva.

Včasih je mogoče dokazati, da se določene izjave nikakor ne da dokazati z danim naborom aksiomov; glej npr. domneva kontinuuma. Presenetljivo, po Gödlovem izreku o nepopolnosti, celo v večini aksiomskih sistemov obstajajo izjave, ki se jih ne da niti dokazati, niti ovreči.

Za dokazovanje matematiki mnogokrat sedaj uporabijo računalnike, ki lahko preverijo vsaj izraz z vnosom raznolikih podatkov. Tej metodi se ugovarja, saj je izrazito podrejena programiranju testiranja.

Matematičen dokaz je bil mnogokrat ovržen, odkriti so bili primeri, ko dokaz ni veljal, kar je zahtevalo novo dokazovanje, ki bi objasnilo vrzeli. To je v veliki meri motiviralo matematike do novih aksiomov. Nova teorija o dokazih vse aksiome označuje kot induktivno definirane strukture podatkov jih preučuje kot skupino.

Znani matematični dokazi

uredi

Diferencialna topologija

uredi

Matematična analiza

uredi

Teorija grafov

uredi

Teorija množic

uredi

Teorija števil

uredi

Neodočljive izjave

uredi

Izjava, ki ni niti dokazljiva niti nesprejemljiva na osnovi množice aksiomov, se imenuje neodločljiva (na osnovi teh aksiomov). Eden od zgledov je aksiom vzporednosti, ki ga ni mogoče ne dokazati ne zavrniti na osnovi drugih aksiomov evklidske geometrije.

Matematiki so pokazali, da v Zermelo-Fraenkelovi teoriji množic z aksiomom izbire (ZFC) obstajajo številne trditve, ki (ob predpostavki, da je ZFC skladen) niso ne dokazljive ne nesprejemljive.

Gödelov (prvi) izrek o nepopolnosti kaže, da številni za matematika zanimivi aksiomatski sistemi vsebujejo neodločljive izjave.

Glej tudi

uredi

Sklici

uredi
  1. Bill Casselman. »One of the Oldest Extant Diagrams from Euclid« (v angleščini). University of British Columbia. Pridobljeno 26. septembra 2008.
  2. Claphan, Nicholson.
  3. Cupillari (2001), str. 3
  4. Gosset (2009), definicija 3.1, stran 86.
  • Clapham, C.; Nicholson, J. N., The Concise Oxford Dictionary of Mathematics (4. izd.), A statement whose truth is either to be taken as self-evident or to be assumed. Certain areas of mathematics involve choosing a set of axioms and discovering what results can be derived from them, providing proofs for the theorems that are obtained.
  • Cupillari, Antonella (2001), The Nuts and Bolts of Proofs, Academic Press, str. 3
  • Gossettwfirst1= Eric (2009), Discrete Mathematics with Proof, John Wiley and Sons, ISBN 0-470-45793-7
  NODES