数理解析研究所講究録 1243 巻 2002 年 85-95

85
Cl-空間上のコロフキン定理
新潟工科大学渡邉

誠治 (Seiji Watanabe)

Niigata Institute of Technology

1. はじめに
以下の内容は、 平沢氏、 泉池氏との共同研究 ([11]) により得られた結果を中心として、$C^{(1)}([0,1])$$C(K)$

上のコロフキン定理について述べたものである。
をコンパクト・ハウスドルフ空間 $K$ 上の実数値連続関数空間とし、 $C(K)\ni f$[こ対して、 $||f||_{\infty}= \max\{|f(x)| :x\in K\}$

とおく.

$K=[0,1]$ のとき、 P. P. Korovkin は次の定理を示した o

Korovkin 近似定理 ([15])$(j=0,1,2)$ とする$\circ$$\{T_{n}\}$を $C([0,1])$ 上の正作用素列で $||T_{n}x^{j}-x^{j}||_{\infty}arrow 0$

このとき.

$||T_{n}f-f||_{\infty}arrow \mathrm{O}$$(\forall f\in C([0,1]))$である。

に対して収束していれば、 すべての $f\in C([0,1])$ に
3 個の関数族
対して収束することを主張しているわけで大変興味深い結果である。その後、 この近似定
これは、$\{1, x, x^{2}\}$

理は $C([0,1])$ を他の種々の関数空間や作用素空間、 バナツハ空間へ、 作用素も正作用素

から他の作用素族へ、 さらに関数族 $\{1, x, x^{2}\}$ も他の関数族へ変えて、 様々なコロフキン
定理が研究されてきた。
応用上は、 正値性を検証することが容易な場合 (例えば、 Bernstein 作用素) が多いが、正作用素と並んで、 興味深いのは縮小作用素の場合であろう。

コロフキンの定理は次のように一般的に定式化される。
$X$をバナッハ空間、 $S$ をその部分集合とする。

定義 1. 試験関数族 $S$ に対して、 (縮小作用素に関する) コロフキン定理が成り立つ

g線$X$

上の縮小作用素列 $\{T_{n}\}(i.e.||T_{n}||\leq 1)$ に対して $||T_{n}s-s||arrow \mathrm{O}(\forall s\in S)$ なら$||T_{n}x-x||arrow \mathrm{O}(\forall x\in X)$$X$に順序が与えられているときは、

定義 2. 試験関数族 $S$ に対して、 (正作用素に関する) コロフキン定理が成り立つ

86
$X$

上の正作用素列$\{T_{n}\}$に対して $||T_{n}s-s||arrow \mathrm{O}(\forall s\in S)$ なら $||T_{n}x-x||arrow \mathrm{O}(\forall x\in X)$

この定義で、列をネットで置き換えたとき、「ネットタイプのコロフキン定理が成り立つ」 という。

定義 3. $Kor^{1}(S)=\{x\in X$ ;X 上の縮小作用素列$\{T_{n}\}$に対して $||T_{n}s-s||arrow \mathrm{O}(\forall s\in S)$

なら $||T_{n}x-x||arrow 0$ }定義 4. $Kor^{+}(S)=\{x\in X$ ;X 上の正作用素列$\{T_{n}\}$に対して $||T_{n}s-s||arrow \mathrm{O}(\forall s\in S)$

なら $||T_{n}x-x||arrow 0$ }$Kor^{1}(S),$ $Kor^{+}(S)$を、 それぞれ縮小作用素、 正作用素に関する $S$ のコロフキン閉包という。 $Kor^{1}(S)=X$ , または $Kor^{+}(S)=X$ は $S$ に対してコロフキン定理が成り立っことを意味する。

この定義で列をネットで置き換えたものを、 $K\sigma r^{n+}(S),$ $Kor^{n1}(S)$ で表す。
$[12, \mathrm{T}\mathrm{h}\infty \mathrm{r}\mathrm{e}\mathrm{m}1]$

で $X$ が可分のとき、 コロフキン定理が成り立つことと、 ネットタイ

プのコロフキン定理が成り立つことは同値であることが示されている。 また、 そこでの議論から $X$ が可分のとき $Kor^{1}(S)=Kor^{n1}(S)$ がわかる。

Wulbert(1968), Shashkin(1969), Beren-Lorenz(1975), Altomare Boccatio(1982) $

.

$[]’$

より、 $C(K)$ では正作用素と縮小作用素に関するネットタイプのコロフキン定理は同値であることが示された 特に、 Altomare-Boccatio は $C(K)\supset S\ni 1$ に対して、 $Kor^{n1}(S)=$$\text{。}$$Kor^{n+}(S)$を示した。 $C(K)$ が可分のときは $Kor^{n1}(S)=Kor^{n+}(S)=Kor^{1}(S)=Kor^{+}(S)$となり、 Korovkin 近似定理で正作用素を縮小作用素で置き換えられる。
次に、 $C^{(1)}([0,1])$ を $[0,1]$ 上の実数値連続微分可能関数の全体とする。
$C^{(1)}([0,1])$

におけるノルムと正値性を次のように与える。

$\mathrm{J}^{\mathrm{e}}$$f\succ\prime 0$$f\geq 0,$$f’\geq 0(\Leftrightarrow f(0)\geq 0, f’\geq 0)(f\in C^{(1)}([0,1]))$$||f||_{m}= \max\{|f(0)|, ||f’||\}(f\in C^{(1)}([0,1]))$

このとき、 $C^{(1)}([0,1])$ と $C([0,1])\oplus\iota\infty R=C([0,1]\cup\{w\})$ は対応 : $frightarrow(f’, f(0))$

により、 等距離線形順序同型である。 したがって、 $C^{(1)}([0,1])$ は順序に関しても、 ノルム

に関しても連続関数空間と見なせるので議論が $C(K)$ の場合に帰着される。
上で述べたことより、 $C^{(1)}([0,1])$ では$||\cdot||_{m}$$\succ_{r}$による正作用素に関するコロフキン定理とによる縮小作用素に関するコロフキン定理は同値である。

これらのことより、 $C^{(1)}([0,1])$ では$\succ_{r}$と$||\cdot||_{m}$のもとでは、 試験関数族 $\{1, x, x^{2}, x^{3}\}$87に対して、 コロフキン定理が成り立つことが予想される。実際、 1989 年 Altomare と Rasa
は $\{1, x, x^{2}, x^{3}\}$ に対して、 正作用素 (したがって、 縮小作用素) に関するコロフキン定理が成り立ち、 $\{1, x, x^{2}\}$ に対しては成り立たないことを示した ([3])。 証明はコロフキン閉包の特徴付けを $C([0,1]\cup\{w\})$ を通して行うものである。 縮小作用素に関しては、 以下の

我々の方法でも直接示せる。 今までに得られている $C^{(1)}([0,1])$ 上のコロフキン定理に関する結果は、と$\succ_{r}$$||\cdot||_{m}$またはその変形したものが多いように思われる。 しかし、$||\cdot||_{m}$以外のノルムの場合は、 連続関数空間の場合に簡単に帰着できない。

2. 種々のノルムに対するコロフキン定理
以下では、 いくつかのノルムの場合に $\{1, x, x^{2}, \cdots, x^{n}, \cdots\}\supset S$ に対して、 縮小作用

素に関するコロフキン定理が成り立つかどうかを考える。
特に断らない限り、 コロフキン定理とは縮小作用素に関するものとする。
$C^{(1\rangle}([0,1])\ni f$に対して、 次のノルムを考える。

$||f||_{M}= \max\{||f||_{\infty}, ||f’||_{\infty}\}$$||f||_{m}= \max\{|f(0)|, ||f’||_{\infty}\}$$||f||_{\Sigma}=||f||_{\infty}+||f’||_{\infty}$$||f||_{\sigma}=|f(0)|+||f’||_{\infty}$$||f||_{c}= \sup\{|f(x)|+|f’(x)| :$f(x)=f(0)+ \int_{0}^{x}f’(t)dt$$||f||_{m}\leq||f||_{M}\leq||f||_{\sigma}\leq||f||_{\Sigma}$

ノルム$C_{\sigma}^{(1)}([0,1]),$$||\cdot||_{M}$$||f||_{\Sigma}/2\leq||f||_{M}\leq||f||_{c}\leq||f||_{\Sigma}$, かつ$||f||_{\sigma}/2\leq$. 即ち. これらのノルムはすべて同値である.

を持った $C^{(1)}([0,1])$ を $C_{M}^{(1)}([0,1])$ で表す。 $C_{m}^{(1)}([0,1])$ , C\Sigma (lゝ ([0, 1]),

$C_{c}^{(1)}([0,1])$$C_{M}^{(1)}([0,1])$より,

x\in[0,1]\}$も同様とする。

上の有界線形作用素 $T$ のノルムを $||T||_{M}$ で表す。 $||T||_{m},$$||T||_{\Sigma},$$||T||_{\sigma}$, ||T||。

も同様とする。
次の定理の $C_{m}^{(1)}([0,1])$ に対しては、 [3] で別の方法を用いて示されて$\mathrm{A}1$

る。

定理 5. 試験関数族 $\{1, x, x^{2}, x^{3}\}$ に対して、 $C_{M}^{(1)}([0,1]),$ $C_{m}^{(1)}([0,1])$ 上でコロフキン定理が成り立つ。

88
証明の概略.

$\{T_{n}\}_{n}$を $C_{M}^{(1)}([0,1])$ 上の縮小作用素列で、$||T_{n}x^{j}-x^{j}||_{M}arrow 0$$(j=0,1,2,3)$とする。 このとき、 $||T_{n}f-f||_{M}arrow 0(\forall f\in C_{M}^{(1)}([0,1]))$ を示す。

まず、$(V_{n}g)(x)=(T_{n}( \int_{0}^{x}g(t)dt))’$for $g\in C([0,1])$とおくと、 $||T_{n}||_{M}\leq 1$ より、 すべての $g\in C([0,1])$ に対して、$||V_{n}g||_{\infty} \leq||T_{n}(\int_{0}^{x}g(t)dt)||_{M}\leq||\int_{0}^{x}g(t)dt||_{M}\leq||g||_{\infty}$となるので、$j=0,1,2$$V_{n}$

は $C([0,1])$ 上の縮小作用素となる。

に対して、$||V_{n}x^{j}-x^{j}||_{\infty} \leq||\frac{1}{j+1}T_{n}x^{j+1}-\frac{1}{j+1}x^{j+1}||_{M}arrow 0$であるから、 Korov 廊近似定理より$||V_{n}g-g||_{\infty}arrow \mathrm{O}(\forall g\in C([0,1])$$||(T_{n}( \int_{0}^{x}g(t)dt))’-g||_{\infty}arrow 0(\forall g\in C([0,1]))$. すなわち、.

このとき、 $f(x)=f(0)+ \int_{0}^{x}f’(t)dt(\forall f\in C^{(1)}([0,1]))$ を用いると、$||(T_{n}f)’-f’||_{\infty}arrow 0$,$||T_{n}f-(T_{n}f)(0)-f+f(0)||_{\infty}arrow 0(\forall f\in C^{(1)}([0,1]))$が示せる。 したがって、$(T_{n}f)(0)arrow f(0)(\forall f\in C^{(1)}([0,1]))$を示せば定理の証明が終わる。 そのために、$F_{n}(f)=(T_{n}f)(0)$とおくと、$\{T_{n}\}_{n}$for $f\in C_{M}^{(1)}([0,1])$ .

は縮小作用素列だから、$|F_{n}(f)|\leq||\tau_{n}f||_{\infty}\leq||\tau_{n}f||_{M}\leq||f||_{M}$

ゆえに、$F_{n}$

for $f\in C_{M}^{(1)}([0,1])$ .

は $C_{M}^{(1)}([0,1])$ 上の有界線形汎関数で $||F_{n}||\leq 1$ となる。 ところが、$C_{M}^{(1)}([0,1])\ni farrow(f, f’)\in C([0,1])\oplus\iota\infty C([0,1])$89は等距離だから、 ハーン・バナッハとリース・角谷の定理より $[0, 1]$ 上の有界ボレル測度$\mu_{n}$と$\nu_{n}$が存在して、$||\mu_{n}||+||\nu_{n}||\leq 1$,$(T_{n}f)(0)=F_{n}(f)= \int_{[0,1]}fd\mu_{n}+\int_{[0,1]}f’ d\nu_{n}(\forall f\in C_{M}^{(1)}([0,1]))$と表示できる。 証明の最初の仮定から、$||T_{n}1-$,$||T_{n}(1-x)-(1-x)||_{\infty}arrow 0$$||\nu||arrow 0$

かつ $\int_{[0,1]}(1-x)d\mu_{n}arrow 1$ .

月沖$arrow 0$だから、$||\mu||arrow 1,$

したがって、 $\int_{[0,1]}hd\mu_{n}arrow h(0)(\forall h\in C([0,1]))$ となり、 $(T_{n}f)(0)arrow f(0)(\forall f\in$$C^{(1)}([0,1]))$がわかる。 証明終。

定理 6. 試験関数族 $\{1, x, x^{2}\}$ に対して、 $C_{M}^{(1)}([0,1]),$ $C_{m}^{(1)}([0,1]),$$C_{\sigma}^{(1)}([0,1])$$C_{\Sigma}^{(1)}([0,1])$, および上ではコロフキン定理は成り立たない。 .

証明の概略. $C_{M}^{(1)}([0,1]),$ $C_{m}^{(1)}([0,1]),$$C_{\Sigma}^{(1)}([0,1])$, および$C_{\sigma}^{(1)}([0,1])$

上で $\{1, x, x^{2}\}$ (こ対して、 コロフキン定理が成り立たないような縮小作用素列 $\{T_{n}\}_{n}$ を構成する。
$n\geq 2$[こ対して.

$t_{n}=1/2-1/n,$ $s_{n}=1/2+1/n$ とし、 $f\in C([0,1])$ こ対して、 次のようにおく。
$t)$$\mathrm{m}_{2}f0+f1-f(t_{n}))(t-t_{n})+f(t_{n})$$(J_{n}f)(t)=\{nnf(f(\{$$f(s_{n})$一f(0)+2f 史) $(t-1/2)$

十

if
if

f(0+2f 史 if
if

$t)$

$0\leq t\leq t_{n}$$t_{n}\leq t\leq 1/2$

$1/2\leq t\leq s_{n}$$s_{n}\leq t\leq 1$

.

このとき、
$(L_{n}f)(x)=f(0)+ \int_{0}^{x}(J_{n}f’)(t)dt$とおくと、$L_{n}$

for $f\in C^{(1)}([0,1])$

は $C^{(1)}([0,1])$ 上の線形作用素で、$L_{n}1=1,$ $L_{n}x=x$, かつ $L_{n}x^{2}=x^{2}$ .

さら (こ、 $f\in C^{(1)}([0,1])$ ?こ対して、 $||L_{n}f-f||_{\infty}\leq 4||f’||_{\infty}/n$ .
これより、$||L_{n}f||_{\infty}\leq||f||_{\infty}+4||f’||_{\infty}/n,$$|(L_{n}f)(0)|=|f(0)|,$$\mathrm{B}[searrow] \text{つ}||(L_{n}f)’||_{\infty}=||J_{n}f’||_{\infty}\leq||f’||_{\infty}$.

90
ゆえに、 $||L_{n}||_{M}\leq 1+4/n,$とおくと、$T_{n}= \frac{n}{n+4}L_{n}$$\{T_{n}\}_{n}$$||T_{n}||_{M}\leq 1,$

このとき、$||L_{n}||_{\Sigma}\leq 1+4/n$$||L_{n}||_{\sigma}\leq 1,$.

は $C^{(1)}([0,1])$ 上の線形作用素列で、$||T_{n}||_{m}\leq 1,$$||T_{n}||_{\Sigma}\leq 1,$$||T_{n}||_{\sigma}\leq 1$

.

に対して、

$\mathrm{j}=0,1,2$$\max\{||T_{n}x^{j}-x^{j}||_{M}, ||T_{n}x^{j}-x^{j}||_{m}, ||T_{n}x^{j}-x^{j}||_{\Sigma}, ||T_{n}x^{j}-x^{j}||_{\sigma}\}arrow 0$

ところが、 $||L_{n}x^{3}-x^{3}||_{M}\geq 3/4$ が示せるので、い。 ノル$\text{ム}$$C_{\sigma}^{(1)}([0,1])$

および$||\cdot||_{M},$

上でも$C_{\sigma}^{(1)}([0,1])$$||\cdot||_{m},$$||\cdot||_{\Sigma},$$\{T_{n}x^{3}\}_{n}$は$x^{3}$$\{T_{n}x^{3}\}_{n}$は$x^{3}$に$C_{M}^{(1)}$as$narrow\infty$.

([0, 1]) 上で収束しなはすべて同値であるから、 $C_{m}^{(1)}([0,1]),$$C_{\mathrm{Z}}^{(1)}([0,1])$,に収束しない。 結局 $C_{M}^{(1)}([0,1]),$ $C_{m}^{(1)}([0,1]),$$C_{\Sigma}^{(1)}([0,1])$,$||\cdot||_{\sigma}$

上で $\{1, x, x^{2}\}$ に対してコロフキン定理は成立しない。 証明終。

定理 5 で試験関数族 $\{1, x, x^{2}, x^{3}\}$ を 2 次関数まで下げることが出来ないことを定理 6は示している。 しかし、 c- ノルムでは次の定理 8 が成り立っ。
定理 8 を証明するために次の補題

補題 7.

$X$

$7([24,\mathrm{T}\mathrm{h}\mathrm{e}\mathrm{o}\mathrm{r}\mathrm{e}\mathrm{m}\mathrm{l}.2])$を必要とする。

をバナッハ空間、 $S$ を $X$ の閉線形部分空間とする。 共役空間

位球の$\mathrm{w}^{*}$の閉単-閉部分集合 $E$ で次の条件 ), ) を満たすものが存在するとする。
$\mathrm{b}$$\mathrm{a}$a)$||h||= \sup_{\varphi\in E}|\varphi(h)|$b)$\varphi\in E$

このとき、$X^{*}$$(\forall h\in X)$,と $\psi\in X^{*}(||\psi||\leq 1)$ が $S$ 上で $\varphi=\psi$ なら、 $\varphi=\psi$ である。
$\{T_{n}\}_{n}$が $X$ 上の縮小作用素列で、すべての $h\in S$ に対して $||T_{n}h-h||arrow \mathrm{O}$なら、 $||T_{n}f-f||arrow \mathrm{O}(\forall f\in X)$ である。

定理 8. 試験関数族 $\{1, x, x^{2}\}$ に対して、 $C_{c}^{(1)}([0,1])$ 上でコロフキン定理が成り立っ。
証明の概略. ノルム$||\cdot||_{c}$は次のように書き換えることが出来る。

$||f||_{c}= \max\{||f+f’||_{\infty}, ||f-f’||_{\infty}\}$$(f\in C_{c}^{(1)}([0,1]))$.

ゆえに、 対応$C_{c}^{(1)}([0,1])\ni farrow(f \dagger f’, f-f’)\in C([0,1])\oplus_{l\infty}C([0,1])$

は等距離線形である。 $x\in[0,1]$ に対して、$\delta_{x}f=f(x),$$\delta_{x}’f=f’(x)$,$(f\in C_{c}^{(1)}([0,1]))$

91
とおくと、

$\delta_{x}+\delta_{x}’$と$\delta_{x}-\delta_{x}’$は $C_{c}^{(1)}([0,1])$ 上の有界線形汎関数で、定理 8 を証明するために、 補題 7 を用いる。 $S$ を 1, $x,$$||\delta_{x}\pm\delta_{x}’||\leq 1$である。

の線形包とし、$x^{2}$$E=\{\delta_{x}+\delta_{x}’, \delta_{x}-\delta_{x}’ ; x\in[0,1]\}$とおくと、 $E$ は $C_{c}^{(1)}([0,1])$ の共役空間 $(C_{c}^{(1)}([0,1]))^{*}$ の閉単位球の W*-閉部分集合となる。 このとき、$||f||_{c}= \max\{\max_{0\leq x\leq 1}|(\delta_{x}+\delta_{x}’)f|,$$0 \leq x\leq 1\max|(\delta_{x}-\delta_{x}’)f|\}=\max_{\varphi\in E}|\varphi(f)|(\forall f\in C_{c}^{(1)}([0,1]))$.

すなわち、 補題の条件 a) が満たされる。

次に、 補題の条件 b) が成り立つことを示す。
$x_{0}\in[0,1]$に対して、$\psi+$$||\psi^{+}||\leq 1,$と$\psi^{-}$

を $C_{c}^{(1)}([0,1])$ 上の有界線形汎関数で$||\psi^{-}||\leq 1$$\psi^{+}(h)=(\delta_{x0}+\delta_{x\mathrm{o}}’)(h)$,$\psi^{-}(h)=(\delta_{x0}-\delta_{x_{0}}’)(h)$$(\forall h\in S)$とする。
$\psi+$$[0,1])$と$\psi^{-}$はハーン・バナッハの拡張定理によって、 $C([0,1])\oplus\iota\infty C([0,1])=C([0,1]\cup$

ヘノルムを変えないで拡張できるので、 $[0, 1]$ 上の有界ボレル測度$\mu^{+},$$\nu^{+},$$\mu^{-},$

を用いて $||\mu^{+}||+||\nu^{+}||\leq 1,$ $||\mu^{-}||+||\nu^{-}||\leq 1$ ,$\psi^{+}(g)=\int_{[0,1]}(g+g’)d\mu^{+}+\int_{[0,1]}(g-g’)d\nu^{+}$

for $g\in C_{c}^{1}([0,1])$ ,$\psi^{-}(g)=\int_{[0,1]}(g+g’)d\mu^{-}+\int_{[0,1]}(g-g’)d\nu^{-}$

for $g\in C_{c}^{1}([0,1])$と表示できる。 このとき、 補題の条件 b) を示すためには、 次の I.,

I.

$\mu^{+}=\delta_{x0}$$\mathrm{I}\mathrm{I}$かつ $\nu^{+}=0$ .

垣. $\mu^{-}=0$ かつ $\nu^{-}=\delta_{x0}$ .

I. の証明まず、$\mu^{+}\geq 0,$$\nu^{+}\geq 0$

かつ $||\mu^{+}||+||\nu^{+}||=1$ .

が示せる。 次に、
$f(x)=- \frac{1}{5}x^{2}+\frac{2}{5}(1+x_{0})x+\frac{1}{5}(3-2x_{0}-x_{0}^{2})$とおくと、$f+f’=- \frac{1}{5}x^{2}+\frac{2}{5}x_{0}x+1-\frac{1}{5}x_{0}^{2}$,.

. を示せばよい。

$\nu^{-}$

92$f-f’=- \frac{1}{5}x^{2}+\frac{2}{5}(2+x_{0})x+\frac{1}{5}(1-4x_{0}-x_{0}^{2})$.

$(f+f’)(x_{0})=1,$ $||f+f’||_{\infty}=1,$.

したがって、$||f-f’||_{\infty}<1$$|(f+f’)(x)|=1$ となるのは $x=x_{0}$ のとき [こ限る事に注意すると、$||\mu^{+}||=1$

だから、$\mathrm{s}\mathrm{u}\mathrm{p}\mathrm{p}\mu^{+}=\{x_{0}\}$

.

を得る。

$\mu^{+}=\delta_{x\mathrm{o}}$垣. の証明$g(x)=- \frac{1}{10}x^{2}+\frac{1}{5}(x_{0}-1)x+\frac{1}{10}(8+2x_{0}-x_{0}^{2})$とおく。 このとき、 $(g-g’)(x_{0})=1,$ $||g+j||_{\infty}<1,$ $||g-J||_{\infty}=1$ . さらに、 $|(g-t)(x)|=1$となるのは $x=x_{0}$ のときに限る。 I. の証明と同様にして、 $\mu^{-}=0,$$\nu^{-}=\delta_{x0}$

を得る。

証明終。
$C([0,1])$ 上では $\{1, x^{2}, x^{3}, \ldots\}$ に対してコロフキン定理が成り立つことが知られている. ところが.

$C_{M}^{(1)}([0,1]),$$C_{m}^{(1)}([0,1]),$$C_{\Sigma}^{(1)}([0,1]),$$C_{\sigma}^{(1)}([0,1])$, およひ $C_{c}^{(1)}([0,1])$ 上では次に示すように、 $\{1, x^{2}, x^{3}, \ldots\}$ に対してコロフキン定理は成り立たない。

命題 9.

$C_{M}^{(1)}([0,1]),$$\{1, x^{2}, x^{3}, \ldots\}$$C_{m}^{(1)}([0,1]),$$C_{\mathrm{Z}}^{(1)}([0,1]),$$C_{\sigma}^{(1)}([0,1])$, およひ $C_{c}^{(1)}([0,1])$ 上では、に対してコロフキン定理は成り立たない。

証明. $n=0,1,2,$$\cdots$, に対して、$\varphi_{n}(x)=x^{1+1/n}$,$T_{n}f= \frac{n}{n+1}f\mathrm{o}\varphi_{n}$$(\forall f\in C^{(1)}([0,1]))$

とおく。 このとき、$||T_{n}||_{M}\leq 1,$

さら [こ、 $j=0,2,3,$$\ldots$$||T_{n}||_{m}\leq 1,$$||T_{n}||_{\Sigma}\leq 1,$$||T_{n}||_{\sigma}\leq 1,$$||T_{n}||_{c}\leq 1$.

t こ対して、$||T_{n}x^{j}-x^{j}||_{\Sigma}arrow 0$である。 ところが、 $M,$ $m,$$\Sigma,$,$||T_{n}x^{j}-x^{j}||_{M} \geq||(\frac{n}{n+1}x^{1+1/n}-x)’||_{\infty}=1$$\sigma,$$c$

ノルムはすべて同値であるから命題が示せる。

3. まとめ定理 5, 6 より、 $M,$ $m$ ノル$M,$ $m,$$\Sigma,$$\sigma$$\text{ム}$の場合、 $\{1, x, x^{2}, x^{3}\}$ に対してコロフキン定理が成立し、の場合、 $\{1, x, x^{2}\}$ に対しては成立しないことがわかった。 それでは、$\Sigma,$$\sigma$の93
場合、 $\{1, x, x^{2}, x^{3}\}$ に対してコロフキン定理が成立するか。 この場合、 定理 5 の方法はう
まくいかない。 ところが、$\Sigma$ノルムは次のように書き換えることが出来る。

$||f||_{\Sigma}= \sup\{|f(x)+f’(y)|, |f(x)-f’(y)|;0\leq x, .y\leq 1\}$

したがって、 対応 $frightarrow(f(x)+f’(y), f(x)-f’(y))$ (こより$[0,1])\oplus\iota\infty C([0,1]\cross[0,1])=C([0,1]\cross[0,1]\cup[0,1]\cross[0,1])$$C_{\Sigma}^{(1)}([0,1])$

は $C([0,1]\cross$の閉線形部分空間に等距離同型である。 したがって、 補題 7 を用いようとすると定理 8 の証明におけるような条件を満たす 2 変数 3 次関数を見つけることになるが、 これは簡単でないように思われる。
次に、 定理 8 より$c$

ノルムの場合、 $\{1, x\}$ に対してコロフキン定理が成立するか ? 成

立しないように思われるが証明できていない。 $C([0,1])$ では 2 個の試験関数族に対しては、 コロフキン定理が成り立たないことが知られている ([15,16])。

定理 6 で $M,$ $m,$$\Sigma,$$\sigma$の場合、 $S=\{1, x, x^{2}\}$ に対してコロフキン定理が成り立たないことを、 $x^{3}\not\in Kor^{1}(S)$ を示すこと [こより証明した。 それでは、 $Kor^{1}(S)$ は各ノルムの場

合に、 それぞれどの程度の大きさになるか ? $Kor^{1}(S)$ を決定できるか ?

我々は、 最初の Korovkin 近似定理が $C^{(1)}([0,1])$ ではどうなるかを問題にしたので、試験関数族 $\{1, x, x^{2}, x^{3}\}$ を中心に取り上げ、 証明も直接的に与えた。 しかし、 任意の$S\subset C^{(1)}([0,1])$に対して、 コロフキン定理が成り立つ条件または $Kor^{1}(S)$ の特徴付けも興味ある問題である。

可微分関数空間上でコロフキン定理を論じている論文の多くは、 C(\sim 級関数空間を扱っている。 しかし、 $C^{(k)}([0,1])$ で考えると形式的な煩雑さがでてくる。定理 5 をこの形に述べると、 次のようになる。

定理 5’. $C^{(k)}([0,1])\ni f$ に対して、 $||f||_{M}= \max\{||f||_{\infty}, ||f’||_{\infty}, ||f’’||_{\infty}, \cdots, ||f^{(k)}||_{\infty}\}$ とすると.

$C_{M}^{(k)}([0,1])$

では $\{1, x, x^{2}, \cdots, x^{k+2}\}$ に対してコロフキン定理が成り立つ。

参考文献[1] Altomare, F. &Boccaccio, C., On Korovkin-type Theorems in Spaces of Continuous
Complex-valued Functions, Boll. Un Mat Ital. 6:1-B,(l982), 75-86.
[2] Altomare, F. &Campiti, M., Korovkin-Type Approximation Theory and its Applications, de Gruyter, Belin and New York 1994.
[3] Altomare, F. &Rosa,
by Positive Operators in the Space$C^{(p)}([a, b])$ , Anal. Num\’er. Th\’eor. Approx. 18(1989), 1-11.
$\mathrm{I}.,\mathrm{A}\mathrm{p}\mathrm{p}\mathrm{r}\mathrm{o}\mathrm{x}\mathrm{i}\mathrm{m}\mathrm{a}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}$94[4] Anastassiou, G.A., Adiscrete Korovkin Theorem, J. Approx.Theory 45 (1985),

383-388.
[5] Badea, C., On aKorovkin-type Theorem for simultaneous Approximation, J. Approx. Theory 62 (1990), 223234.
[6] Badea, C., Badea, I. &Cott.n, C., AKorovkin-type Theorem for Generalizations ofBoolean sum Operators and Approximation by trigonometric Pseudopolynomiak,Anal Numer Theor Approx. ,17 (1988), 7-17.
[7] Badea, C. &Cottin, C., Korovkin-type Theorems for generalized Boolean sum Operators, Approximation theory (Kecskemet, 1990), 51-68. Colloq.Math.Soc.Janos
Bolyai, 58, North-Holland, Amsterdam, 1991.
[8] Berens, H&Lorentz, G.G., Geometric Theory of Korovkin sets, J. Approx. Theory
15 (1975), 161-189.

[9] Brosowski, B., AKorovkin-type Theorem for Differentiable Functions, Approximation Theory III, ed. E. W. Cheney, Academic Press, 1980, 255-260.
[10] Efendiev, R. 0., Conditions for Convergence of linear Operators to Derivatives,
Akad Nauk Azerbaidzhan. SSSR Dokl. 40(1984), 3-4.[in Russian][11], Izuchi, K., &Watanabe, S., Korovkin Type Approximation Theoremson the Space of Continuously Differentiable Functions, Approx Theory and its Appl.
16(2000), 19-27.
$\mathrm{H}\mathrm{i}\mathrm{r}\mathrm{a}\mathrm{e}\mathrm{a}\mathrm{w}\mathrm{a},\mathrm{G}.$[12] Izuchi, K., Takagi, H. &Watanabe, S., Sequential $BKW$-operators and Function
Algebras, J. Approx. Theory 85(1996), 185-200.
[13] Knoop,. &Potfinger, P., Ein Satz vom Korovkin-Typ f\"ur148(1976), 23-32.
$\mathrm{H}.\mathrm{B}$$C^{k_{-}}\mathrm{R}\ddot{\mathrm{a}}\mathrm{u}\mathrm{m}\mathrm{e}$, Math. Z.

[14] Knoop,. &Pot nger, P., On simultaneous Approximation by certain linear
positive Operators, Arch Math.(Basel) 48(1987), 511-520.
$\mathrm{H}.\mathrm{B}$$\mathrm{t}\mathrm{i}$[15] Korovkin, P.P., On Convergence of Linear Opereators in the Space of Continuous
Functions, Dokl. Akad. Nauk. SSSR(N.S.) 90(1953), 961-964. [In Russian][16] Korovkin, P. P., Linear Operators and Approximation Theory, Hindustan Publishing, Delhi, 1960.
[17] Kudrjavcev, G. I., The Convergence of Sequences of Linear Operators to Deriva
tives, Proceedings of the central regional union of mathematical departments,
No.
analysis and Function theory, 122-136. Kalinin Gos Ped Inst.,
Kalinin, 1970. [In Russian]$1:\mathrm{F}\mathrm{u}\mathrm{n}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}\mathrm{a}\mathrm{l}$95[18] Kudrjavcev, G. I., Certain Questions on the Convergence of Sequences of linear
Operators, Acollection of articles on the constructive theory of functions and ex, Kalinin, 1972. [Intremal problems of functional analysis, 77-86.
Russian]$\mathrm{K}\mathrm{a}\mathrm{l}\mathrm{i}\mathrm{n}\mathrm{i}\mathrm{n},\mathrm{G}\mathrm{o}\mathrm{s}.\mathrm{U}\mathrm{n}\mathrm{i}\mathrm{v}.$[19] Kudrjavcev, G. I., Convergence of the Derivatives of linear convex and smooth
Operators, Application of functional analysis in approximation theory, 16061-65.
, Kalinin, 1979. [In Russian]$\mathrm{K}\mathrm{a}\mathrm{l}\mathrm{i}\mathrm{n}\mathrm{i}\mathrm{n},\mathrm{G}\mathrm{o}\mathrm{s}.\mathrm{U}\mathrm{n}\mathrm{i}\mathrm{v}.$[20] Minkova, R. M., The Convergence of the Derivatives of linear Operators, C. R.
Acad. Bulgare Sci. 23(1970), 627-629.[in Russian][21] Sendov, B. I& Popov, V., The Convergence of the Derivatives of positive linear
Operators, C. R. Acad. Bulgare Sci. 22(1969), 507-509.[in Russian][22]$\check{\mathrm{S}}\mathrm{a}\check{\mathrm{s}}\mathrm{k}\mathrm{i}\mathrm{n}$, Y. A., On Convergence of Contraction Operators, Math. Cluj. 11 (1969),

355-360.
[23] Stadler, S., Uber 1-positive1ineare Operatoren, Linear operators and approxima), 391-403 Internat Ser Numer.
tion, (Proc. Conf Math Ress
Math.,. Birkhauser, Basel, 1974.
$\mathrm{I}\mathrm{I}$$.\mathrm{I}\mathrm{n}\mathrm{s}\mathrm{t}.,\mathrm{O}\mathrm{b}\mathrm{e}\mathrm{r}\mathrm{w}\mathrm{o}\mathrm{l}\mathrm{f}\mathrm{a}\mathrm{c}\mathrm{h},1974$$\mathrm{V}\mathrm{o}\mathrm{l}.25$[24] Takahasi, S.-E., $(T, E)$ -Korovkin Closures in Normed Spaces and BKW-Operators,
J. Approx. Theory 82(1995), 340-351.
, A. A., Convergence of Operators in the Space of[25] Ustinov, G. M.
Differentiable Functions, Ural. Gos. Univ. Mat. Zap. 10 (1977), 8-14. [in Russian]$\ \mathrm{V}\mathrm{a}\mathrm{s}\mathrm{i}\mathrm{l}’\check{\mathrm{c}}\mathrm{e}\mathrm{n}\mathrm{k}\mathrm{o}$[26], A. A., Korovkin Systems in some Function Spaces, Studies in fimctional, 1978. [in Russian]analysiss, 6-14. Ural Gos. Univ.,$\mathrm{V}\mathrm{a}\mathrm{s}\mathrm{i}\mathrm{l}’\check{\mathrm{c}}\mathrm{e}\mathrm{n}\mathrm{k}\mathrm{o}$$\mathrm{S}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{d}\mathrm{l}\mathrm{o}\mathrm{v}\mathrm{s}\mathrm{k}$[27] WVulbert, D. E., Convergence of Operators and Korovkin’s Theorem, J. Approx.
Theory 1(1968), 381-390.