Supporto (matematica)

In matematica, il supporto o sostegno di una funzione è la chiusura dell'insieme dei punti del dominio dove la funzione non si annulla.

Nel caso di una curva, il supporto è definito come l'immagine della parametrizzazione della curva.

Nel caso di una misura $\mu$ su uno spazio misurabile $(X,{\mathcal {A}})$, il supporto è definito come la chiusura del sottoinsieme di $X$ i cui punti hanno la proprietà che ogni loro intorno ha misura positiva.

Funzioni

Sia $X$ uno spazio topologico, e $Y$ uno spazio vettoriale. Sia:

$f:\Omega \subseteq X\to Y$

Si definisce supporto di $f$ l'insieme:

$\mathrm {supp} \,f:={\overline {\{\mathbf {x} \in \Omega \,t.c.\,f(\mathbf {x} )\neq \mathbf {0} \}}}$

Di particolare importanza in analisi sono le funzioni a supporto compatto.

Teoria della misura

Il supporto di una misura $\mu$ su uno spazio misurabile $(X,{\mathcal {A}})$ è la chiusura del sottoinsieme di $X$ i cui punti hanno la proprietà che ogni loro intorno ha misura positiva.

Sia $(X,{\mathcal {A}},\mu )$ uno spazio misurabile (con misura non negativa), allora:

$\mathrm {supp} \,\mu :={\overline {\{x\in X\,:\forall N\ni x,\,\mu (N)>0\}}}$

Curve

Il supporto di una curva è definito come l'immagine della parametrizzazione della curva. Sia $\mathbf {r}$ la parametrizzazione di una curva:

$\mathbf {r} :I\subseteq \mathbb {R} \to \mathbb {R} ^{n}$

allora il suo supporto $\Gamma$ è l'insieme:

$\Gamma =\{\mathbf {x} \in \mathbb {R} ^{n}\,t.c.\,\exists t\in I,\,\mathbf {x} =\mathbf {r} (t)\}$

oppure, un po' meno formalmente, ma più immediato:

$\Gamma =\mathbf {r} (I)$

Si nota che per descrivere la curva non basta solo la sua parametrizzazione (o solo il suo supporto), ma necessariamente entrambi: a titolo di esempio, la curva $\gamma _{1}(t)=(\cos t,\sin t),t\in [0,2\pi ]$ e la curva $\gamma _{2}(t)=(\cos t,\sin t),t\in [0,3\pi ]$ hanno lo stesso supporto, ma la prima è chiusa e la seconda no.

Supporto singolare

Nell'analisi di Fourier, il supporto singolare di una distribuzione è intuitivamente definito come l'insieme dei punti in cui la distribuzione non è una funzione liscia. Per esempio, la trasformata di Fourier della funzione gradino di Heaviside può essere vista come la funzione $1/x$ eccetto per il punto $x=0$: la trasformata possiede quindi un supporto singolare $\{0\}$ e non può essere espressa come una funzione, ma come l'applicazione del valore principale di Cauchy.

Bibliografia

• Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.

Voci correlate

• Funzione a supporto compatto