In mathematics, the notion of a germ of an object in/on a topological space is an equivalence class of that object and others of the same kind which captures their shared local properties. In particular, the objects in question are mostly functions (or maps) and subsets. In specific implementations of this idea, the sets or maps in question will have some property, such as being analytic or smooth, but in general this is not needed (the maps or functions in question need not even be continuous); it is however necessary that the space on/in which the object is defined is a topological space, in order that the word local have some sense.
Contents
- Basic definition
- More generally
- Basic properties
- Relation with sheaves
- Examples
- Notation
- Applications
- References
The name is derived from cereal germ in a continuation of the sheaf metaphor, as a germ is (locally) the "heart" of a function, as it is for a grain.
Basic definition
Given a point x of a topological space X, and two maps f, g : X → Y (where Y is any set), then f and g define the same germ at x if there is a neighbourhood U of x such that restricted to U, f and g are equal; meaning that f(u) = g(u) for all u in U. Similarly, if S and T are any two subsets of X, then they define the same germ at x if there is again a neighbourhood U of x such that
It is straightforward to see that defining the same germ at x is an equivalence relation (be it on maps or sets), and the equivalence classes are called germs (map-germs, or set-germs accordingly). The equivalence relation is usually written
Given a map f on X, then its germ at x is usually denoted [f ]x. Similarly, the germ at x of a set S is written [S]x. Thus,
A map germ at x in X which maps the point x in X to the point y in Y is denoted as
When using this notation, f is then intended as an entire equivalence class of maps, using the same letter f for any representative map.
Notice that two sets are germ-equivalent at x if and only if their characteristic functions are germ-equivalent at x:
More generally
Maps need not be defined on all of X, and in particular they don't need to have the same domain. However, if f has domain S and g has domain T, both subsets of X, then f and g are germ equivalent at x in X if first S and T are germ equivalent at x, say
- f is defined on a subvariety V of X, and
- f has a pole of some sort at x, so is not even defined at x, as for example a rational function, which would be defined off a subvariety.
Basic properties
If f and g are germ equivalent at x, then they share all local properties, such as continuity, differentiability etc., so it makes sense to talk about a differentiable or analytic germ, etc. Similarly for subsets: if one representative of a germ is an analytic set then so are all representatives, at least on some neighbourhood of x.
Moreover, if the target Y is a vector space, then it makes sense to add germs: to define [f]x + [g]x, first take representatives f and g, defined on neighbourhoods U and V respectively, then [f]x + [g]x is the germ at x of the map f + g (where f + g is defined on
The set of germs at x of maps from X to Y does not have a useful topology, except for the discrete one. It therefore makes little or no sense to talk of a convergent sequence of germs. However, if X and Y are manifolds, then the spaces of jets
Relation with sheaves
The idea of germ is behind the definition of sheaves and presheaves. A presheaf
If
Examples
If
Notation
The stalk of a sheaf
For germs of sets and varieties, the notation is not so well established: some notations found in literature include:
When the point
Applications
The key word in the applications of germs is locality: all local properties of a function at a point can be studied analyzing its germ. They are a generalization of Taylor series, and indeed the Taylor series of a germ (of a differentiable function) is defined: you only need local information to compute derivatives.
Germs are useful in determining the properties of dynamical systems near chosen points of their phase space: they are one of the main tools in singularity theory and catastrophe theory.
When the topological spaces considered are Riemann surfaces or more generally analytic varieties, germs of holomorphic functions on them can be viewed as power series, and thus the set of germs can be considered to be the analytic continuation of an analytic function.