>>91 補足
前スレより
下記において [0,1)から x=1 のf(x)関数値 f(1) について
層の”germ”理論との関連をいっているが
層の”germ”理論は、x=1が何か開集合の内部にある場合
上記 (0,1)では、x=1は内部ではない
[0,1]では、開集合でない
（[0,1)も もちろん開集合でない）

（前スレより引用）
https://rio2016.5ch.io/test/read.cgi/math/1776607345/
[0,1]上の連続関数f,gに関して、
あるd∈Rが存在して、x>=dのとき、f(x)=g(x)となる場合、
同値とする

さて、上記のfの同値類について、選択公理により
代表となる [0,1) 上の連続関数rfがとれる
そしてfとrfの間に存在するdで、なおかつ
任意のε>0についてx∈[0,1)かつd-x<εで、
f(x)≠g(x)となるようなものが存在する場合
dをfの決定値と呼ぶ

さて、出題者は [0,1) 上の連続関数を100個決める　(注:　[0,1] 上でないことに注意）
回答者は100個の関数からランダムに1個の関数fを選び
他の99個の関数の決定値の最大値D∈[0,1)について
f(D)を当てるとする。

100個の連続関数中
決定値が他の99個のそれよりも大きいものは
たかだか1つしかない
そのような関数を選ぶ確率は1/100
そうでない関数をfとして選んだ場合
他の99個の決定値の最大値Dと1との間の適当なyをとって
[y,1)の値を見れば関数の同値類が分かるし代表rfも選べるから
fの決定値をdとしたとき、d<Dからf(D)=rd(D)

https://rio2016.5ch.io/test/read.cgi/math/1776607345/793
germってこんな定義じゃなかったっけ

https://rio2016.5ch.io/test/read.cgi/math/1776607345/808
余談
>germってこんな定義じゃなかったっけ

層のgermで、層で使うのは”制限写像”(下記)で 外から内部に制限すると思う
一方上記は、制限でなく 拡大だからダメじゃね？　（＾＾

https://ja.wikipedia.org/wiki/%E5%B1%A4_(%E6%95%B0%E5%AD%A6)
層 (数学)
定義
前層
・開集合の包含関係 U⊂V に応じて制限写像（せいげんしゃぞう、restriction map）と呼ばれる写像
略す
例
連続関数の層
Xを位相空間とする。X の開集合 U に対して、その上の複素数値連続関数のなす空間を C(U) とかくことにする。開集合の包含関係 V ⊆ U に対して関数の定義域の制限 C(U) → C(V) を考えることでX 上の層が得られる。点x におけるこの層の芽とはxのまわりでの関数の局所的な振る舞いを表していると考えることができる