The sequence lies in the open interval and converges in the ambient real line to zero. Every subsequence also converges to zero, and uniqueness of limits prevents it converging to any point of the interval. Thus the interval is not sequentially compact.
For a sequence in the product, sequential compactness of supplies indices with . Apply sequential compactness of to the corresponding , extracting a further subsequence . The first coordinate still tends to . For any , both coordinate distances are eventually less than , so their sum is less than . Hence the same subsequence converges in the given product metric to . This proves the product is sequentially compact.
Articles by others on the same topic
There are currently no matching articles.