Arakelian's Theorem¶
Arakelian's theorem makes connectedness and local connectedness of a one-point complement equivalent to universal uniform holomorphic approximation on a closed plane-domain set.
Core Idea¶
For a relatively closed set \(E\) in a plane domain \(X\), Arakelian's theorem characterizes when every continuous function on \(E\) that is holomorphic in its interior can be approximated uniformly on \(E\) by functions holomorphic throughout \(X\). This holds exactly when \(X^*\setminus E\), the complement in the one-point compactification, is connected and locally connected.[^ref-d9ce7a0768aa]
Scope of Application¶
For a compact closed disk, the condition reduces to connectedness of the ordinary exterior, the Mergelyan case. For the noncompact real axis in the complex plane, the compactification point joins the two half-plane sides for the topological test. Uniform approximation then applies to continuous functions on the whole line, not only on each bounded piece.[^ref-d9ce7a0768aa]
Clarity¶
The domain \(X\) tells where the approximant must be holomorphic. The set \(E\) tells where error is controlled. The compactified complement tells whether all eligible targets can be approximated. Failure of the universal property does not mean every particular function fails.
Manages Complexity¶
The theorem replaces many separate approximation questions with one topological check. Noncompact sets require the local-connectivity condition at the added point as well as connectedness.
Abstract Reasoning¶
Check relative closedness, the target's continuity and interior holomorphy, then connectedness and local connectedness of \(X^*\setminus E\). If the criterion passes, each positive uniform tolerance can be met by a holomorphic function on \(X\).[^ref-d9ce7a0768aa]
Knowledge Transfer¶
The criterion spans compact and noncompact plane-domain sets. It does not automatically extend to arbitrary manifold-valued maps or higher-dimensional domains. The live Analytic Function entry supplies the indispensable holomorphic-approximant class, but the theorem is not itself a function.
[^ref-d9ce7a0768aa]: Franc Forstnerič, “Mergelyan's and Arakelian's theorems for manifold-valued maps”, Introduction's classical theorem.
Relationships to Other Abstractions¶
Current abstraction Arakelian's Theorem Domain-specific
Parents (1) — more general patterns this builds on
-
Arakelian's Theorem presupposes Analytic Function Domain-specific
The theorem's universal approximation claim requires complex analytic functions as the holomorphic approximants on its plane domain.
Hierarchy paths (2) — routes to 2 parentless roots
- Arakelian's Theorem → Analytic Function → Continuous function → Continuity → Neighborhood → Topology
- Arakelian's Theorem → Analytic Function → Continuous function → Continuity → Invariance
Neighborhood in Abstraction Space¶
Arakelian's Theorem sits in a sparse region of the domain-specific corpus (68th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Vector Bundles & Classifying Constructions (10 abstractions)
Nearest neighbors
- Analytic Function — 0.85
- Equicontinuity — 0.84
- Space-Filling Curve — 0.84
- Uniform space — 0.84
- Compact element — 0.83
Computed from structural-signature embeddings · 2026-10-08