0919132人目の素数さん垢版 | 大砲2019/12/03(火) 01:46:36.44ID:P24VXCRV 距離関数がwell-definedだと示す際にこれを確かめなければいけないという項目はあるのでしょうか 具体的にはsup距離やbounded Lipschitz距離です