Noetherian topological space

Noetherian topological space

In mathematics, a Noetherian topological space is a topological space in which closed subsets satisfy the descending chain condition. Equivalently, we could say that the open subsets satisfy the ascending chain condition, since they are the complements of the closed subsets. It can also be shown to be equivalent that every open subset of such a space is compact, and in fact the seemingly stronger statement that every subset is compact.

Contents

Definition

A topological space X is called Noetherian if it satisfies the descending chain condition for closed subsets: for any sequence

 Y_1 \supseteq Y_2 \supseteq \cdots

of closed subsets Yi of X, there is an integer m such that Y_m=Y_{m+1}=\cdots.

Relation to compactness

The Noetherian condition can be seen as a strong compactness condition:

  • Every Noetherian topological space is compact.
  • A topological space X is Noetherian if and only if every subspace of X is compact. (i.e. X is hereditarily compact).

Noetherian topological spaces from algebraic geometry

Many examples of Noetherian topological spaces come from algebraic geometry, where for the Zariski topology an irreducible set has the intuitive property that any closed proper subset has smaller dimension. Since dimension can only 'jump down' a finite number of times, and algebraic sets are made up of finite unions of irreducible sets, descending chains of Zariski closed sets must eventually be constant.

A more algebraic way to see this is that the associated ideals defining algebraic sets must satisfy the ascending chain condition. That follows because the rings of algebraic geometry, in the classical sense, are Noetherian rings. This class of examples therefore also explains the name.

If R is a commutative Noetherian ring, then Spec(R), the prime spectrum of R, is a Noetherian topological space.

Example

The space \mathbb{A}^n_k (affine n-space over a field k) under the Zariski topology is an example of a Noetherian topological space. By properties of the ideal of a subset of \mathbb{A}^n_k, we know that if

Y_1 \supseteq Y_2 \supseteq Y_3 \supseteq \cdots

is a descending chain of Zariski-closed subsets, then

I(Y_1) \subseteq I(Y_2) \subseteq I(Y_3) \subseteq \cdots

is an ascending chain of ideals of k[x_1,\ldots,x_n]. Since k[x_1,\ldots,x_n] is a Noetherian ring, there exists an integer m such that

I(Y_m)=I(Y_{m+1})=I(Y_{m + 2})=\cdots.

But because we have a one-to-one correspondence between radical ideals of k[x_1,\ldots,x_n] and Zariski-closed sets in \mathbb{A}^n_k we have V(I(Yi)) = Yi for all i. Hence

Y_m=Y_{m+1}=Y_{m + 2}=\cdots as required.

References


This article incorporates material from Noetherian topological space on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Noetherian — In mathematics, the adjective Noetherian is used to describe objects that satisfy an ascending or descending chain condition on certain kinds of subobjects; in particular, Noetherian group, a group that satisfies the ascending chain condition on… …   Wikipedia

  • Hyperconnected space — In mathematics, a hyperconnected space is a topological space X that cannot be written as the union of two proper closed sets. The name irreducible space is preferred in algebraic geometry.For a topological space X the following conditions are… …   Wikipedia

  • Compact space — Compactness redirects here. For the concept in first order logic, see compactness theorem. In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness… …   Wikipedia

  • Glossary of scheme theory — This is a glossary of scheme theory. For an introduction to the theory of schemes in algebraic geometry, see affine scheme, projective space, sheaf and scheme. The concern here is to list the fundamental technical definitions and properties of… …   Wikipedia

  • Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

  • List of mathematics articles (N) — NOTOC N N body problem N category N category number N connected space N dimensional sequential move puzzles N dimensional space N huge cardinal N jet N Mahlo cardinal N monoid N player game N set N skeleton N sphere N! conjecture Nabla symbol… …   Wikipedia

  • Constructible set (topology) — For a Gödel constructive set, see constructible universe. In topology, a constructible set in a noetherian topological space is a finite union of locally closed sets. (A set is locally closed if it is the intersection of an open set and closed… …   Wikipedia

  • Zariski geometry — In mathematics, a Zariski geometry consists of an abstract structure introduced by Ehud Hrushovski and Boris Zilber, in order to give a characterisation of the Zariski topology on an algebraic curve, and all its powers. The Zariski topology on a… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Commutative ring — In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Some specific kinds of commutative rings are given with …   Wikipedia


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.