Example 6.7.3. Let $X$, $Y$ be topological spaces. Consider the rule $\mathcal{F}$ which associates to the open $U \subset X$ the set

with the obvious restriction mappings. We claim that $\mathcal{F}$ is a sheaf. To see this suppose that $U = \bigcup _{i\in I} U_ i$ is an open covering, and $f_ i \in \mathcal{F}(U_ i)$, $i\in I$ with $f_ i |_{U_ i \cap U_ j} = f_ j|_{U_ i \cap U_ j}$ for all $i, j \in I$. In this case define $f : U \to Y$ by setting $f(u)$ equal to the value of $f_ i(u)$ for any $i \in I$ such that $u \in U_ i$. This is well defined by assumption. Moreover, $f : U \to Y$ is a map such that its restriction to $U_ i$ agrees with the continuous map $U_ i$. Hence clearly $f$ is continuous!

## Comments (2)

Comment #2806 by Luke on

Comment #2907 by Johan on