Relation With Sheaves
The idea of germ is behind the definition of sheaves and presheaves. A presheaf on a topological space X is an assignment of an Abelian group to each open set U in X. Typical examples of Abelian groups here are: real valued functions on U, differential forms on U, vector fields on U, holomorphic functions on U (when X is a complex space), constant functions on U and differential operators on U.
If then there is a restriction map, satisfying certain compatibility conditions. For a fixed x, one says that elements and are equivalent at x if there is a neighbourhood of x with resWU(f) = resWV(g) (both elements of ). The equivalence classes form the stalk at x of the presheaf . This equivalence relation is an abstraction of the germ equivalence described above.
Read more about this topic: Germ (mathematics)
Famous quotes containing the words relation and/or sheaves:
“When needs and means become abstract in quality, abstraction is also a character of the reciprocal relation of individuals to one another. This abstract character, universality, is the character of being recognized and is the moment which makes concrete, i.e. social, the isolated and abstract needs and their ways and means of satisfaction.”
—Georg Wilhelm Friedrich Hegel (1770–1831)
“Being young you have not known
The fool’s triumph, nor yet
Love lost as soon as won,
Nor the best labourer dead
And all the sheaves to bind.”
—William Butler Yeats (1865–1939)