数理解析研究所講究録 1243 巻 2002 年 9-21

9コロフキン型近似定理
新潟大・理

泉池敬司 (Keiji Izuchi)

Faculty of Science

Niigata University

\S 1.

序

1953 年、 コロフキン $[19,20]$ は次の近似定理を証明した。
コロフキン近似定理. $C(I)$ を $I=[0,1]$ 上の実数値連続関数の空間とする。
$C(I)$ 上の正線形作用素で(1.1)$\{T_{n}\}_{n}$はfor $j=0,1,2$$||T_{n}x^{j}-x^{j}||_{\infty}arrow 0$とする。 そのとき(1.2)$||T_{n}f-f||_{\infty}arrow\infty\forall f\in C(I)$.

この定理は正線形作用素列が $I=$ 恒等作用素に強収束することを示すためには、 たった
3 つの関数で試験すれば良いというものである。 この定理はなんともいえない不可思議さをもっており、 この後、 この種の定理は多くの研究者の興味を引き、 研究対象を拡大させながら現在も研究が続けられている。
1968 年 Wulbert [40] はコロフキンの定理の 「正線形作用素列」 の条件を
邸 $narrow\infty$$||T_{n}||arrow 1$に置き換えても (1.1) の条件のもとで (1.2) が成立することを示した。 Wulbert の論文はコロフキン型近似定理の研究において、 もっともすばらしいものの 1 つであると考えている。
ここで問題を設定し直すことにする。 $X$ を Banach 空間で $S\subset X$ とする。 $T$ を $X$ 上の有界線形作用素とする。
定義 LL $||T||=1$ とする。 $T$ が $BKW(S)$ -作用素であ$||T_{\alpha}h-Th||arrow \mathrm{O}$as$\text{る}$.

とは、$\alphaarrow\infty(\forall h\in S)$$||T_{\alpha}||arrow||T||=1$

as,$\alphaarrow\infty$が成立する任意の作用素 net {T\mbox{\boldmath $\alpha$}}。に対して$||T_{\alpha}f-Tf||arrow 0$

as$\alphaarrow\infty(\forall f\in X)$,

10$\hslash\backslash \hslash\backslash ^{\backslash }\lrcorner\backslash " To\ \mathrm{g}[]’.1^{)}\overline{\mathcal{D}}\circ BKW(S)-C^{\backslash }\backslash BKW(S)-\#\mathrm{f}\mathrm{f}\mathrm{l}\ovalbox{\tt\small REJECT}\xi ffi\xi\# T_{\circ}$$S$$\mathrm{B}$は試験関数空間と呼ばれる。 この定義は高橋氏 [36] にょって与えられたものである。

は$\mathrm{B}\mathrm{o}\mathrm{h}\mathrm{m}\mathrm{a}\mathrm{n}_{\text{、}}\mathrm{K}$は$\mathrm{K}\mathrm{o}\mathrm{r}\mathrm{o}\mathrm{v}\mathrm{k}\mathrm{i}\mathrm{n}_{\text{、}}\mathrm{W}$は Wulbert の頭文宇を取ったものである。 Korovkin(Wulbert) の定理は恒等作用素 は $BKW(\{1, x, \parallel\})$ -作用素であることをいってぃる。
理論上は net 型の定義の方が、 Korovkin の定理を拡張する上で都合が良いが、 sequence$I$型の研究も重要と思われる。
定義 L2. $||T||=1$ とする。 $T$ が s-BKW(S)-作用素であるとは、$||T_{n}h-Th||arrow \mathrm{O}$as$narrow\infty(\forall h\in S)$$||T_{n}||arrow||T||=1$が成立する任意の作用素列$\{T_{n}\}_{n}$,邸 $narrow\infty$に対して$||T_{n}f-Tf||arrow 0$

as $narrow\infty(\forall f\in X)$ ,が成立するときにいう。 s-BKW(S) で s-BKW(S)-作用素全体を表す。

s-BKW の$s$は sequential であることを意味している。 次は定義より従う。

命題 1.3. (i) $BKW(S)\subset s-BKW(S)$ .

(ii)
(iii)

$S_{1}\subset S_{2}\subset X$$\tilde{S}$ならば $BKW(S_{1})\subset BKW(S_{2})$ ,$s- BKW(S_{1})\subset s- BKW(S_{2})$を $S$ より張られる閉部分空間とすると、 $BKW(S)=BKW(\tilde{S})$ ,$s-BKW(\tilde{S})$.

s-BKW(S)$=$.

