Egy matematikai objektum nagysága a mérete: az a tulajdonság, amely alapján nagyobb vagy kisebb lehet, mint más, ugyanolyan típusú objektumok.

Matematikai nyelven azt mondanánk: Ez a tárgyak azon osztályának rendezése, amelyhez tartozik.

Az ókori görögök többféle nagyságrendet különböztettek meg, többek között:

  • (pozitív) frakciók
  • vonalszakaszok (hossz szerint rendezve)
  • Síkbeli adatok (terület szerint rendezve)
  • Szilárd anyagok (térfogat szerint rendezve)
  • Szögek (szögnagyság szerint rendezve)

Bebizonyították, hogy az első kettő nem lehet azonos, sőt izomorf nagyságrendű rendszer. A negatív nagyságrendeket nem tartották értelmesnek, és a nagyságrendet még mindig főként olyan kontextusokban használják, amelyekben a nulla vagy a legkisebb nagyság, vagy az összes lehetséges nagyságnál kisebb.

Definíció és alapfogalmak

A mindennapi értelemben a „nagyság” arra utal, hogy egy mennyiség mekkora: hossz, terület, térfogat, tömeg, időtartam stb. Matematikailag a nagyságot többféleképpen lehet formálisan kezelni:

  • Rendezett halmaz: a nagyságokhoz tartozó elemeket összehasonlíthatjuk és rendezhetjük (például < vagy > relációval).
  • Norma vagy abszolút érték: vektoroknál és számoknál a nagyságot norma vagy abszolút érték adja meg (pl. |x| valós számnál, vagy ||v|| vektornál).
  • Mérés: a fizikai mennyiségekhez egységeket rendelünk (m, m2, m3), és a mérés eredménye skaláris mennyiségként adja meg a nagyságot.
  • Kardinalitás: halmazok „nagyságát” a elemeik számával mérjük; véges halmazoknál ez a tagok száma, végtelen halmazoknál különböző „nagyságú” végtelenek (pl. denumerábilis vs. nem denumerábilis).

Típusok és konkrét példák

  • Számszerű nagyságok: egész számok, racionális és valós számok abszolút értéke. Példa: 3 > 2, |−5| = 5.
  • Hossz (vonalszakaszok): két szakasz összehasonlításához skálát (mértékegységet) vagy arányt használunk. Az ókori görögök rájöttek, hogy nem minden hossz arányolható racionális számmal (incommensurábilis hossz, pl. egy egység és egy átló egysége egy négyzetben, ami √2).
  • Terület és térfogat: síkbeli és térbeli nagyságok, amelyekhez integrálás vagy geometriai képletek kapcsolódnak (pl. téglalap területe a×b, gömb térfogata 4/3 π r3).
  • Szögnagyság: a szög mértéke (fokban vagy radiánban), összeadható mennyiség, rendezhető.
  • Kardinalitás (halmazok mérete): például a természetes számok halmaza numerikusan „ugyanakkora” mint a páros számok halmaza (számosság szemlélete), míg a valós számok halmaza nagyobb kardinalitású.
  • Normák és metrikák: vektorok nagysága különböző normákkal definiálható (Euclidean norma, ∞-norm, 1-norma), valamint a metrikák határozzák meg a „távolságot” elemek között.

Rendezés, izomorfizmus és történelmi megjegyzés

Az ókori görögök által vizsgált különböző nagyságrendek közül a racionális számok és a vonalszakaszok rendszere nem volt izomorfikus: léteznek olyan vonalszakaszok (például egység és átló), amelyek aránya nem racionális, ezért nincs megfelelő megfeleltetés a racionális számokkal. Ezt a problémát később a valós számok bevezetésével és olyan fogalmakkal oldották meg, mint a Dedekind-felvételek vagy Cauchy-sorok, amelyek lehetővé tették a folytonos mennyiségek formális kezelését.

Miért nem tekintik értelmesnek a negatív „nagyságot”?

Általánosan a nagyság, mint pozitív mennyiség értelmezett: hossz, terület, térfogat nem lehet negatív. Ugyanakkor a matematikában a negatív értékeknek van szerepük — például előjeles mennyiségek (eltérés, elmozdulás) vagy algebrai struktúrákban —, de ezeket általában nem „nagyságnak”, hanem aláírt vagy orientált mennyiségnek tekintjük. Léteznek kivételek: a mértékelméletben a speciális (előjeles) mértékek, ill. a valós függvények esetén a negatív érték is értelmezett, de a „nagyság” fogalmánál a nemnegativitás az alapelv.

Modern kiterjesztések és formális modellek

  • Mérés és mértékelmélet: Lebesgue-mérés ad egy általánosabb keretet területek és térfogatok mérésére, beleértve a mérhetetlen halmazokról szóló eredményeket is.
  • Normált és bővíthető struktúrák: vektorterekben a normák formálják a nagyság fogalmát, míg a metrika megadja a „távolságot”.
  • Kardinalitás elmélete: a halmazok „méretének” vizsgálata Cantor óta különálló terület; az „infinitezimális” és „végtelen” nagyságok összehasonlítása speciális fogalmakat igényel.
  • Absztrakt rendezett struktúrák: a nagyság absztrahálható részben rendezett vagy teljesen rendezett struktúrákká (pl. rendezett gyűrűk, ordinális számok).

Gyakorlati megjegyzések és intuitív irányelvek

  • Mindig tartsuk szem előtt az egységet: két mennyiséget csak akkor hasonlíthatunk össze közvetlenül, ha ugyanabban az egységben vannak kifejezve.
  • Megkülönböztetés: „nagyság” alatt gyakran pozitív, mérhető mennyiséget értünk; az előjeles mennyiségeket másként kezeljük.
  • Formálisítás: problémától függően a nagyságot rendezettséggel, normával, méréssel vagy kardinalitással érdemes definiálni.

Összefoglalva: a „matematikai nagyság” egy sokoldalú fogalom, amely geometriai, analitikai és halmazelméleti értelemben is használható. Az ókori megkülönböztetések (frakciók, vonalszakaszok, területek, térfogatok, szögek) ma is hasznos kiindulópontok, de a modern matematika sokkal gazdagabb és formálisabb eszköztárat kínál a nagyságok kezelésére és összehasonlítására.