Über ein Lemma der komplexen Approximationstheorie. (On a theorem of the complex approximation theory) (Q1824063)

Das Lemma von Nersesyan aus der komplexen Approximationstheorie besagt, daß es bei gegebener kompakter Menge \(F\subset {\mathbb{C}}\), fremden Teilmengen \(M_ 1\), \(M_ 2\) von F, und \(\epsilon >0\), eine rationale Funktion R gibt derart, daß \(| R(z)| <\epsilon\) auf \(M_ 1\), \(| R(z)-1| <\epsilon\) auf \(M_ 2\), und \(| R(z)| <1\) auf F gilt. Dabei sind von F, \(M_ 1\), \(M_ 2\) noch gewisse topologische Voraussetzungen zu erfüllen. Der Verf. gibt einen die Maßtheorie vermeidenden Beweis für einen Satz dieses Typs. Dabei wird angenommen, daß \(F=(G\cup H)^-\), wo G und H einfach zusammenhängende, beschränkte und punktfremde Gebiete in \({\mathbb{C}}\) sind, für die \(\partial G\cup \partial H\subset \partial (\bar G\cup \bar H)\) gilt und \({\mathbb{C}}\setminus (\bar G\cup \bar H)\) zusammenhängend ist. Die Aussage lautet dann: Zu \(\epsilon >0\) gibt es eine rationale Funktion R mit \(| R(z)| <\epsilon\) auf \(G\setminus H_{\epsilon}\), \(| R(z)- 1| <\epsilon\) auf \(H\setminus G_{\epsilon}\), und \(| R(z)| <1\) auf \(G\cup H\). Dabei ist z.B. \(H_{\epsilon}\) die \(\epsilon\)- Umgebung der Menge H. Der Beweis geht weit in die Primendentheorie hinein und liefert auch interessante Zwischenergebnisse.