3. Successioni di insiemi.

Documenti analoghi
8. Completamento di uno spazio di misura.

14. Confronto tra l integrale di Lebesgue e l integrale di Riemann.

2. La misura secondo Peano-Jordan.

Dimostrazione. Indichiamo con α e β (finiti o infiniti) gli estremi dell intervallo I. Poniamo

(2) se A A, allora A c A; (3) se {A n } A, allora +

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 1 a.a Soluzioni

Corso di Laurea in Matematica Geometria 2. Foglio di esercizi n. 2 a.a Soluzioni

Completezza e compattezza

Massimo limite e minimo limite di una funzione

Cenni di Topologia Generale

SPAZI TOPOLOGICI. La nozione di spazio topologico è più generale di quella di spazio metrizzabile.

COMPLETEZZA DELL INSIEME DEI NUMERI REALI R.

Il teorema di Lusin (versione )

= {(a, b) : a A, b B}.

Alcuni Teoremi sulle funzioni continue e uniforme continuità

Successioni, massimo e minimo limite e compattezza in R

LIMITI. 1. Definizione di limite.

ANALISI 1 - Teoremi e dimostrazioni vari

Complementi di Analisi Matematica Ia. Carlo Bardaro

13. Integrazione in uno spazio di misura.

Corso di Laurea in Matematica Geometria 2. Esercizi di preparazione allo scritto a.a Topologia

Massimo e minimo limite di successioni

Il teorema di Lagrange e la formula di Taylor

1 Numeri reali. Esercizi.

Osservazione 1.1 Si verifica facilmente che esiste un unica relazione d ordine totale su Q che lo renda un campo ordinato.

1 Funzioni reali di una variabile reale

DAI NUMERI NATURALI AI NUMERI RAZIONALI

Limiti di successioni

Capitolo 1. Gli strumenti. 1.1 Relazioni

Il teorema di Stone Weierstrass

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme

COMPLETAMENTO DI SPAZI METRICI

Il Teorema di Kakutani

Prove scritte di Analisi I - Informatica

Limite di successioni

i) la somma e il prodotto godano delle proprietà associativa, commutativa e distributiva;

Geometria e Topologia I (U1-4) 2006-mag-10 61

CORSO DI ANALISI MATEMATICA 2 SOLUZIONI ESERCIZI PROPOSTI 15/04/2013

Insiemi di numeri reali

1. Intorni di un punto. Punti di accumulazione.

LEZIONE 30. Se x = 1 si dice che x è un versore. Se poi y = (y 1,..., y n ) R n poniamo. Ricordiamo che vale la cosiddetta disuguaglianza triangolare

FUNZIONI ELEMENTARI, DISEQUAZIONI, NUMERI REALI, PRINCIPIO DI INDUZIONE Esercizi risolti

NOTE SULLE FUNZIONI CONVESSE DI UNA VARIABILE REALE

misura. Adesso, ad un arbitrario punto P dello spazio associamo una terna di numeri reali x

IL TEOREMA DEGLI ZERI Una dimostrazione di Ezio Fornero

1-Forme Differenziali

Confronto locale di funzioni

CORSO DI ANALISI MATEMATICA 2 SOLUZIONI ESERCIZI PROPOSTI 18/03/2013

NOTE DI ALGEBRA LINEARE v = a 1 v a n v n, w = b 1 v b n v n

17. Il teorema di Radon-Nikodym.

Sviluppi e derivate delle funzioni elementari

CORSO DI LAUREA IN FISICA

Analisi 2. Roberto Monti. Appunti del Corso - Versione 5 Ottobre 2012

Esempi. La successione {cos n} è limitata; {n ¾ } è limitata inferiormente ma non è limitata superiormente, quindi non è limitata.

Introduzione alla TEORIA DEI NUMERI

Insiemi, Numeri, Terminologia. Prof. Simone Sbaraglia

Limiti e continuità. Teoremi sui limiti. Teorema di unicità del limite Teorema di permanenza del segno Teoremi del confronto Algebra dei limiti

Tracce di soluzioni di alcuni esercizi di matematica 1 - gruppo 76-93

2. I numeri reali e le funzioni di variabile reale

SERIE NUMERICHE FAUSTO FERRARI

CORSO DI LAUREA IN MATEMATICA

Appunti del Corso Analisi 1

