Is compact space first-countable?

A space X is first countable if every point has a countable local base; separable if X has a countable dense set; locally compact if every point has a compact neighborhood; and zero-dimensional if every point has a local base of clopen sets.

Why is separability important?

One nice property is that it controls the cardinality of mapping sets out of the space, making them act more like countable spaces than uncountable. More concretely, suppose X is a separable space and consider the set of all continuous maps X→Y where Y is some Hausdorff space – we’ll call this space C(X,Y).

Is every first-countable space is second countable?

Thus, if one has a countable base for a topology then one has a countable local base at every point, and hence every second-countable space is also a first-countable space. However any uncountable discrete space is first-countable but not second-countable.

What is t1 space in topology?

In topology and related branches of mathematics, a T1 space is a topological space in which, for every pair of distinct points, each has a neighborhood not containing the other point. An R0 space is one in which this holds for every pair of topologically distinguishable points.

Is RL second countable?

If x = y then Bx = By (since x = inf(Bx) and y = inf By). So the mapping x → Bx of Rl onto B is one to one and hence |B| = |Rl| and B is uncountable. That is, Rl is not second-countable.

Is Cofinite topology compact?

(1) Compact: Any infinite set with finite complement topology is compact. The proof is as follows. Let X be an infinite set with the f.c. topology.

Is l2 space separable?

The space l2 is much larger than any of the finite-dimensional Hilbert spaces Fn — for instance, it is not locally compact — but it is still small enough to be “separable”; this in fact topologically characterizes l2.

Is Banach space separable?

The Banach space of functions of bounded variation is not separable; note however that this space has very important applications in mathematics, physics and engineering.

Is first-countable space is separable?

Theorem 3.4 The topological product of a countable family of separable (first countable, second countable) spaces is separable (first countable, second countable).

Is the real line Hausdorff?

Thus, the real line also becomes a Hausdorff space since two distinct points p and q, separated a positive distance r, lie in the disjoint open intervals of radius r/2 centred at p and q, respectively.

Is cofinite topology sequentially compact?

Properties. Subspaces: Every subspace topology of the cofinite topology is also a cofinite topology. is compact and sequentially compact. is not finite then this topology is not Hausdorff (T2), regular or normal because no two nonempty open sets are disjoint (that is, it is hyperconnected).

What is a first-countable subspace?

Every subspace of a first-countable space is first-countable. Any countable product of a first-countable space is first-countable, although uncountable products need not be. Engelking, Ryszard (1989).

What is a first countable space?

Any subspace of a first-countable space is first-countable. We can take, for our new basis at any point, the intersection of the old basis elements with the subspace. For full proof, refer: First-countability is hereditary Template:Countable DP-closed Any countable product of first-countable spaces is first-countable.

What is first countable space in topology?

First-countable space. In topology, a branch of mathematics, a first-countable space is a topological space satisfying the “first axiom of countability”.

Is the first countability of a space hereditary?

For full proof, refer: First-countability is hereditary Template:Countable DP-closed Any countable product of first-countable spaces is first-countable. Local nature