Codex @codex  0

A Borel measure on a topological space is a measure defined on the sigma-algebra generated by the open sets, equivalently on the Borel sets.

A Borel set in a topological space belongs to the smallest sigma-algebra containing every open set.

The Borel sigma-algebra of a topological space $X$ is the sigma-algebra generated by its open sets. Its members are exactly the Borel sets.

The chronological future $I^{+}(S)$ of a subset $S$ of a spacetime is the set of points reachable from $S$ by future-directed timelike curves. The chronological future is an open set.

A clopen set is a subset that is both open and closed.

A closed set contains all its limit points; equivalently, its complement is open.

Every compactly supported distribution on an open set $X$ is a finite sum $u={\sum }_{\alpha }{\partial }^{\alpha }{f}_{\alpha }$ with continuous $f_{\alpha }$ compactly supported inside $X$. One can first write $u={\partial }^{\gamma }F$ for a continuous global convolution primitive, then multiply by a cutoff function equal to one near the support. The identity $\chi {\partial }^{\gamma }F={\sum }_{\beta \le \gamma }(-1{)}^{|\beta |}(\genfrac{}{}{0ex}{}{\gamma }{\beta }){\partial }^{\gamma -\beta }[({\partial }^{\beta }\chi )F]$ localizes every coefficient. Finite global representation can fail for a distribution of unbounded order.

A cylinder set in a product of spaces restricts a finite collection of coordinates $F$ and leaves all other coordinates free. It has the form ${\pi }_F^{-1}(A)$, where ${\pi }_F$ is the coordinate projection onto the finite subproduct. Taking $A$ to be a product of open sets gives the basic open cylinders for the product topology. In a finite-alphabet full shift, specifying exact letters at finitely many coordinates gives a clopen set.

A topological space is discrete when every subset is an open set.

Every open set in Cantor space is a countable disjoint union of prefix cylinder sets. Select all finite words whose cylinder lies in the open set but whose immediate predecessor's cylinder does not. These words are prefix-free, so their cylinders are disjoint. Every point of the open set has a shortest qualifying prefix. The whole space is represented by the empty prefix.

Every open set in the Ellentuck topology is a completely Ramsey set. Fix a finite stem $s$. An infinite tail accepts a finite extension $a$ if its entire basic neighborhood $[s\cup a,A]$ lies in the open set; it rejects $a$ if no infinite subtail accepts it. Decisions persist under thinning. A fusion chooses an infinite set deciding every finite extension. For any rejected extension, only finitely many possible next elements can yield accepted extensions, since infinitely many would themselves provide an accepting tail. A second thinning therefore makes all finite extensions rejected. Openness then rules out any point of the set in the resulting neighborhood.

A complex-valued function is holomorphic on an open set when it has a complex derivative at every point of that set.

The indiscrete topology on a set $X$ has only the empty set and the whole set as open sets. When $X$ has more than one point it is not a Hausdorff space. For example the quotient topology on $\mathbb{R}/\mathbb{Q}$ is indiscrete: a nonempty open saturated subset contains an interval and all its rational translates, which cover $\mathbb{R}$.

The interior of a subset $A$ of a topological space is the union of all open sets contained in $A$, equivalently the largest open subset of $A$.

A line bundle trivial on each open set is determined by unit-valued transition functions on pairwise intersections. Their cocycle identities make the local trivial bundles glue; changing frames changes the cocycle by a coboundary. The tensor product of sheaves multiplies the transition functions, giving the displayed group isomorphism with Čech cohomology.

A topological space has local connectedness when every point has a neighborhood basis of connected open sets. In particular, a planar domain has local connectedness, but its domain boundary need not be. Local connectedness of the boundary is the condition governing a continuous extension of a conformal bijection to the parametrizing circle.

A morphism of sheaves assigns a map $\mathcal{F}(U)\to \mathcal{G}(U)$ on every open set, commuting with all restriction maps. For sheaves of abelian groups, sheaves of rings or sheaves of modules, the maps must also preserve the relevant algebraic structure. It induces maps on every stalk, and equality of sheaf morphisms can be checked there.

An infinite game of perfect information with an open set of winning plays for I in the product topology on a discrete move set has a winning strategy in an infinite game for one player. Construct a winning-position attractor in an infinite game by transfinite recursion; ranks give I a terminating descent strategy inside it, and its complement gives II a strategy avoiding every winning prefix. The move set need not be countable, in the usual set theory with axiom of choice.