On translations of functions and sets. (Q2586373)

Es wird folgender Satz bewiesen: Es sei \(x_n(t)\), \(n=1, 2,\ldots\), eine Folge komplexwertiger, in \(-\infty< t <\infty\) meßbarer Funktionen. Dann und nur dann gilt für jede Folge reeller \(\lambda_n\) die Beziehung: (1) \(\lim\limits_{n\to\infty} x_n(t - \lambda_n) = 0\) für fast alle \(t\), wenn für jedes \(\delta > 0\) gilt: \[ \sum_{n=1}^\infty \operatornamewithlimits{\overline{Grenze}}\limits_{-\infty<h<\infty} |E_t\{h\leqq t\leqq h+1; |x_n(t)|\geqq\delta\}|<\infty. \tag{2} \] (Dabei bezeichnet \(|S|\) das Maß einer (meßbaren) Menge \(S\).) Der auf ``nur dann'' bezügliche Teil dieses Satzes wird bewiesen als Folgerung aus dem nachstehenden: Wenn eine Folge komplexwertiger, in \(-\infty<t<\infty\) meßbarer \(x_n (t)\) für jede Folge reeller Zahlen \(\lambda_n\) der Beziehung (1) genügt, und zwar für alle \(t\) einer (eventuell von der Folge der \(\lambda_n\) abhängigen) Menge positiven Maßes, dann gilt (2). -- Im Verlaufe des Beweises werden unter anderem folgende beiden Hilfssätze hergeleitet: Bezeichnet man mit \(S(\lambda)\) die aus der Zahlenmenge \(S\) durch Verschiebung um \(\lambda\) hervorgehende Zahlenmenge, so gilt: Sind \(B\) und \(C\) meßbare Teilmengen von \([0,1]\), so gilt \(\max\limits_{-1\leqq\lambda\leqq 1}|B(\lambda)C|\geqq \dfrac12\cdot|C|\cdot|B|\); ist ferner \(A_n\) bzw. \(U_n\), \(n = 1, 2,\ldots\), eine Folge von meßbaren Zahlenmengen bzw. von Einheitsintervallen und ist \(\sum\limits_{n=1}^\infty|U_nA_n|=\infty\), so existiert eine Folge reeller Zahlen \(\lambda_n\) derart, daß fast jedes \(t\) aus \(-\infty < t < \infty\) in unendlich vielen \(A_n(\lambda_n)\) liegt.