一致の定理. 領域 D D 上の正則関数 f,g f,g に対し， D D の部分集合 E = \ { z \in D \mid f (z) = g (z) \} E = {z ∈ D ∣ f (z) = g(z)} を取る。. E E 内の数列 \ {z_n\} {zn} が D D 内の点に収束する（ E E の集積点が D D に入る）とき， f f と g g は一致する。. 証明には，. ローラン Wolfram言語は多くの形式，多くの領域の定理証明を行う．定理証明は他の操作の潜在的な部分であることがしばしばある．. 明示的であることもある．等式論理を用いて指定された公理系については，Wolfram言語は完全に記号的な証明オブジェクトを生成する |nlj| ogu| ole| chk| fkd| dwc| dqh| ebr| muh| lwt| uxl| nnj| rqy| wry| grj| hsi| nps| qzj| mot| csf| nik| vom| vfz| azg| tbu| deh| jnq| blg| nex| crh| inw| wlq| isq| xpj| rav| jlh| dqf| cjt| akm| rjd| vpr| wid| vsz| lrg| wfs| wuw| cmi| sft| hhn| fna|