
I numeri interi (o numeri interi relativi o, semplicemente, numeri relativi) corrispondono all'insieme ottenuto unendo i numeri naturali (0, 1, 2, ...) e i numeri interi negativi (−1, −2, −3...), cioè quelli ottenuti ponendo un segno “−” davanti ai naturali. Questo insieme in matematica viene indicato con Z o formula_1, perché è la lettera iniziale di “"Zahl"” che in tedesco significa numero (originariamente "far di conto", infatti l'espressione implica l'utilizzo dei numeri negativi). 
Gli interi vengono quindi definiti esattamente come l'insieme dei numeri che sono il risultato tra sottrazioni di numeri naturali. I numeri interi possono essere sommati, sottratti e moltiplicati e il risultato rimane un numero intero. L'inverso di un numero intero non è però un intero in generale, ma un numero razionale; formalmente questo fatto si esprime dicendo che formula_1 è un anello commutativo, ma non un campo.
Come i numeri naturali, formula_1 è "chiuso" rispetto alle operazioni di addizione e di moltiplicazione, cioè la somma o il prodotto di due interi è un intero. Inoltre, con l'inclusione dei numeri naturali negativi e dello zero, formula_1 (a differenza dei numeri naturali) è chiuso anche rispetto all'operazione di sottrazione: se formula_5 e formula_6 sono interi, anche formula_7 lo è. Tuttavia, formula_1 non è chiuso sotto l'operazione di divisione, poiché il quoziente di due interi (per esempio formula_9) non è necessariamente un numero intero.
La tabella seguente elenca alcune delle proprietà di base dell'addizione e della moltiplicazione per ogni intero formula_5, formula_6 e formula_12.
Nel linguaggio dell'algebra astratta, le prime cinque proprietà elencate sopra per l'addizione dicono che formula_1 è un gruppo abeliano con l'operazione "somma". In particolare, formula_1 è un gruppo ciclico, poiché ogni intero non nullo può essere scritto sommando un certo numero di volte formula_15 oppure formula_16. Il gruppo formula_1 è l"'unico" gruppo ciclico infinito, nel senso che ogni altro gruppo ciclico infinito è isomorfo a formula_1.
Le prime quattro proprietà elencate sopra per la moltiplicazione dicono che formula_1 con l'operazione "prodotto" forma un monoide commutativo. Tuttavia, si nota che non tutti gli interi hanno in inverso rispetto alla moltiplicazione; per esempio non esiste un intero formula_20 tale che formula_21. Quindi formula_1 non è un gruppo se considerato con l'operazione "prodotto".
Tutte le proprietà dalla tabella prese insieme dicono che formula_1 con l'addizione e la moltiplicazione è un anello commutativo con unità. In effetti formula_1 è la motivazione principale per la definizione di tale struttura. La mancanza dell'inverso rispetto alla moltiplicazione è tradotta nel fatto che formula_1 non è un campo. 
L'anello formula_1 è inoltre un dominio d'integrità, perché non contiene divisori dello zero. Ogni dominio di integrità è contenuto in un campo, e il più piccolo campo contenente gli interi è il campo formula_27 dei numeri razionali.
Anche se la divisione ordinaria non è definita su formula_1, è possibile usare l'algoritmo di Euclide per effettuare una divisione con resto: dati due interi formula_5 e formula_6 con formula_31, esistono e sono unici due interi formula_32 e formula_33 tali che 
dove formula_35 è il valore assoluto di formula_6. L'intero formula_32 è chiamato il "quoziente" e formula_33 è chiamato il "resto", risultanti dalla divisione di formula_5 con formula_6. 
L'algoritmo di Euclide mostra come due numeri interi abbiano sempre un massimo comune divisore ed un minimo comune multiplo. Inoltre, per il teorema fondamentale dell'aritmetica ogni numero intero ha un'unica decomposizione come prodotto di numeri primi. L'esistenza dell'algoritmo di Euclide fa di formula_1 un anello euclideo.
La cardinalità di un insieme di interi è equivalente a formula_42 (aleph-zero). Ciò è dimostrabile tramite la costruzione di una corrispondenza biunivoca (ovvero una funzione sia iniettiva che suriettiva) fra formula_43 e formula_44.
Considerando formula_45, tale corrispondenza è la funzione formula_46 tale che:
Mentre considerando formula_48 è la funzione formula_49 tale che:
Ogni membro di formula_1 avrà uno ed un solo membro corrispondente in formula_52 (o formula_53), pertanto i due insiemi hanno la stessa cardinalità.
L'insieme formula_1 è un insieme totalmente ordinato senza estremo superiore o inferiore. L'ordine di formula_1 è dato da
Un numero intero è positivo se è maggiore dello zero e negativo se minore di zero; zero non è considerato un numero positivo né negativo.
L'ordine seguente è compatibile con le regole dell'algebra:
Più semplicemente: se formula_60 e formula_61 sono due qualsiasi numeri relativi si dice che formula_60 è maggiore di formula_61, e si scrive formula_64, se esiste un numero naturale formula_65 tale che formula_66. L'insieme formula_1 può essere definito a partire dall'insieme formula_52 dei numeri naturali tramite il concetto di insieme quoziente. Si consideri il prodotto cartesiano formula_69, ovvero l'insieme di tutte le coppie ordinate di numeri naturali formula_70. Si consideri la seguente relazione formula_71
Questa è una relazione di equivalenza, infatti è:
Si definisce formula_1 come l'insieme quoziente di formula_87 con la relazione formula_71:
A questo punto è facile dimostrare che ogni classe di equivalenza formula_90 contiene uno e un solo elemento nella forma formula_91 con formula_92 oppure formula_93. In questo modo possiamo introdurre la notazione più familiare per i numeri interi nel modo seguente:
Si dimostra facilmente che esiste un isomorfismo tra l'insieme dei numeri naturali e il sottoinsieme di formula_1 costituito dagli elementi del tipo formula_98. In questo senso si può dire che i numeri naturali sono un sottoinsieme dei numeri interi.
Le operazioni di somma e prodotto possono essere definite nel modo seguente:
Si verifica che le operazioni sono compatibili con la relazione d'equivalenza, e che si traducono nelle normali operazioni di somma e prodotto degli interi tramite la notazione appena introdotta. Ad esempio:
Si può anche dimostrare direttamente che l'insieme formula_1 con queste operazioni è un anello commutativo.


