Nsryjdtyk

In analisi matematica e in topologia, un insieme è detto intorno di un punto se contiene un insieme aperto contenente il punto.^[1] Un intorno di un punto x{displaystyle x} senza il punto x{displaystyle x} si dice intorno bucato o anulare.

Si tratta di un concetto fondamentale che è alla base delle nozioni di funzione continua e limite. Un intorno di un punto x{displaystyle x} è intuitivamente un insieme di punti "vicini" al punto x.{displaystyle x.} Ogni intorno individua un insieme differente di vicini. Spesso per tradurre in linguaggio matematico l'idea che una proprietà debba essere verificata per punti che sono arbitrariamente vicini a x{displaystyle x} si dice che vale "per ogni intorno di x{displaystyle x}".

Il concetto di intorno è strettamente connesso al concetto di insieme aperto.

Spazi topologici |

In un generico spazio topologico (X,T){displaystyle (X,T)}, un intorno di un punto x{displaystyle x} è un insieme V{displaystyle V} che contiene almeno un insieme aperto U∈T{displaystyle Uin T} contenente x{displaystyle x}, cioè x∈U⊆V{displaystyle xin Usubseteq V}^[1], che è l'abbreviazione di x∈U{displaystyle xin U} e U⊆V.{displaystyle Usubseteq V.}

L'insieme V{displaystyle V} non è necessariamente un insieme aperto o un insieme chiuso. Nel caso in cui V{displaystyle V} è aperto, si parla di intorno aperto e quando V{displaystyle V} è chiuso di intorno chiuso.

Intorni sferici |

Nel caso di uno spazio metrico (X,d){displaystyle (X,d)} si possono considerare intorni caratterizzati da richieste sulla distanza. In particolare risulta utile considerare l'intorno sferico (o circolare) aperto di un punto x{displaystyle x} in X{displaystyle X} di raggio r>0{displaystyle r>0} definito come l'insieme:

B(x,r)={y∈X : d(y,x)<r}.{displaystyle B(x,r)={yin X : d(y,x)<r}.}

L'insieme in questione viene detto anche palla aperta, o disco aperto, di centro x{displaystyle x} e raggio r>0{displaystyle r>0} (per avere un disco chiuso basta sostituire al simbolo <{displaystyle <} il simbolo ≤{displaystyle leq } nella definizione di B(x,r){displaystyle B(x,r)}. Se si indica con S¯{displaystyle {overline {S}}} la chiusura di un insieme S,{displaystyle S,} allora è coerente indicare con B¯(x,r){displaystyle {overline {B}}(x,r)} il disco chiuso di centro x{displaystyle x} e raggio r{displaystyle r}).
Un esempio è l'intorno di raggio r{displaystyle r} quando si considera X=R{displaystyle X=mathbb {R} }, che risulta poi essere un intervallo contenente x{displaystyle x} del tipo ]x−r,x+r[{displaystyle ]x-r,x+r[}, o [x−r,x+r]{displaystyle [x-r,x+r]}, ovvero, aperto o chiuso, a seconda che, rispettivamente, B(x,r){displaystyle B(x,r)} sia aperto o chiuso in R{displaystyle mathbb {R} }.

I dischi aperti tornano molto utili nell'Analisi e nella Topologia per diversi motivi. Innanzitutto, è possibile definire l'intorno di un punto x∈X{displaystyle xin X} come un qualunque sottoinsieme U{displaystyle U} di X{displaystyle X} tale che esista un r>0{displaystyle r>0} in corrispondenza del quale B(x,r)⊆U.{displaystyle B(x,r)subseteq U.} Così facendo, tra l'altro, discende naturalmente che lo stesso disco aperto è un intorno del suo centro. In secondo luogo, un qualsiasi disco aperto (ma anche chiuso) definito in uno spazio metrico derivante da uno spazio normato (cioè uno spazio normato visto come spazio metrico, dove la metrica è quella indotta dalla norma), è convesso. Sia infatti (X,|| ||){displaystyle (X,|| ||)} uno spazio normato, x∈X{displaystyle xin X} e r>0{displaystyle r>0}. Se y,z∈B(x,r){displaystyle y,zin B(x,r)}, e γ:[0,1]→X{displaystyle gamma :[0,1]rightarrow X} è la curva γ(t)=(1−t)y+tz{displaystyle gamma (t)=(1-t)y+tz}, allora, posto ξ=ξ(t)=γ(t){displaystyle xi =xi (t)=gamma (t)}, si ha

d(ξ,x)=||ξ−x||=||(1−t)y+tz−(1−t)x−tx||≤|1−t|||y−x||+|t|||z−x||,{displaystyle d(xi ,x)=||xi -x||=||(1-t)y+tz-(1-t)x-tx||leq |1-t|||y-x||+|t|||z-x||,}

e quindi, tenendo conto che per ogni t∈[0,1]{displaystyle tin [0,1]} risulta |1−t|+|t|=1{displaystyle |1-t|+|t|=1}, si ha

