The Topology of The Set of Germs
Let g and h be germs. If |h0 − g0| < r where r is the radius of convergence of g and if the power series that g and h define identical functions on the intersection of the two domains, then we say that h is generated by (or compatible with) g, and we write g ≥ h. This compatibility condition is neither transitive, symmetric nor antisymmetric. If we extend the relation by transitivity, we obtain a symmetric relation, which is therefore also an equivalence relation on germs (but not an ordering). This extension by transitivity is one definition of analytic continuation. The equivalence relation will be denoted .
We can define a topology on . Let r > 0, and let
The sets Ur(g), for all r > 0 and g ∈ define a basis of open sets for the topology on .
A connected component of (i.e., an equivalence class) is called a sheaf. We also note that the map φg(h) = h0 from Ur(g) to C where r is the radius of convergence of g, is a chart. The set of such charts forms an atlas for, hence is a Riemann surface. is sometimes called the universal analytic function.
Read more about this topic: Analytic Continuation
Famous quotes containing the words set and/or germs:
“Rather than have it the principal thing in my son’s mind, I would gladly have him think that the sun went round the earth, and that the stars were so many spangles set in the bright blue firmament.”
—Thomas Arnold (1795–1842)
“I was a closet pacifier advocate. So were most of my friends. Unknown to our mothers, we owned thirty or forty of those little suckers that were placed strategically around the house so a cry could be silenced in less than thirty seconds. Even though bottles were boiled, rooms disinfected, and germs fought one on one, no one seemed to care where the pacifier had been.”
—Erma Bombeck (20th century)