よって定義垣, 2 の $S$ は閉部分空間と仮定しても良いことになる。 $S$ が separable のときは、 $BKW(S)=s-BKW(S)$ である [16, Theorem 1]。 ここで問題は 2 っに分かれてくる。 Korovkin 本来の定理からすると問題 L4.

具体的な $T,$ $||T||=1$ , が与えられたとき、 できるだけ小さな $S\subset X$ で$T\in BKW(S)$ 又は $T\in s-BKW(S)$ が成立する $S$ を求めよ。

歴史的には $T=I$ のとき、 上の問題に対する多くの研究結果がある、 [1] を参照せよ。
逆に問題 15.

$S\subset X$が与えられたとき、 $BKW(S)$ 又は s-BKW(S) に入る作用素すべてを記述せよ。

これらの問題は Banach 空間 $X$ およひ閉部分空間 $S\subset X$ の特性に非常に影響され、 空

間 $X$ 知る上でも非常に興味ある問題である。

11
52. $X=C(\Omega)$ のとき。
を compact Hausdorff 空間とし、 $C(\Omega)$ を上の複素数値連続関数の空間とを $X$ の閉部分空間とする。 $BKW(S)$ のクラスの決定に関しては高橋氏の基本的する。
な結果が知られている。 $X_{1}^{*}=\{F\in X^{*}; ||F||\leq 1\}$ とする.
「

$1$

」

$\Omega$$\Omega$$S$

定義 21. $U_{S}(X_{1}^{*})=$ { $F\in X_{1}^{*};$ if $G\in X_{1}^{*},$ $F=G$ on $S$ , then $F=G$ on $X$ }.
は $S$ に対する uniqueness 集合と呼ばれる。ノルムを保存する Hahn-Banach集合
拡張が unique なものを集めたものであることに由来する。
$U_{S}(X_{1}^{*})$

定理 22(高橋 [34, Theorem 21]). $E$ を$X^{*}$の weak’-閉集合で$||x||= \sup\{|F(x)|;F\in E\}$ ,$\forall x\in X$

が成り立つと仮定する。 $||T||=1$ とする。
$T^{*}(E)\subset U_{S}(X_{1}^{*})$

ならば $T\in BKW(S)$ である、 ここで T* ま $T$ の dual 作用素である。

上の有のときは逆が成立する。
Riesz-Kakutani の表現定理より
界 Borel 測度の空間 $M(\Omega)$ と考えてよい。 このとき、 $E=\{\delta_{x};x\in\Omega\}$ とすると定理 22の条件を満たしている。 $M_{1}(\Omega)=\{\mu\in M(\Omega);||\mu||\leq 1\},$ $T^{*}(\Omega)=\{T^{*}\delta_{x};x\in\Omega\}$ とする。
$X=C(\Omega)$$S\subset C(\Omega)$$\Omega$$C(\Omega)^{*}l\mathrm{h}$に対する uniquness 集合は次のようになる。

$Us(M_{1}(\Omega))=${$\mu\in M_{1}(\Omega)$;if$\nu\in M_{1}(\Omega),$$\int_{\Omega}fd\mu=\int_{\Omega}fd\nu$

for $f\in S$ , then $\mu=\nu$ }.

定理 23(高橋 [34, Theorem 14]). $X=C(\Omega)$ とする。 $||T||=1$ とする。 $T\in BKW(S)$である必要十分条件は $T^{*}(\Omega)\subset U_{S}(M_{1}(\Omega))$ .
ここで

(2.1)

(Tf)(x)$=(T^{*} \delta_{x})(f)=\int_{\Omega}fdT^{*}\delta_{x}$である。よって $X=C(\Omega)$ のとき、 $BKW(S)$ を記述するためには、定理 23 より $U_{S}(M_{1}(\Omega))$を決定することが必要になる。 しかし $S$ が与えられたとき、 $U_{S}(M_{1}(\Omega))$ が完全に記述できるかというと、 その点についてはまだ不十分である。

補題 24([14, Lemma 1], [34, Lemma 21]). $\mu\in Us(M_{1}(\Omega))$ ならば.
$U_{S}(M_{1}(\Omega))-\mathrm{c}^{\text{、}あり}$$1= \sup\{|\int_{\Omega}fd\mu|;f\in S,$ $||f||_{\infty}=1\}$.

$||\mu||=1,$ $-\mu\in$12
この補題を用いると、特殊な場合には uniqueness 集合の特徴ずけが得られる。 $I=[0,1]$とし、$S_{n}=1,x,x^{2},$$x^{n}$$\ldots,$で張られる部分空間とする。 次が成立する。