APPUNTI DI TEORIA DEGLI INSIEMI. L assioma della scelta e il lemma di Zorn Sia {A i } i I

Esercitazione di Analisi Matematica I Esercizi e soluzioni 19/04/2013 TOPOLOGIA

Vi prego di segnalare ogni inesattezza o errore tipografico a Spazi metrici, spazi topologici, applicazioni continue ed omeomorfismi

k=0 a k k=0 a k, quando si voglia precisare qual è l indice iniziale: si possono infatti considerare anche serie del tipo k=1 a k, k=50 a k,

Principio di induzione: esempi ed esercizi

SERIE NUMERICHE FAUSTO FERRARI

Laurea in Informatica e Tecnologie per la Produzione del Software Corso di Analisi Matematica Successioni e loro limiti

Esercizi riguardanti limiti di successioni e di funzioni

Università degli Studi di Palermo Facoltà di Economia. Dipartimento di Scienze Economiche, Aziendali e Statistiche. Appunti del corso di Matematica

Teoria di Lebesgue. P n E = n=1

Capitolo IV SPAZI VETTORIALI EUCLIDEI

Politecnico di Milano Corso di Analisi e Geometria 1. Federico Lastaria 2. Le funzioni continue.

INSIEMI. Se X è un insieme, indichiamo con P(X) l insieme dei sottoinsiemi di X (sono elementi di P(X) anche e X).

8. Topologia degli spazi metrici, II

LIMITI - ESERCIZI SVOLTI

Richiami sugli insiemi numerici

Gli insiemi N, Z e Q. I numeri naturali

INSIEMI E RELAZIONI. 1. Insiemi e operazioni su di essi

L INSIEME DEI NUMERI REALI. DEFINIZIONE DI INSIEME NUMERICO L insieme numerico è un insieme i cui elementi sono numeri reali.

ANALISI MATEMATICA 3. esercizi assegnati per la prova scritta del 31 gennaio 2011

A Analisi Matematica 1 (Corso di Laurea in Informatica e Bioinformatica) Simulazione compito d esame

DERIVATA DI UNA FUNZIONE REALE. In quanto segue denoteremo con I un intervallo di IR e con f una funzione di I in IR.

COMPLEMENTI DI ANALISI MATEMATICA DI BASE. Prova scritta del 26 gennaio 2005

CAPITOLO SECONDO APPLICAZIONI TRA INSIEMI E RELAZIONI DI EQUIVALENZA

Ricorrendo alle definizioni di limite, si dimostrano importanti risultati. Vedremo: che, se esiste, il limite lim

M.P. Cavaliere ELEMENTI DI MATEMATICA E LOGICA MATEMATICA DISCRETA INSIEMI

Geometria della programmazione lineare

Topologia, continuità, limiti in R n

ALGEBRE DI BOOLE. (d) x, y X x y oppure y x.

NUMERI REALI. x(y + z) = xy + xz. Nel seguito faremo uso delle seguenti notazioni. IR+ 0 = {x IR : 0 x} IR 0 = {x IR : 0 x}

Riassumiamo le proprietà dei numeri reali da noi utilizzate nel corso di Geometria.

Spazi di Funzioni. Docente:Alessandra Cutrì. A. Cutrì e Metodi Matematici per l ingegneria Ing. Gestionale

Corso di Analisi Matematica Limiti di funzioni

Corso di Analisi Matematica Successioni e loro limiti

x 1 Fig.1 Il punto P = P =

13 LIMITI DI FUNZIONI

1 Primitive e integrali indefiniti

I NUMERI. Si dice "radice quadrata" di un numero positivo a, quel numero positivo b che elevato al quadrato dà come risultato a.

Transcript:

3. Successioni di insiemi. Per evitare incongruenze supponiamo, in questo capitolo, che tutti gli insiemi considerati siano sottoinsiemi di un dato insieme S (l insieme ambiente ). Quando occorrerà considerare S munito di qualche struttura aggiuntiva (ad es. quella di spazio topologico o quella di spazio metrico) lo segnaleremo esplicitamente. 3.1. Minimo e massimo ite di una successione di insiemi. Definizione 3.1.1. (Minimo e massimo ite di una successione di insiemi). Sia {X n } una successione di insiemi. Si chiama minimo ite della successione {X n }, e si indica con X n, l insieme costituito dagli elementi x S che godono della seguente proprietà: esiste un indice n N (dipendente da x) tale che x X n per ogni n n. Si chiama massimo ite della successione {X n }, e si indica con X n, l insieme costituito dagli elementi x S che godono della seguente proprietà: esiste una successione {X nk } (dipendente da x), estratta da {X n }, tale che x X nk per ogni k N. Altre notazioni adoperate per indicare il minimo ed il massimo ite della successione {X n } sono, rispettivamente, inf X n e sup X n. La successiva proposizione è un ovvia conseguenza della definizione. Proposizione 3.1.1. Per ogni successione di insiemi {X n } si ha: (3.1.1) X n X n X n X n. Si ha inoltre la 1

