{{Short description|Point not touching any other point}} {{Other uses|Glossary of tables game terms#closed point}} In mathematics, a '''closed point''' of a topological space is a point whose singleton is closed. In many areas of geometry and topology, all spaces under consideration are T<sub>1</sub> spaces that only have closed points. The distinction between closed and non-closed points is most often made in algebraic geometry, where schemes can have non-closed points.

==Definition and motivation== If <math>X</math> is a topological space, a point <math>x \in X</math> is called '''closed''' if the singleton <math>\{x\}</math> is closed.<ref name="Vakil121">{{harvnb|Vakil|2025|p=121}}</ref> An equivalent statement is that the closure <math>\overline{\{x\}}</math> only contains <math>x</math>.

The closed points of a space <math>X</math> can also be defined using the specialization preorder on <math>X</math>. Given points <math>x,y \in X</math>, <math>x</math> specializes to <math>y</math> if <math>y \in \overline{\{x\}}</math>. This means that the closed points of a topological space are those that specialize to no point except themselves, that is, the most specific points.{{efn |There is no general agreement on whether "more specific" should be regarded as lower or higher.<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|pp=213,428}}</ref> Depending on this, the closed points can be either minimal,<ref>{{harvnb|Hartshorne|1977|pp=93–94}}</ref><ref>{{harvnb|Johnstone|1986|p=66}}</ref> or maximal.<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|p=103}}</ref>}}

Spaces where every point is closed, called T<sub>1</sub> spaces, are common.<ref name="DST4">{{harvnb|Dickmann|Schwartz|Tressl|2019|p=4}}</ref> In most branches of mathematics, it is rare to encounter spaces that have any non-closed points. Many mathematicians regard such spaces as somewhat strange. For example, if <math>x</math> specializes to <math>y</math>, the constant sequence <math>(x,x,x,...)</math> converges to <math>y</math> (as well as <math>x</math>).<ref>{{harvnb|Munkres|2000|p=98}}</ref><ref>{{harvnb|Schechter|1996|p=439}}</ref>

In algebraic geometry, schemes usually have many non-closed points, including points whose closure <math>\overline{\{x\}}</math> is rather large. In particular, every irreducible component of a scheme <math>X</math> is of the form <math>\overline{\{x\}}</math> for some <math>x \in X</math>. This can make the study of schemes easier since some properties of <math>x</math> extend to the entirety of <math>\overline{\{x\}}</math>.<ref>{{harvnb|Görtz|Wedhorn|2020|pp=77–78}}</ref>

==Examples== [[Image:SpecZ original.png|right|300px|thumb|The spectrum of '''Z''', which is a PID. The generic point is depicted as a grey line that contains all other points.]]

* Most of the typical examples of spaces are Hausdorff, and in particular T<sub>1</sub>.<ref>{{harvnb|Munkres|2000|p=99}}</ref> This includes manifolds.<ref>{{harvnb|Munkres|2000|p=225}}</ref> Other examples of T<sub>1</sub> spaces include non-Hausdorff manifolds,<ref>{{harvnb|Gauld|2014|pp=153–154}}</ref> algebraic varieties,<ref>{{harvnb|Görtz|Wedhorn|2020|p=36}}</ref> and spaces with the cofinite topology.<ref>{{harvnb|Schechter|1996|pp=107,440}}</ref> * When an algebraic variety is considered as a scheme, every Zariski-closed subvariety of it is endowed with an additional point, which is generic in that subvariety. The original points of the variety are the closed points of the resulting scheme.<ref>{{harvnb|Hartshorne|1977|pp=77–80}}</ref> * In the spectrum of a commutative ring, the points are the prime ideals of the ring, and the closed points are the maximal ideals.<ref name="Vakil121"/> * In particular, the points of the spectrum of a principal ideal domain are the ideals generated by prime elements (defined up to a unit) and the zero ideal. The points that correspond to prime elements are closed, and the point that corresponds to zero is generic.<ref>{{harvnb|Görtz|Wedhorn|2020|pp=46–47}}</ref> * The Sierpiński space has two points. One of them is closed, and the other is non-closed since it specializes to the first point.<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|pp=8–9}}</ref> * The closed points of a partially ordered set with the Alexandrov topology are the minimal elements.<ref>{{harvnb|Viro|Ivanov|Netsvetaev|Kharlamov|2008|pp=39,40,326}}</ref> * If two points are topologically indistinguishable, the closure of either of them contains both and hence neither of them is closed.

