- We have function elements $(f: \Omega \rightarrow \mathbb C, \Omega \subseteq \mathbb C)$.$f$ is complex analytic, $\Omega$ is an open subset of $\mathbb C$.
- Two function elements $(f_1, \Omega_1), (f_2, \Omega_2)$ are said to be analyticcontinuations of each other iff $\Omega_1 \cap \Omega_2 \neq \emptyset$, and$f_1 = f_2$ on the set $\Omega_1 \cap \Omega_2)$.
- $(f_2, \Omega_2)$ can be called as the continuation of $(f_1, \Omega_1)$ toregion $\Omega_2$.
- We will have that the analytic continuation of $f_1$ to $\Omega_2$ is unique.If there exists a function element $(g_2, \Omega_2)$, $(h_2, \Omega_2)$ such that$g_2 = f_1 = h_2$ in the region $\Omega_1 \cap \Omega_2$, then by analyticity,this agreement will extend to all of $\Omega_2$.
- Analytic continuation is therefore an equivalence relation (prove this!)
- A chain of analytic continuations is a sequence of $(f_i, \Omega_i)$ such thatthe adjacent elements of this sequence are analytic continuations of each other.$(f_i, \Omega_i)$ analytically continues $(f_{i+1}, \Omega_{i+1})$.
- Every equivalence class of this equivalence relation is called as a globalanalytic function. Put differently, it's a family of function elements$(f, U)$ and $(g, V)$ such that we can start from $(f, U)$ and buildanalytic continuations to get to $(g, V)$.

- We can take a different view, with $(f, z \in \mathbb C)$ such that $f$is analytic at some open set $\Omega$ which contains $z$. So we shouldpicture an $f$ sitting analytically on some open set $\Omega$ which contains $z$.
- Two pairs $(f, z)$, $(f', z')$ are considered equivalent if $z = z'$ and$f = f'$ is some neighbourhood of $z (= z')$.
- This is clearly an equivalence relation. The equivalence classes are called as
*germs*. - Each germ $(f, z)$ has a unique projection $z$. We denote a germ of $f$ with projection $z$as $f_z$.
- A function element $(f, \Omega)$ gives rise to germs $(f, z)$ for each $z \in \Omega$.
- Conversely, every germ $(f, z)$ is determined by some function element $(f, \Omega)$since we needed $f$ to be analytic around some open neighbourhood of $z$: Callthis neighbourhood $\Omega$.
- Let $D \subseteq \mathbb C$ be an open set. The set of all germs $\{ f_z : z \in D \}$ is called as a
*sheaf*over $D$. If we are considering analytic $f$ thenthis will be known as the*sheaf of germs of analytic functions over $D$*. Thissheaf will be denoted as $Sh(D)$. - There is a projection $\pi: Sh(D) \rightarrow D; (f, z) \mapsto z$. For a fixed $z0 \in D$,the inverse-image $\pi^{-1}(z0)$ is called as the
*stalk over $z0$*. It isdenoted by $Sh(z)$. - $Sh$ carries both topological and algebraic structure. We can give
*the sheaf*a topology to talk about about continuous mappings in and out of $Sh$.It also carries a pointwise algebraic structure at each stalk: we canadd and subtract functions at each stalk; This makes it an abelain group.

- $\pi$ is a local homeomorphism. Each $s \in S$ has an open neighbourhood $D$such that $\pi(D)$ is open, and the restriction of $\pi$ to $D$ is a homeomorphism.
- For each point $z \in D$, the stalk $\pi^{-1}(z) \equiv S_z$ has the structre of an abeliangroup.
- The group operations are continuous with respect to the topology of $Sh$.