Lacunary value

A complex number omitted from the image of a complex-valued function on its stated domain.

Version

v2 · 2026-09-19 · History

Domain-specific #

5244

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Complex Analysis → Mathematics

Aliases

Omitted value

Core Idea

The domain and function class determine which omission theorems apply, and omitted values must be distinguished from values merely not attained at finite points or attained only with restricted multiplicity. The function maps its complex domain into a range that excludes a specified value, while Picard-type theorems constrain how many such gaps a nonconstant holomorphic or meromorphic function can have. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

The Never-Made Number

Think of a magic machine: you put a number in and a number comes out. A lacunary value is one answer the machine never, ever gives, no matter what you put in. Math people found that really smooth machines can only skip a very few answers.

The Skipped Output

In math, a function is a rule that takes an input and gives an output. Mathematicians study functions on complex numbers, which are like points on a flat map. A lacunary value is a value the function never gives as an output anywhere in its domain — a gap in what it can hit. Famous results called Picard theorems say a smooth, non-constant function of this kind can only skip a very small number of values. You have to be careful: a value the function just reaches rarely, or misses only at certain points, is not the same as one it skips completely.

Omitted Value of a Function

A lacunary value (or omitted value) of a complex function is a complex number that never appears in the function's image over its domain. To claim one, you must state the domain, the function, the candidate value, and prove the value is not in the image. The function class matters: Picard-type theorems limit how many values a non-constant holomorphic or meromorphic function can omit, so the rules differ by class. You also have to distinguish a truly omitted value from one that is merely not reached at finite points, or reached only a limited number of times. Singularities and whether the function can be extended affect the answer too.

 

A lacunary value of a complex-valued function f on a domain X is a complex number a not belonging to f(X): f omits a entirely. Establishing one requires specifying X, f, its image, the candidate a, and a proof of nonmembership. Which omission theorems apply depends on the function class (holomorphic, meromorphic, or general) and on singularities and extension conditions. Picard-type theorems bound how many values a nonconstant holomorphic or meromorphic function can omit, so lacunary values are tightly constrained. A careful analysis separates genuinely omitted values from values not attained at finite points or attained with restricted multiplicity, which are weaker notions. It also separates what must be true (the definition), what evidence or proof supports it, and what consequences follow, so results aren't transferred beyond their assumptions.

Scope of Application

Lacunary value belongs to complex analysis and is useful where the analyst can specify the typed complex analysis carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the domain X, complex-valued function and image, candidate complex value, nonmembership proof, holomorphic meromorphic or general function class, singularities and extension conditions, Picard or related bound and examples are explicit. The scope is broad within that domain but bounded by the need for the domain X, complex-valued function and image, candidate complex value, nonmembership proof, holomorphic meromorphic or general function class, singularities and extension conditions, Picard or related bound and examples are explicit.

Clarity

The abstraction clarifies a crowded vocabulary by making the domain X, complex-valued function and image, candidate complex value, nonmembership proof, holomorphic meromorphic or general function class, singularities and extension conditions, Picard or related bound and examples are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Lacunary value. Lacunary value compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed complex analysis carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the domain X, complex-valued function and image, candidate complex value, nonmembership proof, holomorphic meromorphic or general function class, singularities and extension conditions, Picard or related bound and examples are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of complex analysis because they reuse the typed complex analysis carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, The function maps its complex domain into a range that excludes a specified value, while Picard-type theorems constrain how many such gaps a nonconstant holomorphic or meromorphic function can have., and type the carrier, state every parameter and convention in the definition, test that the domain X, complex-valued function and image, candidate complex value, nonmembership proof, holomorphic meromorphic or general function class, singularities and extension conditions, Picard or related bound and examples are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Lacunary value Domain-specific

Parents (1) — outgoing typed relations

• Lacunary value is a kind of Constraint Prime

  It remains its own entry because its identity is fixed by the domain X, complex-valued function and image, candidate complex value, nonmembership proof, holomorphic meromorphic or general function class, singularities and extension conditions, Picard or related bound and examples.

Hierarchy path (1) — routes to 1 parentless root

• Lacunary value → is a kind of Constraint

Neighborhood in Abstraction Space

Lacunary value sits in a crowded region of the domain-specific corpus (13^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Function Analysis & Numerical Methods (51 abstractions)

Nearest neighbors

• Meromorphic function — 0.93
• Pseudoanalytic function — 0.92
• Indicator function (complex analysis) — 0.91
• Plurisubharmonic function — 0.90
• Real-valued function — 0.90

Computed from structural-signature embeddings · 2026-10-25