==Properties== In any scheme that is locally of finite type over a field, the set of closed points is dense.<ref>{{harvnb|Vakil|2025|p=164}}</ref> In particular, this is true for schemes that correspond to algebraic varieties.<ref name="Vakil121"/> This is not always the case, even for an affine scheme. For example, the spectrum of a discrete valuation ring is (topologically) the aforementioned Sierpiński space.<ref>{{harvnb|Hartshorne|1977|p=74}}</ref> Nonempty quasi-compact schemes (and in particular affine schemes) must have at least one closed point.<ref name="GW7892">{{harvnb|Görtz|Wedhorn|2020|pp=78,92}}</ref> However, there are schemes without any closed points at all,<ref>{{harvnb|Vakil|2025|pp=436–437}}</ref> including irreducible schemes.<ref name="GW7892"/>

In any scheme that is locally of finite type over a field <math>k</math>, the residue field is finite over <math>k</math> at closed points and transcendental over <math>k</math> at non-closed points.<ref>{{harvnb|Görtz|Wedhorn|2020|p=81}}</ref> In particular, if <math>k</math> is algebraically closed, the closed points are exactly those where the residue field is <math>k</math> itself.<ref>{{harvnb|Görtz|Wedhorn|2020|p=83}}</ref><ref>{{harvnb|Hartshorne|1977|p=81}}</ref> This implies that every <math>k</math>-rational point is closed, and if <math>k</math> is algebraically closed then the closed points are exactly the <math>k</math>-rational points.<ref>{{harvnb|Görtz|Wedhorn|2020|p=121}}</ref> In a scheme of finite type over <math>\mathbb{Z}</math>, the closed points are exactly the points where the residue field is finite, and each finite field is the residue field at only finitely many points. This makes it possible to define the arithmetic zeta function of such a scheme.<ref>{{harvnb|Serre|1965|p=83}}</ref><ref>{{harvnb|Kahn|2020|pp=21–23}}</ref>

Let <math>X</math> be affine scheme (or equivalently, a spectral space). <math>X</math> is normal if and only if its closed points can be separated by neighborhoods.<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|p=281}}</ref> If the space of closed points of <math>X</math> is connected, <math>X</math> is connected too, and the converse holds if <math>X</math> is normal.<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|p=200}}</ref> If <math>X</math> is normal, the space of closed points of <math>X</math> is compact (and Hausdorff).<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|p=283}}</ref> A normal affine scheme is simply the spectrum of a commutative Gelfand ring,<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|p=246}}</ref> so these are in fact properties of the maximal spectra of such rings.

==Locally closed point== A '''locally closed point''', or a '''Goldman point''', is a point <math>x \in X</math> such that the singleton <math>\{x\}</math> is locally closed. This is equivalent to the condition that <math>x</math> is isolated in <math>\overline{\{x\}}</math>. Every closed point is locally closed.<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|p=135}}</ref>

Unlike the case of closed points, the locally closed points are dense in every affine scheme.<ref>{{harvnb|Dickmann|Schwartz|Tressl|2019|pp=132,139}}</ref>

==References==

===Notes=== {{notelist}}

===Citations=== {{reflist}}

