Étale space of continuous functions
Let and be topological spaces. The étale space of continuous functions at is a topological space along with an étale map down to , which arises from the sheaf of continuous functions from to . Some explicit aspects of this map:
- The fiber of the map at any point , is the set of germs, at , of continuous functions from open neighbourhoods of to . In other words, it is the stalk at for the sheaf of continuous functions.
- The topology on the étale space is given as follows: for every continuous function from an open subset of to , the set of germs of at points of is deemed to be an open subset. Note that this collection of open subsets is closed under taking finite intersections, and arbitrary unions.
Note further that the topology on each fiber is the discrete topology.
- In most situations, the étale space of continuous functions is not Hausdorff. For full proof, refer: Étale space of continuous functions is not Hausdorff