mathdiaryのブログ

数学についての覚え書きを雑多にしていきます.

点P

2018-02-12から1日間の記事一覧

写像の空間に誘導される距離

// $(X, d)$ を距離空間とし, $S$ を任意の集合とする. また, $ F = \{ f:S \rightarrow X ~|~ f(S) \subset X$ は $(X, d)$ においての有界集合 $\}$ と定める. $L_1, \cdots, L_n$ は, $F$ から $F$ への任意の写像とする. このとき $\rho : F \times F \r…