区間[0,1]で微分可能な任意の関数 f に対して、微分可能な関数の列 {f_n} を、f_n は f に一様収束し、f'_n(x) は各点で f'(x) とは異なる値に収束するように取れる

ゼルプスト殿下 @tenapyon

今日のTGSAセミナーの講演者Udayan Darjiさんを囲んで飲み食いしている。彼はForcingなしRecursionなしの記述集合論といういろんな意味で難しい分野の専門家。

ゼルプスト殿下 @tenapyon

Darjiさんから聞いた面白い結果：区間[0,1]で微分可能な任意の関数 f に対して、微分可能な関数の列 {f_n} を、f_n は f に一様収束し、f'_n(x) は各点で f'(x) とは異なる値に収束するように取れる。

ゼルプスト殿下 @tenapyon

Darjiさんは見るからにインド人なのだが言葉も物腰も完全にアメリカナイズされてる。あるいはアメリカ育ちなのかもしれないが、そういうパーソナルなことは本人に聞きにくい。

ゼルプスト殿下 @tenapyon

ドサクサに紛れてDarjiさんに2011年のRIMS集会の講究録を渡して残部数を減らしたわたくしはゼルプスト殿下。

ゼルプスト殿下 @tenapyon

@mr_konn 素数の漱石は夏目！！

ゼルプスト殿下 @tenapyon

@mr_konn 石井で歯を磨くぞ！！（違）

ゼルプスト殿下 @tenapyon

ソヴィエト・ロシアでは美女があなたに欲情する。←行ってみたいほうのソヴィエト・ロシア

ゼルプスト殿下 @tenapyon

さっき言った微分可能関数列についてのDarjiさんの結果はこれらしい: ams.org/journals/proc/… (Proc.AMS,1996, free access)