Vipul: Created page with "==Definition== ===Definition for a function of one variable=== Suppose $f$ is a function on a subset of $\R$ and $x_0$ is a point in the int..."

2012-06-30T15:02:43Z

Created page with "==Definition== ===Definition for a function of one variable=== Suppose <math>f</math> is a function on a subset of <math>\R</math> and <math>x_0</math> is a point in the int..."

New page

==Definition==

===Definition for a function of one variable===

Suppose <math>f</math> is a function on a subset of <math>\R</math> and <math>x_0</math> is a point in the interior of the domain of <math>f</math>. The '''germ''' of <math>f</math> is the collection of all functions <math>g</math> defined on subsets of <math>\R</math> containing <math>x_0</math> in the interior of the domain, such that there exists an open subset <math>U \ni x_0</math> with <math>U \subseteq \operatorname{dom}f \cap \operatorname{dom}g</math>. for which <math>f(x) = g(x) \ \forall x \in U</math>. If <math>g</math> is in this collection, we say that <math>f</math> and <math>g</math> have the same germ at <math>x_0</math>. The relation of having the same germ is an equivalence relation.

Intuitively, the germ of a function at a point describes how the function behaves very close to the point, where "very close" allows us to consider an arbitrarily small open subset containing the point. All "local" behavior at the point, including continuity, differentiability, and the values of the derivatives, depends ''only'' on the germ of the function at the point.

Germ of a function - Revision history

Vipul: Created page with "==Definition== ===Definition for a function of one variable=== Suppose f is a function on a subset of \R and x_0 is a point in the int..."

Vipul: Created page with "==Definition== ===Definition for a function of one variable=== Suppose $f$ is a function on a subset of $\R$ and $x_0$ is a point in the int..."