In topology, a branch of mathematics, a subset of a topological space is said to be locally closed if any of the following equivalent conditions are satisfied:[1][2][3][4]
is the intersection of an open set and a closed set in
For each point there is a neighborhood of such that is closed in
is open in its closure
The set is closed in
is the difference of two closed sets in
is the difference of two open sets in
The second condition justifies the terminology locally closed and is Bourbaki's definition of locally closed.[1] To see the second condition implies the third, use the facts that for subsets is closed in if and only if and that for a subset and an open subset
^ abBourbaki 2007, Ch. 1, § 3, no. 3.
^Pflaum 2001, Explanation 1.1.2.
^Ganster, M.; Reilly, I. L. (1989). "Locally closed sets and LC -continuous functions". International Journal of Mathematics and Mathematical Sciences. 12 (3): 417–424. doi:10.1155/S0161171289000505. ISSN 0161-1712.
^Engelking 1989, Exercise 2.7.1.
and 21 Related for: Locally closed subset information
branch of mathematics, a subset E {\displaystyle E} of a topological space X {\displaystyle X} is said to be locallyclosed if any of the following equivalent...
taken for locally compact, countably compact, metrizable, separable, countable; the second for locally connected. Locallyclosedsubset A subset of a topological...
not a complete subset). This shows that in a Hausdorff locally convex space that is not complete, the closed convex hull of compact subset might fail to...
compact Hausdorff space is locally compact, a connected space—and even a connected subset of the Euclidean plane—need not be locally connected (see below)...
examples show that a subset of a locally compact space need not be locally compact, which contrasts with the open and closedsubsets in the previous section...
Cartesian closed, then it is called locally cartesian closed. Note that if C is locally Cartesian closed, it need not actually be Cartesian closed; that happens...
Boolean algebras. Door space – topological space in which every subset is either open or closed (or both)Pages displaying wikidata descriptions as a fallback...
{\displaystyle f:X\to Y} maps closedsubsets of its domain to closedsubsets of its codomain; that is, for any closedsubset C {\displaystyle C} of X , {\displaystyle...
{\displaystyle \Gamma _{x}\subset \Gamma '_{x}} where the equality holds if X {\displaystyle X} is compact Hausdorff or locally connected. A space in which...
nonmeagre locally convex topological vector space is a barreled space. Every nowhere dense subset of X {\displaystyle X} is meagre. Consequently, any closed subset...
simultaneously be both an open subset and a closedsubset. Such subsets are known as clopen sets. Explicitly, a subset S {\displaystyle S} of a topological...
compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space. The idea is that a compact space has no "punctures"...
} i.e. its Lebesgue integral is finite on all compact subsets K of Ω, then f is called locally integrable. The set of all such functions is denoted by...
of rational numbers Q is not locally compact if given the relative topology as a subset of the real numbers. It is locally compact if given the discrete...
Equivalently, if X is a locally compact metric space, then f is locally Lipschitz if and only if it is Lipschitz continuous on every compact subset of X. In spaces...
_{t>0}t(S-s_{0}).} Theorem (Dieudonné). Let A and B be non-empty, closed, and convex subsets of a locally convex topological vector space such that rec A ∩ rec...
containing a given subset of a Euclidean space, or equivalently as the set of all convex combinations of points in the subset. For a bounded subset of the plane...
A collection of subsets of a topological space X {\displaystyle X} is said to be locally finite if each point in the space has a neighbourhood that intersects...
mathematics, a topological space X is called a regular space if every closedsubset C of X and a point p not contained in C have non-overlapping open neighborhoods...
vanishing on that closedsubset. ind-scheme An ind-scheme is an inductive limit of closed immersions of schemes. invertible sheaf A locally free sheaf of...