定理 2.5([13, Theorem 1]).
$U_{s_{n}}(M_{1}(I))=\{\mu\in M_{1}(I);||\mu||=1,$ $\int_{I}fd\mu=1$

with$S_{n}$

は高々$n$$||f||_{\infty}=1$

for some nonconstant $f\in S_{n}$}.

次多項式であるから、 nonconstant な $f\in S_{n},$ $||f||_{\infty}=1$ , に対して $\{x\in$$I;|f(x)|=1\}$ の元の個数は高々 $n+1$ 個であり、 定理 25 より $\mu\in U_{S_{n}}(M_{1}(I))$ は$x_{j} \in I,\sum_{\mathrm{j}=1}^{n+1}|a_{j}|=1$$\mu=\sum_{j=1}^{n+1}a_{j}\delta_{x_{j}},$の形をしていることが分かる。 よって (2.1). より、 $T\in BKW(S_{n})$ は(2.2)(Tf )(t) $= \sum_{j=1}^{n+1}aj(t)f(xj(t))$ ,$f\in C(I),$$t\in I$の形で表せる。 しかし (2.2) の形の作用素はすべて $BKW(S_{n})$ に入るとは限らない。 特に

正線形作用素に限定すれば次の定理が得られる。
定理 2.6([13, 23]). $T\geq 0,$ $||T||=1$ とする。 $n=2k$ 又は $2k+1$ とする。 このとき、$T\in BKW(S_{n})$ であるための必要十分条件は(Tf)(t)$= \sum_{j=0}^{k}a_{j}(t)f(x_{j}(t))$,$f\in C(I)$ ,$t\in I$,

ここで(i) $\Sigma_{j=0}^{k}a_{j}(t)=1$ ,(ii)$x_{j}(t)\in I_{\text{、}}$$a_{j}(t)\geq 0\forall j,t\in I$,

しかし $x_{j}(t)$ は連続である必要はない、(iii) $n=2k$ のとき、 もし $x:(t_{0})=x_{j}(t_{0})$ かつ $a_{j}(t_{0})\neq 0$ なる$\{x_{j}(t_{0});0\leq j\leq k\}$があるならば、 0, $1\in$,(iv) $n=2k+1$ のとき. もし $x:(t_{0})=x_{j}(t_{0})$ かつ
は $1\in\{x_{j}(t_{0});0\leq j\leq k\}$ ,(v)$t_{0}$$\sum_{j=0}^{k}a_{j}(t)\delta_{x_{\dot{f}}(t)}$は weak1-連続 in$t$.

$a_{j}(t_{0})\neq 0$なる$t_{0}$があるならば、 0 又

13のときは [10] にあり、 一般のときは正作用素でない場合の表現は、
の
の表現
の場合は一
[13] にある。 しかし複雑であり、 面白味も少ない。
を求めるのではなく、 その中の特別な形をもつもの、 たとえば $x,Q$ ), $x_{2}Q$ ) を連続関数で、$n\ovalbox{\tt\small REJECT} 2$$[14]_{\backslash }n\ovalbox{\tt\small REJECT} 3$

一$\ovalbox{\tt\small REJECT}$$x.(t)<x_{2}\mathrm{Q})\forall t\mathrm{C}I,$$x_{i}(I)CI$とするとき、$(T_{0}f)(f)=f(x_{1}(t))-f(x_{2}(t))$ ,とする。

$T_{0}$$BKW(\ovalbox{\tt\small REJECT})$$f\in C(I)$

がいつ $BKW(S_{n})$ に入るかという問題が考えられる。 そのような $x_{1}(t),$ $x_{2}(t)$は無数にあるから$G_{n}=\{(x_{1}(t), x_{2}(t))\in I^{2};T_{0}\in BKW(S_{n}),t\in I\}$の集合を決定する問題でもある。 定理 23, 5 を適用すると$G_{n}=${ $(x,y)\in I^{2};x<y,$ $f(x)=1$ and $f(y)=-1$ for someを決定することである。 この集合

$G_{n}$$f\in S_{n},$ $||f||_{\infty}=1$}

は $n=3,4$ のときは [10] で記述されている。

「2」

