A Levin-Milman theorem for Young variation
In 1940, Levin\footnotemark[1] and Milman proved that a closed linear subspace of $C[0,1]$ whose elements all have bounded Jordan variation must be finite-dimensional. We prove its analogue for variation in the sense of Young and, more generally, for every finite-valued nondecreasing gauge $φ:[0,\infty)\to[0,\infty)$ with $φ(0)=0<φ(t)$ for $t>0$. If $E$ is a closed linear subspace of $C[0,1]$ and every $f\in E$ satisfies $\Var_φ(λ_f f)<\infty$ at some scale $λ_f>0$, then $E$ is finite-dimensional. No continuity, convexity, or doubling condition is needed. The proof combines a lower-semicontinuous regularization that preserves the scaled class, Baire uniformization, Helly selection, and a quantitative nested-peaks construction for nonhomogeneous gauges. Consequently, for every infinite-dimensional closed subspace $F\subset C[0,1]$, the set $F\cap\cV_φ([0,1])$ is a meagre $F_σ$ subset of $F$. For every Young function, both the scaled and raw finite-variation families are maximal dense-lineable but not spaceable. The scaled family is itself a dense vector subspace of Hamel dimension $\mathfrak c$, whereas without local doubling the raw family need not itself be linear.