In

topology
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...

, a branch of mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, a first-countable space is a topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called point ...

satisfying the "first axiom of countability". Specifically, a space $X$ is said to be first-countable if each point has a countable
In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers; ...

neighbourhood basis In topology and related areas of mathematics, the neighbourhood system, complete system of neighbourhoods, or neighbourhood filter \mathcal(x) for a point x in a topological space is the collection of all neighbourhoods of x.
Definitions
Neighbour ...

(local base). That is, for each point $x$ in $X$ there exists a sequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...

$N\_1,\; N\_2,\; \backslash ldots$ of neighbourhoods of $x$ such that for any neighbourhood $N$ of $x$ there exists an integer $i$ with $N\_i$ contained in $N.$
Since every neighborhood of any point contains an open neighborhood of that point, the neighbourhood basis In topology and related areas of mathematics, the neighbourhood system, complete system of neighbourhoods, or neighbourhood filter \mathcal(x) for a point x in a topological space is the collection of all neighbourhoods of x.
Definitions
Neighbour ...

can be chosen without loss of generality
''Without loss of generality'' (often abbreviated to WOLOG, WLOG or w.l.o.g.; less commonly stated as ''without any loss of generality'' or ''with no loss of generality'') is a frequently used expression in mathematics. The term is used to indicat ...

to consist of open neighborhoods.
Examples and counterexamples

The majority of 'everyday' spaces inmathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

are first-countable. In particular, every metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setti ...

is first-countable. To see this, note that the set of open ball
In mathematics, a ball is the solid figure bounded by a ''sphere''; it is also called a solid sphere. It may be a closed ball (including the boundary points that constitute the sphere) or an open ball (excluding them).
These concepts are defi ...

s centered at $x$ with radius $1/n$ for integers form a countable local base at $x.$
An example of a space which is not first-countable is the cofinite topology
In mathematics, a cofinite subset of a set X is a subset A whose complement in X is a finite set. In other words, A contains all but finitely many elements of X. If the complement is not finite, but it is countable, then one says the set is cocou ...

on an uncountable set (such as the real line
In elementary mathematics, a number line is a picture of a graduated straight line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a poin ...

).
Another counterexample is the ordinal space $\backslash omega\_1\; +\; 1\; =\; \backslash left;\; href="/html/ALL/s/,\_\backslash omega\_1\backslash right.html"\; ;"title=",\; \backslash omega\_1\backslash right">,\; \backslash omega\_1\backslash right$first uncountable ordinal
In mathematics, the first uncountable ordinal, traditionally denoted by \omega_1 or sometimes by \Omega, is the smallest ordinal number that, considered as a set, is uncountable. It is the supremum (least upper bound) of all countable ordinals. ...

number. The element $\backslash omega\_1$ is a limit point
In mathematics, a limit point, accumulation point, or cluster point of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also conta ...

of the subset $\backslash left;\; href="/html/ALL/s/,\_\backslash omega\_1\backslash right)$ even though no sequence of elements in $\backslash left[0,\; \backslash omega\_1\backslash right)$ has the element $\backslash omega\_1$ as its limit. In particular, the point $\backslash omega\_1$ in the space $\backslash omega\_1\; +\; 1\; =\; \backslash left;\; href="/html/ALL/s/,\_\backslash omega\_1\backslash right.html"\; ;"title=",\; \backslash omega\_1\backslash right">,\; \backslash omega\_1\backslash right$Properties

One of the most important properties of first-countable spaces is that given a subset $A,$ a point $x$ lies in the closure of $A$ if and only if there exists asequence
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is calle ...

$\backslash left(x\_n\backslash right)\_^$ in $A$ which converges to $x.$ (In other words, every first-countable space is a Fréchet-Urysohn space and thus also a sequential space.) This has consequences for limits
Limit or Limits may refer to:
Arts and media
* ''Limit'' (manga), a manga by Keiko Suenobu
* ''Limit'' (film), a South Korean film
* Limit (music), a way to characterize harmony
* "Limit" (song), a 2016 single by Luna Sea
* "Limits", a 2019 ...

and continuity. In particular, if $f$ is a function on a first-countable space, then $f$ has a limit $L$ at the point $x$ if and only if for every sequence $x\_n\; \backslash to\; x,$ where $x\_n\; \backslash neq\; x$ for all $n,$ we have $f\backslash left(x\_n\backslash right)\; \backslash to\; L.$ Also, if $f$ is a function on a first-countable space, then $f$ is continuous if and only if whenever $x\_n\; \backslash to\; x,$ then $f\backslash left(x\_n\backslash right)\; \backslash to\; f(x).$
In first-countable spaces, sequential compactness and countable compactness are equivalent properties. However, there exist examples of sequentially compact, first-countable spaces which are not compact (these are necessarily not metrizable spaces). One such space is the ordinal space $\backslash left;\; href="/html/ALL/s/,\_\backslash omega\_1\backslash right).$compactly_generated.
Every_Subspace_(topology)">subspace_of_a_first-countable_space_is_first-countable._Any_countable_Product_space.html" "title="Subspace_(topology).html" ;"title="Compactly generated space">compactly generated.
Every Subspace (topology)">subspace of a first-countable space is first-countable. Any countable Product space">product
Product may refer to:
Business
* Product (business), an item that serves as a solution to a specific consumer problem.
* Product (project management), a deliverable or set of deliverables that contribute to a business solution
Mathematics
* Prod ...

of a first-countable space is first-countable, although uncountable products need not be.
See also

* * * *References

Bibliography

* * {{DEFAULTSORT:First-Countable Space General topology Properties of topological spaces