質問: 画像は内田伏一著の集合と位相から引用しています。これはアスコリアルツェラの定理の証明からの引用で、こ 画像は内田伏一著の集合と位相から引用しています。これはアスコリアルツェラの定理の証明からの引用で、このs(k1,...km)という集合を考える動機が理解出来ませんでした。解説頂けると嬉しいです。
回答: まだ回答を募集しているかはわかりませんが... このs(k1,...km)はその前にとったxの開被覆(u1,x1),...,(um,xm)に対応する性質を持った集合になります。 この開被覆(u1,x1),...,(um,xm)のイメージを語る上で、x=[0,1]と考えてもらうとわかりやすいと思います。 r^2を間隔ε/4の横線で分割したとします。このとき、{(x,y):0≤y≤ε/4}や{(x,y):kε/4≤y≤(k+1)ε/4}のような横長の帯ができます。この帯をそれぞれ0の帯、kの帯、と呼ぶことにしましょう。 例えば-1の帯は{(x,y):-ε/4≤y≤0}です。 このときに、同程度連続より任意の点x∈xに対してある区間uを適切に取れば任意の関数fがその区間内で帯から出ないようにできます。(|f(x)-f(y)|<ε/4) xをx全体で動かしてuの和集合を取るとこれはxの被覆になり、コンパクト性から有限個の区間u1,...,umが取れるわけです。 ですが、横線をまたがないだけでどの帯にいるかは関数によってそれぞれです。ある関数fはu1では0の帯に収まる(0≤f(x)≤ε/4)けども他の関数gは-1の帯に収まる(-ε/4≤g(x)≤0)という状況です。 なので、どの帯にいるか、というもので関数の集合sを分類することをします。それがs(k1,...km)です。 f∈s(k1,...km)とは、fがui内ではkiの帯に収まる、ということを表しています。 いまsは一様有界であることから|f(x)|<∞が導かれ、sが有限個のs1,...,snに分けられます。 このように分類することでsを性質の良いsiに分類でき、それらをε開球で覆う見通しがつきます。 何かわからないことがあれば返信でどうぞ。