A topological space is first-countable when each point has a countable neighbourhood basis. Every metric space is first-countable: the open balls form such a basis. A subset of a first-countable space remains first-countable in its subspace topology, since intersecting a local basis with the subset preserves the defining containment property. Thus a space failing first countability cannot be homeomorphic to any subset of a metric space.

Ancestors (6)

  1. Topological space
  2. Topology
  3. Geometry and topology
  4. Area of mathematics
  5. Mathematics
  6. Home

Incoming links (1)

Synonyms (2)

View article source

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

First-countable space by Wikipedia Bot 1
View more
In topology, a topological space \( X \) is called *first-countable* if, at every point \( x \in X \), there exists a countable collection of open sets (called a *countable neighborhood basis*) such that any open neighborhood of \( x \) contains at least one of these open sets.
Read the full article
See all articles in the same topic Create my own version