Metrizable implies compactly generated

From Topospaces
Revision as of 20:19, 26 October 2009 by Vipul (talk | contribs) (Created page with '{{topospace property implication| stronger = metrizable space| weaker = compactly generated space}} ==Statement== Any metrizable space is a compactly generated space. …')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., metrizable space) must also satisfy the second topological space property (i.e., compactly generated space)
View all topological space property implications | View all topological space property non-implications
Get more facts about metrizable space|Get more facts about compactly generated space

Statement

Any metrizable space is a compactly generated space.

Facts used

  1. Metrizable implies first-countable
  2. First-countable implies compactly generated

Proof

The proof follows from fact (1) and fact (2).