次に sequential の場合をみよう。 $BKW(S)\subset s- BKW(S)$ であった。 $BKW(S)\neq$
s-BKW(S) である場合があることを最初に指摘したのは、 Scheffold であった。
をの孤立点ではない点とする。 $S=\{f\in$
を Stonian 空間とし、定理 2.7([32]).
$C(\Omega);f(x_{0})=0\}$ とすると $I\not\in BKW(S)$ かつ $I\in s- BKW(S)$ である。
$\Omega$$\Omega$$x_{0}$の典型的な例は上の条件を満たすのイデアルである。 少し一般化しての極大イデアル空間である。 上の $S$ はを空でないの閉部分集合とし、 イデアル

$L^{\infty}[0,1]$$\Omega$$C(\Omega)$$\ovalbox{\tt\small REJECT}=$$\Gamma$$\Omega${ $f\in C(\Omega);f=0$ on }$\Gamma$について考える。 このとき uniquness 集合は簡単に得られる。

命題 2.8([15]).
$U_{S_{0}}(M_{1}(\Omega))=\{\mu\in M_{1}(\Omega);||\mu||=1, \mu_{|\Gamma}=0\}$

扱う作用素は合成作用素にする。

$\varphi$を$\Omegaarrow\Omega$$C_{\varphi}f=f\circ\varphi,$が得られる。

$\varphi=\mathrm{i}\mathrm{d}$.

の連続写像とする。 すると合成作用素$\forall f\in C(\Omega)$のとき $C_{\varphi}=I$ である。

定理 29([15]). $X=C(\Omega)$ とする。 $C_{\varphi}\in BKW(S_{0})$ であるための必要十分条件はである。

$\varphi^{-1}(\Gamma)=\emptyset$

14sequential の場合は少し複雑である。 それを述べるために、 次の定義をする。 $E$ を空でないの閉集合とする。

$\Omega$

定義 210([15]). $E$ が quasi G,-集合であるとは$E=\cap\overline{U}_{n}n=1\infty$である$\Omega$

の開集合列

空でない閉

$G_{\delta}$$\{U_{n}\}_{n}$$U_{n+1}\subset U_{n}$$\mathrm{m}\mathrm{d}$が存在するときにいう。

-集合は quasi$G_{\delta}$-集合である。しかし逆は成立しない。

定理 2.15([15]). $X=C(\Omega)$ とする。 $C_{\varphi}\in s- BKW(S_{0})$ であるための必要十分条件は$\varphi^{-1}(\Gamma)$

が quasi G,-集合を含まない。

$L^{\infty}[0,1]$の極大イデアル空間の各点は quasi G,-集合でないが、他にもそのような集合は数多く存在する。

\S 3. $X=$ 関数環のとき。
「 1 」

52

で $A$ の Shilov 境界を表す。
の $X=C(\Omega)$ の$X=A$ を関数環とする。
ときの結果が $X=A=A(\partial A)$ のときに成立するかという問題が生ずる。 定理 23 は次の形になる。
$\partial A$

定理 3.1([16, Theorem 2]). $T$ を $X=A$ 上の線形作用素で、 $||T||=1$ とする。 $S\subset A$とする。 $T\in BKW(S)$ である必要十分条件は$T^{*}(\partial A)\subset U_{S}(A_{1}^{*})$.

を単位開円板とし、 $A(D)$ を disk 環とする。 この上の Korovkin 型定理を考える上で、
試験関数を
$D$

$S_{n}=1,$ $z,$ $z^{2},$ $\ldots,$ $z^{n}$とする。 高橋氏 [33] は、た。 2 つの関数$\psi,$$\varphi$で張られる部分空間

が有限 Blaschke 積のとき、 $C_{\varphi}\in BKW(S_{1})$ となることを示しに対して$\varphi$$(\psi C_{\varphi})(f)=\psi\cdot(f\mathrm{o}\varphi)$,$f\in A(D)$と定義する。
定理 3.2([16]). $X=A(D)$ とする。

$BKW(S)=$ {$\psi C_{\varphi};\psi,$$\varphi$は有限 Blaschke 積}

15
定理 33([16]). $X=A(D)$ とする。 $n\geq 2$ のとき、 $BKW(\{1, z^{n}\})=\emptyset$ である。

又高橋氏 [33, Theorem 1] &ま$\frac{a_{1}C_{\varphi 1}+a_{2}C_{\varphi 2}}{||a_{1}C_{\varphi_{1}}+a_{2}C_{\varphi 2}||}\in BKW(S_{2})$,$\varphi_{1},$有限 Blaschke 積$\varphi_{2}$であることを示した。 しかし $BKW(S_{2})$ は上の形以外のものが存在し、かなり複雑である。

