In matematica, la dimensione isoperimetrica di una varietà è una nozione di dimensione che cerca di cogliere come il comportamento a grande scala della varietà ricordi quello di uno spazio euclideo (a differenza della dimensione topologica o della dimensione di Hausdorff che confrontano i comportamenti locali con quelli dello spazio euclideo).

Nello spazio euclideo, la disuguaglianza isoperimetrica afferma che fra tutti i corpi con un fissato volume, la sfera ha l'area minore. In altre varietà è di solito difficile trovare il corpo con la minore area superficiale, e questo è il motivo per introdurre la dimensione isoperimetrica. La domanda che ci si pone è che cosa sia approssimativamente la minima area superficiale, qualsiasi sia il corpo che gode di questa proprietà.

Si dice che una varietà M soddisfa una disuguaglianza isoperimetrica d-dimensionale se per ogni insieme aperto D in M con bordo regolare soddisfa

${\displaystyle \mathrm {area} \,(\partial D)\geq C\mathrm {vol} \,(D)^{(d-1)/d}}$,

dove vol ed area s riferiscono alle usuali nozioni di volume ed area su una varietà, o più precisamente, se la varietà ha n dimensioni topologiche vol si riferisce al volume n-dimensionale e area al volume n-1 dimensionale. C rappresenta qui una costante che non dipende da D (ma può dipendere dalla varietà e da d).

La dimensione isoperimetrica di M è l'estremo superiore su tutte le d tali che M soddisfa una disuguaglianza isoperimetrica d-dimensionale.

Uno spazio euclideo d-dimensionale ha dimensione isoperimetrica d. Questo è il noto problema isoperimetrico; come discusso sopra, per uno spazio euclideo la costante C è conosciuta precisamente dal momento che il minimo è raggiunto per la sfera.

Un cilindro infinito (cioè il prodotto cartesiano di un cerchio unitario e la retta reale) ha dimensione topologica due ma dimensione isoperimetrica uno. Infatti, moltiplicando qualsiasi varietà per una varietà compatta non cambia la dimensione isoperimetrica (cambia solo il valore della costante C). Qualsiasi varietà compatta ha dimensione isoperimetrica zero.

La dimensione isoperimetrica può anche essere più grande della dimensione topologica. L'esempio più semplice è il jungle gym infinito, che ha dimensione topologica due e dimensione isoperimetrica tre. Si veda [1] per immagini e sorgenti per Mathematica.

Il piano iperbolico ha dimensione topologica due e dimensione isoperimetrica infinita. Infatti il piano iperbolico ha costante di Cheeger positiva. Questo significa che soddisfa la disuguaglianza

${\displaystyle \mathrm {area} \,(\partial D)\geq C\mathrm {vol} \,(D)}$

che ovviamente implica che la dimensione isoperimetrica sia infinita.

La dimensione isoperimetrica dei grafi viene definita in modo simile. Non c'è nessun bisogno di misure d'area e di volume: semplicemente si contano i punti. Per ogni sottoinsieme A di un grafo G si definisce ${\displaystyle \partial A}$ come l'insieme dei vertici in ${\displaystyle G\setminus A}$ con un vicino in A. Una disuguaglianza isoperimetrica d-dimensionale è ora definita tramite

${\displaystyle |\partial A|\geq C|A|^{(d-1)/d}.}$

Gli esempi sopra valgono in modo analogo per i grafi. La dimensione isoperimetrica di ogni grafico chiuso è zero. La dimensione isoperimetrica di una griglia d-dimensionale è d. In generale la dimensione isoperimetrica è conservata da quasi isometrie, sia da quasi-isometrie fra varietà, fra grafi ed anche da quasi isometrie che portano varietà in grafi, con le rispettive definizioni. In modo non rigoroso, questo significa che un grafo assomigliante ad una data varietà (allo stesso modo in cui la griglia assomiglia allo spazio euclideo) ha la stessa dimensione isoperimetrica della varietà. Un albero binario infinito completo ha dimensione isoperimetrica ∞.

Una semplice integrazione su r (o somma nel caso di grafi) mostra che una disuguaglianza isoperimetrica d-dimensionale implica una crescita del volume:

${\displaystyle \mathrm {vol} \,B(x,r)\geq Cr^{d}}$

dove B(x,r) denota la sfera di raggi r centrata in x nella distanza riemanniana o nella distanza per i grafi. In generale, l'inverso non è vero, cioè anche la crescita uniforme esponenziale del volume non garantisce una qualche disuguaglianza isoperimetrica. Un semplice esempio lo si ha prendendo il grafo Z (cioè tutti gli interi con lati compresi fra n e n+1) che connette al vertice n un albero binario completo di lunghezza |n|. Entrambe le proprietà (crescita esponenziale e dimensione isoperimetrica nulla) sono facili da dimostrare.

Un'interessante eccezione è il caso dei gruppi. Risulta che un gruppo con crescita polinomiale di ordine d ha dimensione isoperimetrica d. Questo risulta sia nel caso dei gruppi di Lie sin nel caso del grafo di Cayley di un gruppo finitamente generato.

Un teorema di Varopoulos connette la dimensione isoperimetrica di un grafo al tasso di fuga di una passeggiata aleatoria (random walk) sul grafo. Risulta che

Teorema di Varopoulos: Se G è un grafo che soddisfa una disuguaglianza isoperimetrica d-dimensionale allora

${\displaystyle p_{n}(x,y)\leq Cn^{-d/2}}$

dove ${\displaystyle p_{n}(x,y)}$ è la probabilità che un random walk su G che parta da G sia in y dopo n passi, e C sia una qualche costante.

• Isaac Chavel, Isoperimetric Inequalities: Differential geometric and analytic persepectives, Cambridge university press, Cambridge, UK (2001), ISBN 0-521-80267-9
• N. Th. Varopoulos, Isoperimetric inequalities and Markov chains, J. Funct. Anal. 63:2 (1985), 215-239.
• Thierry Coulhon and Laurent Saloff-Coste, Isopérimétrie pour les groupes et les variétés, Rev. Mat. Iberoamericana 9:2 (1993), 293-314.

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

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