Definition
Let X be a topological space and let K(X) be the set of all quasi-compact and open subsets of X. Then X is said to be spectral if it satisfies all of the following conditions:
- X is quasi-compact and T0.
- K(X) is a basis of open subsets of X.
- K(X) is closed under finite intersections.
- X is sober, i.e. every nonempty irreducible closed subset of X has a (necessarily unique) generic point.
Read more about this topic: Spectral Space
Famous quotes containing the word definition:
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)