Tétel

olyan állítás, ami korábban bizonyított állításokra alapozva be lett bizonyítva

A tétel érvényességet kifejező állítás, amely egy viszony, tény, igaznak tekintett megállapítás fennállását jelzi. Erre további állítások, illetve igazságok épülnek.[1] A magyar tétel szó a „tesz” ige és a „-tel” főnévképző rag keresztezése.[1]

A matematikában a tétel olyan állítás, amely igaznak bizonyult, vagy axiómák alapján, vagy más tételek alapján.[2][3][4]

Ha a tételeket be kell bizonyítani, a fogalom koncepciója deduktívnak számít, a tudományos törvény esetében használt fogalommal ellentétben, amelyik kísérleti.[5][6]

Logikailag sok tétel indikatív feltételes formájú: „A = B”. Egy ilyen tétel nem állítja a B-t - csak azt, hogy a B az A szükséges következménye. Ebben az esetben A-t a tétel hipotézisének vagy feltételének nevezzük (a „hipotézis” szó helyenként „sejtés” értelemben is használatos, ebben az esetben azonban nem), és a B a tétel következtetése. Alternatív megoldásként az A-t és a B-t előzménynek, illetve következménynek nevezzük.[7]

PéldákSzerkesztés

Példa egy tételre: Ha A is, B is üres halmaz, akkor A = B.[8] További példákat ez a kategória tartalmaz.

Egy tételt gyakran több módon is be lehet bizonyítani. A Pitagorasz-tételnek például több, mint 370 különböző bizonyítása ismert.[9]

Tételek minősítéseSzerkesztés

Egyes tételeket bizonyos szerzők például a „triviális”, „nehéz”, „mély” vagy „szép” minősítésekkel illetnek. Ezek a vélemények nem csak emberfüggőek, de kortól és kultúráról is függnek: ha egy tétel bizonyítását leegyszerűsítik vagy jobban megértik, egy eredetileg nehéz tétel egyszerűbbé válhat.[10] Egy „mély értelmű” (nehéz) tételt is el lehet egyszerűen magyarázni, de a bizonyítása meglepően bonyolult is lehet. A nagy Fermat-tétel egy példa erre.[11]

IrodalomSzerkesztés

JegyzetekSzerkesztés

  1. a b Tétel fogalma. Wikiszótár
  2. Definition of THEOREM (angol nyelven). www.merriam-webster.com . (Hozzáférés: 2019. november 2.)
  3. The Definitive Glossary of Higher Mathematical Jargon – Theorem (amerikai angol nyelven). Math Vault , 2019. augusztus 1. (Hozzáférés: 2019. november 2.)
  4. Theorem | Definition of Theorem by Lexico (angol nyelven). Lexico Dictionaries | English . (Hozzáférés: 2019. november 2.)
  5. Markie, Peter (2017), Zalta, Edward N., ed., Rationalism vs. Empiricism (Fall 2017 ed.), Metaphysics Research Lab, Stanford University, <https://plato.stanford.edu/archives/fall2017/entries/rationalism-empiricism/>. Hozzáférés ideje: 2019-11-02
  6. Viszont a tételek és a tudományos törvény is a nyomozás eredményei. Lásd: Heath 1897 Introduction, The terminology of Archimedes, p. clxxxii:"theorem (θεὼρνμα) from θεωρεἳν to investigate"
  7. Implication. intrologic.stanford.edu . (Hozzáférés: 2019. november 2.)
  8. Alapfogalom, axióma, definíció, tétel, bizonyítás. Web.cs.elte.hu
  9. Elisha Scott Loomis: The Pythagorean proposition: its demonstrations analyzed and classified, and bibliography of sources for data of the four kinds of proofs. Education Resources Information Center. Institute of Education Sciences (IES) of the U.S. Department of Education. (Hozzáférés: 2010. szeptember 26.) Originally published in 1940 and reprinted in 1968 by National Council of Teachers of Mathematics.
  10. Weisstein, Eric W.: Theorem (angol nyelven). mathworld.wolfram.com . (Hozzáférés: 2019. november 2.)
  11. Fermat's Last Theorem. McGill University – Department of Mathematics and Statistics , 2007. szeptember 9. (Hozzáférés: 2019. november 1.)