===Sources=== {{refbegin}} * {{cite book |last=Vakil |first=Ravi |author-link=Ravi Vakil |date=21 October 2025 |title=The Rising Sea: Foundations of Algebraic Geometry |url=https://math.stanford.edu/~vakil/216blog/FOAGoct2125public.pdf |publisher=Princeton University Press |isbn=978-0-691-26867-5 |archive-url=https://web.archive.org/web/20251130031857/http://math.stanford.edu/~vakil/216blog/FOAGoct2125public.pdf |archive-date=30 November 2025 |url-status=live}} * {{cite book |last=Hartshorne |first=Robin |author-link=Robin Hartshorne |date=19 December 1977 |title=Algebraic Geometry |title-link=Algebraic Geometry (book) |publisher=Springer-Verlag |isbn=978-1-4419-2807-8}} * {{cite book |last=Johnstone |first=Peter T. |author-link=Peter Johnstone (mathematician) |date=29 August 1986 |title=Stone Spaces |series=Cambridge Studies in Advanced Mathematics |publisher=Cambridge University Press |isbn=978-0-521-33779-3}} * {{cite book |last1=Görtz |author-link1=Ulrich Görtz |first1=Ulrich |last2=Wedhorn |first2=Torsten |date=27 July 2020 |title=Algebraic Geometry I: Schemes |series=Springer Studium Mathematik – Master |edition=2 |publisher=Springer Spektrum |isbn=978-3-658-30733-2}} * {{cite book |last1=Dickmann |first1=Max |last2=Schwartz |first2=Niels |last3=Tressl |first3=Marcus |date=8 March 2019 |title=Spectral Spaces |series=New Mathematical Monographs |publisher=Cambridge University Press |isbn=978-1-107-14672-3}} * {{cite book |last=Gauld |first1=David |author-link=David Gauld (mathematician) |date=16 December 2014 |title=Non-metrisable Manifolds |publisher=Springer |isbn=978-981-287-257-9}} * {{cite conference |last=Serre |first=J.-P. |author-link=Jean-Pierre Serre |date=1 January 1965 |chapter=Zeta and L-functions |editor-last=Schilling |editor-first=O. F. G. |editor-link=Otto Schilling |title=Arithmetical Algebraic Geometry: Proceedings of a Conference Held at Purdue University December 5-7, 1963 |publisher=Harper & Row |isbn=978-00-6045775-4}} * {{cite book |last=Kahn |first=Bruno |date=7 May 2020 |orig-date=Published in French on 12 April 2018 |title=Zeta and L-Functions of Varieties and Motives |series=London Mathematical Society Lecture Note Series |publisher=Cambridge University Press |isbn=978-1-108-70339-0}} * {{cite book |last=Schechter |first=Eric |author-link=Eric Schechter |date=24 October 1996 |title=Handbook of Analysis and Its Foundations |url=https://staffwww.dcs.shef.ac.uk/people/R.Chisholm/docs/Eric%20Schechter%20Handbook%20of%20Analysis%20and%20Its%20Foundations%20%201996.pdf |publisher=Academic Press |isbn=978-0-12-622760-4 |archive-url=https://web.archive.org/web/20260401132840/https://staffwww.dcs.shef.ac.uk/people/R.Chisholm/docs/Eric%20Schechter%20Handbook%20of%20Analysis%20and%20Its%20Foundations%20%201996.pdf |archive-date=1 April 2026 |url-status=live}} * {{cite book |last=Munkres |first=James R. |author-link=James Munkres |date=1 January 2000 |title=Topology |url=https://math.ucr.edu/~res/math205B-2018/Munkres%20-%20Topology.pdf |edition=2 |publisher=Prentice Hall |isbn=978-0-13-181629-9 |archive-url=https://web.archive.org/web/20260310013831/https://math.ucr.edu/~res/math205B-2018/Munkres%20-%20Topology.pdf |archive-date=10 March 2026 |url-status=live}} * {{cite book |last=Goubault-Larrecq |first=Jean |date=28 March 2013 |title=Non-Hausdorff Topology and Domain Theory |series=New Mathematical Monographs |publisher=Cambridge University Press |isbn=978-1-107-03413-6}} * {{cite book |last1=Viro|first1=Oleg Ya. |author-link1=Oleg Viro |last2=Ivanov |first2=Oleg A. |last3=Netsvetaev |first3=Nikita Yu. |last4=Kharlamov |first4=Viatcheslav M. |author-link4=Viatcheslav M. Kharlamov |date=17 September 2008 |title=Elementary Topology Problem Textbook |url=https://webhomes.maths.ed.ac.uk/~v1ranick/papers/viro.pdf |publisher=American Mathematical Society |isbn=978-0-8218-4506-6 |archive-url=https://web.archive.org/web/20260402131324/https://webhomes.maths.ed.ac.uk/~v1ranick/papers/viro.pdf |archive-date=2 April 2026 |url-status=live}} {{refend}}

Category:Algebraic geometry Category:General topology