# If the source of a morphism is a noetherian scheme, the morphism is quasi-compact.

I was wondering it while studying Hartshorne.

In II.4.8 proof of the corollary (This part is about valuative criterion of properness.), it is written that a morphism from noetherian scheme is automatically quasi-compact.

Precisely, for a noetherian scheme $X$, any morphism $f:X\rightarrow Y$ of schemes is quasi-compact.

But I cannot find why.

Could you give me any idea?

• Every subset of a Noetherian space is quasi-compact. – Alex Youcis Oct 13 '16 at 16:04
• Oh, even for not open subset? – wooa0923 Oct 13 '16 at 16:12
• Yes. This is actually a characterization of noetherian spaces i.e. noetherian iff every subspace is quasi-compact – basket Oct 13 '16 at 18:27