完備距離空間
完備な距離を持つ距離空間のこと
#2025-06-02 17:15:46