ChatGPT
>
> 先生のご質問は、まさに多変数複素解析の核心ですね。
> ここでは少し数学的に整理して、直観と構造の両方をはっきりさせてみます。
>
> -------------------------
>
> 1⃣ 「Cn\mathbb{C}^nCn
> と双正則同値な部分領域」とは何か
>
> まず「双正則同値（biholomorphic）」とは、
>
> 正則写像で
>
> 逆写像も正則
>
> という 複素解析的同型 のことです。
>
> したがって
>
> U⊂CnU \subset \mathbb{C}^nU⊂Cn が
> Cn\mathbb{C}^nCn と双正則同値
>
> とは、
>
> ∃  F:Cn→U\exists \; F : \mathbb{C}^n \to U∃F:Cn→U
>
> が双正則写像である、という意味です。
>
> つまり
>
> 見た目は「部分領域」
>
> しかし複素解析的には 完全に Cn\mathbb{C}^nCn と同じ
>
> ということです。
>
> -------------------------
>
> n=1n=1n=1 ではこんなことは起こりません。
>
> しかし n≥2n \ge 2n≥2 では起こります。
>
> これは
> Pierre Fatou と
> Ludwig Bieberbach
> による現象に由来し、
>
> Fatou–Bieberbach 領域
>
> と呼ばれます。
>
> これが多変数の「自由さ」です。