Parte intera

Da Wikipedia, l'enciclopedia libera.

In matematica, la funzione parte intera è la funzione definita come segue: per un numero reale x, la parte intera di x, indicata con int(x) o floor(x) è il più grande intero minore od uguale a x. Per esempio int(2.9)=2, int(−2) = −2 e int(−2.3) = −3. La funzione parte intera è anche indicata con o dalla parola inglese floor (pavimento). La funzione , anche scritta come x mod 1, oppure {x}, è chiamato la parte frazionaria di x. Ogni frazione x può essere scritta come un numero misto, la somma di un intero e una frazione propria. La funzione floor e la funzione parte frazionaria estendono questa decomposizione a tutti i numeri reali.

Indice 1 Qualche proprietà della funzione parte intera 2 La funzione ceiling (parte intera superiore) 3 L'operatore (int) in C 4 Distribuzione uniforme modulo 1 5 Troncamento 6 Notazione

[modifica] Qualche proprietà della funzione parte intera

• Si ha

con l'uguaglianza nella parte sinistra che vale se e solo se x è un intero.

• La funzione parte intera è idempotente

.

• Per ogni intero k e ogni numero reale x,

• L'ordinario arrotondamento di un numero x all'intero più vicino può essere espresso come floor(x + 0.5).
• La funzione parte intera non è continua, ma è semi-continua. Essendo a tratti una funzione costante, la sua derivata è zero quando esiste, cioè per tutti i valori che non sono interi.
• Se x è un numero reale e n un intero, si ha n ≤ x se e solo se n ≤ floor(x). In linguaggio ricercato, la funzione parte intera fa parte di una connessione di Galois; è l'aggiunta superiore della funzione che immerge gli interi neri reali.
• Usando la funzione floor, si possono produrre diverse formule per calcolare i numeri primi che sono esplicite ma non utilizzabili nella pratica.

[modifica] La funzione ceiling (parte intera superiore)

Una funzione strettamente correlata alla funzione floor, è la funzione ceiling (dalla parola inglese ceiling che significa soffitta, contrapposta a floor, pavimento), che è definita nel modo seguente: per ogni numero reale x, ceiling(x) è il più piccolo intero non minore di x. Per esempio, ceiling(2.3) = 3, ceiling(2) = 2 e ceiling(−2.3) = −2. La funzione ceiling è anche indicata con . È facile provare che

e che

Per ogni intero k, abbiamo anche che:

.

Se m e n sono interi positivi primi fra di loro, allora

Il teorema di Beatty afferma che ogni numero irrazionale partiziona i numeri naturali in due sequenze tramite la funzione floor.

[modifica] L'operatore (int) in C

Il linguaggio di programmazione C e suoi derivati hanno una caratteristica chiamata conversione di tipo che permette di convertire un valore di un tipo in un valore di un altro tipo. In particolare, è possibile convertire un valore reale (rappresentato in virgola mobile) in un valore intero (rappresentato in complemento a due) applicando l'operatore (int). Questa operazione è un misto delle funzioni floor e ceiling: per x positivi o nulli, restituisce floor(x), e per x negativi resituisce ceiling(x).

Come le funzioni floor e ceiling, questa operazione non è copntinua, cosa che può amplificare gli errori di arrotondamento con conseguenze disastrose. Per esempio (int)(0.6/0.2) rstituisce come valore, 2 nella maggior parte delle implementazioni del C, anche se 0.6/0.2 = 3. Questo perché i computer lavorano internamente con il sistema numerico binario e non è possibile rapresentare i numeri 0.6 e 0.2 con stringhe binarie di lunghezza finita. Quindi viene applicato qualche arrotondamento (con il relativo errore) e il risultato viene calcolato come 2.999999999999999555910790149937, che l'operatore (int) convertirà tranquillamente al valore 2.

Molti altri linguaggi, come Java (testato con Sun JDK versione 1.5.0_05) e Perl (versione 5.8.0) si comportanto in maniera simile, così come la funzione POSIX floor().

A causa di questi problemi, la maggior parte delle calcolatrici moderne usa internamente il sistema numerico decimale codificato in binario.

[modifica] Distribuzione uniforme modulo 1

Se x è un numero irrazionale, allora le parti frazionarie nx mod 1, dove n varia fra gli interi positivi, sono distribuite uniformemente nell'intervallo aperto (0,1). Questa affermazione può essere resa più precisamente in molti modi, uno dei quali afferma:

per ogni funzione continua a valori reali (vedi limite, integrale e teorema dell'equidistribuzione)

Seguendo il principio generale dell'approssimazione diofantina scoperto da Hermann Weyl, questa proprietà è equivalente a qualcosa che è molto più facile da controllare: ovvero che le somme

per sono O(N). Poiché sono progressioni geometriche, questo può essere provato in maniera abbastanza diretta. La condizione che x sia irrazionale implica che

[modifica] Troncamento

Mentre la funzione parte intera genera solamente numeri naturali, il troncamento permette di "tagliare fuori le cifre" oltre una posizione specificata.

[modifica] Notazione

Le funzioni parte intera superiore e inferiore sono normalmente indicate con parentesi quadre, chiuse e aperte, in cui le linee orizzontali superiori (per la funzione parte intera inferiore, floor) o inferiori (per la funzione parte intera superiore, ceiling) sono mancanti . e per esempio nel sistema di composizione editoriale LaTeX questi simboli possono essere realizzat con i comandi \lfloor, \rfloor, \lceil e \rceil.