Closed Linear Operator¶

A partially defined linear operator whose graph is a closed subset of the product of its domain's ambient space and codomain.

Version: v1 · 2026-09-28 · History
Domain-specific #: 8501
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Functional Analysis, Operator Theory → Mathematics

Core Idea¶

A closed linear operator is a linear partial map whose graph is closed in X×Y. Its domain is part of the operator's identity.

The sequence criterion requires a convergent input sequence and convergent images to land back in the domain with the expected image.

On Banach spaces, a closed operator defined everywhere is bounded. Important unbounded operators therefore use proper, often dense, domains.

How would you explain it like I'm…

No faithful explanation at this level. All three generators judged eli5 unreachable: the only child-level picture is a well-behaved machine where close inputs give close outputs, which is continuity or boundedness, exactly what closed operators need not have; the real condition is about limits of input-output pairs landing back in the domain.

The No-Gaps-at-Limits Machine

Think of a machine that takes in certain allowed inputs and gives outputs, following a straight-line (linear) rule. Suppose you feed it a list of allowed inputs that settle down toward some point, and the outputs also settle down toward some answer. The machine is closed if, whenever that happens, the point it was settling toward is also an allowed input, and the machine gives exactly that answer for it. Which inputs are allowed is part of what the machine is. This does not mean close inputs always give close outputs.

Closed-Graph Linear Operator

A closed linear operator is a linear map T from part of a space X (its domain) into a space Y, such that its graph, the set of pairs (x, Tx), is closed in X×Y. In terms of sequences: if x_n are in the domain, x_n converges to x, and Tx_n converges to y, then x must be in the domain and Tx must equal y. The domain is part of the operator's identity; the same formula on a different domain can be closed or not. Closed does not mean continuous: a continuous operator keeps outputs close whenever inputs are close, while a closed one only requires that limits which exist are consistent. On Banach spaces, a closed operator defined on the whole space is automatically bounded, so the important unbounded closed operators, like many derivatives, are defined only on part of the space, often a dense part.

A closed linear operator is a linear partial map T: D(T) ⊆ X → Y between normed (typically Banach) spaces whose graph {(x, Tx) : x ∈ D(T)} is closed in X × Y. Equivalently, whenever x_n ∈ D(T), x_n → x, and Tx_n → y, it follows that x ∈ D(T) and Tx = y. Note the hypothesis requires both the inputs and their images to converge; closedness does not assert that convergent inputs have convergent images, which would be continuity. The domain is constitutive: restricting or extending it changes the operator and can change whether it is closed. By the closed graph theorem, a closed operator defined on all of a Banach space is bounded. Hence important unbounded operators are closed only on proper, often dense, domains. Closedness is the weaker regularity that survives in the unbounded setting and makes such operators tractable.

Structural Signature¶

Sig role-phrases:

ambient spaces. Supply topologies for input and output convergence. Constitutive setting. If altered: Algebraic spaces without topology cannot express closedness.
operator domain. Selects admissible inputs. Constitutive data. If altered: The formula alone is insufficient.
linear action. Maps domain vectors linearly. Constitutive operation. If altered: Nonlinear closed maps are another class.
graph. Records paired inputs and outputs in X×Y. Identity carrier. If altered: Closed domain alone does not ensure a closed graph.
limit test. Requires limits of graph sequences to remain on the graph. Constitutive criterion. If altered: If Tx_n does not converge, the test is silent.
dense-domain condition. Supports adjoints and approximation in common applications. Characteristic, not universal. If altered: Closedness itself does not require density.

What It Is Not¶

Not a closed domain. The graph, not just D(T), is closed.
Not necessarily bounded. Proper-domain closed operators may be unbounded.
Not merely closable. The original graph must already be closed.
Not formula-only. Domain choice can change the operator.

Scope of Application¶

The concept governs unbounded-operator analysis when spaces, topology, action, and domain are all explicit.

Functional analysis. Controls limit stability.
Differential operators. Uses boundary-conditioned domains.
Spectral theory. Supports resolvents and spectra.
Quantum theory. Treats unbounded observables mathematically.
Semigroup theory. Analyzes generators.

Clarity¶

Closedness is not the same as boundedness or continuity. State X, Y, D(T), topology, and the operator action before applying the graph criterion.

Manages Complexity¶

