3
$\begingroup$

This is an exercise from a book called "theory of complex functions" I want to solve:

Let $c\in G$ and $B\subset G$ a disc around c. When is the $\mathbb{C}$-algebra homomorphism $\mathcal{O}(G) \rightarrow \mathcal{O} (B)$ defined by $f\mapsto f_{|B}$ one-to-one? When is it onto?

I am not sure what this exercise asks. The $\mathbb{C}$-algebra maps a function to a function with its ensemble of definition restricted to the map of its disc? Or a domain is mapped to a disc in the domain?

If the second is the case, then I would say that it is never one-to-one, because the ensemble of definition has a higher cardinality than the ensemble of the map, but always onto.

Merci for any explaination.

  • 0
    What do we know about $G$?2011-12-06
  • 0
    I assume $\cal O(B)$ is the set of holomorphic functions on $B$. The question(s) you are supposed to answer are: i) if $f, g$ are holomorphic on $G$ and $f=g$ on $B$, does it follow that $f=g$ on $G$? -- this is the one-to-one part -- and ii) if $f$ is a holomorphic function on $B$, is it true that there is a holomorphic $F$ defined on $G$ such that the restriction of $F$ to $B$ coincides with $f$ -- this is the onto part.2011-12-06
  • 0
    Merci Thomas Andrews, i) no, because the radius of convergence of f and g can be different, so that from $f=g$ on $B$ it doesn't follow that $f=g$ on G. ii) Yes, because the radius of convergence of f and F can be different, but the one of f is always smaller, so they will still both converge in the same disc. ?2011-12-06
  • 0
    i) careful, the key words you want to look up are 'analytical continuation' and 'connectedness'. ii) assume the disc has radius 1 and $G$ is the disc of radius 2. Try to find a holomorphic function on the disc of radius 1 which cannot be extended beyond that radius.2011-12-06
  • 0
    i) yes, because f-g is an analytic function which vanishes in the open, connected domain B , so it must vanish on its entire domain. ii) $log(z)$ is holomorphic, but it can't be extended beyond the radius 1, since 0 doesn't work with it. ? Is this what you meant? Merci2011-12-06
  • 0
    I thought of $1/(1-z)$, for example. There is no holomorphic $\log$ on the disc, you need to cut the domain along a line or curve from the origin to the boundary.2011-12-07

1 Answers 1