Linear continuous operators with bounded supports

Vesko Valov

arxiv: 2604.25228 · v2 · pith:ZUBOP74Bnew · submitted 2026-04-28 · 🧮 math.GN

Linear continuous operators with bounded supports

Vesko Valov This is my paper

Pith reviewed 2026-05-07 14:27 UTC · model grok-4.3

classification 🧮 math.GN

keywords topological dimensionfunction spacespointwise topologylinear operatorsTychonoff spacessupport of functionalsdimension inequalities

0 comments

The pith

dim Y ≤ m · dim X whenever there is a continuous linear surjection T: D_p(X) → D_p(Y) with |supp(y)| ≤ m for Tychonoff spaces X and Y.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves a sharpened bound relating the topological dimensions of two Tychonoff spaces X and Y connected by a continuous linear surjection between their spaces of continuous functions under the pointwise topology. Specifically, if the support of each evaluation functional induced by the surjection has size at most m, then the dimension of Y cannot exceed m times the dimension of X. The proof removes additive constants that appeared in an earlier estimate for sigma-compact spaces and works under the weaker assumption of Tychonoff spaces. The result also shows that zero-dimensionality is preserved by such surjections. Readers interested in dimension theory or functional analysis on topological spaces would see how the multiplicity of supports controls dimensional growth under linear maps.

Core claim

The central claim is that for Tychonoff spaces X and Y, and for D being either C or C*, if there exists a continuous linear surjection T from D_p(X) onto D_p(Y) such that the support of each y in Y has cardinality at most m, then dim Y is at most m multiplied by dim X. This is obtained by refining techniques from prior work on similar inequalities, and it directly implies that zero-dimensional source spaces yield zero-dimensional target spaces under these maps.

What carries the argument

The bounded support condition |supp(y)| ≤ m on the linear functionals l_y defined by l_y(f) = T(f)(y), which limits the dependence of each output value to at most m points in X.

If this is right

Zero-dimensionality of X implies zero-dimensionality of Y under such a surjection.
The inequality holds for all Tychonoff spaces without needing sigma-compactness.
The previous bound with extra terms m + m! - 1 is improved to the pure product m · dim X.
Such operators cannot increase dimension beyond the factor m given by the maximum support size.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The support bound m acts as a kind of branching factor that multiplies the dimension.
Equality might hold for certain product spaces or when the map is constructed from m-fold coverings.
Similar results could be explored for other topological invariants like weight or density under the same operator conditions.

Load-bearing premise

That the linear map T is surjective and continuous, with the spaces being Tychonoff so that points can be separated by continuous functions and supports of the functionals are properly defined.

What would settle it

Finding Tychonoff spaces X and Y with dim Y larger than m times dim X and a continuous linear surjection T from D_p(X) to D_p(Y) where every support has size at most m would disprove the inequality.

read the original abstract

For any Tychonoff space $X$ let $D(X)$ be either the set $C(X)$ of all continuous functions on $X$ or the set $C^*(X)$ of all bounded continuous functions on $X$. When $D(X)$ is endowed with the point convergence topology, we write $D_p(X)$. Zakrzewski \cite[Theorem 3.12]{kz} proved that if $X$ and $Y$ are $\sigma$-compact spaces and there is a continuous linear map $T:C_p(X)\to C_p(Y)$ such that $T(C_p(X))$ is dense in $C_p(Y)$ and $|\supp(y)|\leq m$ for every $y\in Y$, then $\dim Y\leq m\cdot\dim X+m+m!-1$. Here, $\supp(y)$ denotes the support of the linear continuous map $l_y:C_p(X)\to\mathbb R$, defined by $l_y(f)=T(f)(y)$. In the present paper we improve the last inequality by showing that $\dim Y\leq m\cdot\dim X$ provided $X,Y$ are Tychonoff spaces and there is a continuous linear surjection $T:D_p(X)\to D_p(Y)$ with $|\supp(y)|\leq m$ for every $y\in Y$. This implies the following generalization of \cite[Theorem 1.4]{ev}: If $T:D_p(X)\to D_p(Y)$ is a continuous linear surjection with $X,Y$ Tychonoff spaces and $\dim X=0$, then $\dim Y=0$. Our proofs are obtained by refining the techniques developed in \cite{ev}.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Valov tightens Zakrzewski's bound to dim Y ≤ m dim X for Tychonoff spaces under continuous linear surjections with bounded support size.