A graph packages domain and output simultaneously. Closedness preserves this relation under limits even when the action grows without a uniform bound on the ambient unit ball. Closedness is a stability statement about simultaneous limits of inputs and outputs, not continuity on the ambient space. If x_n in the operator domain converges to x and Tx_n converges to y, a closed operator requires x to remain in the domain and Tx=y. An unbounded differential operator can meet this test on a proper dense domain even though it cannot be bounded on all of X. A merely closable operator has a graph whose closure is itself the graph of an operator; its closure is the smallest closed extension, so closed and closable must not be interchanged. Domain declarations are therefore mathematical data: two operators using the same formula but different domains may have different closedness, adjoints, spectra, and boundary conditions.

Abstract Reasoning¶

Declare ambient topological vector spaces.
Specify the exact linear domain and action.
Take a convergent sequence in the graph.
Check that any product-space limit remains in the graph.
Distinguish closed, closable, and bounded conclusions.

Knowledge Transfer¶

Graph-closedness transfers to other partial maps, but linear-operator theorems stop without linearity, Banach hypotheses, or the declared domain.

Examples¶

Canonical¶

A closed differential operator uses a Sobolev-type domain encoding boundary behavior; simultaneous convergence of functions and derivatives returns a pair in the same graph.

Mapped back: ambient spaces → function spaces X,Y; operator domain → boundary-conditioned Sobolev domain; linear action → differentiation; graph → function–derivative pairs; limit test → paired norm convergence; dense-domain condition → dense test functions/closure.

Applied / In Practice¶

A spectral argument checks that an unbounded operator's graph is closed before using its adjoint and resolvent, while retaining its proper dense domain.

Mapped back: ambient spaces → Hilbert space; operator domain → proper dense D(T); linear action → unbounded T; graph → paired vectors; limit test → norm limits; dense-domain condition → adjoint available.

Structural Tensions¶

T1: unbounded action vs. limit stability. Growth can be unbounded while graph limits remain valid. Diagnostic: Is the domain chosen so graph limits stay inside?

T2: same formula vs. different operators. Changing domain changes closedness and spectrum. Diagnostic: Which domain is actually declared?

Structural–Framed Character¶

The concept is structural and formal. Its spectrum position is structural because the product-space graph and topology determine membership. Individuation is exact by domain and action; agency, normativity, and temporality are absent; counterfactual robustness is high under notation changes but not domain changes. The portable closed-relation skeleton is a future-prime candidate. Its character: a linear input–output relation stable under paired limits.

Structural Core vs. Domain Accent¶

Skeletal core. A partially defined relation remains intact under limits.

Domain-bound accent. Linearity, product topology, operator domains, Banach/Hilbert structure, and adjoints supply the functional-analytic form.

Why not prime. Limit-closed relations travel; closed linear operators are their operator-theoretic specialization.

This entry is a kind of Linear Operator.

Related — closure. A closable operator may acquire a closed extension.
Related — bounded operator. Full-domain closedness on Banach spaces implies boundedness.

Relationships to Other Abstractions¶

Current abstraction Closed Linear Operator Domain-specific

Parents (1) — more general patterns this builds on

Closed Linear Operator is a kind of Linear Operator Domain-specific

Closed Linear Operator satisfies the defining boundary of Linear Operator: A linear operator is a map from a linear subspace of a vector space to another vector space that preserves vector addition and scalar multiplication, with domain, codomain, topology, boundedness, closure, and adjoint conditions declared when relevant.

Children (1) — more specific cases that build on this

Affiliated operator Domain-specific is a kind of Closed Linear Operator

An affiliated operator is a closed densely defined linear operator with the additional differentia of commuting with unitaries in a von Neumann algebra's commutant.

Hierarchy path (1) — routes to 1 parentless root

Closed Linear Operator → Linear Operator → Mathematical Operator → Function (Mapping)

Neighborhood in Abstraction Space¶

Closed Linear Operator sits in a moderately populated region (49^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Dynamical Systems & Differential Structures (37 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Bounded operator. Tell: Full domain and bounded, or proper domain and closed?
Closable operator. Tell: Already closed or only admits closure?
Closed domain. Tell: Is the graph closed?
Self-adjoint operator. Tell: Self-adjointness is stronger and domain-sensitive.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Closed_linear_operator (revision 1360631034).
Preserved source candidate: https://link.springer.com/10.1007/978-3-030-97814-3_19

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.