まだ完全な記述はできていない [7]。個人的には $BKW(S_{2})$ の決定は興味ある問題である。
の領域で、 試験関数が$C^{n}$$S_{n}=\{1, z_{1}, z_{2}, \ldots, z_{n}\}$のときは、 古典的空間の $BKW(S_{n})$ を決定することは可能である。

定理 34([17]). $X=A(D^{n})$ polydisk 環とし、 $||T||=1$ とする。 $T\in BKW(S_{n})$ である必要十分条件は(Tf)(z) $=u(z)f(\Phi(z))$ ,ここで $u$ は inner 関数、$\Phi$は$D^{n}$から$D^{n}$$z\in\overline{D},$$f\in A(D^{n})$への inner 写像である。

定理 35([17]). $X=A(B_{n})$ ball 環とし、 $||T||=1$ とする$\text{。}$$n\geq 2$ のとき、 $T\in

BKW(S_{n})$である必要十分条件は$(Tf)(z)=cf(\Phi(z))$ ,
ここで

$c$

は $|c|=1$ である定数、$\Phi$

は$B_{n}$$z\in\overline{B}_{n},$$f\in A(B_{n})$,の automorphism

又は$(Tf)(z)=cf(\zeta 0)$ ,ここで $|c|=1,$$\zeta_{0}\in\partial B_{n}$$z\in\overline{B}_{n}$,$f\in A(B_{n})$,.

について考えてみる。 この空間は separable でないから、 この空間において s-BKW を考えるのはそぐわないように思われる。 し力) し続ける。 $C=C(\partial D)$
「

を

2」

$\partial D$$X=L$ “$(\partial D)$

上の連続関数の空間とする。

命題 36([11]). $X=L$ “$(\partial D)$とする。 $I\not\in s- BKW(C)$ である。

Korovkin の定理にある $\{1, x, x^{2}\}$ にあてはまる試験関数空間はか。 Sarason[29] は次の空間を導入した :,$QC=(H^{\infty}+C)\cap\overline{(H^{\infty}+C)}$

ここで$H^{\infty}$$L^{\infty}$$QA=QC\cap H$“.

は $D$ 上 bounded analytic な関数全体である。 $QC$ 空間はいては重要な役目を果たしてきた、 [18, 参照]$\text{。}$においては何になる$H^{\infty},$$L^{\infty}$$QC$ 空間は考え方にもよるが

の研究にお
空間に較

$L^{\infty}$

16
べてかなり小さな空間とも考えられる。 $QC$ 関数はの極大イデアル空間の点を分離しないから、 定理 23 より $I\not\in BKW(QC)$ である。 [18] の結果の応用として$M(L^{\infty})$$M(L^{\alpha})$

次を示すことができる。
定理 3.7([11]). $X=L^{\infty}(\partial D)$ とする。 $I\in s-BKW(QC)$ である。
これにより $QC$ は $BKW\neq s-BKW$ となる例を与えている (\S 2 参照) 。次はある。

$H^{\infty}$版で定理 3.8([11]). $X=H^{\infty}(\partial D)$ とする。 $I\in s-BKW(QA)$ である。

上記に関連して Lotz [21] ([12] 参照) は次の定理を示している。
定理 39.

$\{T_{n}\}_{n}$を$L^{\infty}$

上の線形作用素の列で、 $||T_{n}||arrow 1$ とする。
$||T_{n}f-f||_{\infty}arrow 0\forall f\in L^{\infty}$

ならば $||T_{n}-I||arrow \mathrm{O}$ である。

定理 38, 9 より次を得ることができる。
定理 3.10([12]).

$\{T_{n}\}_{n}$を上の線形作用素の列で、 $||T_{n}||arrow 1$ とする。

$H^{\infty}$$||T_{n}f-f||_{\infty}arrow 0\forall f\in QA$

ならば $||T_{n}-I||arrow \mathrm{O}$ である。 つまり $I\in s- BKW(QA)$ である。 この応用として次が得られる。

定理 3.11([12]).

$\{T_{n}\}_{n}$を$H^{\infty}$

上の線形作用素の列で、 $||T_{n}||arrow 1$ とする。

$||T_{n}f-f||_{\infty}arrow 0\forall f\in H^{\infty}$

ならば $||T_{n}-I||arrow \mathrm{O}$ である。

簡単にいうと、$\{T_{n}\}_{n}$が $I$ こ強収束するならノルム収束する。 正確さに少し欠けるが、は合成作用素の空間でノルム位相で孤立点であるが、 強収束位相でもそうであることをいっている。 定理 310 に関連して次の問題が生ずる。

