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…
// $(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…