21/02/03 11:23:59.23 XFPBjgpf.net
>>235
E_eを用いて、Cv上の有理関数fの以下のような一意分解性が示せる
a_i=fの零点
b_i=fの極
とすると（あるω∈R1(Cv)により）以下が成り立つ
f(x)=e^(∫* ω)(Π(i) E_e(x,ai))/(Π(i) E_e(x,bi))
上記の分解式はP^1の有理関数の分解式
f(x)=C・(Π(i) (x-ai))/(Π(i) (x-bi))
の種数が高い場合の類似である
21/02/03 11:23:59.23 XFPBjgpf.net
>>235
E_eを用いて、Cv上の有理関数fの以下のような一意分解性が示せる
a_i=fの零点
b_i=fの極
とすると（あるω∈R1(Cv)により）以下が成り立つ
f(x)=e^(∫* ω)(Π(i) E_e(x,ai))/(Π(i) E_e(x,bi))
上記の分解式はP^1の有理関数の分解式
f(x)=C・(Π(i) (x-ai))/(Π(i) (x-bi))
の種数が高い場合の類似である