Definition 6.31.2. Let $X$ be a topological space. Let $j : U \to X$ be the inclusion of an open subset.

Let $\mathcal{G}$ be a presheaf of sets, abelian groups or algebraic structures on $X$. The presheaf $j_ p\mathcal{G}$ described in Lemma 6.31.1 is called the

*restriction of $\mathcal{G}$ to $U$*and denoted $\mathcal{G}|_ U$.Let $\mathcal{G}$ be a sheaf of sets on $X$, abelian groups or algebraic structures on $X$. The sheaf $j^{-1}\mathcal{G}$ is called the

*restriction of $\mathcal{G}$ to $U$*and denoted $\mathcal{G}|_ U$.If $(X, \mathcal{O})$ is a ringed space, then the pair $(U, \mathcal{O}|_ U)$ is called the

*open subspace of $(X, \mathcal{O})$ associated to $U$*.If $\mathcal{G}$ is a presheaf of $\mathcal{O}$-modules then $\mathcal{G}|_ U$ together with the multiplication map $\mathcal{O}|_ U \times \mathcal{G}|_ U \to \mathcal{G}|_ U$ (see Lemma 6.24.6) is called the

*restriction of $\mathcal{G}$ to $U$*.

## Comments (0)

There are also: