{"history":[],"article":{"id":"ee0ac00b-63f6-4f7f-b66a-520a01cfc633","title":"Closure (topology)","slug":"closure-topology","content":":::summary\n:::\n\n# \nIn [topology](https://bliptext.com/articles/topology), the **closure** of a subset S of [points](https://bliptext.com/articles/topology-glossary) in a [topological space](https://bliptext.com/articles/topological-space) consists of all [points](https://bliptext.com/articles/topology-glossary) in S together with all limit [points](https://bliptext.com/articles/topology-glossary) of S. The **closure** of S may equivalently be defined as the [union](https://bliptext.com/articles/union-set-theory) of S and its [boundary](https://bliptext.com/articles/boundary-topology), and also as the [intersection](https://bliptext.com/articles/intersection-set-theory) of all [closed sets](https://bliptext.com/articles/closed-set) containing S. Intuitively, the **closure** can be thought of as all the [points](https://bliptext.com/articles/topology-glossary) that are either in S or \"very near\" S. A point which is in the **closure** of S is a point of **closure** of S. The notion of **closure** is in many ways [dual](https://bliptext.com/articles/duality-mathematics) to the notion of [interior](https://bliptext.com/articles/interior-topology).\n\n# Definitions\n\n## Point of closure\nFor S as a subset of a [Euclidean space](https://bliptext.com/articles/euclidean-space), x is a point of closure of S if every [open ball](https://bliptext.com/articles/open-ball) centered at x contains a point of S (this point can be x itself).\nThis definition generalizes to any subset S of a [metric space](https://bliptext.com/articles/metric-space) X. Fully expressed, for X as a [metric space](https://bliptext.com/articles/metric-space) with metric d, x is a point of closure of S if for every r > 0 there exists some s \\in S such that the distance d(x, s) < r (x = s is allowed).\nAnother way to express this is to say that x is a point of closure of S if the distance where \\inf is the [infimum](https://bliptext.com/articles/infimum-and-supremum).\nThis definition generalizes to [topological spaces](https://bliptext.com/articles/topological-space) by replacing \"open ball\" or \"ball\" with \"[neighbourhood](https://bliptext.com/articles/topology-glossary)\".\nLet S be a subset of a topological space X. Then x is a or of S if every neighbourhood of x contains a point of S (again, x = s for s \\in S is allowed).\nNote that this definition does not depend upon whether neighbourhoods are required to be open.\n\n## Limit point\nThe definition of a point of closure of a set is closely related to the definition of a [limit point of a set](https://bliptext.com/articles/limit-point-of-a-set).\nThe difference between the two definitions is subtle but important – namely, in the definition of a limit point x of a set S, every neighbourhood of x must contain a point of S, i.e., each neighbourhood of x obviously has x but it also must have a point of S that is not equal to x in order for x to be a limit point of S. A limit point of S has more strict condition than a point of closure of S in the definitions.\nThe set of all limit points of a set S is called the.\nA limit point of a set is also called cluster point or accumulation point of the set.\nThus, every limit point is a point of closure, but not every point of closure is a limit point.\nA point of closure which is not a limit point is an [isolated point](https://bliptext.com/articles/isolated-point).\nIn other words, a point x is an isolated point of S if it is an element of S and there is a neighbourhood of x which contains no other points of S than x itself.\nFor a given set S and point x, x is a point of closure of S if and only if x is an element of S or x is a limit point of S (or both).\n\n## Closure of a set\nThe of a subset S of a [topological space](https://bliptext.com/articles/topological-space) (X, \\tau), denoted by or possibly by (if \\tau is understood), where if both X and \\tau are clear from context then it may also be denoted by or S {}^{-} (Moreover, is sometimes capitalized to .) can be defined using any of the following equivalent definitions:\n

is the set of all [points of closure](https://bliptext.com/articles/adherent-point) of S.
is the set S together with [all of its limit points](https://bliptext.com/articles/derived-set-mathematics).\n(Each point of S is a point of closure of S, and each limit point of S is also a point of closure of S.)
is the intersection of all [closed sets](https://bliptext.com/articles/closed-set) containing S.
is the smallest closed set containing S.
is the union of S and its [boundary](https://bliptext.com/articles/boundary-topology)
is the set of all x \\in X for which there exists a [net](https://bliptext.com/articles/net-mathematics) (valued) in S that converges to x in (X, \\tau).

\nThe closure of a set has the following properties.\nSometimes the second or third property above is taken as the of the topological closure, which still make sense when applied to other types of closures (see below).\nIn a [first-countable space](https://bliptext.com/articles/first-countable-space) (such as a [metric space](https://bliptext.com/articles/metric-space)), is the set of all [limits](https://bliptext.com/articles/limit-of-a-sequence) of all convergent [sequences](https://bliptext.com/articles/sequence) of points in S. For a general topological space, this statement remains true if one replaces \"sequence\" by \"[net](https://bliptext.com/articles/net-mathematics)\" or \"[filter](https://bliptext.com/articles/filter-set-theory)\" (as described in the article on [filter](https://bliptext.com/articles/filter-set-theory)s in topology).\nNote that these properties are also satisfied if \"closure\", \"superset\", \"intersection\", \"contains/containing\", \"smallest\" and \"closed\" are replaced by \"interior\", \"subset\", \"union\", \"contained in\", \"largest\", and \"open\".\nFor more on this matter, see [closure operator](https://bliptext.com/articles/) below.\n\n# Examples\nConsider a [sphere](https://bliptext.com/articles/sphere) in a 3 dimensional space.\nImplicitly there are two regions of interest created by this sphere; the sphere itself and its interior (which is called an open 3-[ball](https://bliptext.com/articles/ball-mathematics)).\nIt is useful to distinguish between the interior and the surface of the sphere, so we distinguish between the open 3-ball (the interior of the sphere), and the closed 3-ball – the closure of the open 3-ball that is the open 3-ball plus the surface (the surface as the sphere itself).\nIn [topological space](https://bliptext.com/articles/topological-space):\nGiving \\mathbb{R} and \\mathbb{C} the [standard (metric) topology](https://bliptext.com/articles/standard-topology):\nOn the set of real numbers one can put other topologies rather than the standard one.\nThese examples show that the closure of a set depends upon the topology of the underlying space.\nThe last two examples are special cases of the following.\nThe closure of a set also depends upon in which space we are taking the closure.\nFor example, if X is the set of rational numbers, with the usual [relative topology](https://bliptext.com/articles/subspace-topology) induced by the Euclidean space \\mathbb{R}, and if then S is [both closed and open](https://bliptext.com/articles/clopen-set) in \\mathbb{Q} because neither S nor its complement can contain \\sqrt2, which would be the lower bound of S, but cannot be in S because \\sqrt2 is irrational.\nSo, S has no well defined closure due to boundary elements not being in \\mathbb{Q}.\nHowever, if we instead define X to be the set of real numbers and define the interval in the same way then the closure of that interval is well defined and would be the set of all greater than \\sqrt2.\n\n# Closure operator\nA on a set X is a [mapping](https://bliptext.com/articles/map-mathematics) of the [power set](https://bliptext.com/articles/power-set) of X,, into itself which satisfies the [Kuratowski closure axioms](https://bliptext.com/articles/kuratowski-closure-axioms).\nGiven a [topological space](https://bliptext.com/articles/topological-space) (X, \\tau), the topological closure induces a function that is defined by sending a subset to where the notation or S^{-} may be used instead.\nConversely, if \\mathbb{c} is a closure operator on a set X, then a topological space is obtained by defining the [closed sets](https://bliptext.com/articles/closed-set) as being exactly those subsets that satisfy (so complements in X of these subsets form the [open sets](https://bliptext.com/articles/open-set) of the topology).\nThe closure operator is [dual](https://bliptext.com/articles/duality-mathematics) to the [interior](https://bliptext.com/articles/interior-topology) operator, which is denoted by in the sense that\nand also\nTherefore, the abstract theory of closure operators and the Kuratowski closure axioms can be readily translated into the language of interior operators by replacing sets with their [complements](https://bliptext.com/articles/complement-set-theory) in X.\nIn general, the closure operator does not commute with intersections.\nHowever, in a [complete metric space](https://bliptext.com/articles/complete-metric-space) the following result does hold:\n\n# Facts about closures\nA subset S is [closed](https://bliptext.com/articles/closed-set) in X if and only if In particular:\nIf and if T is a [subspace](https://bliptext.com/articles/topological-subspace) of X (meaning that T is endowed with the [subspace](https://bliptext.com/articles/topological-subspace) topology that X induces on it), then and the closure of S computed in T is equal to the intersection of T and the closure of S computed in X:\nBecause is a closed subset of X, the intersection is a closed subset of T (by definition of the [subspace topology](https://bliptext.com/articles/subspace-topology)), which implies that (because is the closed subset of T containing S).\nBecause is a closed subset of T, from the definition of the subspace topology, there must exist some set such that C is closed in X and Because and C is closed in X, the minimality of implies that Intersecting both sides with T shows that\nIt follows that is a dense subset of T [if and only if](https://bliptext.com/articles/if-and-only-if) T is a subset of It is possible for to be a proper subset of for example, take X = \\R, S = (0, 1), and\nIf but S is not necessarily a subset of T then only\nis always guaranteed, where this containment could be strict (consider for instance X = \\R with the usual topology, and ), although if T happens to an open subset of X then the equality will hold (no matter the relationship between S and T).\nLet and assume that T is open in X. Let which is equal to (because ).\nThe complement is open in T, where T being open in X now implies that is also open in X. Consequently is a closed subset of X where contains S as a subset (because if s \\in S is in T then ), which implies that Intersecting both sides with T proves that The reverse inclusion follows from\nConsequently, if \\mathcal{U} is any [open cover](https://bliptext.com/articles/open-cover) of X and if is any subset then:\nbecause for every (where every is endowed with the [subspace topology](https://bliptext.com/articles/subspace-topology) induced on it by X).\nThis equality is particularly useful when X is a [manifold](https://bliptext.com/articles/manifold-mathematics) and the sets in the open cover \\mathcal{U} are domains of [coordinate charts](https://bliptext.com/articles/coordinate-chart).\nIn words, this result shows that the closure in X of any subset can be computed \"locally\" in the sets of any open cover of X and then unioned together.\nIn this way, this result can be viewed as the analogue of the well-known fact that a subset is closed in X if and only if it is \"[locally closed](https://bliptext.com/articles/locally-closed-set) in X\", meaning that if \\mathcal{U} is any [open cover](https://bliptext.com/articles/open-cover) of X then S is closed in X if and only if S \\cap U is closed in U for every\n\n# Functions and closure\n\n## Continuity\nA function f : X \\to Y between topological spaces is [continuous](https://bliptext.com/articles/continuous-function) if and only if the [preimage](https://bliptext.com/articles/preimage) of every closed subset of the codomain is closed in the domain; explicitly, this means: f^{-1}(C) is closed in X whenever C is a closed subset of Y.\nIn terms of the closure operator, f : X \\to Y is continuous if and only if for every subset\nThat is to say, given any element x \\in X that belongs to the closure of a subset f(x) necessarily belongs to the closure of f(A) in Y. If we declare that a point x is a subset if then this terminology allows for a [plain English](https://bliptext.com/articles/plain-english) description of continuity: f is continuous if and only if for every subset f maps points that are close to A to points that are close to f(A).\nThus continuous functions are exactly those functions that preserve (in the forward direction) the \"closeness\" relationship between points and sets: a function is continuous if and only if whenever a point is close to a set then the image of that point is close to the image of that set.\nSimilarly, f is continuous at a fixed given point x \\in X if and only if whenever x is close to a subset then f(x) is close to f(A).\n\n## Closed maps\nA function f : X \\to Y is a (strongly) [closed map](https://bliptext.com/articles/closed-map) if and only if whenever C is a closed subset of X then f(C) is a closed subset of Y. In terms of the closure operator, f : X \\to Y is a (strongly) [closed map](https://bliptext.com/articles/closed-map) if and only if for every subset\nEquivalently, f : X \\to Y is a (strongly) closed map if and only if for every closed subset\n\n# Categorical interpretation\nOne may define the closure operator in terms of universal arrows, as follows.\nThe [powerset](https://bliptext.com/articles/powerset) of a set X may be realized as a [partial order](https://bliptext.com/articles/partial-order) [category](https://bliptext.com/articles/category-mathematics) P in which the objects are subsets and the morphisms are [inclusion maps](https://bliptext.com/articles/inclusion-map) A \\to B whenever A is a subset of B. Furthermore, a topology T on X is a sub[category](https://bliptext.com/articles/category-mathematics) of P with inclusion functor The set of closed subsets containing a fixed subset can be identified with the comma [category](https://bliptext.com/articles/category-mathematics) This [category](https://bliptext.com/articles/category-mathematics) — also a [partial order](https://bliptext.com/articles/partial-order) — then has initial object Thus there is a universal arrow from A to I, given by the inclusion\nSimilarly, since every closed set containing corresponds with an open set contained in A we can interpret the category as the set of open subsets contained in A, with [terminal object](https://bliptext.com/articles/terminal-object) the [interior](https://bliptext.com/articles/interior-topology) of A.\nAll properties of the closure can be derived from this definition and a few properties of the above categories.\nMoreover, this definition makes precise the analogy between the topological closure and other types of closures (for example [algebraic closure](https://bliptext.com/articles/algebraic-closure)), since all are examples of [universal arrows](https://bliptext.com/articles/universal-arrow).","current_revision":null,"created_by":"kACnuQmH5k9Nr5VNVEpVeg7XpvUmMctD","created_at":"2025-01-25T16:39:35.604Z","updated_at":"2025-01-25T16:39:35.604Z","search_vector":"'closur':1 'topolog':2","search_content":" \n \n\n# \nIn [topology](https://bliptext.com/articles/topology), the **closure** of a subset S of [points](https://bliptext.com/articles/topology-glossary) in a [topological space](https://bliptext.com/articles/topological-space) consists of all [points](https://bliptext.com/articles/topology-glossary) in S together with all limit [points](https://bliptext.com/articles/topology-glossary) of S. The **closure** of S may equivalently be defined as the [union](https://bliptext.com/articles/union-set-theory) of S and its [boundary](https://bliptext.com/articles/boundary-topology), and also as the [intersection](https://bliptext.com/articles/intersection-set-theory) of all [closed sets](https://bliptext.com/articles/closed-set) containing S. Intuitively, the **closure** can be thought of as all the [points](https://bliptext.com/articles/topology-glossary) that are either in S or \"very near\" S. A point which is in the **closure** of S is a point of **closure** of S. The notion of **closure** is in many ways [dual](https://bliptext.com/articles/duality-mathematics) to the notion of [interior](https://bliptext.com/articles/interior-topology).\n\n# Definitions\n\n## Point of closure\nFor S as a subset of a [Euclidean space](https://bliptext.com/articles/euclidean-space), x is a point of closure of S if every [open ball](https://bliptext.com/articles/open-ball) centered at x contains a point of S (this point can be x itself).\nThis definition generalizes to any subset S of a [metric space](https://bliptext.com/articles/metric-space) X. Fully expressed, for X as a [metric space](https://bliptext.com/articles/metric-space) with metric d, x is a point of closure of S if for every r > 0 there exists some s \\in S such that the distance d(x, s) \n is the set of all [points of closure](https://bliptext.com/articles/adherent-point) of S. \n is the set S together with [all of its limit points](https://bliptext.com/articles/derived-set-mathematics).\n(Each point of S is a point of closure of S, and each limit point of S is also a point of closure of S.) \n is the intersection of all [closed sets](https://bliptext.com/articles/closed-set) containing S. \n is the smallest closed set containing S. \n is the union of S and its [boundary](https://bliptext.com/articles/boundary-topology) \n is the set of all x \\in X for which there exists a [net](https://bliptext.com/articles/net-mathematics) (valued) in S that converges to x in (X, \\tau). \n \nThe closure of a set has the following properties.\nSometimes the second or third property above is taken as the of the topological closure, which still make sense when applied to other types of closures (see below).\nIn a [first-countable space](https://bliptext.com/articles/first-countable-space) (such as a [metric space](https://bliptext.com/articles/metric-space)), is the set of all [limits](https://bliptext.com/articles/limit-of-a-sequence) of all convergent [sequences](https://bliptext.com/articles/sequence) of points in S. For a general topological space, this statement remains true if one replaces \"sequence\" by \"[net](https://bliptext.com/articles/net-mathematics)\" or \"[filter](https://bliptext.com/articles/filter-set-theory)\" (as described in the article on [filter](https://bliptext.com/articles/filter-set-theory)s in topology).\nNote that these properties are also satisfied if \"closure\", \"superset\", \"intersection\", \"contains/containing\", \"smallest\" and \"closed\" are replaced by \"interior\", \"subset\", \"union\", \"contained in\", \"largest\", and \"open\".\nFor more on this matter, see [closure operator](https://bliptext.com/articles/) below.\n\n# Examples\nConsider a [sphere](https://bliptext.com/articles/sphere) in a 3 dimensional space.\nImplicitly there are two regions of interest created by this sphere; the sphere itself and its interior (which is called an open 3-[ball](https://bliptext.com/articles/ball-mathematics)).\nIt is useful to distinguish between the interior and the surface of the sphere, so we distinguish between the open 3-ball (the interior of the sphere), and the closed 3-ball – the closure of the open 3-ball that is the open 3-ball plus the surface (the surface as the sphere itself).\nIn [topological space](https://bliptext.com/articles/topological-space):\nGiving \\mathbb{R} and \\mathbb{C} the [standard (metric) topology](https://bliptext.com/articles/standard-topology):\nOn the set of real numbers one can put other topologies rather than the standard one.\nThese examples show that the closure of a set depends upon the topology of the underlying space.\nThe last two examples are special cases of the following.\nThe closure of a set also depends upon in which space we are taking the closure.\nFor example, if X is the set of rational numbers, with the usual [relative topology](https://bliptext.com/articles/subspace-topology) induced by the Euclidean space \\mathbb{R}, and if then S is [both closed and open](https://bliptext.com/articles/clopen-set) in \\mathbb{Q} because neither S nor its complement can contain \\sqrt2, which would be the lower bound of S, but cannot be in S because \\sqrt2 is irrational.\nSo, S has no well defined closure due to boundary elements not being in \\mathbb{Q}.\nHowever, if we instead define X to be the set of real numbers and define the interval in the same way then the closure of that interval is well defined and would be the set of all greater than \\sqrt2.\n\n# Closure operator\nA on a set X is a [mapping](https://bliptext.com/articles/map-mathematics) of the [power set](https://bliptext.com/articles/power-set) of X,, into itself which satisfies the [Kuratowski closure axioms](https://bliptext.com/articles/kuratowski-closure-axioms).\nGiven a [topological space](https://bliptext.com/articles/topological-space) (X, \\tau), the topological closure induces a function that is defined by sending a subset to where the notation or S^{-} may be used instead.\nConversely, if \\mathbb{c} is a closure operator on a set X, then a topological space is obtained by defining the [closed sets](https://bliptext.com/articles/closed-set) as being exactly those subsets that satisfy (so complements in X of these subsets form the [open sets](https://bliptext.com/articles/open-set) of the topology).\nThe closure operator is [dual](https://bliptext.com/articles/duality-mathematics) to the [interior](https://bliptext.com/articles/interior-topology) operator, which is denoted by in the sense that\nand also\nTherefore, the abstract theory of closure operators and the Kuratowski closure axioms can be readily translated into the language of interior operators by replacing sets with their [complements](https://bliptext.com/articles/complement-set-theory) in X.\nIn general, the closure operator does not commute with intersections.\nHowever, in a [complete metric space](https://bliptext.com/articles/complete-metric-space) the following result does hold:\n\n# Facts about closures\nA subset S is [closed](https://bliptext.com/articles/closed-set) in X if and only if In particular:\nIf and if T is a [subspace](https://bliptext.com/articles/topological-subspace) of X (meaning that T is endowed with the [subspace](https://bliptext.com/articles/topological-subspace) topology that X induces on it), then and the closure of S computed in T is equal to the intersection of T and the closure of S computed in X:\nBecause is a closed subset of X, the intersection is a closed subset of T (by definition of the [subspace topology](https://bliptext.com/articles/subspace-topology)), which implies that (because is the closed subset of T containing S).\nBecause is a closed subset of T, from the definition of the subspace topology, there must exist some set such that C is closed in X and Because and C is closed in X, the minimality of implies that Intersecting both sides with T shows that\nIt follows that is a dense subset of T [if and only if](https://bliptext.com/articles/if-and-only-if) T is a subset of It is possible for to be a proper subset of for example, take X = \\R, S = (0, 1), and\nIf but S is not necessarily a subset of T then only\nis always guaranteed, where this containment could be strict (consider for instance X = \\R with the usual topology, and ), although if T happens to an open subset of X then the equality will hold (no matter the relationship between S and T).\nLet and assume that T is open in X. Let which is equal to (because ).\nThe complement is open in T, where T being open in X now implies that is also open in X. Consequently is a closed subset of X where contains S as a subset (because if s \\in S is in T then ), which implies that Intersecting both sides with T proves that The reverse inclusion follows from\nConsequently, if \\mathcal{U} is any [open cover](https://bliptext.com/articles/open-cover) of X and if is any subset then:\nbecause for every (where every is endowed with the [subspace topology](https://bliptext.com/articles/subspace-topology) induced on it by X).\nThis equality is particularly useful when X is a [manifold](https://bliptext.com/articles/manifold-mathematics) and the sets in the open cover \\mathcal{U} are domains of [coordinate charts](https://bliptext.com/articles/coordinate-chart).\nIn words, this result shows that the closure in X of any subset can be computed \"locally\" in the sets of any open cover of X and then unioned together.\nIn this way, this result can be viewed as the analogue of the well-known fact that a subset is closed in X if and only if it is \"[locally closed](https://bliptext.com/articles/locally-closed-set) in X\", meaning that if \\mathcal{U} is any [open cover](https://bliptext.com/articles/open-cover) of X then S is closed in X if and only if S \\cap U is closed in U for every\n\n# Functions and closure\n\n## Continuity\nA function f : X \\to Y between topological spaces is [continuous](https://bliptext.com/articles/continuous-function) if and only if the [preimage](https://bliptext.com/articles/preimage) of every closed subset of the codomain is closed in the domain; explicitly, this means: f^{-1}(C) is closed in X whenever C is a closed subset of Y.\nIn terms of the closure operator, f : X \\to Y is continuous if and only if for every subset\nThat is to say, given any element x \\in X that belongs to the closure of a subset f(x) necessarily belongs to the closure of f(A) in Y. If we declare that a point x is a subset if then this terminology allows for a [plain English](https://bliptext.com/articles/plain-english) description of continuity: f is continuous if and only if for every subset f maps points that are close to A to points that are close to f(A).\nThus continuous functions are exactly those functions that preserve (in the forward direction) the \"closeness\" relationship between points and sets: a function is continuous if and only if whenever a point is close to a set then the image of that point is close to the image of that set.\nSimilarly, f is continuous at a fixed given point x \\in X if and only if whenever x is close to a subset then f(x) is close to f(A).\n\n## Closed maps\nA function f : X \\to Y is a (strongly) [closed map](https://bliptext.com/articles/closed-map) if and only if whenever C is a closed subset of X then f(C) is a closed subset of Y. In terms of the closure operator, f : X \\to Y is a (strongly) [closed map](https://bliptext.com/articles/closed-map) if and only if for every subset\nEquivalently, f : X \\to Y is a (strongly) closed map if and only if for every closed subset\n\n# Categorical interpretation\nOne may define the closure operator in terms of universal arrows, as follows.\nThe [powerset](https://bliptext.com/articles/powerset) of a set X may be realized as a [partial order](https://bliptext.com/articles/partial-order) [category](https://bliptext.com/articles/category-mathematics) P in which the objects are subsets and the morphisms are [inclusion maps](https://bliptext.com/articles/inclusion-map) A \\to B whenever A is a subset of B. Furthermore, a topology T on X is a sub[category](https://bliptext.com/articles/category-mathematics) of P with inclusion functor The set of closed subsets containing a fixed subset can be identified with the comma [category](https://bliptext.com/articles/category-mathematics) This [category](https://bliptext.com/articles/category-mathematics) — also a [partial order](https://bliptext.com/articles/partial-order) — then has initial object Thus there is a universal arrow from A to I, given by the inclusion\nSimilarly, since every closed set containing corresponds with an open set contained in A we can interpret the category as the set of open subsets contained in A, with [terminal object](https://bliptext.com/articles/terminal-object) the [interior](https://bliptext.com/articles/interior-topology) of A.\nAll properties of the closure can be derived from this definition and a few properties of the above categories.\nMoreover, this definition makes precise the analogy between the topological closure and other types of closures (for example [algebraic closure](https://bliptext.com/articles/algebraic-closure)), since all are examples of [universal arrows](https://bliptext.com/articles/universal-arrow).","revisionCount":0},"hasMore":false,"nextCursor":null}

History