meromorphicOn

Mathlib.Analysis.Meromorphic.Basic

URI: https://scilib.ai/kg/mathlib#AnalyticOnNhd.meromorphicOn

English

If f is analytic on a neighborhood of 𝕜 in 𝕜, then f is meromorphic on that neighborhood.

Русский

Если f аналитична на окрестности 𝕜 в 𝕜, то f мероморфна на этой окрестности.

LaTeX

$$AnalyticOnNhd 𝕜 f U → MeromorphicOn f U$$

Lean4

theorem meromorphicOn {f : 𝕜 → E} {U : Set 𝕜} (hf : AnalyticOnNhd 𝕜 f U) : MeromorphicOn f U := fun x hx ↦
  (hf x hx).meromorphicAt

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru