This paper replace“unit ball B”with“bounded close convex set C”,replace“distance from A to B more than zero”with“Minkowski universal function unpack set A,C”,and extend Danes drop theorem to sequential complete local convex spaces.
This paper replace“unit ball B”with“bounded close convex set C”,replace“distance from A to B more than zero”with“Minkowski universal function unpack set A,C”,and extend Danes drop theorem to sequential complete local convex spaces.
用“有界闭凸集C”取代“单位球B”，用“Minkowski泛函强分离集合A、C”代替“A到B的距离大于0”，将Danes水滴定理推广到序列完备的局部凸空间。