d(ξ,x)≤|1−t|||y−x||+|t|||z−x||<r(|1−t|+|t|)=r,{displaystyle d(xi ,x)leq |1-t|||y-x||+|t|||z-x||<r(|1-t|+|t|)=r,}

qualunque sia ξ∈γ([0,1]){displaystyle xi in gamma ([0,1])}. Ne segue che B(x,r){displaystyle B(x,r)} è convesso. Da quanto abbiamo appena dimostrato discende che B(x,r){displaystyle B(x,r)} è semplicemente connesso.

Base di intorni |

Una base di intorni (o anche sistema di intorni) è un insieme di intorni di un punto fissato x{displaystyle x} "arbitrariamente piccoli": una base di intorni identifica la "struttura topologica locale" del punto.

Più precisamente, una base di intorni è un insieme di intorni tale che qualsiasi intorno aperto di x{displaystyle x} contiene uno di questi intorni.

Una base di intorni è utile a definire le proprietà locali di un punto, come ad esempio la connessione locale.

Spazio euclideo |

Il concetto di intorno può essere analizzato in particolare adottando un generico spazio euclideo Rn{displaystyle mathbb {R} ^{n}} di dimensione n{displaystyle n}. Nello spazio euclideo, come da definizione, un intorno di x0{displaystyle x_{0}} è sempre un insieme contenente un insieme aperto U{displaystyle U}, contenente a sua volta x0{displaystyle x_{0}}. In particolare:

• Un intorno sferico aperto di raggio r{displaystyle r} è l'insieme

{x∈Rn | d(x,x0)<r}{displaystyle {xin mathbb {R} ^{n} | d(x,x_{0})<r}}

dove si fa uso della distanza euclidea.

• Un intorno rettangolare è un intorno del tipo

I1×…×In{displaystyle I_{1}times ldots times I_{n}}

dove ciascun Ii{displaystyle I_{i}} è un intervallo in R{displaystyle mathbb {R} }, intorno della coordinata i{displaystyle i}-esima di x0{displaystyle x_{0}}.

Retta reale |

Dal generico spazio euclideo è possibile ridursi al caso più particolare della retta reale. Un intorno di un punto x0{displaystyle x_{0}} della retta reale R{displaystyle mathbb {R} } è un insieme della retta che contiene un intervallo aperto del tipo

(x0−ε,x0+ε){displaystyle (x_{0}-varepsilon ,x_{0}+varepsilon )}

dove ε>0{displaystyle varepsilon >0} è un numero positivo. In particolare:

• L'intorno è aperto se è un insieme aperto
  


• L'intorno aperto di raggio r{displaystyle r} è l'intervallo aperto (x0−r,x0+r){displaystyle (x_{0}-r,x_{0}+r)}.

Un intorno non è necessariamente aperto. Ad esempio, l'intervallo [x0−r,x0+r]{displaystyle [x_{0}-r,x_{0}+r]} con r>0{displaystyle r>0} è un intorno chiuso di x0{displaystyle x_{0}}.

La definizione di intorno si estende anche alla retta estesa: un intorno di +∞{displaystyle +infty } è un insieme che contiene un intervallo aperto della forma (M,+∞){displaystyle (M,+infty )}, per qualche M{displaystyle M} reale. Analogamente un intorno di −∞{displaystyle -infty } è un insieme contenente (−∞,M){displaystyle (-infty ,M)}.

Note |

Bibliografia |

• Marco Manetti, Topologia, Springer, 2008, ISBN 978-88-470-0756-7.


• Edoardo Sernesi, Geometria 2, Torino, Bollati Boringhieri, 1994, ISBN 978-88-339-5548-3.

Voci correlate |

• Insieme aperto


• Insieme convesso


• Topologia


• Intorno chimico

Altri progetti |

• 
  Wikizionario contiene il lemma di dizionario «intorno»


• 
  Wikimedia Commons contiene immagini o altri file su intorno
  