Proposizione 3.1.2. Per ogni successione di insiemi {X n } risulta: (3.1.2) X n = (3.1.3) X n = (X n X n+1 X n+2...), (X n X n+1 X n+2...). Dimostrazione. Dimostriamo la (3.1.3). Si hanno infatti le seguenti equivalenze: x X n {n k }, successione crescente di numeri naturali, tale che x X nk k N ( 1 ) n N h N, h n, tale che x X h x X n X n+1 X n+2... n N x (X n X n+1 X n+2...). La verifica della (3.1.2) è più semplice ed è lasciata per esercizio allo studente. Esempio 3.1.1. Siano C, D due insiemi qualsiasi e sia {X n } la successione di insiemi definita ponendo X n = C oppure X n = D secondo che n sia dispari oppure pari. Allora X n = C D, X n = C D ; ( 1 ) Per dimostrare l implicazione = osserviamo che è k n k = + ; pertanto, per verificare che per ogni n N esiste h N, h n, tale che x X h, basta prendere h = n k con k sufficientemente grande. Viceversa, per dimostrare la =, osserviamo che l esistenza della successione {n k } si ottiene nel modo seguente: fissato n = 1, esiste, per ipotesi, n 1 N tale che x X n1 ; fissato n = n 1 + 1, esiste, per ipotesi, n 2 N, n 2 n 1 + 1, tale che x X n2 ; fissato n = n 2 + 1 esiste, per ipotesi, n 3 N, n 3 n 2 + 1, tale che x X n3 ; ecc. ecc. 2

infatti si ha, per ogni n N, X n X n+1 X n+2... = C D, X n X n+1 X n+2... = C D, dunque l asserto segue subito dalla Proposizione 3.1.2. Esempio 3.1.2. Sia S = R. Supponiamo che n q n sia una bigezione tra N e Q ]0, 1[ e consideriamo la successione di insiemi {X n } = {[0, q n ]}. Risulta: Infatti: per la (3.1.1) si ha [0, q n ] = {0}, [0, q n ] = [0, 1[. 0 [0, q n ] [0, q n ] ; d altra parte nessun numero reale x 0 appartiene all insieme [0, q n ]; ciò è ovvio se x < 0; se x > 0 basta osservare che, per la densità di Q in R, risulta 0 < q n < x, e quindi x / [0, q n ], per infiniti valori distinti di n N, dunque non può esistere n N tale che x [0, q n ] n n; ancora per la (3.1.1) si ha [0, 1[ = [0, q n ] [0, q n ] ; d altra parte, se x [0, 1[, per la densità di Q in R esistono infiniti valori distinti di n N per i quali risulta x q n < 1 e quindi x [0, q n ]; di conseguenza si ha x [0, q n ]. Esempio 3.1.3. Sia ancora S = R e siano {a n }, {b n } due successioni di numeri reali tali che e inoltre 0 < a n < 1 < b n n N a n = 0, b n = 1. Si ha allora, per la successione {[a n, b n ]}, [a n, b n ] = [a n, b n ] = ]0, 1]. Infatti, se x ]0, 1], allora si ha, definitivamente, a n x e quindi x [a n, b n ], pertanto x [a n, b n ]; dunque ]0, 1] [a n, b n ]. 3

D altra parte, se x [a n, b n ], esiste una successione crescente {n k } di numeri naturali tale che a nk x b nk k N ; ne segue ovviamente che x > 0 e inoltre, passando al ite per k nella disuguaglianza di destra, x 1; dunque si ha pure [a n, b n ] ]0, 1]. La proposizione successiva ci permette di esprimere, dati una successione {X n } ed un insieme Y, il minimo ed il massimo ite della successione {Y \ X n } mediante il minimo ed il massimo ite della successione originaria {X n }. I risultati che si ottengono presentano una certa analogia con le formule di De Morgan (che, peraltro, intervengono in maniera sostanziale nella dimostrazione) e possono essere ricordati, facendo riferimento al caso in cui Y contiene tutti gli insiemi X n, mediante la filastrocca: il ite minimo [ risp. massimo ] della successione dei complementari è uguale al complementare del ite massimo [ risp. minimo ] della successione originaria. Proposizione 3.1.3. Sia {X n } una successione di insiemi e sia Y un insieme qualunque. Risulta allora: (3.1.4) (Y \ X n ) = Y \ ( ) X n, (3.1.5) (Y \ X n ) = Y \ ( ) X n. Dimostrazione. Dimostriamo la (3.1.4). Dalla (3.1.2), applicando le due formule di De Morgan, si ha (Y \ X n ) = (Y \ X k ) = k=n ( ( Y \ k=n X k )) ( ) = Y \ X k k=n e quindi, per la (3.1.3), (Y \ X n ) = Y \ ( ) X n. La dimostrazione della (3.1.5) è perfettamente analoga. 4

