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>
 definita su un insieme <math>A</math> è l'insieme di punti che stanno al di sopra o sul [[grafico di una funzione|grafico della funzione]]:
-: <math>\mbox{epi} f = \{ (x, \mu) \, : \, x \in A,\, \mu \in \mathbb{R},\, f(x)\ge \mu \} \subseteq A\times \mathbb{R}</math>
+: <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>.
+Se <math>A</math> è un sottoinsieme di <math>\R^n</math>, l'epigrafico è un sottoinsieme di <math>\mathbb{R}^{n+1}</math>.
 ==Proprietà==
@@ Riga 11: / Riga 13: @@
 Nell'ipotesi:
 :<math> A = \mathbb{R}^n</math>
 Una funzione è [[funzione convessa|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 ===
@@ Riga 22: / Riga 25: @@
 [[Categoria:Funzioni matematiche]]
-[[de:Epigraph (Mathematik)]]
-[[en:Epigraph (mathematics)]]
-[[es:Epigrafo]]
-[[pt:Epigrafo]]