.mw-parser-output .navbox{border:1px solid #aaa;clear:both;margin:auto;padding:2px;width:100%}.mw-parser-output .navbox th{padding-left:1em;padding-right:1em;text-align:center}.mw-parser-output .navbox>tbody>tr:first-child>th{background:#ccf;font-size:90%;width:100%}.mw-parser-output .navbox_navbar{float:left;margin:0;padding:0 10px 0 0;text-align:left;width:6em}.mw-parser-output .navbox_title{font-size:110%}.mw-parser-output .navbox_abovebelow{background:#ddf;font-size:90%;font-weight:normal}.mw-parser-output .navbox_group{background:#ddf;font-size:90%;padding:0 10px;white-space:nowrap}.mw-parser-output .navbox_list{font-size:90%;width:100%}.mw-parser-output .navbox_odd{background:#fdfdfd}.mw-parser-output .navbox_even{background:#f7f7f7}.mw-parser-output .navbox_center{text-align:center}.mw-parser-output .navbox .navbox_image{padding-left:7px;vertical-align:middle;width:0}.mw-parser-output .navbox+.navbox{margin-top:-1px}.mw-parser-output .navbox .mw-collapsible-toggle{font-weight:normal;text-align:right;width:7em}.mw-parser-output .subnavbox{margin:-3px;width:100%}.mw-parser-output .subnavbox_group{background:#ddf;padding:0 10px}

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1° specie · 2° specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

V · D · M Topologia
Concetti di Topologia generale	Spazio topologico · Base · Prebase · Ricoprimento · Assiomi di chiusura di Kuratowski · Invariante topologico · Relazione di finezza · Partizione dell'unità · Proprietà dell'intersezione finita Sottoinsiemi Intervallo · Aperto · Intorno · Chiuso · Insieme localmente chiuso · Insieme chiuso-aperto · Parte interna · Chiusura · Frontiera · Insieme derivato · Insieme perfetto · Insieme denso · Insieme mai denso Punti Punto isolato · Punto di accumulazione · Punto di aderenza Funzioni Funzione continua · Omeomorfismo · Funzione aperta · Funzione chiusa · Funzione propria · Contrazione · Retrazione · Germe di funzione · Funzione a supporto compatto Successioni Limite · Limite di una successione · Successione · Rete · Convergenza · Successione di Cauchy Teoremi Teorema di Weierstrass · Heine-Borel · Tychonoff · Lemma del tubo · Urysohn · Tietze · Baire · Brouwer · punto fisso · Teorema di Borsuk · Teorema di Borsuk-Ulam · Teorema della curva di Jordan · Teorema della mappa di Riemann Applicazioni Topologia dello spazio-tempo · Topologia di rete · Controllo della topologia · Topologia molecolare
Proprietà	Numerabilità Assioma di numerabilità · Spazio primo-numerabile · Spazio separabile · Spazio sequenziale Separazione Assioma di separazione · Spazio T0 · Spazio T1 · Spazio di Hausdorff · Spazio regolare · Spazio di Tychonoff · Spazio normale Compattezza Spazio compatto · Spazio paracompatto · Spazio localmente compatto · Spazio di Lindelöf · Sottospazio relativamente compatto · Immersione compatta Connessione Spazio connesso · Spazio semplicemente connesso Metrizzabilità Spazio metrico · Spazio metrico completo · Spazio metrizzabile · Spazio ultrametrico · Spazio pseudometrico · Spazio polacco · Spazio normato · Spazio totalmente limitato Altro Spazio di Baire · Spazio topologico noetheriano · Spazio omogeneo
Spazi topologici	Topologie classiche Topologia banale · Spazio di Sierpiński · Cofinita · Topologia della semicontinuità inferiore · di Zariski · Euclidea · del limite inferiore o di Sorgenfrey · Discreta · Topologia degli interi equispaziati · Insieme reale esteso · Topologia di ordine · Piano di Moore Topologie indotte Topologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Sospensione Topologie in Analisi funzionale Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologia operatoriale debole Altri oggetti topologici Sfera · Palla · Toro · Corpo con manici · Bottiglia di Klein · Bottiglia di Klein solida · Anello · Nastro di Möbius · Retta proiettiva · Piano proiettivo · Superficie di Riemann · Nodo · Link Frattali Insieme di Cantor · Spazio di Cantor · Polvere di Cantor · Sfera di Alexander · Curva di Peano Strutture miste Spazio vettoriale topologico · Gruppo topologico · Gruppo di Lie · Spazio uniforme · Algebra di Borel
Topologia algebrica	Gruppo fondamentale · Arco · Nerbo · Omotopia · Gruppi di omotopia · Omologia · Omologia singolare · Algebra omologica · Coomologia di De Rham · Spazio semplicemente connesso · Rivestimento · Grado topologico · Indice di avvolgimento · Sollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van Kampen · Caratteristica di Eulero · Formula di Eulero per i poliedri · Genere · Taglio · Numero di Betti · Superficie incompressibile · Successione di Mayer-Vietoris · Successione esatta · Successione spettrale · Teorema della palla pelosa · Schema simpliciale · Complesso simpliciale · Complesso di celle · Complesso di catene · Classificazione delle superfici · Mapping class group · Congettura di Hodge · Congettura di Poincaré
Topologia differenziale	Varietà · Varietà differenziabile · Varietà parallelizzabile · 3-varietà · 3-varietà irriducibile · Atlante · Diffeomorfismo · Diffeomorfismo locale · Diffeomorfismo di Anosov · Immersione · Curva · Superficie · Campo vettoriale · Fibrato · Fibrato principale · Fibrato vettoriale · Varietà fibrata · Fibrazione di Hopf · Varietà con bordo · Teorema dell'intorno tubolare · Teorema di Kneser-Milnor · Congettura di geometrizzazione di Thurston · Cobordismo · Dimensione topologica · Topologia in dimensione bassa · Chirurgia di Dehn · Trasversalità · Eversione della sfera · Teoria delle foliazioni

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica