|
Liczba |
oznacza tu, że można skonstruować klasę liczb
tak, aby była podklasą klasy
. Zbiory umieszczone na rysunku powyżej liczb zespolonych noszą wspólną nazwę liczb hiperzespolonych. Na niebiesko oznaczone są rodzaje liczb które nie tworzą zbiorów, lecz klasy właściwe. Liczby algebraiczne całkowite nie są szczególnym przypadkiem liczb algebraicznych rzeczywistych – to nie jest pomyłka. Zobacz sekcję Liczby algebraiczne.Liczba – pojęcie abstrakcyjne, jedno z najczęściej używanych w matematyce. Określenie „liczba” bez żadnego przymiotnika jest nieścisłe, gdyż matematycy nie definiują „liczb”, lecz „liczby naturalne”, „liczby całkowite”, itp. Poszczególne rodzaje liczb są definiowane za pomocą aksjomatów lub konstruowane z bardziej podstawowych pojęć, takich jak zbiór, czy typy liczb prostsze od konstruowanego.
Pierwotnie liczby służyły do porównywania wielkości zbiorów przedmiotów (liczby naturalne), później także wielkości ciągłych (miary i wagi), obecnie w matematyce są rozważane jako twory abstrakcyjne, w oderwaniu od ewentualnych fizycznych zastosowań.
Zawartość |
Najprostsze rodzaje liczb, jak liczby naturalne czy rzeczywiste, są w powszechnym użyciu jako oznaczenia ilości przedmiotów (np. pięć jabłek) lub mnożnika pewnej jednostki miary (np. dwa i pół metra). Zapisy liczb naturalnych są używane także jako identyfikatory, np. numery telefonów, dróg, PESEL, ISBN.
W matematyce nauczane w szkołach podstawowych liczby naturalne, wymierne i rzeczywiste zostały rozszerzone na takie abstrakcje, jak liczby zespolone, p-adyczne, kwaterniony, czy sedeniony. Liczby zespolone okazały się przydatne w wielu dziedzinach od grafiki komputerowej[1], przez elektronikę[2], teorię płynów, aż do fizyki kwantowej[3] i teorii względności. Kwaterniony znalazły zastosowanie w grafice trójwymiarowej do prostego obliczania obrotów w przestrzeni (zob. współrzędne jednorodne). Liczby p-adyczne znalazły zastosowanie w kryptografii.
Poniższe opisy w żadnym wypadku nie są ścisłymi definicjami. Liczby są jednak w matematyce definiowane ściśle, i definicje te są przedstawione w wydzielonym artykule. Poniżej podane są opisy tylko kilku najprostszych zbiorów liczbowych.
Najczęściej używanymi liczbami są liczby naturalne. Wśród matematyków istnieją dwie szkoły:
). Takie podejście jest związane z najbardziej „naturalnym” zastosowaniem liczb naturalnych – zliczaniem elementów skończonych zbiorów. W życiu codziennym używa się liczb naturalnych głównie w tym właśnie celu, aby określić liczbę przedmiotów w jakiejś grupie. Zero odpowiada wtedy liczności zbioru pustego.Z punktu widzenia aksjomatyki kwestia zaliczenia zera do liczb naturalnych jest czysto umowna i nie sprawia żadnych problemów pod warunkiem konsekwentnego trzymania się tej umowy podczas rozumowania.
Liczby ujemne to liczby mniejsze od zera. Dla każdej dodatniej liczby (czyli większej od zera) można wskazać liczbę do niej przeciwną, czyli liczbę ujemną leżącą na osi liczbowej w tej samej odległości od zera. Ich suma zawsze daje zero: jeśli na konto wpłynie 100 zł, to w rachunkach można ten fakt zaznaczyć jako 100, wypłatę 100 zł można wtedy oznaczać liczbą ujemną -100. Liczby naturalne
, zero i liczby przeciwne do naturalnych
znane są właśnie jako liczby całkowite.
Liczby wymierne to intuicyjnie ułamki powstające przez podzielenie liczby całkowitej (zwanej licznikiem) przez liczbę całkowitą różną od zera (zwaną mianownikiem), np.
. Dzielenie przez zero jest operacją niewykonalną.
Ułamek
dla
reprezentuje wielkość otrzymaną po podzieleniu całości na m części, a następnie wybraniu n spośród nich. Dwa różne ułamki mogą reprezentować tę samą liczbę wymierną, np.
Każdy ułamek można jednak skrócić, tzn. podzielić licznik i mianownik przez tę samą liczbę całkowitą (ich największy wspólny dzielnik), tak aby dalsze dzielenie tych wielkości w zbiorze liczb całkowitych było już niemożliwe.
Jeśli licznik i mianownik są jednocześnie dodatnie lub jednocześnie ujemne, to reprezentowana przez ułamek liczba wymierna również jest dodatnia. Jeśli licznik jest zerem, to liczba wymierna jest zerem. Jeśli licznik ma znak przeciwny do znaku mianownika, to liczba wymierna nim wyrażona jest ujemna.
Jeśli n,m > 0 i n > m, to ułamek reprezentuje liczbę większą od 1. Jeśli n = km (gdzie k jest liczbą całkowitą), to ułamek reprezentuje liczbę całkowitą k.
Liczby wymierne są uporządkowane liniowo (każde dwie liczby wymierne są porównywalne). Jest to porządek gęsty: pomiędzy dwoma różnymi liczbami można zawsze znaleźć trzecią (a nawet nieskończoną ich liczbę).
Już starożytni pitagorejczycy odkryli, że istnieją liczby, których nie da się przedstawić w postaci ułamka
(takie jak np.
, czyli długość przekątnej kwadratu o boku jednostkowym), a więc nie są liczbami wymiernymi. Pitagorejczycy czcili liczby jako doskonałość i to odkrycie było dla nich szokiem. Fakt istnienia liczb niewymiernych był ich najgłębiej skrywaną tajemnicą[5][6].
Liczby rzeczywiste to liczby wymierne i liczby niewymierne znajdujące się pomiędzy liczbami wymiernymi, lecz nie dające wyrazić się w postaci ułamka, takie jak
czy π. Każdej liczbie rzeczywistej odpowiada punkt na prostej (tzw. oś liczbowa).
Każda liczba rzeczywista jest punktem skupienia zbioru liczb wymiernych i liczby wymierne są gęstym podzbiorem zbioru liczb rzeczywistych.
Liczby urojone to liczby, których kwadraty są niedodatnimi liczbami rzeczywistymi. W szczególności jedną z nich jest tzw. jednostka urojona i, dla której i2 = − 1. Żadna liczba urojona oprócz zera nie jest równocześnie liczbą rzeczywistą.
Liczby zespolone to liczby powstające przez zsumowanie liczby rzeczywistej i liczby urojonej, np. 2 + 3i. W szczególności liczby rzeczywiste i liczby urojone także są liczbami zespolonymi (np. 5 = 5 + 0i). Każdej liczbie zespolonej odpowiada punkt na płaszczyźnie (tzw. płaszczyzna zespolona), a dodawanie i mnożenie są interpretowane geometrycznie.
Liczba algebraiczna to taka liczba zespolona, która podstawiona do jakiegoś wielomianu o wymiernych współczynnikach (np.
) da w wyniku zero. W szczególności każda liczba wymierna
jest algebraiczna, bo jest pierwiastkiem wielomianu qx − p.
Liczby przestępne to liczby zespolone nie będące algebraicznymi. Słynnymi przykładami liczb przestępnych są π i e.
W matematyce powszechnie przyjęte są pewne oznaczenia zbiorów liczbowych. W polskich gimnazjach i szkołach średnich korzysta się z symboli nawiązujących do polskich nazw zbiorów, jednak w szkołach wyższych i środowisku naukowym (a także tym i pozostałych artykułach Wikipedii) korzysta się z oznaczeń międzynarodowych.
| Zbiór | Oznaczenie „szkolne” | Oznaczenie standardowe | Uwagi |
|---|---|---|---|
| Liczby naturalne bez zera | ![]() |
, czasem![]() |
|
| Liczby naturalne z zerem | ![]() |
![]() |
w teorii mnogości ω |
| Liczby całkowite | ![]() |
![]() |
od niem. Zahlen – liczby |
| Liczby wymierne | ![]() |
![]() |
od niem. Quotient – iloraz[7] |
| Liczby rzeczywiste | ![]() |
![]() |
od ang. real numbers |
| Liczby algebraiczne | ![]() |
||
| Liczby zespolone | ![]() |
![]() |
od ang. complex numbers |
| Kwaterniony | ![]() |
od ang. Hamilton numbers – liczby Hamiltona | |
| Oktoniony | ![]() |
znane również jako „oktawy Cayleya” | |
| Sedeniony | ![]() |
||
| Liczby p-adyczne | ![]() |
Działania na liczbach, takie jak dodawanie, odejmowanie, mnożenie czy dzielenie można zdefiniować także w zbiorach, które nie mają z liczbami wiele wspólnego, jak symetrie wielościanów w przestrzeni, o ile tylko działania te będą tam miały podobne właściwości, np. będą przemienne, czy łączne. Struktury algebraiczne, w których działania mają pewne określone właściwości, posiadają w algebrze własne nazwy, takie jak grupa, pierścień czy ciało.
Liczby na ogół definiowane są krok po kroku. Rozpoczyna się od liczb naturalnych, następnie rozszerza ich algebrę na liczby całkowite, wymierne, rzeczywiste, zespolone…
Struktury algebraiczne liczb całkowitych i wymiernych rozszerzają kolejno strukturę liczb naturalnych tak, aby najprostsze działania arytmetyczne dawały się w nich wykonać dla dowolnych dwóch liczb (z wyjątkiem dzielenia przez zero). Działania takie nazywa się działaniami wewnętrznymi danego zbioru liczbowego, gdyż ich wynik zawsze będzie zawarty w tym zbiorze, dlatego mówi się też, że zbiór jest zamknięty ze względu na dane działanie. Kolejne rozszerzenia – na liczby rzeczywiste i zespolone – wzbogacają strukturę algebraiczną o dalsze interesujące właściwości.
Odpowiednie własności działań w podstawowych zbiorach liczbowych zostały ujęte w tabeli (niżej legenda, oznaczenia wprowadzono wyłącznie na potrzeby artykułu):
| Zbiór liczbowy | Dodawanie | Odejmowanie | Mnożenie | Dzielenie |
|---|---|---|---|---|
| Liczby naturalne bez zera | ![]() |
![]() |
![]() |
![]() |
| Liczby naturalne z zerem | ![]() |
![]() |
![]() |
![]() |
| Liczby całkowite | ![]() |
![]() |
![]() |
![]() |
| Liczby wymierne | ![]() |
![]() |
![]() |
![]() |
| Liczby rzeczywiste | ![]() |
![]() |
![]() |
![]() |
| Liczby zespolone | ![]() |
![]() |
![]() |
![]() |
| Symbol | Własność | Definicja |
|---|---|---|
Legenda: oznacza opisywane działanie, X to dany zbiór liczbowy |
||
![]() |
Zamkniętość zbioru na działanie. | ![]() |
![]() |
Zamkniętość zbioru na dzielenie z wyłączeniem dzielenia przez zero. | ![]() |
![]() |
Przemienność działania | ![]() |
![]() |
Łączność działania | ![]() |
![]() |
Obustronny element neutralny e działania w tym zbiorze. | ![]() |
![]() |
Wyłącznie prawostronny element neutralny dla wszystkich elementów zbioru. | ![]() |
![]() |
Obustronny element odwrotny dla wszystkich elementów zbioru. | , gdzie e jest elementem neutralnym |
![]() |
Obustronny element odwrotny dla wszystkich niezerowych elementów zbioru. | , gdzie e jest elementem neutralnym |
Rodzaje struktur algebraicznych tworzonych przez poszczególne zbiory liczbowe z odpowiednimi działaniami:
.
liczb rzeczywistych i ciało
liczb rzeczywistych algebraicznych są ciałami rzeczywiście domkniętymi: tj. są ciałami formalnie rzeczywistymi, które nie posiadają rozszerzenia algebraicznego będącego ciałem formalnie rzeczywistym.
liczb zespolonych i ciało
liczb algebraicznych są ciałami algebraicznie domkniętymi, tzn. każdy wielomian stopnia co najmniej pierwszego jednej zmiennej z współczynnikami w
lub
ma pierwiastek w odpowiednym ciele. W szczególności istnieje
takie, że z2 = − 1. W ciele liczb zespolonych istnieją dokładnie dwie liczby o tej własności oznaczane i i − i.| Ze względu na objętość, ścisłe definicje liczb poprzez aksjomaty i konstrukcje zostały wydzielone jako osobny artykuł: Aksjomaty i konstrukcje liczb |
Zbiory liczb naturalnych, całkowitych, wymiernych i algebraicznych są równoliczne, czyli mają tę samą moc; oznacza się ją za pomocą hebrajskiej litery alef z zerem w indeksie (czyt. alef-zero), czyli
.
Zbiory o mocy skończonej lub niewiększej niż
określane są łącznie zbiorami przeliczalnymi.
Zbiory liczb rzeczywistych, zespolonych, kwaternionów, oktonionów, sedenionów i liczb p-adycznych mają większą moc[8] – continuum – oznaczaną symbolem
. Kwestia, czy pomiędzy liczbą kardynalną
a
jest jakakolwiek inna liczba kardynalna (tzw. hipoteza continuum) okazała się niemożliwa do wyprowadzenia z pozostałych aksjomatów teorii mnogości.
Liczby kardynalne i opisane dalej liczby porządkowe nie tworzą w ogóle zbiorów. Założenie, że można utworzyć zbiór liczb kardynalnych lub porządkowych prowadzi do sprzeczności (tzw. paradoks Burali-Forti).
System liczbowy to zbiór reguł do jednolitego zapisywania liczb. Generalnie systemy liczbowe można podzielić na pozycyjne i addytywne.
W pozycyjnych systemach liczbowych ten sam symbol (cyfra) ma różną wartość w zależności od pozycji, jaką zawiera w danej liczbie. Na przykład, w dziesiętnym zapisie liczby 11, pierwsza jedynka ma wartość 10, a druga 1, ze względu na inną ich pozycję w zapisie liczby.
Przykłady:




