21/12/22 12:25:28.14 cU6odOkV.net
ボレルの定理というものがあるらしいんだけど、書いてある本知ってる？
任意の実数列に対して、それをテイラー級数の係数とするC∞級関数が存在する
これって構成的に証明できるのかな。それとも選択公理を使うのかな。
21/12/22 12:25:28.14 cU6odOkV.net
ボレルの定理というものがあるらしいんだけど、書いてある本知ってる？
任意の実数列に対して、それをテイラー級数の係数とするC∞級関数が存在する
これって構成的に証明できるのかな。それとも選択公理を使うのかな。