On the structure of ideals in certain normed rings. (Q2594535)

1) In dem durch \(||\alpha|| = \max\limits_{0\leqq x\leqq1} |\alpha(x)|\) normierten Ring \(C\) aller auf [0,1] stetigen Funktionen ist jedes (abgeschlossene) Ideal \(I\) Hauptideal und wird durch eine Funktion \(\alpha(x) \in C\) erzeugt, für die \(F_\alpha = \prod\limits_{\gamma\in I} F_\gamma\) gilt, wobei \(F_\gamma\) die Menge der Nullstellen von \(\gamma(x)\) ist. 2) \(L(0, 2\pi)\) sei der Ring aller summablen periodischen Funktionen der Periode \(2\pi\) mit der Multiplikation \(f\times g = \int\limits_0^{2\pi} f(x - t) g(t) dt\) und der Norm \(||f|| = \int\limits_0^{2\pi}|f(t)| dt\). Jedes Ideal \(I\) in \(L(0,2\pi)\) ist ein Hauptideal und wird durch jede Funktion \(f(t)\) erzeugt, für die \(\int\limits_0^{2\pi} f(t)e^{-nit}dt=0\) für alle \(n\) ist, für die \(\int\limits_0^{2\pi} g(t)e^{-nit}dt=0\) für alle \(g(t) \in I\) ist, und \(\int\limits_0^{2\pi} f(t)e^{-nit}dt\neq0\) sonst. 3) \(B\) sei der Ring der stetigen fastperiodischen Funktionen mit dem Produkt \[ f\times g = \lim\limits_{T\to\infty}\dfrac1{2T}\int\limits_{-T}^T f(x-t)g(t)dt \] und der Norm \(||f|| = \sup\limits_x |f(x)|\). Zu jedem Ideal \(I\) gehört die Menge \(\varGamma\) aller reellen Zahlen \(\lambda\), für die \(\lim\limits_{T\to\infty}\dfrac1{2T}\int\limits_{-T}^T f(t)e^{-\lambda it}dt = 0\) ist für alle \(f\in I\). Umgekehrt ist \(I\) gleich der Menge aller solchen Funktionen. Sind die nicht zu \(\varGamma\) gehörenden reellen Zahlen abzählbar, so ist \(I\) Hauptideal und wird durch jede Funktion \(g(t)\) erzeugt, für die \(\lim\limits_{T\to\infty}\dfrac1{2T}\int\limits_{-T}^T g(t)e^{-i\lambda t}dt \neq 0\) ist für alle \(\lambda\not\in\varGamma\). In den normierten Ringen \(L\) und \(M\) der auf \((-\infty, \infty)\) summablen bzw. stetigen Funktionen mit der Faltung als Multiplikation und den Normen \(\int\limits_{-\infty}^{+\infty}|(f(t)|dt\) bzw. \(2\sum\limits_n \max\limits_{n\leqq t\leqq n+1} |f(t)|\) gelten etwas kompliziertere Sätze, ebenso in gewissen durch die trigonometrischen Polynome \(\sum a_ke^{ikx}\) erzeugten normierten Ringen \(K_0\) und \(K_0'\). Mit denselben Methoden werden zwei Sätze in \(L\) und \(M\) abgeleitet, die Verallgemeinerungen des folgenden Satzes von \textit{N. Wiener} (vgl. The Fourier integral. Cambridge (1933; JFM 59.0416.01) sind: Für eine Teilmenge \(H\) existiere \(\lim\limits_{\lambda\to\infty}\{f(t+\lambda)\}\), \(F\) ein lineares Funktional des Ringes, \(f\in H\); es gebe kein reelles \(x\), für das alle Fouriertransformierten \(\int\limits_{-\infty}^\infty f(t)e^{-ixt}dt\) verschwinden. Dann existiert \(\lim\limits_{\lambda\to\infty}\{g(t+\lambda)\}\) für jedes \(g\) des Ringes. Eine Anwendung der Methoden auf Summationsverfahren: Aus einer Folge \(\alpha_n\), \(n = 0, \pm1, \pm2\ldots,\) wird eine Matrix \(T(\alpha) = (\alpha_{ik}) = (\alpha_{i-k})\) gebildet. Soll sie jede konvergente Folge \(s_n\big(\lim\limits_{n\to\infty} s_n\) und \(\lim\limits_{n\to-\infty} s_n\) sollen existieren\(\big)\) in eine mit denselben Limites überführen, so muß nach Toeplitz \(\sum\limits_{-\infty}^\infty| a_n | < \infty\) und \(\sum\limits_{-\infty}^\infty\alpha_n=1\) sein. \(T(\alpha)\) wird nun die Funktion \(\alpha = \sum\alpha_n e^{inx}\) zugeordnet, die im normierten Ring aller \(f =\sum\limits_{-\infty}^\infty c_n e^{inx}\) mit \(\sum|c_n| <\infty\), \(||f|| = \sum|c_n|\) liegt. Es gut nun, daß das Verfahren \(T(\beta)\) sicher nicht schwächer ist als \(T(\alpha)\), wenn \(\beta\) im Hauptideal (\(\alpha\)) liegt. Die Arbeit schließt mit Sätzen folgenden Typs: Für die trigonometrischen Reihen \(\alpha(x) = \sum\limits_{-\infty}^\infty\alpha_n e^{inx}\), \(\sum\limits_{-\infty}^\infty|\alpha_n| < \infty\) und \(\sum\limits_{-\infty}^{+\infty}s_ke^{-ikx}\), \(0 < \sup\limits_k|s_k|<\infty\), sei bekannt, daß die Funktion \(\sigma(x) = \dfrac{\sigma_0x^2}2 +\sum\limits_{-\infty}^{+\infty}{}' \sigma_n\dfrac{e^{-inx}}{(-in)^2}\) mit \(\sigma_n = \sum\limits_{k=-\infty}^\infty \alpha_k s_{k+n}\) linear ist im Intervall \(\varDelta = (a, b)\); dann ist die Funktion \(S(x)=\dfrac{s_0x^2}2+\sum\limits_{-\infty}^\infty{}' s_k\dfrac{e^{-ikx}}{(-ik)^2}\) linear in allen Intervallen, die der Menge \(\varDelta\cdot F_\alpha\) angrenzen.