Definizione 3.1.2. (Successioni convergenti). Si dice che una successione di insiemi {X n } è convergente se X n = X n. In questo caso si dice che la successione {X n } ha per ite l insieme e si scrive oppure, più brevemente, X = X n = X n X n = X X n X. Un esempio di successione convergente è dato dall Esempio 3.1.3. esempio, che è bene tenere a mente, è il seguente. Un altro facile Esempio 3.1.4. Se gli insiemi della successione {X n } sono a due a due disgiunti, allora Infatti è ovvio che X n =. X n =. Definizione 3.1.3. (Successioni monotòne). Si dice che una successione di insiemi {X n } è non decrescente [ risp. non crescente ] se è X n X n+1 [ risp. X n X n+1 ] n N. Si dice che la successione {X n } è monotòna se essa è non decrescente oppure non crescente. Proposizione 3.1.4. (Convergenza delle successioni monotòne). Se una successione di insiemi {X n } è non decrescente [ risp. non crescente ], allora {X n } è convergente e risulta X n = [ X n risp. X n = ] X n. Dimostrazione. Supponiamo che {X n } sia non decrescente. Si ha allora, per ogni n N, e quindi, per la (3.1.2), X n X n+1... = X n X n = (X n X n+1...) = 5 X n.

Conseguentemente, tenendo presente la (3.1.1), si ha X n = X n. Analogamente, se {X n } è non crescente, allora è, per ogni n N, X n X n+1... = X n e quindi, per la (3.1.3), X n = X n ; pertanto, grazie alla (3.1.1), concludiamo che X n = X n. Osserviamo che la successione dell Esempio 3.1.3 è convergente ma non è monotòna. Anche la successione dell Esempio 3.1.4 (a condizione che almeno uno degli insiemi X n sia diverso dall insieme vuoto) è convergente ma non è monotòna. Notazione. Per indicare che la successione di insiemi {X n } è non decrescente [ risp. non crescente ] ed è X n = X, cioè X n = X [ risp. X n = X ], si adopera la notazione X n X [ risp. X n X ] (si legge, brevemente, X n cresce [ risp. decresce ] verso X ). Esercizio 3.1.1. Siano {A n }, {B n } due successioni di insiemi tali che A n A, B n B. Sia {X n } la successione di insiemi definita ponendo, per ogni n N, X 2n 1 = A n, X 2n = B n. Trovare X n e X n. Esercizio 3.1.2. Sia S = R 2 (identificato con l insieme dei punti di un piano cartesiano) e sia n q n una bigezione tra N e Q ]0, 1[. Denotata con Γ la semicirconferenza Γ = {(x, y) R 2 : x 2 + y 2 = 1, y 0}, 6

siano, per ogni n N, P n il punto di Γ di ascissa q n e T n il triangolo (chiuso) di vertici ( 1, 0), (1, 0) e P n. Trovare il minimo ed il massimo ite della successione di insiemi {T n }. [ R. : Tn = {(x, 0) R 2 : x 1} ; Tn = {(x, 0) R 2 : x 1} { } (x, y) R 2 : x < 1, 0 < y < min{1 x, 1 x 2 }. ] 3.2. Successioni di insiemi invadenti il proprio ite. Supponiamo che S sia uno spazio topologico. Definizione 3.2.1. (Successioni invadenti il proprio ite). Sia {X n } una successione di sottoinsiemi di S tale che X n X. Si dice che la successione {X n } invade X se per ogni insieme compatto K X esiste n N tale che K X n (e quindi K X n n n). Esempi 3.2.1. Sia S = R, dotato della topologia usuale. a) Sia X n = [ n, n] per ogni n N. Allora X n R. Inoltre {X n } invade R; infatti ogni sottoinsieme compatto di R è itato e quindi contenuto in [ n, n] per n sufficientemente grande. b) Sia X n =], 0] ] 1 n, + [ per ogni n N. Allora X n R ma {X n } non invade R; infatti l intervallo compatto [0, c], c > 0, non è contenuto in nessuno degli insiemi X n. c) Sia X n =], 0[ ] 1 n, + [ per ogni n N. Allora X n R \ {0}. Inoltre {X n } invade R \ {0}; infatti, se K R \ {0} è compatto, allora K è chiuso e quindi, dato che 0 / K, esiste r > 0 tale che ] r, r[ R \ K, cioè K R\] r, r[; pertanto si ha K X n non appena è 1 n < r. Osserviamo che l ultimo esempio si inquadra nel seguente teorema. Teorema 3.2.1. (Condizione sufficiente di invadenza). Ogni successione non decrescente {A n } di sottoinsiemi aperti di uno spazio topologico S invade il proprio ite. Dimostrazione. Sia A n A e sia K A un insieme compatto. Poichè K A = A n, la famiglia {A n : n N} è un ricoprimento aperto di K; esistono quindi A n1,..., A nr tali che K A n1... A nr. D altra parte, essendo {A n } non decrescente, denotato con n il max{n 1,..., n r }, si ha A n1... A nr = A n. Abbiamo così verificato l esistenza di n N tale che K A n ; ciò completa la dimostrazione. 7

Osservazione 3.2.1. Siano {X n }, {Y n } due successioni di sottoinsiemi di S tali che X n X, Y n Y. Si ha allora, ovviamente, X n Y n X Y e X n Y n X Y. Inoltre, se ognuna delle successioni {X n }, {Y n } invade il proprio ite, è facile verificare che anche la successione X n Y n invade il suo ite. Ciò non è necessariamente vero, invece, per la successione {X n Y n } (cfr. il successivo Esempio 3.2.2); naturalmente, se gli insiemi X n, Y n, n N, sono aperti, allora, per la successione {X n Y n } l invadenza è assicurata dal Teorema 3.2.1. Esempio 3.2.2. Sia S = R, dotato della topologia usuale, e siano {X n }, {Y n } le successioni di insiemi definite nel modo seguente: Allora X n = ], 0], Y n = ] 1, + [ n N. n X n ], 0], Y n ]0, + [ ed entrambe le successioni invadono il proprio ite (ciò è ovvio per la successione {X n } e segue subito dal Teorema 3.2.1 per la {Y n }). Invece la successione {X n Y n } non invade il suo ite R (cfr. l Esempio 3.2.1, b)). Esercizio 3.2.1. Sia S = R 2, dotato della topologia euclidea e siano {A n }, {B n } e {C n } le successioni di insiemi definite ponendo, per ogni n N, A n = {(x, y) R 2 : x > 0, 0 < y < nx}, B n = {(x, y) R 2 : x > 0, 0 y nx}, C n = {(x, y) R 2 : x 0, 0 y nx}. Per ognuna di tali successioni: a) provare che si tratta di una successione non decrescente e calcolarne il ite; b) stabilire se la successione invade o meno il proprio ite. 3.3. Distanza di due insiemi in uno spazio metrico. Supponiamo adesso che S sia il sostegno di uno spazio metrico (S, d). Definizione 3.3.1. (Distanza di due insiemi). Siano X, Y due sottoinsiemi non vuoti di S. Si chiama distanza degli insiemi X e Y, e si indica con d(x, Y ), il numero reale non negativo d(x, Y ) = inf{d(x, y) : x X, y Y }. È ovvio che vale l implicazione (3.3.1) X Y = d(x, Y ) = 0. Il viceversa invece non è vero. Per rendersi conto di ciò basta considerare, nello spazio metrico R, dotato della metrica usuale, la coppia di insiemi disgiunti X = ], 0] e Y = ]0, + [, insiemi che, come facilmente si verifica, hanno distanza nulla. Questo controesempio rientra, come caso particolare, nel seguente esempio di carattere generale. 8

Esempio 3.3.1. Supponiamo che lo spazio metrico (S, d) sia connesso e sia X S tale che X, X S. Allora i due insiemi disgiunti X e Y = S \ X hanno distanza nulla. Infatti, le ipotesi su (S, d) e X implicano che X. Sia x un elemento di X = (S \ X) = Y. Il punto x appartiene ad uno degli insiemi X, Y (supponiamo, per fissare le idee, che sia x X) ed è di accumulazione per l altro insieme; di conseguenza abbiamo che per ogni ε > 0 esiste y Y tale che d(x, y) < ε, dunque l estremo inferiore dell insieme {d(x, y) : x X, y Y }, cioè la distanza d(x, Y ), è uguale a zero. Un caso importante nel quale è possibile invertire la (3.3.1) è quello considerato nel seguente teorema. Teorema 3.3.1. Siano X, Y sottoinsiemi non vuoti dello spazio metrico (S, d). Supponiamo inoltre che che uno dei due insiemi sia compatto e l altro sia chiuso. Allora, se la distanza d(x, Y ) è nulla, risulta X Y. Dimostrazione. Supponiamo, per fissare le idee, che X sia compatto. L ipotesi d(x, Y ) = 0 implica che per ogni ε > 0 esistono x X, y Y tali che d(x, y ) < ε. Ne segue l esistenza di due successioni {x n } e {y n }, la prima di punti di X, la seconda di punti di Y, tali che d(x n, y n ) < 1 n per ogni n N. Poichè X è compatto cioè sequenzialmente compatto, dato che S è uno spazio metrico esiste una successione {x nk }, estratta da {x n }, tale che x n k = x X. k Ma anche la corrispondente successione {y nk }, estratta da {y n }, è tale che infatti dalla disuguaglianza si ottiene facilmente y n k = x ; k d(y nk, x) d(y nk, x nk ) + d(x nk, x), k N, d(y n k, x) = 0. k Poichè Y è chiuso e {y nk } è una successione di punti di X, si ha x Y, quindi x X Y. Ciò completa la dimostrazione. Osserviamo che l ipotesi che gli insiemi X e Y siano entrambi chiusi non è sufficiente per potere invertire la (3.3.1). Ciò si evince dal successivo esempio. Esempio 3.3.2. Sia S = R 2, dotato della metrica euclidea. Gli insiemi disgiunti X = {(x, y) R 2 : xy = 0}, Y = {(x, y) R 2 : xy = 1} sono entrambi chiusi ed hanno distanza nulla. 9

Esercizio 3.3.1. Dimostrare quanto affermato nell esempio precedente. Esercizio 3.3.2. Trovare una coppia di sottoinsiemi chiusi disgiunti dello spazio R, dotato della metrica usuale, aventi distanza nulla. Definizione 3.3.2. (Distanza di un punto da un insieme). Siano x e Y, rispettivamente, un punto ed un sottoinsieme non vuoto dello spazio metrico (S, d). Si chiama distanza del punto x dall insieme Y, e si indica con d(x, Y ), la distanza d({x}, Y ) dei due insiemi {x} e Y. In altre parole (3.3.2) d(x, Y ) = inf{d(x, y) : y Y }. Proposizione 3.3.1. La distanza d(x, Y ) è nulla se e solo se x Y. Esercizio 3.3.3. Dimostrare la Proposizione 3.3.1. Fissato l insieme Y S, Y, consideriamo la funzione x d(x, Y ), da S in R, e dimostriamo che tale funzione è continua, anzi lipschitziana. Teorema 3.3.2. Sia Y un sottoinsieme non vuoto dello spazio metrico (S, d). La funzione (3.3.3) x d(x, Y ), da S in R, è lipschitziana; infatti si ha: d(x 1, Y ) d(x 2, Y ) d(x 1, x 2 ) x 1, x 2 S. Dimostrazione. Per ogni x 1, x 2 S ed ogni y Y si ha quindi d(x 1, Y ) d(x 1, y) d(x 1, x 2 ) + d(x 2, y), d(x 1, Y ) d(x 1, x 2 ) d(x 2, y), da cui, per l arbitrarietà di y Y, ricordando la (3.3.2), cioè poichè x 1, x 2 S sono arbitrari si ha pure pertanto d(x 1, Y ) d(x 1, x 2 ) d(x 2, Y ), d(x 1, Y ) d(x 2, Y ) d(x 1, x 2 ) ; d(x 2, Y ) d(x 1, Y ) d(x 1, x 2 ), d(x 1, Y ) d(x 2, Y ) d(x 1, x 2 ). 10

Corollario 3.3.1. Sia Y un sottoinsieme non vuoto dello spazio metrico (S, d). La funzione x d(x, Y ), da S in R, è continua. Corollario 3.3.2. Sia Y un sottoinsieme non vuoto dello spazio metrico (S, d). Per ogni r > 0 gli insiemi (3.3.4) {x S : d(x, Y ) < r}, {x S : d(x, Y ) > r} sono aperti, mentre gli insiemi (3.3.5) {x S : d(x, Y ) r}, {x S : d(x, Y ) r} sono chiusi. Dimostrazione. Segue subito dal Corollario 3.3.1 osservando che gli insiemi (3.3.4) sono le controimmagini tramite la funzione continua (3.3.3) degli insiemi ], r[ e ]r, + [, aperti di R, mentre gli insiemi (3.3.5) sono le controimmagini dei chiusi ], r] e [r, + [. 3.4. Ogni aperto di R h è invaso da una successione di plurintervalli. La proprietà degli insiemi aperti di R h espressa dal successivo Teorema 3.4.1 sarà particolarmente utile, nel capitolo successivo, nello sviluppo della teoria della misura secondo Lebesgue. Teorema 3.4.1. Sia A R h un insieme aperto. Esiste una successione {Π n } di plurintervalli di R h tale che: i) Π n Π n+1 A per ogni n N ; ii) Πn = A. Dimostrazione. Se A = R h basta prendere Π n = [ n, n] h per ogni n N. Supponiamo quindi che sia A R h, cioè R h \ A, e consideriamo, per ogni n N, l insieme { } C n = x R h : d(x, R h \ A) 1 n. La successione {C n } di sottoinsiemi di R h che così si ottiene è una successione di insiemi chiusi (per il Corollario 3.3.2) e si ha C n { } x R h : d(x, R h \ A) > 0 ; 11