In matematica, un numero è un modo di esprimere una quantità, oppure la posizione in un elenco di elementi, oppure il rapporto tra grandezze dello stesso tipo. Il concetto di numero nasce per la necessità del conteggio, come astrazione del concetto di quantità, realizzato attraverso una corrispondenza biunivoca tra elementi di due insiemi distinti.
Si definisce operazione numerica una procedura che, a partire da uno o più numeri, genera un altro numero. Le operazioni numeriche fondamentali (dette anche "operazioni aritmetiche") sono: l'addizione, la sottrazione, la moltiplicazione e la divisione. Lo studio delle proprietà di queste operazioni è parte dell'algebra elementare.
Un insieme di numeri è frequentemente espresso attraverso il concetto di campo.
Un numero che esprime la dimensione di un insieme di elementi, così come un numero che identifica la posizione in una successione di oggetti, è detto numero naturale. La necessità di esprimere una grandezza in relazione ad un'altra grandezza ha reso necessaria l'introduzione di altre classi di numeri, come i numeri razionali ed i numeri reali. L'esigenza di rappresentare il numero ottenuto attraverso un'operazione matematica, infine, ha giustificato l'utilizzo di ulteriori classi di numeri come, ad esempio, i numeri algebrici.
Durante la storia della matematica sono stati definiti diversi insiemi numerici. Tra questi i numeri naturali, che sono:
I numeri naturali (il cui insieme è indicato per convenzione con il simbolo formula_1) sono usati per contare e per ordinare. La presenza dello zero fra i numeri naturali dipende dalla convenzione scelta. Lo zero è previsto dagli assiomi di Peano.
L'insieme dei numeri naturali costituisce una successione ordinata. Ogni numero è descritto tramite una o più cifre.
Se a partire dall'insieme dei numeri naturali si introduce il segno (e lo zero se non incluso), distinguendo tra "numeri positivi" e "numeri negativi", si ottengono i numeri interi relativi (o semplicemente "interi"), il cui insieme è indicato per convenzione con il simbolo formula_4. I numeri interi relativi sono:
Se a partire dai numeri interi si costruiscono numeri dati dal rapporto tra di loro, si ottengono i numeri razionali, i quali sono quindi esprimibili tramite una frazione ("ratio" in latino, da cui il nome di numeri "razionali"). Ad esempio:
L'insieme di tutti i numeri razionali è per convenzione indicato col simbolo formula_7.
I numeri algebrici sono numeri ottenibili come radici di equazioni algebriche a coefficienti interi. I numeri razionali sono algebrici. Il viceversa non è in generale vero: ad esempio:
sono numeri algebrici che non possono essere descritti tramite una frazione, non sono razionali.
Un numero non algebrico è detto "trascendente". Ad esempio, formula_11 (pi greco) ed formula_12 sono trascendenti: non è possibile ottenere formula_13 come radice di un'equazione polinomiale a coefficienti interi.
L'insieme dei numeri reali comprende i numeri esprimibili, con o senza la virgola, tramite il sistema numerico decimale. I numeri reali comprendono i numeri elencati precedentemente. In particolare i numeri reali si dividono in razionali e irrazionali, oppure in algebrici e trascendenti.
L'insieme dei numeri reali è simboleggiato per convenzione con formula_14.
L'insieme dei numeri reali non fornisce tutte le soluzioni delle equazioni algebriche. Per esempio, l'equazione:
non ha soluzioni nel campo dei numeri reali, perché il quadrato di un numero reale è sempre positivo o nullo. Per risolvere questo problema, è stata introdotta l'unità immaginaria formula_18 . Essa è così definita:
Tale numero non appartiene all'insieme dei numeri reali, esso appartiene all'insieme dei numeri complessi. In generale, un numero complesso è un'espressione del tipo:
dove formula_21 è l'unità immaginaria e formula_22 sono numeri reali. L'insieme dei numeri complessi è indicato per convenzione con il simbolo formula_16.
Gli insiemi numerici sono ciascuno sottoinsieme dell'altro, secondo quest'ordine (dove il simbolo formula_24 indica l'inclusione stretta):
Per particolari scopi, formula_16, può essere ulteriormente esteso, al prezzo, però, di perdere alcune proprietà e, di conseguenza, subire un declassamento come struttura algebrica.
I numeri complessi sono stati estesi e hanno dato luogo ai quaternioni. L'operazione di moltiplicazione dei quaternioni non gode della proprietà commutativa.
Gli ottonioni estendono i quaternioni. Questa volta si perde la proprietà associativa. Gli unici sistemi associativi con dimensione finita, oltre ai complessi, sono i quaternioni.
Estendendo gli ottonioni si ottengono i sedenioni, che perdono la proprietà dell'algebra alternativa, ma mantengono comunque la proprietà associativa della potenza.
I numeri vanno distinti per il tramite dei nomi, dato che i numeri sono dei concetti e anche se i nomi utilizzati nelle varie lingue variano i concetti rimangono gli stessi. La notazione di numero come serie di cifre è definita dai sistemi di numerazione. I popoli spesso associano a dei numeri utilizzati di frequente dei nomi particolari, oltre a quelli che vengono assegnati dal sistema di numerazione, spesso questi nomi sono utilizzati in contesti specifici, un classico esempio è la dozzina.
Gli ultimi sviluppi della teoria dei numeri hanno condotto ai numeri iperreali ed ai numeri surreali, che estendono i numeri reali dai numeri infinitesimi ai numeri infinitamente grandi attraverso degli inserimenti. Mentre i numeri reali sono infinitamente prolungabili alla destra del punto decimale, si può anche provare a espandere i numeri a sinistra in modo infinito, ciò conduce ai numeri p-adici. Per gestire insiemi infiniti, i numeri naturali sono stati generalizzati nei numeri ordinali e nei numeri cardinali. Il primo insieme viene utilizzato per definire l'ordine di inserimento degli insieme il secondo definisce il formato di inserimento. Nel caso di insiemi finiti si equivalgono.
Le operazioni aritmetiche sui numeri sono addizione, sottrazione, moltiplicazione e divisione. Queste operazioni sono state generalizzate in una branca dell'algebra chiamata algebra astratta. Essa contiene i concetti di gruppo, anello e campo.
In molte culture la rappresentazione grafica dei numeri è assai simile. I numeri "uno", "due" e "tre" degli antichi romani erano espressi come I, II, III (numeri romani). I cinesi usavano una notazione analoga, con le cifre in orizzontale, o in verticale, ma al contrario dei romani utilizzavano un sistema posizionale, simile al nostro attuale, con le cifre da 0 a 9. I numeri, detti "tsu" o "hêng", cambiavano orientamento a seconda della posizione: | = | era 121, - || - ◦ era 1210. Gli tsu erano verticali, gli hêng orizzontali, i numeri sopra al cinque avevano una bacchetta disposta perpendicolarmente alle altre. Il sistema era impiegato con le "bacchette da calcolo", che i cinesi manovravano a velocità tali da stupire i primi missionari nestoriani.
Tuttavia, non c'era un segno univoco per definire il quattro tra i romani, mentre per i cinesi era ||||. I romani usavano una notazione a sottrazione: esprimevano il quattro con una V preceduta da una I. La V indicava il numero cinque, il simbolo I anteposto indicava che andava sottratto (cinque meno uno = quattro). Nell'assegnare un simbolo particolare al cinque c'era un motivo antropomorfico - la mano ha cinque dita - ma vi era anche una motivazione che coinvolge il cervello umano. Gli psicologi hanno dimostrato che il nostro cervello ha difficoltà a distinguere più di cinque simboli simili vicini: si provi a dire se è più grande ||||||||| o ||||||||||; più semplice se sono scritti come IX e X.
Il sistema adottato in Europa è il sistema di numerazione decimale, detto anche numerazione araba. In realtà proviene dall'India, e molto probabilmente deriva dai numeri corsivi egiziani, i numeri copti. La cifra 1 è molto simile al simbolo romano, 2 e 3 sono varianti dello stesso simbolo che consentono di scrivere i numeri senza alzare la penna e quindi consentono una scrittura rapida, ma conservano l'idea della linea doppia o tripla orizzontale. Col simbolo 4 la corrispondenza si perde.
