Partizione di un intervallo

Una partizione di un intervallo è un insieme i cui elementi sono sottoinsiemi dell'intervallo, e tali da godere di due proprietà: essere disgiunti a due a due e avere un'unione che coincide con l'intervallo dato.

 

La definizione di partizione di un intervallo è un presupposto essenziale per poter affrontare la teoria dell'integrazione secondo Riemann, ed è un prerequisito che consolideremo nel corso di questa lezione.

 

Come vedremo tra un istante, in realtà è possibile definire la nozione di partizione di un insieme qualsiasi e successivamente restringere tale definizione al contesto degli intervalli reali.

 

Definizione di partizione di un insieme

 

Sia X ≠ Ø un insieme qualsiasi. Definiamo partizione dell'insieme X, e la indichiamo con P, una famiglia di sottoinsiemi di X - ossia un sottoinsieme dell'insieme delle parti di X

 

P ⊂ P(X)

 

che soddisfa le seguenti proprietà:

 

1) l'unione degli elementi della partizione coincide con l'insieme: U _(A∈ P)A = X;

 

2) gli insiemi della partizione sono a due a due disgiunti: A ∩ B = Ø per ogni A,B∈ P con A ≠ B.

 

Nel caso degli intervalli la definizione di partizione si caratterizza facilmente.

 

Definizione di partizione di un intervallo

 

Dato un intervallo I = [a,b] ⊂ R finito, ossia con -∞ < a < b < +∞, chiamiamo partizione dell'intervallo I una qualsiasi famiglia di sottointervalli

 

I_i_(i = 1)^(n) ⊂ P(I)

 

tali che:

 

1) l'unione dei sottointervalli della famiglia coincide con l'intervallo: U _(i = 1)^(n)I_i = I;

 

2) i sottointervalli della partizione sono a due a due disgiunti: I_i ∩ I_j = Ø per ogni i ≠ j.

 

In modo del tutto equivalente, possiamo individuare una partizione di sottointervalli di I mediante una successione finita di (n+1) punti x_i_(i = 0)^(n), richiedendo che

 

a = x_0 < x_1 < x_2 < ... < x_(n-1) < x_n = b

 

e considerando gli intervalli dati da

 

[a,x_1),[x_1,x_2),...,[x_(n-2),x_(n-1)),[x_(n-1),b]

 

Prima di iniziare a fare sul serio diamo la definizione di ampiezza di una partizione di un intervallo: data una partizione x_i_(i = 0)^(n) di un intervallo reale I, chiamiamo ampiezza della partizione il valore h dato da

 

h = Max_(i = 1,...,n)(x_i-x_(i-1))

 

ossia la massima lunghezza dei sottointervalli che costituiscono la partizione.

 

 


 

Nella prossima lezione introdurremo un concetto essenziale per la definizione dell'integrale di Riemann: le somme superiori e inferiori su una fissata partizione e la nozione di integrale superiore e inferiore. Nel frattempo, se doveste avere dubbi, non esitate: abbiamo risolto tonnellate di problemi e potete trovare tutto quello che vi serve con la barra di ricerca interna. ;)

 

 

Namasté, see you soon guys!

Fulvio Sbranchella (Agente Ω)

 

Lezione successiva

 
 

Tags: cos'è una partizione di un insieme, e qual è la definizione di partizione di un intervallo.

 
pba1