inoltre, dato che R h \ A è chiuso, tenendo presente la Proposizione 3.3.1 si ha { } x R h : d(x, R h \ A) > 0 = = R h \ { } x R h : d(x, R h \ A) = 0 = R h \ (R h \ A) = A, dunque C n A. Consideriamo adesso la successione {K n } di insiemi chiusi e itati (cioè compatti) ottenuta dalla {C n } nel modo seguente: ovviamente, anche per la successione {K n } si ha K n = C n [ n, n] h n N ; K n A. Sia, poi, {R n } una successione di plurintervalli di R h tale che K n Rn, R n A n N (l esistenza di una siffatta successione è assicurata dal successivo Lemma 3.4.1). Si ha A = K n Rn A, quindi Rn = A. Infine, posto Π n = R 1... R n n N, è immediato verificare che la successione di plurintervalli {Π n }, così definita, soddisfa le condizioni i) e ii). Lemma 3.4.1. Siano A un insieme aperto di R h e K un insieme compatto di R h tali che K A. Esiste allora un plurintervallo R P h tale che K R, R A. 12

Dimostrazione. Se K =, basta prendere R =. Supponiamo quindi K e, per ogni punto x K, scegliamo, come è certamente possibile, un intervallo I x I h tale che x Ix, I x A. La famiglia di insiemi { Ix : x K} è un ricoprimento aperto di K; esistono quindi x 1,..., x r K tali che K Ix 1... Ix r ; allora, per provare la tesi, è sufficiente prendere R = I x1... I xr. Osservazione 3.4.1. Ritorniamo all enunciato del Teorema 3.4.1 e verifichiamo che come annunciato nel titolo del paragrafo la successione {Π n } invade A. Infatti, le proprietà i) e ii) implicano ovviamente che Πn A, quindi, per il Teorema 3.2.1, la successione { Πn} invade il proprio ite A. Dalle i) e ii) segue inoltre che A = Π n A, Πn quindi anche per la successione {Π n } risulta Π n A ; di conseguenza, dato che { Πn} invade A, è ovvio che anche {Π n } invade A. 13