Re:>136-137
fの連続なエクステンションが存在すれば一意であることはすぐに分かるだろう。(Yはメトリック空間なので、特に極限の一意性が成り立つ。)
ε>0に対して、あるδ>0が存在してx∈X0,y∈X0のディスタンスがδ未満のときf(x)とf(y)のディスタンスがε未満になるのだから、
fのコンティニアスなエクステンションgが存在するならば、x∈X,y∈Xのディスタンスがδ未満のとき、
x_{n}∈X0とy_{n}∈X0のディスタンスがδ未満でx_{n}がxにコンヴァージしてy_{n}がyにコンヴァージするようにとることによって、
g(x_{n})とg(y_{n})のディスタンスがε未満であることからg(x)とg(y)のディスタンスがε未満であることによって、
gがユニークリーコンティニアスであることがプルーヴド。
あとはコンティニアスエクステンションのイグジスタンスをプルーヴするだけでいいのだが、ヘルプミー！