$I=C_{z}$問題 312. $X=H^{\infty}(D)$ とする。

$\varphi$

を $D$ の seff analytic map とするとき、 いっ$C_{\varphi}\in s-$$BKW(QA)$ であるか。

最近 $[9, 22]$ で $H^{\infty}(D)$ の合成作用素の空間のノルム位相にょる連結成分が決定されてぃる。 作用素論の立場から見ると強収束位相の連結成分を決定することは興味ある問題である。 上記の問題はそれに対する橋渡しの役目をすると考えてぃる。

17の時に成立するかは分からなの場合の結果は定理 3.11 のい。 $D$ のときは定理 3.10 にある $QA$ 関数を経由して得られるが、 多変数のときにはその役目を果たす関数空間が分からないからである。
$H^{\otimes}(B\mapsto, H^{\alpha}(D^{n})$$H^{\otimes}(D)$\S 4. 関連する話題。
「 1 」

$X$

を Banach 空間で、 $S$ を $X$ の部分空間とする。 $X$ 上の次を満たす線形作用

素 $P$ は $S$ への projection と呼ばれる :$P(X)\subset S$

projection をもつような$P(f)=f\forall f\in S$.

,の決定されているのかについては私には不明である。

$S$

命題 4.1([40]). $I\cdot\in s- BKW(S)$ ならば$S$は j) レム 1 の projection をもたない。

もう少し条件を弱める。次を満たす線形作用素 $Q$ は$Q(f)=f,$$\forall f\in S,$$S$

への weak projection と呼ばれる :$Q\neq I$.

projection は weak projection である o
命題 4.2. $I\in s- BKW(S)$ ならば $S$ はノル$\text{ム}$1 の weak projection をもたない。

このように weak projection をもつかもたないかは、恒等作用素 $I$ が s-BKW(S) に含まれるかどうかが関係している。 $S$ がノルム 1 の weak projection をもつなら $I\not\in s- BKW(S)$である. ノノレム 1 の weak projection をもつ $S$ について [4] で調べられて$X=C(\Omega)$とする。 $S$ を $C(\Omega)$ の$C^{*}$$\mathrm{A}1$

る。

-部分環で $1\in S$ とする。 $x\in\Omega$ に対して$E(x)=\{y\in\Omega;f(y)=f(x)\forall f\in S\}$と定義する。 $\{E(x);x\in\Omega\}$ は $S$ {こよる Shilov decomposition である o
命題 43 $([4])^{-}$. 次を満たす空でない定する。

$\Omega$の開集合 $U$ と連続写像$\varphi$:$Uarrow\Omega$の存在を仮(i) $\varphi(x)\in E(x),$ $x\in U$,(ii) $\varphi(x)\neq x$

for $x\in U$ .

そのとき、 $S$ は j) レム 1 の weak projection をもつ。

この命題の逆が成立すると予想しているが、 未解決である。 部分的な結果としては、$E(x)$ が可算集合、$\forall x\in\Omega$18が成り立つときは、 逆が成立する [4]。

Banach 空間 $X$ が与えられているとする。 $X$ に同値なノルムはいろいろ導入
することができる。 ノルムによって BKW-空間は変わるであろうか。その点につぃて述べる。 $C^{(1)}(I)$ を
上の一階連続微分可能な実数値関数の空間とする。 $C^{(1)}(I)$ に次のノルム「 $2$ 」

$I$を導入したものを$C_{M}^{(1)}(I),$$C_{\Sigma}^{(1)}(I),$$C_{\mathrm{c}}^{(1)}(I)$で表すことにする。

$||f||_{M}= \max\{||f||_{\infty}, ||f’||_{\infty}\}$$||f||_{\Sigma}=||f||_{\infty}+||f’||_{\infty}$,,$||f||_{\mathrm{c}}=|||f(t)|+|f’(t)|||_{\infty}$.

するとそれらは $C^{(1)}(I)$ と同型な Banach 空間となる。
定理 4.4([6]). i) $X=C_{M}^{(1)}(I)$ のとき、 $I\in BKW(S_{3})$ かつ $I\not\in BKW(S_{2})$ .

(ii) $X=C_{\Sigma}^{(1)}(I)$ のとき、 I\not\in BKW(S2)、 しかし $I\in BKW(S_{3})$ ?
$\mathrm{i}\mathrm{i}\mathrm{i})X=C_{\mathrm{c}}^{(1)}(I)$のとき、 I\in BKW(S2)、 しかし $I\not\in BKW(S_{1})$?

