19/12/04 02:16:47.34 rL2x0mlV.net
意味が違うのはわからんけど実際に同じ距離の点同士が同じ値取ることや
その距離関数が本当に実数値取ってること調べればいいのでは
sup距離なら有界性の議論とか
19/12/04 02:16:47.34 rL2x0mlV.net
意味が違うのはわからんけど実際に同じ距離の点同士が同じ値取ることや
その距離関数が本当に実数値取ってること調べればいいのでは
sup距離なら有界性の議論とか
19/12/04 02:16:47.34 rL2x0mlV.net
意味が違うのはわからんけど実際に同じ距離の点同士が同じ値取ることや
その距離関数が本当に実数値取ってること調べればいいのでは
sup距離なら有界性の議論とか