Noetherian implies hereditarily compact

From Topospaces
Revision as of 21:06, 13 January 2012 by Vipul (talk | contribs) (Created page with "==Statement== Any Noetherian space is a hereditarily compact space, i.e., every subspace of a Noetherian space is a compact space. ==Facts used== # [[uses::Noet...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Any Noetherian space is a hereditarily compact space, i.e., every subspace of a Noetherian space is a compact space.

Facts used

  1. Noetherian implies compact
  2. Noetherianness is hereditary

Proof

The proof follows by combining Facts (1) and (2).