3
$\begingroup$

Let $U$ be an open set of the Riemann sphere, $z_i$ be $n$ distinct points of $U$, and $E$ the vector space of meromorphic functions on $U$ with poles of order no more than 2.

Let $F$ be the subspace of $E$ whose elements are holomorphic in a neighborhood of the $z_i$.

Does $E/F$ have finite dimension ? If so, what is it ?

It is clear that it has dimension at least $2n$, since the $\frac{1}{(z-z_i)^k}$, $k=1,2$, form a free family. However, I couldn't determine if there was more (intuition suggests not).

  • 0
    @Glougloubarbaki I'll make an answer, thanks~2012-07-30

1 Answers 1

3

If $f$ is an element in $E$, you can subtract all principal parts of $f$ at $z_i$, then you'll get a function which is holomorphic near every $z_i$. Since every principal part is a linear combination of $\frac{1}{z-z_i}$ and $\frac{1}{(z-z_i)^2}$, we can deduce that $E/F$ is a complex vector space of dimension $2n$.