title: Dominio semplice
text: # Dominio semplice
  
  I domini delle funzioni a più variabili possono presentare una forma di regolarità per cui è possibile delimitare la regione da intervalli e grafici di funzione. Si parla quindi di dominio semplice o normale rispetto alla variabile delimitabile da un intervallo. La normalità di un dominio è molto importante in molte definizioni di integrale multiplo e della sua risoluzione tramite le formule di riduzione. Inoltre la presenza di un dominio regolare permette ulteriori teoremi e formule d'integrazione, come le formule di Gauss-Green, il teorema della divergenza e il teorema del rotore.
  
  ## Domini normali nel piano
  
  In $\mathbb {R} ^{2}$ esistono due casi di normalità, rispetto agli assi:
  
  $x$
  
  $y$
  
  ### Dominio normale rispetto all'asse x
  
  La regione è delimitata per l'asse $x$ da due valori numerici e per l'asse $y$ da due funzioni della variabile $x$ continue nell'intervallo che la delimita:
  
      $D=\{(x,y)\in \mathbb {R} ^{2}\ |\ a\leq x\leq b,\ f(x)\leq y\leq g(x),f,g\in C[a,b]\}.$
  
  ### Dominio normale rispetto all'asse y
  
  La regione è delimitata per l'asse $y$ da due valori numerici e per l'asse $x$ da due funzioni della variabile $y$ continue nell'intervallo che la delimita:
  
      $D=\{(x,y)\in \mathbb {R} ^{2}\ |\ a\leq y\leq b,\ f(y)\leq x\leq g(y),f,g\in C[a,b]\}.$
  
  ## Domini normali nello spazio
  
  In $\mathbb {R} ^{3}$ esistono sei tipi diversi di normalità, rispetto ai piani coordinati. Sia $T\subset \mathbb {R} ^{3}$ l'insieme considerato e $D$ la proiezione ortogonale di $T$ sul piano coordinato fissato, allora si hanno le seguenti sei possibilità:
  
  ### Dominio normale rispetto al piano (x,y)
  
  $T$ è normale al piano $(x,y)$
  
  * con $D$ normale all'asse $x;$
  * con $D$ normale all'asse $y.$
  
  ### Dominio normale rispetto al piano (y,z)
  
  $T$ è normale al piano $(y,z)$
  
  * con $D$ normale all'asse $y;$
  * con $D$ normale all'asse $z.$
  
  ### Dominio normale rispetto al piano (z,x)
  
  $T$ è normale al piano $(z,x)$
  
  * con $D$ normale all'asse $x;$
  * con $D$ normale all'asse $z.$
  
  Nell'esempio in figura il dominio semplice è il cilindroide con "base" $D$ e compreso tra le funzioni $a(x,y)$e $b(x,y)$:
  
      $T=\{(x,y,z)\in \mathbb {R} ^{3}\ |\ (x,y)\in D,\ a(x,y)\leq z\leq b(x,y)\}$, con $D=\{(x,y)\in \mathbb {R} ^{2}\ |\ a\leq y\leq b,\ f(y)\leq x\leq g(y)\}.$
  
  In generale in $\mathbb {R} ^{n}$ il numero dei domini semplici è dato dalla relazione $n!$, ossia tutte le possibili combinazioni tra versori.
  
  ## Dominio normale regolare e orientamento della frontiera
  
  ### Dominio normale regolare
  
  Un dominio normale regolare è per definizione un dominio normale la cui frontiera è unione di un numero finito di curve di classe ${\mathcal {C}}^{1}$. Inoltre un dominio regolare $N$ è sempre descrivibile come l'unione di un numero finito di domini normali regolari $N_{i}$, a due a due privi di punti interni in comune:
  
      $N=\bigcup _{i=1}^{n}N_{i}.$
  
  ### Orientamento della frontiera
  
  Sia $D\subset \mathbb {R} ^{2}$ dominio regolare, convenzionalmente si dice che $\partial D$ è orientata positivamente se è rappresentata da un numero finito di curve regolari a tratti $\gamma _{1},\dots ,\gamma _{k}\in {\mathcal {C}}^{1}$ tali che i versori normali $N_{1}(t),\dots ,N_{k}(t)$ canonicamente associati puntano verso l'esterno. Pertanto la sua frontiera ammette versore tangente e versore normale in ogni suo punto, tranne, al più, un numero finito. Tale orientamento si indica con $+\partial D$.
  
  ## Lemma sulla decomposizione dei normali
  
  Siano $D\subset \mathbb {R} ^{2}$ e $E\subset \mathbb {R} ^{3}$ domini normali si ha che $\forall \delta ,\varepsilon >0$ esiste una decomposizione di $D$ e di $E$ del tipo $D=\bigcup _{i=1}^{n}D_{i}$ e $E=\bigcup _{i=1}^{n}E_{i}$ tali che:
  
  * $D_{i}$ ed $E_{i}$ sono domini normali;
  * $D_{i}^{^{\!\!\!^{\circ }}}\cap D_{j}^{^{\!\!\!^{\circ }}}=\varnothing \quad$ e $\quad E_{i}^{^{\!\!\!^{\circ }}}\cap E_{j}^{^{\!\!\!^{\circ }}}=\varnothing ,\quad \forall i\neq j;$
  * $\operatorname {diam} (D_{i})<\delta \quad$ e $\quad \operatorname {diam} (E_{i})<\varepsilon ,\quad \forall i=1,\dots ,n,\quad$ dove $\operatorname {diam} (A):=\sup\{\|x-y\|\ |\ x,y\in A\subset \mathbb {R} ^{n}\}$ è il diametro del dominio.
  