Rete (matematica)
Da Wikipedia, l'enciclopedia libera.
- Questo articolo tratta di reti in spazi topologici e non di ε-reti in spazi metrici
In topologia e in aree ad essa collegate della matematica una rete o successione di Moore-Smith è una generalizzazione del concetto di successione, introdotta allo scopo di unificare le varie nozioni di limite e di estenderle a spazi topologici arbitrari. I limiti di reti rivestono in spazi topologici lo stesso ruolo che i limiti di successione svolgono in spazi che soddisfano il primo assioma di numerabilità come, ad esempio, gli spazi metrici.
Una successione è usualmente indicizzata sui numeri naturali, i quali formano un insieme totalmente ordinato. Le reti generalizzano questo concetto indebolendo la relazione d'ordine caratterizzante l'insieme di indici, introducendo così il concetto di insieme diretto.
Il concetto di rete fu introdotto da E. H. Moore e H. L. Smith nel 1922. Al matematico Henri Cartan si deve il concetto di filtro, introdotto nel 1937 ed equivalente a quello di rete.
Indice |
[modifica] Definizione
Se X è uno spazio topologico, una rete in X è una funzione da un insieme diretto A a X.
Se A è un insieme diretto, una rete da A a X si indica spesso con (xα), evidenziando così il fatto che l'elemento α in A è associato all'elemento xα in X. Normalmente, si utilizza il simbolo ≥ per indicare la relazione binaria su A.
[modifica] Esempi
Poiché i numeri naturali dotati della relazione d'ordine usuale formano un insieme diretto e una successione è una funzione definita sui numeri naturali, ogni successione è una rete.
Un importante esempio di rete è il seguente. Dato un punto x in uno spazio topologico, sia Nx l'insieme di tutti gli intorni contenenti x. Allora Nx è un insieme diretto, ove la direzione è data dalla relazione d'inclusione inversa, cioè S ≥ T se e solo se S è contenuto in T. Per S appartenente a Nx, sia xS un punto in S. Allora xS è una rete. Al crescere di S rispetto a ≥, i punti xS della rete appartengono a intorni di x decrescenti (rispetto alla relazione d'inclusione). Intuitivamente, ciò conduce all'idea che xS debba tendere, in qualche senso, a x.
[modifica] Limiti di reti
Se (xα) è una rete da un insieme diretto da A in X, e se Y è un sottoinsieme di X, diremo che (xα) è definitivamente in Y se esiste α in A tale che per ogni β in A con β ≥ α, il punto xβ appartiene a Y.
Se (xα) è una rete in uno spazio topologico X, e x è un suo elemento, diremo che la rete converge a x o ammette limite x se e solo se:
- per ogni intorno U di x, (xα) è definitivamente in U.
In tal caso scriveremo:
- lim xα = x
Si noti che l'esempio di rete fornito in precedenza, definito sul sistema d'intorni di un punto x, effettivamente converge a x ai sensi di tale definizione.
[modifica] Esempi di limiti di reti
- Limiti di successioni.
- Limiti di una funzione di variabile reale: limx → c f(x). In tal caso la direzione nell'insieme R\{c} è data dalla distanza da c.
- Limiti di reti di somme di Riemann nella costruzione di integrale di Riemann. In tal caso, l'insieme diretto è l'insieme delle partizioni dell'intervallo di integrazione parzialmente ordinato per inclusione. Una costruzione analoga è alla base della definizione di integrale di Riemann-Stieltjes.
[modifica] Definizioni supplementari
Se D e E sono insiemi diretti e h è una funzione da D a E, allora h si dice cofinale se per ogni e in E esiste un punto d in D tale che se q è in D e q ≥ d allora h(q) ≥ e. In altri termini, l'immagine h(D) è cofinale in E.
Se D e E sono insiemi diretti, h è una funzione cofinale da D a E, e φ è una rete in X definita su E, allora φoh si dice sottorete di φ. Tutte le sottoreti sono, per definizione, di questo tipo.
Se φ è una rete in X definita sull'insieme diretto D e A è un sottoinsieme di X, allora φ ritorna in A se per ogni α in D esiste β in D, β ≥ α tale che φ(β) è in A.
Una rete φ in X si dice universale se per ogni sottorete A di X, o φ è definitivamente in A o φ è definitivamente in X-A.
[modifica] Proprietà
Praticamente tutti i concetti della topologia possono essere riformulati in termini di reti e limiti. Ciò può aiutare molto l'intuizione perché il concetto di limite di una rete è assai simile a quello di limite di una successione, ampiamente utilizzata nella teoria degli spazi metrici. Una funzione f : X → Y tra spazi topologici è continua nel punto x se e solo se per ogni rete (xα) tale che:
- lim xα = x
si ha:
- lim f(xα) = f(x).
Tale teorema non vale se sostituiamo la parola "rete" con "successione". In particolare, se X non soddisfa il primo assioma di numerabilità, è necessario ricorrere a insiemi diretti più generali dell'insieme dei numeri naturali. In generale, una rete in un insieme X può ammettere più di un limite. L'unicità del limite di una rete, posto che esiste, è garantita se X è uno spazio di Hausdorff. Se X non è di Hausdorff, allora esiste una rete in X che ammette due limiti distinti. In definitiva, l'unicità del limite è equivalente alla proprietà di Hausdorff sull'insieme, e in questo senso tale proprietà può essere vista come una definizione di unicità del limite.
Se U è un sottoinsieme di X, allora x appartiene alla chiusura di U se e solo se esiste una rete (xα) con limite x e tale che xα appartiene a U per ogni α. In particolare, U è chiuso se e solo se per ogni rete (xα) in U e limite x, si ha che x appartiene a U.
Una rete ammette limite se e solo se ogni sua sottorete ammette limite. In tal caso, ogni limite della rete, è anche un limite di ogni sua sottorete.
Un insieme X è compatto se e solo se ogni rete (xα) in X ammette una sottorete convergente a un punto x in X. Tale proposizione è la generalizzazione del teorema di Bolzano-Weierstrass e del teorema di Heine-Borel.
In uno spazio metrico o in uno spazio uniforme, si può parlare di reti di Cauchy negli stessi termini nei quali si parla di successioni di Cauchy.
[modifica] Voci correlate
La teoria dei filtri consente di costruire una definizione alternativa di convergenza in spazi topologici.
[modifica] Bibliografia
E. H. Moore and H. L. Smith (1922). A General Theory of Limits. American Journal of Mathematics 44 (2), 102–121.
