解析接続の一意性
ある関数fと、その定義域が拡張された関数gがあるとして、これは即座に
同一視
できない。
拡張の方法が一意でない場合 f = g1 で f = g2 だけど g1 != g2 となることがあるから。
ある関数fとそれを
解析接続
した関数gを同一視して良いのは、
一意性
を示した後だ。