Wielkość obiektu matematycznego to jego rozmiar — cecha, dzięki której można powiedzieć, że jeden obiekt tej samej klasy jest większy lub mniejszy od drugiego. W prostym ujęciu oznacza to uporządkowanie zbioru obiektów tego samego rodzaju według pewnej relacji porządkującej (np. „mniejsze niż”, „większe niż”).

Formalne ujęcie

W języku matematycznym wielkość można sprowadzić do struktury uporządkowanej: zbioru z relacją porządku (zwykle całkowitym porządkiem) oraz — często — z operacją łączenia (np. dodawania), która zachowuje porządek. W zależności od kontekstu dodatkowe właściwości mogą być istotne, np. możliwość mnożenia przez skalary, ciągłość czy własność Archimedesa. Pojęcie wielkości obejmuje zarówno proste przypadki dyskretne (liczby naturalne), jak i przypadki ciągłe (długości odcinków, pola powierzchni, objętości).

Historyczne rozróżnienia

Starożytni Grecy rozróżniali kilka rodzajów wielkości i rozwijali metody porównywania ich rozmiarów. Przykłady rodzajów wielkości rozpoznanych już w starożytności to:

  • (dodatnie) frakcje — interpretowane jako stosunki ilości (liczby dodatnie),
  • odcinki linii (uporządkowane według długości) — wielkości jednowymiarowe,
  • figury płaskie (uporządkowane według powierzchni) — wielkości dwuwymiarowe,
  • ciała stałe (uporządkowane według objętości) — wielkości trójwymiarowe,
  • Kąty (uporządkowane według wielkości kątowej) — wielkości mierzalne w jednostkach kąta.

Grecy zauważyli, że różne rodzaje wielkości zachowują się inaczej i nie zawsze da się je bezpośrednio porównać jedną „wspólną miarą”. W pracy Eudoksosa sformułowano teorię proporcji, którą używano do porównywania wielkości nawet wtedy, gdy nie da się wyrazić ich stosunku za pomocą liczb wymiernych (np. w przypadku długości odcinków prowadzących do stosunków niewymiernych).

Co Grecy uznawali (i czego nie)

Starożytni nie uznawali ujemnych wielkości jako znaczących w sensie geometrycznym — wielkości były nieujemne, a najczęściej zero traktowano jako najmniejszą możliwą wielkość lub jako wielkość mniejszą od wszystkich innych możliwych. Współczesne ujęcia rozszerzyły to pojęcie, wprowadzając negatywne liczby w algebrze czy temperatury, natomiast w większości kontekstów geometrycznych i fizycznych wielkości takie jak długość, powierzchnia czy objętość pozostają nieujemne.

Nowoczesne uogólnienia i rodzaje wielkości

Współczesna matematyka rozróżnia różne typy „wielkości” i sposoby ich formalizacji:

  • Wielkości porządkowe — elementy z relacją porządku (np. długości odcinków z porządkiem „mniejszy od”).
  • Wielkości mierzalne — obiekty, którym przypisujemy liczbę w określonej jednostce (długość w metrach, pole w metrach kwadratowych, masa w kilogramach). Tu kluczowe są jednostki i zasady konwersji między nimi.
  • Struktury algebraiczne z porządkiem — np. uporządkowane półgrupy lub grupy abelowe, w których istnieje operacja dodawania zachowująca porządek (istotne przy łączeniu wielkości, jak konkatenacja odcinków).
  • Skale pomiarowe — klasyfikacja pomiarów (nominalna, porządkowa, przedziałowa, ilorazowa) określająca, jakie operacje i porównania mają sens dla danej wielkości (np. temperatura w skali Celsjusza ma sens dla różnic, ale nie dla stosunków).
  • Kardynalność kontra miara — pojęcie „wielkości” zbioru (moc zbioru, kardynalność) różni się od mierzenia długości czy pola; to dwa różne aspekty „rozmiaru”.

Porównywanie i izomorfizm

Porównywanie wielkości zwykle polega na sprawdzeniu relacji porządku (mniejsze, równe, większe) lub stosunku (iloraz). Istotne pojęcie w teorii wielkości to izomorfizm: dwie struktury wielkościowe są izomorficzne, jeśli istnieje bijekcja między nimi zachowująca wszystkie istotne struktury (porządek, dodawanie itp.). Starożytni zauważyli, że różne rodzaje wielkości (np. liczby i długości odcinków lub długości i pola) nie zawsze da się powiązać izomorficznie w sposób zachowujący wszystkie własności — stąd konieczność rozbudowanych teorii proporcji i miary.

Praktyczne przykłady i uwagi

  • Długość odcinka: mierzalna, nieujemna, da się dodawać przez składanie odcinków.
  • Pole powierzchni i objętość: wielkości o wyższych wymiarach, wymagają odpowiednich jednostek (m², m³) i zasad przeliczania.
  • Kąty: mierzalne w stopniach lub radianach; porównujemy je relacją porządku oraz dodajemy (sumowanie kątów).
  • Liczby rzeczywiste: mogą reprezentować wielkości mierzalne, ale mają też własne struktury algebraiczne (ujemne wartości mają sens w pewnych zastosowaniach).
  • Temperatura: przykład wielkości, gdzie wybór skali (Celsius, Kelvin) wpływa na interpretację zera i sens stosunków.

Podsumowanie

„Wielkość” to pojęcie szerokie: od intuicyjnych pomiarów długości i pola, przez historyczne rozróżnienia starożytnych matematyków, po współczesne formalizacje w teorii miary i algebrze uporządkowanej. Kluczowe aspekty to rodzaj obiektów, relacja porządku, możliwe operacje (np. dodawanie, skalowanie) oraz jednostki i skale pomiarowe. Różne rodzaje wielkości mogą wymagać odrębnych sposobów porównywania i modelowania; nie wszystkie da się sprowadzić do jednego, uniwersalnego systemu.