From 78c7db9ff4100c769c49523d0327e4293437fd17 Mon Sep 17 00:00:00 2001 From: Luca Zoppetti Date: Sun, 7 Jan 2024 20:22:57 +0100 Subject: [PATCH] fix Lebesgue --- tex/analysis_2/7_surfaces.tex | 2 +- tex/analysis_2/8_lebesgue.tex | 14 +++++++------- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/tex/analysis_2/7_surfaces.tex b/tex/analysis_2/7_surfaces.tex index e0ad49a..99311a7 100644 --- a/tex/analysis_2/7_surfaces.tex +++ b/tex/analysis_2/7_surfaces.tex @@ -222,7 +222,7 @@ \section{Teorema di Gauss} Anche nel caso del teorema di Gauss è possibile esprimere l'enunciato del teorema in termini di forme differenziali. Sia $\omega = f_1 \dd y \wedge \dd z + f_2 \dd z \wedge \dd x + f_3 \dd x \wedge \dd y$ la forma differenziale d'area associata al flusso del campo $\vecf$. Applicando l'operatore differenziale esterno, si ottiene che \begin{align*} \dd \omega &=\dd(f_1 \dd y \wedge \dd z + f_2 \dd z \wedge \dd x + f_3 \dd x \wedge \dd y)=\\ - &=\dd f_1 \wedge \dd y \wedge \dd z+ \dd f_2\wedge\dd z \wedge \dd x+\dd f_3\dd\wedge x \wedge \dd y=\\ + &=\dd f_1 \wedge \dd y \wedge \dd z+ \dd f_2\wedge\dd z \wedge \dd x+\dd f_3\wedge \dd x \wedge \dd y=\\ &= \left(\frac{\partial f_1}{\partial x} + \frac{\partial f_2}{\partial y} + \frac{\partial f_3}{\partial z}\right)\dd x \wedge \dd y \wedge \dd z\\ \end{align*} Di conseguenza, si può scrivere diff --git a/tex/analysis_2/8_lebesgue.tex b/tex/analysis_2/8_lebesgue.tex index 19bfa1a..9cbd50e 100644 --- a/tex/analysis_2/8_lebesgue.tex +++ b/tex/analysis_2/8_lebesgue.tex @@ -49,7 +49,7 @@ \section{Misura di Lebesgue} \begin{definition} [Misura] - Sia $(X,\A)$ uno spazio misurabile. $\mu:\A \to [0,\infty]$ è una misura se soddisfa le seguenti richieste: + Sia $(X,\A)$ uno spazio misurabile. $\mu:\A \to [0,+\infty]$ è una misura se soddisfa le seguenti richieste: \begin{enumerate} \item $\mu(\varnothing)=0$ \item (Additività numerabile) Se $A_i \in \A \ \forall i \in \N$ sono insiemi a due a due disgiunti, allora $$\displaystyle\mu\left(\bigcup_{i=1}^\infty A_i \right) = \sum_{i=1}^\infty \mu(A_i)$$ @@ -124,7 +124,7 @@ \subsection{Metodo di Carathéodory} \begin{definition} [Insieme misurabile secondo Carathéodory] - Siano $X$ un insieme e $\mu^*:\calP \to [0,+\infty]$ una misura esterna su $X$. $A\subseteq X$ è misurabile secondo Carathéodory se $\forall E \subseteq X, \ \mu^*(E)=\mu^*(A\cap E) + \mu^*\left(A^C \cap E\right)$, dove $A^C=X\setminus A$. + Siano $X$ un insieme e $\mu^*:\calP(X) \to [0,+\infty]$ una misura esterna su $X$. $A\subseteq X$ è misurabile secondo Carathéodory se $\forall E \subseteq X, \ \mu^*(E)=\mu^*(A\cap E) + \mu^*\left(A^C \cap E\right)$, dove $A^C=X\setminus A$. \end{definition} \begin{theorem} @@ -182,7 +182,7 @@ \subsection{Metodo di Carathéodory} \end{theorem} \begin{corollary} - $A \in \mathcal{L}(\R^n) \iff \forall \varepsilon > 0 \ \exists V \text{ chiuso}, U \text{ aperto}, V \subseteq A \subseteq U \tc \mu(U\setminus V) < \varepsilon$.\qed + $A \in \mathcal{L}(\R^n) \iff \forall \varepsilon > 0 \ \exists V \text{ chiuso},\ U \text{ aperto},\ V \subseteq A \subseteq U \tc \mu(U\setminus V) < \varepsilon$.\qed \end{corollary} \begin{definition} @@ -292,8 +292,8 @@ \section{Integrale di Lebesgue} [Proprietà dell'integrale di funzioni misurabili non negative]\leavevmode \begin{enumerate} \item Ogni funzione misurabile non negativa definita in un insieme misurabile è integrabile secondo Lebesgue - \item Se $f,g:A\to [0,+\infty]$ sono misurabili in $A\in \mathcal{L}(\R^n)$, allora $f+cg \with c \in \R^+$ è misurabile e $\int_A (f+cg)=\int_Af+c\int_Ag$ - \item Se $f,g:A\to[0,+\infty]$ sono misurabili in $A\in\mathcal{L}(\R^n) \e f\leq g$, allora $\int_Af\leq\int_Ag$ + \item (Linearità) Se $f,g:A\to [0,+\infty]$ sono misurabili in $A\in \mathcal{L}(\R^n)$, allora $f+cg \with c \in \R^+$ è misurabile e $\int_A (f+cg)=\int_Af+c\int_Ag$ + \item (Monotonia) Se $f,g:A\to[0,+\infty]$ sono misurabili in $A\in\mathcal{L}(\R^n) \e f\leq g$, allora $\int_Af\leq\int_Ag$ \item Se $B\subseteq A \with B\in \mathcal{L}(\R^n)$, allora $\int_Bf=\int_A\chi_Bf$ \qed \end{enumerate} @@ -301,7 +301,7 @@ \section{Integrale di Lebesgue} \begin{theorem} [Proprietà delle funzioni misurabili] - Siano $A \in \mathcal{L}(\R^n), \ f,g:A\to\R$ misurabili e $c \in \R$. Allora $f+g,\ cf,\ \dfrac{f}{g},\ \abs{f},\ \max\{f,g\} \e \min\{f,g\}$ sono misurabili in $A$. Nel caso della divisione, $g\neq 0 \ \forall \vb{x} \in A$. + Siano $A \in \mathcal{L}(\R^n), \ f,g:A\to\R$ misurabili e $c \in \R$. Allora $f+g,\ cf,\ f/g,\ \abs{f},\ \max\{f,g\} \e \min\{f,g\}$ sono misurabili in $A$. Nel caso della divisione, $g(\vb{x})\neq 0 \ \forall \vb{x} \in A$. \qed \end{theorem} @@ -312,7 +312,7 @@ \section{Integrale di Lebesgue} \begin{definition} [Funzione integrabile di segno variabile] - Siano $A\in\mathcal{L}(\R^n) \e f:A\to\R$. Si definiscono la parte positiva $f_+$ e la parte negativa $f_-$ di $f$ come nella Definizione \ref{def:ppos_pneg} del Capitolo \ref{chap:peano_jordan}. $f_+ \e f_-$ sono misurabili. Se almeno uno fra $\int_A f_+ \e \int_A f_-$ è finito, si definisce $\int_A f= \int_A f_+ - \int_A f_-$. Se $\int_A f_+,\int_A f_- <+\infty, \ f$ è detta sommabile. + Siano $A\in\mathcal{L}(\R^n) \e f:A\to\R$ misurabile secondo Lebesgue. Si definiscono la parte positiva $f_+$ e la parte negativa $f_-$ di $f$ come nella Definizione \ref{def:ppos_pneg} del Capitolo \ref{chap:peano_jordan}. $f_+ \e f_-$ sono misurabili. Se almeno uno fra $\int_A f_+ \e \int_A f_-$ è finito, si definisce $\int_A f= \int_A f_+ - \int_A f_-$. Se $\int_A f_+,\int_A f_- <+\infty, \ f$ è detta sommabile. \end{definition} \begin{theorem}[Proprietà dell'integrale di Lebesgue]