このようにノルムの入れ方で $BKW$ 空間は変わってくる。
「」. で述べたことに関係して、 $X=C_{M}^{(1)}(I)$とするとき、 $I\in BKW(S_{3})$ であるからへの weak projection は存在しない。 よって $S_{3}\subset E\subset M_{M}^{(1)}(I)$ なる閉部分から$E$へもない。 では
空間についてはどうであろうか。 まだ分かっていない。他の空,間に対しても同じである。
$1$$C_{M}^{(1)}(I)$$S_{3}$$S_{2}$$S_{1}$

3」

Wulbert は [40] で $X=L^{1}[0,1],$ $S=\{1, \cos x, \sin x\}$ に対して $I\in BKW(S)$を示している。
を Hardy 空間とする。 Korovkin の定理の解析関数版は多くは知「$H^{1}(\partial D)$

られていないが、 次は非常に興味ある問題である。

問題 45. $X=H^{1}(\partial D)$ とする。 $I\in BKW(\{1, z, z^{2}\})$ ?
であるが、 $H^{1*}=L^{\infty}/zH^{\infty}$ である。 Wulbert は L

unit ba 兇涼偲世寮の unit ball の端点は前者に較べると複質を巧く取り出して証明をしているが、雑であり、 上の問題の解決のためには何か新しいアイデアが必要のように思われる。
$L^{1*}=L^{\infty}$$L^{\infty}/zH^{\infty}$

参考文献

1. F. Altomare and M. Campiti, Korovkin-Type Approximation Theory and Its Applications (1994), de Gruyter, Berln and New York.

2. F. Altomare and I. Rosa, Approximation by positive operators in the space, Anal. Num\’er. Thir. Approx. 18(1989), 1-11.
$C^{(\mathrm{p})}([a, b])$

19
3. H. Berens and G. G. Lorentz, Geometric theory of Korovkin sets, J. Approx. Theory
15 (1975), 161-189.
4. S. Canoy, Jr., G. Hirasawa and K. Izuchi, Weak projections on unital commutative
C’-algebras. Nihonkai Math. J. 10 (1999), no. 2, 157-164.
5. J. Garnett, Bounded Analytic Function, Academic Press, 1981.
6. G. Hirasawa, K. Izuchi and S. Watanabe, Korovkin type approximation theoremson the space of continuously differentiable functions. Approx. Theory Appl.
16 (2000), no. 2, 19-27.
7. G. Hirasawa, K. Izuchi and K. Kasuga, Korovkin type approximation theorems on
the disk algebra. Hokkaido Math. J. 29 (2000), no. 1, 103-117.
$(\mathrm{N}.\mathrm{S}.)$8. K. Hoffman, Banach Spaces of Analytic Functions, Prentice Hall, 1962.
9. T. Hosokawa, K. Izuch, and D. Zheng, Isolated points and essential components of, Proc. Amer. Math. Soc., to appear.
composition operators on
10. T. Ishii and K. Izuchi BKW-Operators for Chebyshev systems. Tokyo J. Math. 22(1999), no. 2, 375-389.
for $QC$-test functions. Proc.
11. K. Izuchi, Asequential type Korovkin theorem on
Amer. Math. Soc. 125 (1997), no. 4, 1153-1159.
which converge strongly to the identity
12. K. Izuchi, Sequences of operators on
operator, unpublished, 1997.
13. K. Izuchi and S. Takahasi, BKW-Operators on the interval $[0, 1]$ . Rend. Circ. Mat.
Palermo (2) 46 (1997), no. 3, 477-489.
14. K. Izuchi and S. Takahasi, BKW-Operators on the interval and the sequence spaces.
J. Approx. Theory 87 (1996), no. 2, 159-169.
15. K. Izuchi, H. Takagi and S. Watanabe, Sequential Korovkin type theorems andweighted composition operators. Acta Sci. Math. (Szeged) 62 (1996), no. 1-2,
161-174.
16. K. Izuchi, H. Takagi and S. Watanabe, Sequential BKW-Operators and function
algebras. J. Approx. Theory 85 (1996), no. 2, 185-200.
17. K. Izuchi, Y. Matsugu and H. Takagi, BKW-Operators on the polydisc and ball
algebras. Far East J. Math. Sci. 3 (1995), no. 1, 9-22.
18. K. Izuchi, Countably generated Douglas algebras, hans. Amer. Math. Soc. 299(1987), 177-192.
19. P. P. Korovkin, On convergence of linear opereators in the space of continuousfunctions, Dokl. Akad. Nauk. SSSR(N S)90(1953), 961-964. [In Russian]$H^{\infty}$$L^{\infty}$$L^{\infty}$

