From c5be5a57f480aa6685344f6a44ec975b9962f0be Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Cailliau?= <theophile.cailliau@gmail.com>
Date: Wed, 29 Dec 2021 18:05:59 +0100
Subject: [PATCH] =?UTF-8?q?supression=20du=20chapitre=200=20sur=20la=20den?=
 =?UTF-8?q?ombrabilit=C3=A9,=20d=C3=A9but=20de=20chapitre=20sur=20les=20me?=
 =?UTF-8?q?sures=20complexes?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 integration-06.tex     | 12 ++++++++++
 integration.tex        |  3 +--
 src/integration-00.tex |  1 +
 src/integration-05.tex |  4 ++++
 src/integration-06.tex | 54 ++++++++++++++++++++++++++++++++++++++++++
 5 files changed, 72 insertions(+), 2 deletions(-)
 create mode 100644 integration-06.tex
 create mode 100644 src/integration-06.tex

diff --git a/integration-06.tex b/integration-06.tex
new file mode 100644
index 0000000..ae9d017
--- /dev/null
+++ b/integration-06.tex
@@ -0,0 +1,12 @@
+\documentclass{article}
+
+\newif\ifsolo
+\solotrue
+\input{src/preamble.tex}
+
+\begin{document}
+
+\input{src/integration-06.tex}
+
+\printindex
+\end{document}
diff --git a/integration.tex b/integration.tex
index 3fb2f2a..f53723c 100644
--- a/integration.tex
+++ b/integration.tex
@@ -4,7 +4,6 @@
 \solofalse
 
 \input{src/preamble.tex}
-\setcounter{chapter}{-1}
 
 \begin{document}
 
@@ -49,7 +48,7 @@
 
 \pagestyle{main}
 
-\foreach \i in {00, 01, 02, 03, 04, 05, 06} {%
+\foreach \i in {01, 02, 03, 04, 05, 06} {%
     \edef\FileName{integration-\i}%
     \IfFileExists{\FileName}{%
        \input{src/\FileName}%
diff --git a/src/integration-00.tex b/src/integration-00.tex
index 7625046..53858c2 100644
--- a/src/integration-00.tex
+++ b/src/integration-00.tex
@@ -8,6 +8,7 @@
     \end{center}
     \tableofcontents
 \else
+    \setcounter{chapter}{-1}
     \chapter{Notion de dénombrabilité}
 
     \minitoc
diff --git a/src/integration-05.tex b/src/integration-05.tex
index aa2678c..85ed65a 100644
--- a/src/integration-05.tex
+++ b/src/integration-05.tex
@@ -398,4 +398,8 @@ \section{Approximation de l'unité}
 &= \frac{1}{(N+1)\sin(\sfrac{x}{2})^2}\Im \left( e^{i \sfrac{N+1}{2}x}\frac{e^{i \sfrac{N+1}{2}x}-e^{i \sfrac{N+1}{2}x}}{2i}\right)\\
 &= \frac{\sin(\sfrac{N+1}{2})x}{(N+1)\sin(\sfrac{x}{2})^2}\geq 0
 \end{align*}
+donc par convergence dominée \[
+    \int_\delta^{2\pi-\delta} F_N(x)\diff x \xrightarrow[N\to +\infty]{}0
+\] 
+et en adaptant à ce contexte la preuve ci-dessus, $F_N\star f \longrightarrow f$ uniformément sur $[0,2\pi]$ donc sur $\R$..
 \end{proof}
diff --git a/src/integration-06.tex b/src/integration-06.tex
new file mode 100644
index 0000000..7f68c87
--- /dev/null
+++ b/src/integration-06.tex
@@ -0,0 +1,54 @@
+\ifsolo
+    ~
+
+    \vspace{1cm}
+
+    \begin{center}
+        \textbf{\LARGE Mesures complexes} \\[1em]
+    \end{center}
+    \tableofcontents
+\else
+    \chapter{Mesures complexes}
+
+    \minitoc
+\fi
+\thispagestyle{empty}
+
+\section{Définitions et propriétés de base}
+
+\begin{dfn}
+    Soit $(X, \mathcal  A)$ un espace mesurable. Une mesure complexe\index{mesure complexe} sur $(X, \mathcal  A)$ est une fonction $\nu: \mathcal  A \longrightarrow  \C$ telle que \begin{itemize}
+        \item $\nu(\emptyset)=0$
+        \item Si  $(A_i)_{i \in  I}$ est une famille dénombrable d'éléments de $\mathcal  A$ deux à deux disjoints, \[
+                \nu \left( \bigcup_{i \in  I} A_i\right) = \sum_{i \in  I}\nu(A_i)
+        \] 
+        où la convergence est supposée indépendante du choix d'ordre sur $I$
+    \end{itemize}
+\end{dfn}
+
+\begin{rem}
+On admet que l'indépendance par permutation de la convergence entraine la convergence absolue.
+\end{rem}
+
+\begin{ex}
+    Soit $(X, \mathcal  A, \mu)$ un espace mesuré avec $\mu$ une mesure usuelle positive, et soit  $f \in  \L^1_{\C}(X, \mathcal  A, \mu)$. Alors \[
+        \nu(\mathcal  A)=\int_A f\diff \mu
+    \] 
+    est une mesure complexe (notée $f\diff \mu$). Clairement, $\nu(\emptyset)=0$ et  \[
+        \nu \left(\bigcup_{n \in  \N}A_n)=\int_{X}f\diff \mu \1_{\bigcup A_i}=\int_{X}\sum_{n \in  \N}\underbrace{f\1_{A_n}}_{\mathclap{\text{dominée par }|f|\text{ intégrable }}}\diff \mu = \sum_{n \in  N}\int_{A_n} f\diff \mu=\sum_{n \in  \N}\nu(A_n)
+    \] 
+\end{ex}
+
+\begin{dfn}
+    Soit $\nu$ une mesure complexe. La mesure de variation totale de  $\nu$ \index{variation totale (mesure)} est la fonction  $|\nu|:\mathcal  A \longrightarrow \R_+\cup \left\{ \infty \right\} $ définie par \[
+        |\nu|(A) = \sup \left\{ \sum_{i \in  N}|\nu(A_i)|, \quad  (A_i)_{i \in  \N} \text{ deux à deux disjoints, d'union } A\right\} 
+    \] 
+\end{dfn}
+
+\begin{prop}
+Si $\nu$ est une mesure complexe, alors  $|\nu|$ est une mesure.
+\end{prop}
+
+\begin{proof}
+
+\end{proof}