read the letter

The main point here is a modest sharpening of the dimension inequality for spaces linked by linear maps on their function spaces. Valov shows that a continuous linear surjection T: D_p(X) → D_p(Y) with |supp(y)| ≤ m for all y forces dim Y ≤ m · dim X when X and Y are Tychonoff. This removes the extra m + m! - 1 terms that Zakrzewski needed for sigma-compact spaces with only dense image, and it immediately gives the zero-dimensionality corollary for all Tychonoff spaces rather than just the sigma-compact case. The argument refines the support-covering steps from the ev paper by using surjectivity to get tighter control, which is a direct and reasonable move. The hypotheses are stated cleanly and the improvement follows from the stronger assumption without obvious circularity. The soft spots are limited. The result stays inside the existing Cp-theory framework and does not introduce new methods or wider applications, so the advance is incremental rather than transformative. A referee would still need the full proof to confirm that the factorial term really drops out cleanly under surjectivity and that no extra separation axioms sneak in. This is for readers who already track dimension results in function spaces and know the Zakrzewski and ev papers. It is the sort of precise update that belongs in a specialized topology journal. The claim is verifiable in principle and the citation pattern is appropriate, so it deserves a serious referee rather than a desk rejection.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that if X and Y are Tychonoff spaces and there exists a continuous linear surjection T: D_p(X) → D_p(Y) (where D is either C or C*) such that |supp(y)| ≤ m for every y ∈ Y, then dim Y ≤ m · dim X. This removes the additive m + m! − 1 terms from Zakrzewski’s bound for σ-compact spaces with dense image, and yields the corollary that dim X = 0 implies dim Y = 0. The argument refines support-based covering techniques from the cited work [ev].

Significance. If the derivation holds, the result supplies a strictly stronger and cleaner dimension inequality for linear operators on function spaces with the pointwise topology. The replacement of dense image by surjectivity and σ-compactness by the Tychonoff property removes extraneous constants while preserving the bound, which is a useful refinement for dimension theory in general topology. The zero-dimensionality corollary is a direct, falsifiable strengthening of earlier statements.

minor comments (2)

In the abstract and introduction, explicitly state whether the main theorem holds simultaneously for both choices D = C and D = C*, or whether separate arguments are needed; the current wording leaves this ambiguous.
The definition of |supp(y)| via the associated functional l_y is standard but should be recalled in a short paragraph or displayed equation early in the paper for readers who have not consulted [kz] or [ev].

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, accurate summary of the main theorem, and recommendation to accept the manuscript. The comments confirm that the refinement from Zakrzewski’s bound to the cleaner inequality dim Y ≤ m · dim X, together with the zero-dimensionality corollary, is correctly presented and improves upon the cited earlier results.

Circularity Check

0 steps flagged

No significant circularity; derivation refines external cited techniques

full rationale

The paper improves Zakrzewski's inequality by replacing dense image with surjectivity and sigma-compactness with the Tychonoff property, using support-based covering arguments refined from the independently cited prior work [ev]. The definition of |supp(y)| via functionals l_y is standard and external; surjectivity supplies direct control without any self-definitional reduction, fitted parameters renamed as predictions, or load-bearing self-citation chains. The central claim dim Y ≤ m · dim X is obtained by refining external methods rather than by construction from the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard axioms of general topology and dimension theory; no free parameters or invented entities are introduced.

axioms (2)

standard math Tychonoff spaces are completely regular Hausdorff spaces
Invoked in the statement of the main theorem.
standard math Standard definition of covering or inductive dimension
The function dim is the usual topological dimension.

pith-pipeline@v0.9.0 · 5602 in / 1306 out tokens · 60080 ms · 2026-05-07T14:27:54.266403+00:00 · methodology

Linear continuous operators with bounded supports

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)