複素接ベクトル空間 - 第2kame日記X をリーマン面とし、P ∈ X とする。以下 X と P を固定する。 f を Pの近傍 V で定義された複素数値 級関数とする。 そして級関数 f とその定義域のセット を考える。このような 級関数とその定義域の対全体の集合を考え、それを という記号で表す。 の2つの元 をとる。 P のある近傍 V が存在して、 であり となるとき、 は同値であるという。この同値関係〜 に関する の商集合 を という記号で表し、 の元を P における級関数の芽と呼ぶ。 級微分可能多様体のときと同じように リーマン面X の点 P における複素接ベクトル空間が定義できる。 すなわち、P での微分作用素全体の集合を と書き、X の点 P における複素接ベクトル空間という。 P での微分作用素とは、 上の複素数値関数 であって、以下の(1)(2)を満たすものとして定義される。 (1) (線形性) (2) (ラ
http://www.math.tsukuba.ac.jp/~tasaki/lecture/ln2011/mut2011.pdf
http://www.f.waseda.jp/homma_yasushi/homma2/download/symmetric-sp-kougi.pdf
https://ir.lib.osaka-kyoiku.ac.jp/dspace/bitstream/123456789/25227/1/KJ3_5901_001.pdf
