title: Lemma di Knopp
text: # Lemma di Knopp
  
  Nella teoria della misura, più precisamente nella teoria ergodica, il lemma di Knopp è un risultato formulato da Konrad Knopp.
  
  ## Enunciato
  
  Il lemma di Knopp afferma che se $B$[è un sottoinsieme di $\mathbb {R}$? o deve essere contenuto in $[0,1)$?] è un insieme misurabile secondo Lebesgue e $\,{\mathcal {C}}$ è una classe di sottointervalli di $[0,1)$ tale che
  
  * ogni sottointervallo aperto di $[0,1)$ è unione numerabile di elementi disgiunti di ${\mathcal {C}}$;
  * esiste $\gamma >0$ tale che $\lambda (A\cap B)\geq \gamma \lambda (A)$ per ogni $A\in {\mathcal {C}}$, con $\gamma$ indipendente da $A$ e $\lambda$ la misura di Lebesgue.
  
  Allora $\lambda (B)=1$.
  
  ### Dimostrazione
  
  Per contraddizione, supponiamo che $\lambda (B^{c})>0$. Dato $\epsilon >0$ esiste un insieme $E_{\epsilon }$ che è unione disgiunta di intervalli aperti tali che $\lambda (B^{c}\Delta E_{\epsilon })<\epsilon$. Dalle condizioni (1) e (2), segue che $\lambda (B\cap E_{\epsilon })\geq \gamma \lambda (E_{\epsilon })$. Dalla scelta di $E_{\epsilon }$ e considerando che
  
      $\lambda (B^{c}\Delta E_{\epsilon })\geq \lambda (B\cap E_{\epsilon })\geq \gamma \lambda (E_{\epsilon })\geq \gamma \lambda (B^{c}\cap E_{\epsilon })>\gamma (\lambda (B^{c})-\epsilon ),$
  
  allora
  
      $\gamma (\lambda (B^{c})-\epsilon )<\lambda (B^{c}\Delta E_{\epsilon })<\epsilon .$
  
  Pertanto $\gamma \lambda (B^{c})<\epsilon +\gamma \epsilon ,$ ed essendo $\epsilon >0$ arbitrario, si ha una contraddizione.
  
  ## Esempio di applicazione
  
  Sia $m$ un intero positivo. Consideriamo la funzione $T(x)=mx-\left\lfloor mx\right\rfloor$ definita su $[0,1)$. La trasformazione $T$ preserva la misura di Lebesgue:
  
      $T^{-1}[a,b)=\bigcup _{i=0}^{m-1}\left[{\frac {a+i}{m}},{\frac {b+i}{m}}\right),$
  
  e
  
      $\lambda (T^{-1}[a,b))=b-a=\lambda ([a,b)).$
  
  Dimostriamo l'ergodicità di tale mappa utilizzando il lemma di Knopp. Si noti intanto che:
  
  * $T^{n}(x)=m^{n}x-\lfloor m^{n}x\rfloor ;$
  * $T^{n}\left(\left[{\frac {k}{m^{n}}},{\frac {k+1}{m^{n}}}\right)\right)=[0,1)$, per ogni $n\geq 1,\ 0\leq k\leq m^{n}-1.$
  
  Sia
  
      ${\mathcal {C}}=\left\{\left[{\frac {k}{m^{n}}},{\frac {k+1}{m^{n}}}\right):n\geq 1,\ 0\leq k\leq m^{n}-1\right\}.$
  
  Si può verificare che ${\mathcal {C}}$ soddisfa la prima ipotesi del lemma di Knopp. Sia $B\subset [0,1)$ misurabile secondo Lebesgue tale che $T^{-1}B=B$ e $\lambda (B)>0$. Per ogni elemento $A=\left[{\frac {k}{m^{n}}},{\frac {k+1}{m^{n}}}\right)\in {\mathcal {C}}$, vale:
  
      $\lambda (A\cap B)=\lambda (A\cap T^{-n}B)={\frac {1}{m^{n}}}\lambda (B)=\lambda (A)\lambda (B).$
  
  La seconda ipotesi del lemma di Knopp è quindi soddisfatta, prendendo $\gamma =\lambda (B)>0$. Pertanto $T$ è ergodica.
  
  