Noetherian topological space

Last updated

In mathematics, a Noetherian topological space, named for Emmy Noether, 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. The Noetherian property of a topological space can also be seen as a strong compactness condition, namely that every open subset of such a space is compact, and in fact it is equivalent to the seemingly stronger statement that every subset is compact.

Contents

Definition

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

of closed subsets of , there is an integer such that

Properties

Proof: Every subset of X is compact in a Hausdorff space, hence closed. So X has the discrete topology, and being compact, it must be finite.

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. More generally, a Noetherian scheme is a Noetherian topological space. The converse does not hold, since there are non-Noetherian rings with only one prime ideal, so that Spec(R) consists of exactly one point and therefore is a Noetherian space.

Example

The space (affine -space over a field ) under the Zariski topology is an example of a Noetherian topological space. By properties of the ideal of a subset of , we know that if

is a descending chain of Zariski-closed subsets, then

is an ascending chain of ideals of Since is a Noetherian ring, there exists an integer such that

Since is the closure of Y for all Y, for all Hence

as required.

Notes

  1. "general topology - $V$ is Noetherian space if only if every open subset of $V$ is compact". Mathematics Stack Exchange.
  2. "Lemma 5.9.3 (04Z8)—The Stacks project". stacks.math.columbia.edu.
  3. "Lemma 5.9.4 (0053)—The Stacks project". stacks.math.columbia.edu.
  4. "general topology - Question about Noetherian topological spaces". Mathematics Stack Exchange.

Related Research Articles

In commutative algebra, the prime spectrum of a commutative ring R is the set of all prime ideals of R, and is usually denoted by ; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .

<span class="mw-page-title-main">Topological group</span> Group that is a topological space with continuous group action

In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures together and consequently they are not independent from each other.

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Banach spaces, Hilbert spaces and Sobolev spaces are other well-known examples of TVSs.

In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime ideals. The Krull dimension need not be finite even for a Noetherian ring. More generally the Krull dimension can be defined for modules over possibly non-commutative rings as the deviation of the poset of submodules.

In mathematics, a base (or basis; pl.: bases) for the topology τ of a topological space (X, τ) is a family of open subsets of X such that every open set of the topology is equal to the union of some sub-family of . For example, the set of all open intervals in the real number line is a basis for the Euclidean topology on because every open interval is an open set, and also every open subset of can be written as a union of some family of open intervals.

In mathematics, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra. Complementarily, noncommutative algebra is the study of ring properties that are not specific to commutative rings. This distinction results from the high number of fundamental properties of commutative rings that do not extend to noncommutative rings.

<span class="mw-page-title-main">Zariski topology</span> Topology on prime ideals and algebraic varieties

In algebraic geometry and commutative algebra, the Zariski topology is a topology which is primarily defined by its closed sets. It is very different from topologies which are commonly used in real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring a topological space.

<span class="mw-page-title-main">Commutative algebra</span> Branch of algebra that studies commutative rings

Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers ; and p-adic integers.

<span class="mw-page-title-main">Affine variety</span> Algebraic variety defined within an affine space

In algebraic geometry, an affine algebraic set is the set of the common zeros over an algebraically closed field k of some family of polynomials in the polynomial ring An affine variety or affine algebraic variety, is an affine algebraic set such that the ideal generated by the defining polynomials is prime.

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In general topology, a branch of mathematics, a non-empty family A of subsets of a set is said to have the finite intersection property (FIP) if the intersection over any finite subcollection of is non-empty. It has the strong finite intersection property (SFIP) if the intersection over any finite subcollection of is infinite. Sets with the finite intersection property are also called centered systems and filter subbases.

In mathematics, a cofinite subset of a set is a subset whose complement in is a finite set. In other words, contains all but finitely many elements of If the complement is not finite, but is countable, then one says the set is cocountable.

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

In mathematics, the spectrum of a C*-algebra or dual of a C*-algebraA, denoted Â, is the set of unitary equivalence classes of irreducible *-representations of A. A *-representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed subspace K different from H and {0} which is invariant under all operators π(x) with xA. We implicitly assume that irreducible representation means non-null irreducible representation, thus excluding trivial (i.e. identically 0) representations on one-dimensional spaces. As explained below, the spectrum  is also naturally a topological space; this is similar to the notion of the spectrum of a ring.

In algebraic geometry, an irreducible algebraic set or irreducible variety is an algebraic set that cannot be written as the union of two proper algebraic subsets. An irreducible component of an algebraic set is an algebraic subset that is irreducible and maximal for this property. For example, the set of solutions of the equation xy = 0 is not irreducible, and its irreducible components are the two lines of equations x = 0 and y = 0.

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 product of algebraic varieties is very rarely the product topology, but richer in closed sets defined by equations that mix two sets of variables. The result described gives that a very definite meaning, applying to projective curves and compact Riemann surfaces in particular.

In topology, a branch of mathematics, the ends of a topological space are, roughly speaking, the connected components of the "ideal boundary" of the space. That is, each end represents a topologically distinct way to move to infinity within the space. Adding a point at each end yields a compactification of the original space, known as the end compactification.

In the mathematical field of topology, a hyperconnected space or irreducible 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.

In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions R on a space X concentrates on a formal neighborhood of a point of X: heuristically, this is a neighborhood so small that all Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in the case when R has a metric given by a non-Archimedean absolute value.

This is a glossary of algebraic geometry.

References

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