LetThe tail spaces decrease, so . If , choose a unit vector supported after coordinate with . Such vectors converge weakly to zero, hence .
Conversely, if and , then for every fixed the first coordinates of tend to zero. After normalizing , its numerical values still tend to , so . Therefore
When the intersection is nonempty, decreasing closed sets have distance functions increasing pointwise to the distance from their intersection; on each compact set this convergence is uniform. This is preciselyIf and a compact met every , nestedness and compactness would supply a convergent sequence whose limit belongs to all , a contradiction. Hence for all sufficiently large .
Articles by others on the same topic
There are currently no matching articles.