Epigrafico (matematica): differenze tra le versioni

Naviga nella cronologia in modo interattivo

Contenuto cancellato Contenuto aggiunto

In linea

Versione attuale delle 00:48, 20 nov 2021

In analisi matematica, l'epigrafico di una funzione

f:A\to \mathbb {R}

definita su un insieme $A$ è l'insieme di punti che stanno al di sopra o sul grafico della funzione:

{\mbox{epi}}f=\{(x,\mu )\,:\,x\in A,\,\mu \in \mathbb {R} ,\mu \geq \ f(x)\}\subseteq A\times \mathbb {R}

Se $A$ è un sottoinsieme di $\mathbb {R} ^{n}$ , l'epigrafico è un sottoinsieme di $\mathbb {R} ^{n+1}$ .

Proprietà

Convessità

Nell'ipotesi:

A=\mathbb {R} ^{n}

Una funzione è convessa se e solo se il suo epigrafico è un insieme convesso. Un insieme A è detto convesso se i segmenti che hanno estremi in A sono tutti suoi sottoinsiemi

Funzioni lineari

L'epigrafico di una funzione affine reale

g:\mathbb {R} ^{n}\to \mathbb {R}

è un semispazio di $\mathbb {R} ^{n+1}$ .

Semicontinuità

Una funzione è inferiormente semicontinua se e solo se il suo epigrafico è chiuso.

@@ Riga 1: / Riga 1: @@
+{{F|matematica|ottobre 2015}}
+[[File:Epigraph convex.svg|alt=|thumb|Una funzione è convessa {{sic|[[Se e solo se|sse]]}} la regione sopra al suo [[Grafico di una funzione|grafico]] (in verde) è un [[insieme convesso]]. Questa regione è l'epigrafico della funzione.]]
 In [[analisi matematica]], l''''epigrafico''' di una [[funzione (matematica)|funzione]]
 :<math>f:A\to \R </math>
@@ Riga 5: / Riga 7: @@
 : <math>\mbox{epi} f = \{ (x, \mu) \, : \, x \in A,\, \mu \in \mathbb{R},\mu \ge \ f(x)\} \subseteq A\times \mathbb{R}</math>
-Se <math>A</math> è un sottoinsieme di <math>\R^n</math>, l'epigrafico è un sottoinsieme di <math>\mathbb{R}^{n+1}</math>. Proprietà
+Se <math>A</math> è un sottoinsieme di <math>\R^n</math>, l'epigrafico è un sottoinsieme di <math>\mathbb{R}^{n+1}</math>.
+==Proprietà==
 === Convessità ===
 Nell'ipotesi:
@@ Riga 15: / Riga 19: @@
 L'epigrafico di una [[funzione affine]] reale
 :<math>g:\R^n \to \R </math>
 è un [[semispazio]] di <math>\R^{n+1}</math>.
 === Semicontinuità ===
-Una funzione è [[Semicontinuità|inferiormente semicontinua]] se e solo se il suo epigrafico è [[Insieme chiuso|chiuso]]. l ordine degli addendi non cambia però se usi l epigrafico non si sa mai
+Una funzione è [[Semicontinuità|inferiormente semicontinua]] se e solo se il suo epigrafico è [[Insieme chiuso|chiuso]].
 [[Categoria:Funzioni matematiche]]