叉定理

设 $D, G\subset{\Bbb C}$ 为域，设 $A\subset D$，$B\subset G$ 为局部正则集，并设 $X:=(D\times B)\cup(A\times G)$。假定 $A$ 为 Borel 集。设 $M$ 为 $X$ 的某个开邻域中的真解析子集。则存在 $X$ 的全纯包 $\hat X$ 中的一个纯一维解析子集 $\hat M$，使得任何在 $X\setminus M$ 上分别全纯的函数可扩张为 $\hat X\setminus\hat M$ 上的全纯函数。该结果推广了 \cite{"Okt 1998}、\cite{"Okt 1999a} 与 \cite{Sic 2000} 中所研究的特例。