# Germ

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A term signifying a "pointwise localization" of various mathematical objects (germs of functions, germs of mappings, germs of analytic sets, etc.). Let, for example, be a point in a topological space and let be some family of functions defined in a neighbourhood of (each in its own neighbourhood). Two functions are said to be equivalent (at ) if they coincide in some neighbourhood of . An equivalence class generated by this relation is called a germ of functions of class at . In this way are defined the germs of continuous functions, of differentiable functions at the points of a differentiable manifold, of holomorphic functions at the points of a complex manifold, etc. If the family has some algebraic structure, then the set of germs of functions of the family inherits this structure (the operations are carried out on representatives of classes). In particular, the germs of holomorphic functions at a point form a ring. Elements of the quotient field of this ring are called germs of meromorphic functions at .

Similarly one can define a germ of a family of subsets of a topological space. For instance, at the points of an analytic manifold there are germs of analytic sets (the equivalence class is defined by coincidence in a neighbourhood of a given point). On germs of families of subsets set-theoretic operations and relations are naturally defined. The notion of a germ is also meaningful in the case of other objects defined on open subsets of a topological space.

#### References

 [1] R.C. Gunning, H. Rossi, "Analytic functions of several complex variables" , Prentice-Hall (1965)