、また を の領域*1とします。今、 上の複素数値関数*2 で、 が有限となるようなものの全体を と表すことにします。 が 上のほとんどいたるところで一致*3するとき、同じことですが がほとんどいたるところ 0 となるとき と定義します。これは同値関係になる…