半ノルム空間はんのるむくうかん<はん・のるむ>・くう'かん6

Math.halbnormierter Raum