The cover has no finite subcover, because every is finite. Hence is not compact.
For the stated pasting lemma for closed subspaces, if is closed, then
is a union of two closed subsets of ; therefore is continuous.
For , let . On define a path equal to before the endpoint and equal to at the endpoint; it is continuous because every open set containing also contains its divisor . On define it to equal at the first endpoint and thereafter. This is likewise continuous. The two closed-interval paths agree at , so the pasting lemma joins them into a path from to . Thus is path-connected.

Articles by others on the same topic (0)

There are currently no matching articles.