20
20. P. P. Korovkin, Linear Operators and Approximation Theory (1960), Hindustan
Pub 馳石 , Delhi.
21. H. P. Lotz, Uniform convergence of operators on
and sinilar spaces, Math. Z.
190 (1985), 207-220.
22. B. MacCluer, S. Ohno, and R. Zhao, Topological structure of the space of composition operators on, Integral Eq. Op. Th. 40 (2001), 481-494.
23. C. Miccehelli, Chebychev subspaces and convergence of positive linear operators,$\mathrm{g}$$L^{\infty}$$H^{\infty}$

Proc. Amer. Math. Soc. 40 (1973), 448-452.

24. T. Nishishiraho, Korovkin sets and mean ergodic theorems. J. Convex Anal. 5(1998), no. 1, 147-151.

25. T. Nishishiraho, Korovkin type approximation closures for vector-vaIued functions.
Ryukyu Math. J. 9(1996), 53-69.
26. T. Nishishiraho, Approximation of the Korovkin type for vector-valued functions.
Ryukyu Math. J. 7(1994), 65-81.
27. S. Romaneffi, Universal Korovkin closures with respect to lnear operators on commutative Banach mlgebras. Math. Japon. 37 (1992), no. 3,.
28. W. Roth, AKorovkin type theorem for weighted spaces of continuous functions.
. Austral. Math. Soc. 55 (1997), no. 2, 239-248.
29. D. Sarason, Functions of vanishing mean oscillation, Trams. Amer. Math. Soc. 207$427\triangleleft 43$$\mathrm{B}\mathrm{u}\mathrm{U}$(1975), 391-405.

30. R. Sato, Acounterexample to adiscrete Korovkin theorem. J. Approx. Theory 64(1991), no. 2, 235-237.
31. R. Sato and S. Takahasi, Adiscrete Korovkin theorem and BKW-Operators. J.
Approx. Theory 84 (1996), no. 3, 351-366.
32. E. Schefford, Uber die punktweise Kornvergenz von Operatoren in $C(X)$ , Rev.Acad.
Ci, Zaragoza, 28 (1973), 5-12.
33. S. Takahasi, Bohman-Korovkin-Wulbert operators from afimction space into acommutative -algebra for special test functions. Tohoku Math. J. (2) 48 (1996), no.
1, 139-148.
34. S. Takahasi, $(T, E)$ -Korovkin closurae in normed spaces and-operators. J.
Approx. Theory 82 (1995), no. 3,.
35. S. Takahaei,-operators on function spacae. Proceedings of the Second International Conference in Functional Analysis and Approximation Theory (Acquaffedda
Maratea, 1992). Rend. Circ. Mat. Palermo (2) Suppl. No. 33 (1993), 479-488.
36. S. Takahasi, Bohman-Korovkin-Wulbert operators on normed spaces. J. Approx.
Theory 72 (1993), no. 2, 174-184.
$C^{*}$$\mathrm{B}\mathrm{K}\mathrm{W}$$34\mathrm{k}351$$\mathrm{B}\mathrm{K}\mathrm{W}$$\mathrm{d}\mathrm{i}$2137. S. Takahasi, Korovkin type theorem on $C[0,1]$ . Approximation, optimization andcomputing, 189-192, North-Holland, Amsterdam, 1990.
.
38. S. Takahasi, Bohman-Korovkin-Wulbert operators on $C[0,1]$ for
Nihonkai Math. J. 1(1990), no. 2, 155-159.
39. M. Uchiyama, Korovkin-type theorems for Schwarz maps and operator monotonefunctions in -algebras. Math. Z. 230 (1999), no. 4, 785-797.
40. D. E. Wulbert, Convergence of operators and Korovkin’s theorem, J. Approx. Theory 1(1968), 381-390.
の恒等作用素近似、 数理解析研究所講究録, 979 (1997), 50-56.
41. 泉池敬司、$\{1, x, x^{2}, x^{3}, x^{4}\}$$C^{*}$$L^{\infty}$

42 高橋眞映、 Korovkin type approximation theorems(1996), 1-9.

$\mathrm{I}_{\text{、}}$

数理解析研究所講究録, 946

43. 泉池敬司、 Korovkin type approximation theorems IL 数理解析研究所講究録, 946(1996), 10-17.
44. 高橋眞映、 Korovkin 型近似定理と線形作用素、 集中講義ノート、 新潟大学, 1994.