W pozycyjnych systemach liczbowych o podstawie k każda nieujemna liczba rzeczywista x może być rozwinięta przy pomocy szeregu:

gdzie ci to cyfry będące liczbami naturalnymi z przedziału od 0 do k − 1.
Skrótowo liczbę nieujemną zapisuje się jako
. W krajach anglosaskich zamiast przecinka zarezerwowanego do oddzielania tysięcy używana jest kropka. Dla liczb ujemnych zapisujemy ich moduł, dodając z przodu znak − , np. − 25,4[9]. Przez analogię dla liczb dodatnich można dodać z przodu znak + . W księgowości stosuje się też inne notacje, np. liczby ujemne ujmuje się w nawiasy.
Liczby rzeczywiste często wymagają nieskończonej liczby cyfr do swego zapisu. Zapis liczb wymiernych zawsze wykazuje okresowość, tzn. począwszy od pewnego momentu ciąg cyfr zaczyna się cyklicznie powtarzać. Liczby naturalne są zapisywane skończoną liczbą cyfr, gdyż wszystkie cyfry ci dla i < 0 są zerami, więc ich zapis można pominąć.
W addytywnych systemach liczbowych symbole mają zawsze tę samą wartość, a liczbę uzyskuje się przez ich sumowanie. Tym samym musi ich być odpowiednio więcej. Przykłady:
Dane w pamięci komputera czy też w plikach zapisane są w postaci ciągu tzw. bajtów. Każdy bajt składa się z ośmiu cyfr systemu dwójkowego (0 lub 1), zwanych bitami. Pojedynczy bajt może przyjmować jeden z 28 = 256 stanów. Powstaje konieczność zakodowania liczb w postaci ciągu bajtów, tak aby komputery mogły je przetwarzać. Można to zrobić na wiele sposobów, jednak w praktyce używanych jest kilka standardów:
Typ obejmujący przedział liczb naturalnych z zerem zwany jest w informatyce liczbami bez znaku (ang. unsigned integers). W informatyce zawsze zalicza się zero do liczb bez znaku i – w odróżnieniu od matematyki – elementy ciągu, zwanego tu tablicą jednowymiarową, w najpopularniejszych językach numeruje się konsekwentnie od zera[10].
Liczby naturalne z przedziału 0-255 można po prostu zakodować jako wartość jednego bajtu.
Na dwóch bajtach można już zapisać liczby naturalne z przedziału 0-65535 (mamy do dyspozycji 65536 = 2562 stanów). Każdą taką liczbę można zapisać w postaci x = 256h + l, gdzie h i l to wartości tzw. starszego bajtu i młodszego bajtu, z przedziału od 0 do 255 każda. Wartości te można zapisać w pamięci na dwa sposoby: lub pierwszy jest starszy bajt, a drugi młodszy (tzw. notacja big endian), lub odwrotnie (little endian). W procesorach kompatybilnych z architekturą Intela (czyli np. w komputerach PC) stosowany jest little endian, a w wielu innych procesorach (np. na większości serwerów) big endian. Są też procesory na których kolejność można przełączać. Nie ma to wielkiego znaczenia, dopóki nie zapiszemy liczby do pliku, lub nie prześlemy jej siecią i nie przeniesiemy w ten sposób na komputer stosujący inny standard. Z tego powodu np. maszyny wirtualne Java wykorzystują w plikach format big endian niezależnie od procesora.
Na czterech bajtach można zapisać liczby z przedziału 0 – 4 294 967 295. Analogicznie jak poprzednio, przedstawienie danej liczby w systemie 256-kowym pozycyjnym jako x = 2563a3 + 2562a2 + 256a1 + a0 uzyskuje się cztery bajty a3,a2,a1,a0. Kolejność ich zapisu w pamięci, tak jak poprzednio, zależy od procesora – w przypadku little endian od bajtu a0 do a3, w przypadku big endian – odwrotnie.
Do niektórych zastosowań konieczne są jeszcze większe liczby naturalne, np. zapisywane na 8 bajtach (w rodzinie C oznaczane unsigned _int64 lub unsigned long long int).
Istnieją inne sposoby zapisu liczb naturalnych, bardzo rzadko jednak stosowane. Należy do nich kod BCD (od ang. binary coded decimal), gdzie kolejne cyfry dziesiętne są zapisywane w kolejnych półbajtach (inaczej niblach, porcjach danych długości 4 bitów). Komplikuje to arytmetykę, ale upraszcza przeliczanie na system dziesiętny, kod BCD jest więc czasem stosowany w licznikach cyfrowych.
Typ obejmujący przedział liczb całkowitych zwany jest w informatyce liczbami ze znakiem (ang. signed integers).
Stosuje się tzw. kod uzupełnień do dwóch (U2). Liczba x, która ma zostać zapisana w postaci n bajtów jest przekształcana w następujący sposób:

