mały|270px|Diagram Hassego przedstawiający zawieranie się zbiorów i ogólniej – klas liczbowych w sobie. Symbol 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. 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ń.

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ęć, jak zbiór, czy typy liczb prostsze od konstruowanego.

Zastosowania 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 pojęcie liczby zostało rozszerzone z poznawanych w szkole podstawowej liczb naturalnych, wymiernych i rzeczywistych na takie abstrakcje, jak liczby zespolone, p-adyczne, kwaterniony, czy sedeniony. Liczby zespolone okazały się przydatne w wielu dziedzinach od grafiki komputerowejNp. fraktale., przez elektronikęZob. zastosowanie liczb zespolonych w analizie obwodów elektrycznych, ponadto stosowane są one również w teorii sygnałów., teorię płynów, aż do fizyki kwantowejNp. funkcja falowa. 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.

Opis intuicyjny 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.

Liczby naturalne

Najczęściej używanymi liczbami są liczby naturalne. Wśród matematyków istnieją dwie szkoły: Jedni uważają, że zero powinno zaliczać się do liczb naturalnych (a więc liczby naturalne to ). 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. Inni uznają, że liczby naturalne zaczynają się od jedynki. Liczba zero weszła do matematyki stosunkowo późno. Dopiero w XVII wieku zero było powszechnie rozpoznawane jako liczba w Europie, być może więc wydaje się „mniej naturalna” od pozostałych liczb naturalnych.

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 całkowite

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 oraz liczby przeciwne do naturalnych znane są właśnie jako liczby całkowite.

Liczby wymierne

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 równych części, a następnie wybraniu spośród nich. Dwa różne ułamki mogą reprezentować tę samą liczbę wymierną, np. Dla każdego ułamek jest równy Operację zamiany na nazywa się rozszerzeniem ułamka, odwrotną zaś skróceniem ułamka.

Jeśli licznik i mianownik są jednocześnie dodatnie lub jednocześnie ujemne, to reprezentowana przez ułamek liczba wymierna 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 oraz to ułamek reprezentuje liczbę większą od 1. Jeśli (gdzie jest liczbą całkowitą), to ułamek reprezentuje liczbę całkowitą

Liczby wymierne są uporządkowane liniowo (każde dwie liczby wymierne są porównywalne). Jest to porządek gęsty: między dwiema różnymi liczbami można zawsze znaleźć inną liczbę (a nawet nieskończenie wiele liczb).

Liczby rzeczywiste

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ąZdaniem pitagorejczyków odkrycie to zaprzeczało głoszonej przez nich doskonałości wszelkich liczb – liczby niewymierne uznali za niedoskonałe. Zobacz też dowód niewymierności pierwiastka z dwóch.Witold Więsław stwierdza: Pitagorejczycy udowodnili, że przekątna kwadratu nie jest współmierna z jego bokiem, tzn. 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, , strona 36.)..

Liczby rzeczywiste to liczby wymierne oraz 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 zespolone

Liczby urojone to liczby, których kwadraty są niedodatnimi liczbami rzeczywistymi. W szczególności jedną z nich jest tzw. jednostka urojona dla której Ż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. W szczególności liczby rzeczywiste oraz liczby urojone także są liczbami zespolonymi (np. ). Każdej liczbie zespolonej odpowiada punkt na płaszczyźnie (tzw. płaszczyzna zespolona), a dodawanie i mnożenie są interpretowane geometrycznie.

Liczby zespolone są szczególnymi przypadkami kwaternionów, tessarinów i kokwaternionów dla i

Liczby algebraiczne

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

Liczby przestępne Liczby przestępne to liczby zespolone niebędące algebraicznymi. Słynnymi przykładami liczb przestępnych są π oraz e.

Liczby dualne

Nilpotent to taki element, że

Liczby dualne powstają analogicznie do liczb zespolonych poprzez zsumowanie części rzeczywistej i wielokrotności nilpotenta. Mają one postać gdzie i to liczby rzeczywiste.

Liczby podwójne

Przy konstrukcji liczb podwójnych używa się jednostki niebędącej liczbą rzeczywistą. Różni się ona od jednostki urojonej w tym, że

Liczby podwójne powstają poprzez zsumowanie części rzeczywistej i wielokrotności jednostki Mają one postać gdzie i to liczby rzeczywiste.

Liczby rzeczywiste są szczególnymi przypadkami liczb podwójnych, dla Liczby podwójne są natomiast szczególnymi przypadkami tessarinów i kokwaternionów (ale nie kwaternionów).

Oznaczenia zbiorów liczbowych W matematyce powszechnie przyjęte są pewne oznaczenia zbiorów liczbowych. W polskich szkołach podstawowych ś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.

{| class="wikitable" style="text-align: center; padding: 0 5pt" ! Zbiór ! Oznaczenie „szkolne” ! Oznaczenie standardowe ! Uwagi |- |align=left| Liczby naturalne bez zera | | czasem |align=left| rzadziej używane oznaczenia: |- |align=left| Liczby naturalne z zerem | czasem | czasem |align=left| w teorii mnogości |- |align=left| Liczby całkowite

|align=left| od niem. Zahlen – liczby |- |align=left| Liczby wymierne

|align=left| od niem. Quotient – iloraz |- |align=left| Liczby niewymierne | czasem

|align=left| Liczby rzeczywiste

|align=left| od ang. real numbers |- |align=left| Liczby algebraiczne

|align=left| czasem , algebraiczne domknięcie |- |align=left| Liczby zespolone

|align=left| od ang. complex numbers |- |align=left| Kwaterniony

|align=left| od ang. Hamilton numbers – liczby Hamiltona |- |align=left| Oktoniony

|align=left| znane również jako oktawy Cayleya, brak łącznego mnożenia, status liczby kontrowersyjny |- |align=left| Sedeniony

|align=left| mnożenie nie jest łączne, nietrywialne dzielniki zera, status liczby kontrowersyjny |- |align=left| Liczby p-adyczne

Własności algebraiczne 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.

Dla liczb naturalnych (z zerem lub bez niego) działaniami wewnętrznymi są np. dodawanie i mnożenie. Dodanie lub pomnożenie przez siebie dwóch liczb naturalnych daje zawsze liczbę naturalną. Dla dodawania i mnożenia można skonstruować działania odwrotne – odejmowanie i dzielenie. Jednak odejmowanie większej liczby od mniejszej nie daje się wykonać w zbiorze liczb naturalnych, odejmowanie nie jest zatem działaniem wewnętrznym tego zbioru. Podobnie jest z dzieleniem. Rozszerzenie liczb naturalnych tak, aby odejmowanie było zawsze wykonalne, daje w rezultacie pierścień liczb całkowitych. Odejmowanie jest już dla nich działaniem wewnętrznym. Powiększenie pierścienia liczb całkowitych tak, aby wykonalne było dzielenie dowolnej liczby całkowitej przez dowolną niezerową liczbę całkowitą, prowadzi do tzw. ciała liczb wymiernych. Jego działaniami wewnętrznymi są dodawanie, odejmowanie, mnożenie oraz dzielenie przez liczbę niezerową.