Не понимаю, каким образом шар радиуса 4 "сжимается" до меньшего - почему, например, точка (0, 4) ему не принадлежит?
Потому что шар в метрическом пространстве может состоять только из точек этого пространства.
Определение шара - это множество точек
данного метрического пространства, отстоящих от центра не более чем на радиус.
А точки

в метрическом пространстве

нет - так что можно считать, что её и вообще нету. Пространство - оно на то и пространство, что вне его ничего нет.