Następnie liczba x' jest zapisywana jako liczba naturalna. W ten sposób na jednym bajcie można zapisywać liczby z przedziału od − 128 do 127, na dwóch od − 32768 do 32767, i ogólnie na n bajtach liczby od − 28n − 1 do 28n − 1 − 1 włącznie.
Istnieją inne metody zapisu (np. kod uzupełnień do jedności), obecnie jednak nie stosowane.
W celu zapisywania dużych liczb naturalnych lub całkowitych buduje się odpowiednie klasy, np. java.math.BigInteger w języku Java[11]
Liczby rzeczywiste mogą być zapisywane jako:
Powszechnie stosuje się zmiennoprzecinkowy zapis liczby rzeczywistej w standardzie IEEE 754. Przybliżenie liczby rzeczywistej jest zapisywane w postaci
, gdzie
jest nazywany znakiem, w – wykładnikiem, a
– mantysą. Zero, które można by zakodować na wiele sposobów jest kodowane jako s = + 1,w = 0,m = 0
Znak jest zapisywany jako jeden bit, równy 0 dla s = + 1 i 1 dla s = − 1. Wykładnik jest zapisywany jak każda inna liczba całkowita w kodzie uzupełnień do dwóch. Mantysa jest mnożona przez 2f, gdzie f to liczba bitów przeznaczona na nią i zapisywana jako liczba naturalna.
Całość zajmuje kolejnych 4, 8 lub 16 bajtów (w zależności od wymaganej precyzji). Ich kolejność umieszczenia w pamięci jest zależna od procesora, identycznie jak w przypadku liczb naturalnych i całkowitych.
Niektóre języki programowania posiadają arytmetykę liczb zespolonych. W nowoczesnych językach zwykle jest to realizowane za pomocą odpowiednich klas, np. Complex ze standardowej biblioteki C++. Jedną z przyczyn dawnej popularności Fortrana był fakt, iż język ten jako pierwszy posiadał typ liczb zespolonych.
Klasa obsługująca kwaterniony zdefiniowana jest w pakiecie DirectX[12], będąc sposobem na użycie tzw. współrzędnych jednorodnych do opisu punktów modelowanej przestrzeni trójwymiarowej (wierzchołków trójwymiarowej sceny) w grafice trójwymiarowej; podobne typy istnieją również w innych pakietach grafiki trójwymiarowej.
| Ta sekcja została wydzielona jako osobny artykuł: Nota historyczna liczb |
jest liczbą niewymierną. Byłoby interesujące dowiedzieć się, kto pierwszy tego dowiódł. Zapewne nigdy się już tego nie dowiemy. Jedno jest pewne: Pitagoras pod koniec V w. p.n.e. wiedział, że
jest liczbą niewymierną. (Zob.: Więsław, Witold: Matematyka i jej historia, Wydawnictwo NOWIK, Opole 1997, ISBN 83-905456-7-5, strona 36.)array z domyślnymi parametrami), Perl, choć istnieją starsze języki w których numeruje się je od jedynki (wiele dialektów Basica, Fortran), lub zakres numeracji można samodzielnie zdefiniować (Pascal, SAS 4GL, Algol, Ada)Wyprowadzenie wszystkich algebr liczbowych od liczb naturalnych do oktaw Cayleya włącznie, w sposób zrozumiały dla uczniów gimnazjum, znajduje się w książce:
liczby