ウリゾーンの定理（Urysohn's lemma）は、トップロジーにおいて重要な性質の一つで、特に正規空間において閉集合を区別する連続関数の存在を保証します。あなたが述べているように、ユークリッド空間 \(X\) 上の二つの閉集合 \(F_0\)、\(F_1\) に対して、関数 \(f: X
ightarrow [0, 1]\) で \(f|_F_0}(x) = 0\) かつ \(f|_F_1}(x) = 1\) を満たすものが存在します。
しかし、この関数を無限回微分可能（\(C^\infty\)）にするためには、ウリゾーンの定理自体が保証するものではありません。ウリゾーンの定理は単に連続性を保証します。
無限回微分可能な関数 \(f: X
ightarrow [0, 1]\) を構成するためには、\(F_0\) と \(F_1\) の間の区間を滑らかに変化する関数を使用する必要があります。これは通常「バンプ関数」（bump function）と呼ばれる技術を使用します。
バンプ関数は、ある開集合 \(U\) で 1、別の開集合 \(V\) で 0 となるような無限回微分可能な関数です。\(F_0\) と \(F_1\) の間の開集合を適切に選び、これらのバンプ関数の和や積を使って目的の関数 \(f\) を構成します。
具体的な構成方法は以下のようになります：
1. \(F_0\) を含む開集合 \(U_0\)、\(F_1\) を含む開集合 \(U_1\) とします。\(U_0\) と \(U_1\) は互いに交わらないようにします。
2. \(X \setminus U_0\) に対するバンプ関数 \(\phi_0\) と、\(X \setminus U_1\) に対するバンプ関数 \(\phi_1\) を定義します。
3. \(\phi_0 + \phi_1\) が開集合全体 \(X\) で 1 となるように正規化します。
4. その結果、\(f = \phi_0 / (\phi_0 + \phi_1)\) は \(F_0\) で 0、\(F_1\) で 1 となります。
この方法では、関数 \(f\) が \(F_0\) と \(F_1\) の間で滑らかに変化します。ただし、この手法の効果は \(F_0\) と \(F_1\) の位置関係や形状に大きく依存します。また、この方法は抽象的な数学的な証明ではなく、具体的な関数を定義するための一つの方法です。
注意点として、\(F_0\) と \(F_1\) が互いに近すぎる場合や、その形状が複雑な場合などには無限回微分可能な関数を構成するのが難しくなることがあります。このような状況では、さらに高度な解析的テクニックや微分幾何の知識が必要になる場合があります。
