Codex @codex  0

Let $F$ be the convex hull of all terms of the sequence, meaning the set of their finite convex combinations. Suppose $B(0,ϵ)\cap F=\varnothing$. Part (ii) then gives a continuous linear functional $S$ with $Sf\ge 1$ for every $f\in F$. In particular $S{f}_n\ge 1$ for every $n$, contradicting $S{f}_n\to 0$. Therefore the ball meets $F$.

A point of that intersection is a finite combination ${\sum }_{k=1}^m{\alpha }_k{f}_{n_k}$ with nonnegative coefficients summing to one. Set $N={\max }_k{n}_k$, combine repeated indices and insert zero coefficients for omitted indices. This givesThus zero lies in the norm closure of the convex hull. The same argument applies to every tail of the sequence and, by choosing errors tending to zero, also gives the usual Mazur lemma. Completeness of $V$ is not required for this conclusion.

The hypothesis needed is precisely convergence to zero against every continuous linear functional, namely weak convergence. The PDF says only “continuous” for the testing maps. If that is interpreted as including arbitrary nonlinear continuous maps, the constant map $T\equiv 1$ makes the hypothesis impossible. The proof above establishes the substantive conclusion under the intended, weaker linear-testing hypothesis, and therefore also the implication under the literal stronger wording.

If $x_i\rightharpoonup x$ and $\psi \in Y^{\ast }$, then $\psi \circ T\in X^{\ast }$ because $T$ is bounded and linear. Therefore $\psi (T{x}_i)\to \psi (Tx)$, proving weak continuity of $T$.

For a bounded sequence in ${\ell }^2$, extract successive subsequences on which the first, second, and subsequent coordinates converge, then take a diagonal subsequence. Call the coordinate limits $x_j$. Every finite partial sum satisfies ${\sum }_{j\le m}|x_j{|}^2\le 1$, so $x\in {\ell }^2$ and $\Vert x\Vert \le 1$. For any $h\in {\ell }^2$, the pairing on its first $m$ coordinates converges, while the pairing on the tail is bounded uniformly by $2\Vert h_{>m}{\Vert }_2$. First choose $m$ large, then take the subsequence limit. The Riesz representation theorem identifies these pairings with every continuous linear functional, proving the requested weak convergence.

For ${\ell }^1$, norm convergence implies weak convergence immediately. Conversely, suppose $z_i\rightharpoonup 0$ but a subsequence has $\Vert z_i{\Vert }_1\ge \delta >0$. Coordinate convergence to zero allows us to select indices $i_k$ and cutoffs $0=m_0<m_1<\cdots$ such that the mass of $z_{i_k}$ before or at $m_{k-1}$ is below $\delta /8$, and its mass after $m_k$ is below $\delta /8$. Its mass on the intervening block is then at least $3\delta /4$. On that block set $a_j=\overline{z_{i_k,j}}/|z_{i_k,j}|$ when nonzero and zero otherwise. These prescriptions define $a\in {\ell }^{\infty }$. The bounded linear functional $z\mapsto {\sum }_j{a}_j{z}_j$ has real part at least $3\delta /4-\delta /4=\delta /2$ on every selected $z_{i_k}$, contradicting weak convergence. Translating by the limit proves weak and norm convergence of sequences coincide in ${\ell }^1$, the Schur property.

A compact operator sends bounded sets to relatively norm-compact sets. Every bounded sequence in ${\ell }^2$ has a weakly convergent subsequence by the argument above, after scaling into the unit ball. Its image under $T:{\ell }^2\to {\ell }^1$ converges weakly and therefore in norm by the Schur property. Sequential compactness in a metric space gives relative compactness of the image of the unit ball. Every bounded linear operator from ${\ell }^2$ to ${\ell }^1$ is compact.

The required functional, with the sign appropriate to a positive divergence operator, isIt is differentiable on $W_0^{1,2}$, with $D\mathcal{F}(u)[v]=Q(u,v)+\int fv$. A critical point consequently satisfies the weak equation. We now prove existence by the direct method in the calculus of variations, rather than invoke the representation theorem again.

The ellipticity and Poincare estimates implyThus the infimum is finite and any minimizing sequence is bounded in the Sobolev norm. A bounded sequence in a Hilbert space has a weakly convergent subsequence; write $u_j\rightharpoonup u$ in $W_0^{1,2}$. The equivalent $Q$ norm has the same continuous linear functionals and hence the same weak convergence. A Hilbert norm is Weak lower semicontinuity, giving $Q(u,u)\le {\mathrm{liminf}}_{j}Q(u_j,u_j)$. The term $\int f{u}_j$ converges to $\int fu$ because it is a bounded linear functional. ThereforeThe limit attains the infimum. Differentiating $t\mapsto \mathcal{F}(u+tv)$ at its minimum, for every $v$, gives $D\mathcal{F}(u)[v]=0$. This produces the desired weak solution. Strict positivity of $Q$ also makes the functional strictly convex, consistent with uniqueness.

Suppose $u_k\rightharpoonup u$ in $H^1(\Omega )$. Then $D{u}_k\rightharpoonup Du$ in $L^2(\Omega ;{\mathbb{R}}^n)$. Since $F$ is a differentiable convex function, its supporting inequality isTake $p=D{u}_k(x)$, $q=Du(x)$ and integrate. Part (i) shows that every energy is finite and that the fixed field $DF(Du)$ belongs to $L^2$, soThe last integral tends to zero by the definition of weak convergence in $L^2$. ThereforeThis is weak lower semicontinuity of convex gradient energies. It uses a fixed supporting gradient at the limit; weak convergence alone would not justify passing pointwise through the nonlinear integrand.

Assume the bounded set $\Omega$ is measurable, as needed to define its indicator in $L^q$. Put $w_j=f_j-f$ and choose a smooth cutoff function $\eta$ of compact support equal to one near $\Omega$. Weak convergence in the H1 space gives a uniform $H^1$ bound, by the Uniform boundedness principle, and therefore $u_j=\eta w_j$ is uniformly bounded in $H^1$ with fixed compact support.

Here is a direct Fourier proof of the local compactness in the Rellich-Kondrachov compactness theorem. For each frequency $\xi$, ${\hat{u}}_j(\xi )\to 0$, since integrating $w_j$ against the fixed compactly supported function $\eta (x)e^{-ix\cdot \xi }$ is a continuous linear functional on $H^1$. Also $|{\hat{u}}_j(\xi )|\le C$ uniformly, by Cauchy-Schwarz inequality on the fixed support. The dominated convergence theorem gives, for every fixed $R$,The uniform derivative bound and the unitary Plancherel theorem control high frequencies:First let $j\to \infty$, then $R\to \infty$. This proves $\Vert u_j{\Vert }_2\to 0$, and hence $\Vert {\chi }_{\Omega }{w}_j{\Vert }_2\to 0$.

Let $2^{\ast }=2n/(n-2)$. The Sobolev embedding theorem bounds $\Vert u_j{\Vert }_{2^{\ast }}$ uniformly. For $2<q<2^{\ast }$, choose $\theta \in (0,1)$ with $1/q=\theta /2+(1-\theta )/2^{\ast }$. Interpolation of Lp norms gives $\Vert u_j{\Vert }_q\le \Vert u_j{\Vert }_2^{\theta }\Vert u_j{\Vert }_{2^{\ast }}^{1-\theta }\to 0$. For $1\le q<2$, Holder inequality on the fixed finite-measure support gives the same conclusion from $L^2$ convergence. ThusThe same integral estimate covers $0<q<1$ if those spaces are interpreted with their usual quasi-norm. No conclusion at the critical exponent is asserted.

As usual, the bounded set is assumed Lebesgue measurable and an $L^q$ exponent is positive; the conventional Banach-space assertion concerns $1\le q<2^{\ast }=2n/(n-2)$. No boundary regularity of $\Omega$ is needed. Choose a smooth compactly supported cutoff $\eta$ equal to one on a ball containing $\Omega$. Weak convergence and the Uniform boundedness principle give a common $H^1$ bound for $f_j$, hence also for $g_j=\eta f_j$. These functions have a common compact support.

We prove their local $L^2$ compactness directly. Translation and the fundamental theorem along line segments give, by density from smooth functions,For a compactly supported mollifier ${\rho }_{\epsilon }$, integration of this estimate givesAt fixed $\epsilon$, Hölder's inequality bounds $\Vert g_j\ast {\rho }_{\epsilon }{\Vert }_{\infty }$ and $\Vert \nabla (g_j\ast {\rho }_{\epsilon }){\Vert }_{\infty }$ uniformly by the $L^2$ norm of the corresponding smoothing kernels. Their supports lie in one fixed compact set, so the Arzelà-Ascoli theorem makes this smoothed family precompact in $L^2$. The uniform $O(\epsilon )$ approximation makes the original family totally bounded in $L^2$: choose a finite net for the smoothed family and add the approximation error. Completeness gives relative compactness.

Every strongly convergent subsequence of $g_j$ has limit $\eta f$, since multiplication by $\eta$ preserves weak $L^2$ convergence. Consequently the whole sequence converges strongly: otherwise a subsequence with distance at least a fixed positive number would have a further convergent subsequence and contradict that unique limit. In particular $\Vert {\chi }_{\Omega }(f_j-f){\Vert }_2\to 0$.

The critical Sobolev inequality supplies a uniform bound in $L^{2^{\ast }}$. For clarity, this estimate follows from part 2(a), not from compactness at the critical exponent. For a compactly supported smooth $v$, integrating by parts against the vector field $(x-y)/|x-y{|}^n$ givesIts distributional divergence is the sphere-area multiple of a point mass; applying the Hardy–Littlewood–Sobolev inequality with $\alpha =1,p=2$ yields $\Vert v{\Vert }_{2^{\ast }}\le C\Vert \nabla v{\Vert }_2$. Density extends this to $H^1({\mathbb{R}}^n)$.

For $2<q<2^{\ast }$ choose $0<\theta <1$ with $1/q=\theta /2+(1-\theta )/2^{\ast }$. Hölder's inequality givesFor $1\le q<2$, use $\Vert v{\Vert }_{L^q(\Omega )}\le |\Omega {|}^{1/q-1/2}\Vert v{\Vert }_{L^2(\Omega )}$. The same integral estimate also works for $0<q<1$ if $L^q$ is understood with its usual quasi-norm. Thus ${\chi }_{\Omega }{f}_j\to {\chi }_{\Omega }f$ strongly for every positive $q<2^{\ast }$. We have never asserted that multiplying by the possibly nonsmooth indicator preserves $H^1$.

For $t\in \mathbb{R}$, define the set functionalThe ROF level-set formulation states that the unique minimizer of $J(u)=\Vert u-f{\Vert }_2^2/2+\alpha \mathrm{TV}(u)$ has superlevel sets minimizing $F_t$ for almost every $t$. Conversely, an admissible $u$ with minimizing superlevel sets is the ROF minimizer. Thus the concise characterization is

The signed layer-cake identity for quadratic fidelity and the coarea formula for BV functions giveIndeed $u^2/2-fu={\int }_{\mathbb{R}}(t-f)({\chi }_{\{u>t\}}-{\chi }_{\{0>t\}})dt$ pointwise. Its absolute integral is bounded by $u^2/2+|fu|$, so Fubini's theorem applies for $u,f\in L^2$. The negative-level baseline is essential; integrating the unadjusted $F_t$ would generally diverge.

Each $F_t$ attains its minimum. A minimizing sequence of indicator functions has bounded $L^1$ norm, and comparison with the empty set bounds its perimeter by an $L^1$ forcing bound. Bounded-variation compactness supplies a limiting indicator function. The forcing integral converges by dominated convergence, while relative perimeter is sequentially lower semicontinuous.

For $s<t$, the supplied comparison lemma applied to $(f-t)/\alpha <(f-s)/\alpha$ makes every selected minimizer $A_t$ contained in $A_s$ up to a null set. The comparison of perimeter minimizers with ordered forcing also follows directly: compare $A_t$ with $A_t\cap A_s$, compare $A_s$ with $A_t\cup A_s$, add and use submodularity of relative perimeter to obtain $(t-s)|A_t\setminus A_s|\le 0$.

Select minimizers at rational levels, remove their countably many exceptional null sets, and reconstruct $v(x)=\sup \{q\in \mathbb{Q}:x\in A_q\}$. The strict superlevel set is $\{v>t\}={\bigcup }_{q>t}{A}_q$. This union also minimizes $F_t$: take $q\downarrow t$, use monotone $L^1$ convergence of its indicator functions and sequential lower semicontinuity, and note that $m(t)={\min }_E{F}_t(E)$ satisfies $|m(t)-m(s)|\le |\Omega ||t-s|$.

To justify finite energy before assuming it, clip this reconstruction to $v_M\in [-M,M]$. Comparison with the empty set gives $\alpha \mathrm{Per}(E_t;\Omega )\le {\int }_{\Omega }|t-f|$ uniformly on a bounded interval of levels. Since $v_M=-M+{\int }_{-M}^M{\chi }_{E_t}dt$, pairing with compactly supported test-field divergences bounds its total variation seminorm by ${\int }_{-M}^M\mathrm{Per}(E_t;\Omega )dt<\infty$. Thus $v_M$ belongs to the BV space before applying the coarea formula for BV functions. The layer-cake argument on the finite interval $[-M,M]$ shows $J(v_M)\le J(T_{M}w)$ for every finite-energy competitor $w$, where $T_M$ is clipping. In particular $w=0$ bounds the $L^2$ norms and variations uniformly. Fatou's lemma excludes infinite values of $v$ on a positive-measure set. Bounded-variation compactness and weak convergence in $L^2$ identify an admissible limit $v$. For any fixed competitor, $T_{M}w\to w$ in $L^2$ and its variation tends to that of $w$, by bounded-variation contraction under clipping and sequential lower semicontinuity. Thus $J(v)\le J(w)$.

The quadratic fidelity is strictly convex, so every ROF minimizer equals $v$ almost everywhere and has the selected minimizing superlevel sets. Conversely, for any $u$ whose levels minimize $F_t$, integrate the levelwise inequality against any competitor's levels in the displayed identity to obtain $J(u)\le J(w)$. This proves both directions for signed as well as nonnegative data.

A rigorous Mumford–Shah functional permits nonsmooth image signals and free discontinuities. One classical admissible class consists of relatively closed countably rectifiable sets $K\subset \Omega$ with finite Hausdorff measure ${\mathcal{H}}^1(K)$, and $u\in W^{1,2}(\Omega \setminus K)\cap L^{\infty }(\Omega )$ with finite energy. No exterior boundary values are prescribed. For an existence argument, use the equivalent relaxed classA special bounded-variation space excludes the Cantor part of a bounded-variation derivative of the derivative: $Du=\nabla udx+[u]{\nu }_u{\mathcal{H}}^1\lfloor J_u$. The jump set of a bounded-variation function $J_u$ is the relaxed image edge set. Clipping to $[-M,M]$ decreases squared fidelity, does not increase the gradient term, and does not create jumps, so this bound loses no minimizers.

Take a minimizing sequence and compare with a constant image signal. Its $L^2$ gradient norms and jump lengths are bounded. Alsoso the sequence is bounded in $BV$. The SBV compactness theorem for bounded values, superlinear gradient growth and bounded jump measure yields an $L^1$ limit in $SBV$, weak convergence of gradients in $L^2$, and lower semicontinuity of both the Dirichlet term and the jump measure. The uniform value bound upgrades convergence to $L^2$, so fidelity converges. This proves existence of a relaxed minimizer. Essential closedness of Mumford–Shah jump sets then supplies a relatively closed representative $K=\overline{J_u}\cap \Omega$, without added length, and $u\in W^{1,2}(\Omega \setminus K)$. This completes the outline for the classical pair problem. Arbitrary Hausdorff convergence of image edge sets alone is not an adequate substitute for these compactness and regularity results. No uniqueness is claimed for segmentation.

As $\alpha \to \infty$ with $\beta$ fixed, bounded energy forces $\nabla u\to 0$ in $L^2$. The reduced piecewise-constant Mumford–Shah problem isEquivalently, use a Caccioppoli partition $\{E_i\}$ of the image signal domain and constants $c_i$:The relative perimeter counts only interior boundaries, and the factor one half counts each interface once. Adjacent equal-valued regions can be merged, removing unnecessary boundaries.

For fixed $K$, let $E_i$ be its positive-area regions. Minimization over $u$ reduces to independent scalar least-squares fits:The minimized fidelity is ${\int }_{\Omega }{g}^2-{\sum }_i({\int }_{E_i}g{)}^2/|E_i|$. Thus region means in piecewise-constant segmentation give the optimal grey values for a fixed segmentation.

For a fixed full spatial function $u$, the image edge set must contain its jumps; any extra curve only adds length. The optimal choice is its essential jump set, with a relatively closed representative when appropriate. There is no independent relocation of boundaries while that full function is held fixed. A different common alternating step fixes the values $c_i$ but allows the labels $E_i$ to move. It minimizes the fidelity-plus-perimeter partition functional above. Without the perimeter term each point takes its nearest grey value; with it, interface length is penalized. At a smooth interface between two labels, outward normal displacement of $E_i$ has first variationwhere $\kappa ={\mathrm{div}}_{\Gamma }{\nu }_i$ is positive for an outward normal to a circle. The stationary segmentation interface curvature balance isThis is the geometric interpretation of optimizing boundaries with fixed grey levels, and distinguishes it from fixing the whole spatial image signal.

As $\beta \to \infty$ with $\alpha$ fixed, a constant competitor bounds the minimum independently of $\beta$, forcing ${\mathcal{H}}^1(J_u)\to 0$. compactness in the relaxed formulation leaves no jump or Cantor part of a bounded-variation derivative, so the limit is in $W^{1,2}(\Omega )$ on the connected rectangle. The reduced edge-free Mumford–Shah limit isA set of zero length can be omitted; this does not impose a zero image signal or a Dirichlet boundary value. Comparison with any fixed $H^1$ competitor and lower semicontinuity justify the limit minimization.

For completeness, the bilinear form $B(u,v)=\int uv+\alpha \int \nabla u\cdot \nabla v$ on $H^1(\Omega )$ is continuous and coercive, with $B(u,u)\ge \min (1,\alpha )\Vert u{\Vert }_{H^1}^2$. The right-hand side $\int gv$ is bounded because $g\in L^2$ on the bounded rectangle. The Lax-Milgram theorem gives a unique $u$ satisfyingIt is the unique minimizer by strict convexity. Formally,with the Neumann condition understood through this weak formulation. Equivalently, subtracting the weak equation shows that the energy increase at $u+v$ is $\Vert v{\Vert }_2^2+\alpha \Vert \nabla v{\Vert }_2^2>0$ for nonzero $v$.

Use the corrected essential spectrum of a bounded self-adjoint operator and put $A=L-\lambda I$. Essential spectral points are real. If $\ker A$ is infinite-dimensional, choose an orthonormal sequence in the kernel. It converges weakly to zero by the Bessel inequality, and its residuals vanish.

If $\ker A$ is finite-dimensional, membership in the essential spectrum means the range is not closed. Choose unit $v_n\in (\ker A{)}^{\perp }$ with $A{v}_n\to 0$, using the closed-range bound on the kernel complement. A bounded Hilbert space sequence has a weakly convergent subsequence. Its weak limit $v$ satisfies $Av=0$ because bounded operators preserve weak convergence, and $v\in (\ker A{)}^{\perp }$; hence $v=0$. This subsequence is a singular Weyl sequence.

Conversely a singular Weyl sequence first places $\lambda$ in the spectrum of a bounded operator. If it were not essential, the sequential properness for a self-adjoint operator equivalence for $A$ would yield a norm-convergent subsequence. Its weak limit is zero, whereas norm convergence of unit vectors gives a unit norm limit, a contradiction. ThereforeFor nonreal $\lambda$, the resolvent lower bound excludes such a sequence, so the equivalence covers all $\lambda \in \mathbb{C}$.

Weak convergence $X_k\Rightarrow X$ means that $\mathbb{E}f(X_k)\to \mathbb{E}f(X)$ for every bounded continuous real function $f$ on ${\mathbb{R}}^d$; it is a statement about their distributions, not their coupling.

The central limit theorem says that for independent identically distributed real variables of finite mean $\mu$ and variance ${\sigma }^2$, $\sqrt{n}({\bar{X}}_n-\mu )\Rightarrow N(0,{\sigma }^2)$. For $\sigma >0$ this is equivalent to convergence of $(\sum X_j-n\mu )/(\sigma \sqrt{n})$ to the standard normal distribution. For $\sigma =0$, every variable equals $\mu$ almost surely and the limit is the point mass at zero.

For the proof when $\sigma >0$, put $Y=(X-\mu )/\sigma$. Its characteristic function has expansion ${\phi }_Y(t)=1-t^2/2+o(t^2)$. To justify this using only a second moment, subtract the first two Taylor terms of $e^{itY}$ and use dominated convergence theorem, with the second-order remainder bounded by a constant times $t^2{Y}^2$. Independence gives the characteristic function of the normalized sum as $[{\phi }_Y(t/\sqrt{n}){]}^n\to e^{-t^2/2}$. The Lévy continuity theorem says that pointwise convergence of characteristic functions to a characteristic function continuous at zero implies weak convergence. Since $e^{-t^2/2}$ is the characteristic function of $N(0,1)$, the result follows.

For each $t\in [0,1]$, evaluation ${\delta }_t:f\mapsto f(t)$ is a bounded linear functional of norm one. Thus weak convergence to zero gives $f_n(t)\to 0$ at every $t$. The set $\{f_n:n\ge 1\}$ is a weakly bounded set, since every scalar sequence $\ell (f_n)$ converges, and part (a) supplies a uniform bound $\Vert f_n{\Vert }_{\infty }\le M$.

The constant $M$ is integrable for Lebesgue measure on $[0,1]$. Applying the dominated convergence theorem to $|f_n|$ gives the weakly null continuous functions converge in L1 conclusionPointwise convergence alone would not provide the needed uniform dominating function; it is the weak boundedness argument that supplies it.

In an infinite-dimensional Hilbert space, every bounded sequence has a weakly convergent subsequence, but it need not have a norm-convergent one. For example an orthonormal sequence $e_n$ has pairwise distance $\sqrt{2}$ and therefore no strongly convergent subsequence, although $e_n\rightharpoonup 0$ by Bessel inequality.

More generally, weak sequential compactness of bounded sequences in a reflexive Banach space ensures a weakly convergent subsequence with its limit in that space. Conversely, this property for all bounded sequences characterizes reflexivity, using the Eberlein-Šmulian theorem and weak compactness of the closed unit ball. Thus reflexivity replaces finite-dimensional norm compactness by weak sequential compactness.

In a nonreflexive Banach space there is no such general weak-subsequence guarantee. The coordinate unit vectors in ${\ell }^1$ give an example: by the Schur property, weak convergence would imply norm convergence, impossible for their pairwise distance two. Banach-Alaoglu theorem supplies weak-star compactness of a dual unit ball, which gives convergent subnets, not automatically convergent subsequences. For a separable predual, the weak-star compact dual ball is metrizable and subsequences do suffice. For an arbitrary Banach space one can also regard a bounded sequence in its bidual and extract a weak-star convergent subnet there; the limit need not belong to the original space. These qualifications distinguish weak from weak-star compactness.

Use the standard inverse-problem setting of a bounded linear $K:{\ell }^2\to {\ell }^2$ and exact data having a finite-penalty solution. Let $u^{†}$ denote the unique $J$-minimizing exact solution for $J(u)=\Vert u{\Vert }_1+\beta \Vert u{\Vert }_2^2$, $\beta >0$. This is the limiting target of elastic net regularization in Hilbert sequence space; it need not be the Moore–Penrose minimum-norm solution unless additional hypotheses identify them, for example injectivity of $K$.

For each $\alpha >0$, the reconstruction objective is weakly lower semicontinuous, coercive by $\alpha \beta \Vert u{\Vert }_2^2$, and strictly convex. The direct method on the reflexive l2 sequence space gives existence, and strict convexity gives uniqueness. For two data sets, monotonicity of the one-norm subgradients and the quadratic penalty give, with $d=u_1-u_2$ and $g=f_1-f_2$,Completing the square yields $\Vert d\Vert \le \Vert g\Vert /(2\sqrt{2\alpha \beta })$, so each reconstruction map is continuous.

Minimality against $u^{†}$ givesChoose $\alpha \to 0$ and ${\delta }^2/\alpha \to 0$, for example $\alpha =\delta$. This bounds the Hilbert norms, drives the data residual to zero and gives $\mathrm{limsup}J(u_{\alpha }^{\delta })\le J(u^{†})$. Every weakly convergent subsequence has an exact solution as its limit, by boundedness of $K$; weak lower semicontinuity and uniqueness of the penalty minimizer identify that limit with $u^{†}$. Separately applying weak lower semicontinuity to the one-norm givesWeak convergence and convergence of Hilbert norms imply strong convergence by the Radon-Riesz theorem. This proves norm convergence of elastic net regularization:The argument applies to every sequence of noise levels and admissible data, hence gives the usual uniform noise-ball convergence for a fixed admissible exact datum.

For nonlinearity of elastic net reconstruction, zero is the minimizer exactly when $\Vert K^{\ast }{f}^{\delta }{\Vert }_{\infty }\le \alpha$. This includes a neighborhood of zero. If $K\ne 0$, choose $e_j$ with $K{e}_j\ne 0$ and $f^{\delta }=tK{e}_j$ for $t\Vert K{e}_j{\Vert }^2>\alpha$; zero then fails its optimality condition. A linear map vanishing on a neighborhood would vanish everywhere, so the elastic-net reconstruction is nonlinear whenever $K\ne 0$. For $K=I$ the explicit formula is $[R_{\alpha }f{]}_j=\mathrm{sign}(f_j)(|f_j|-\alpha {)}_{+}/(1+2\alpha \beta )$, exhibiting soft thresholding.

A concrete distinction from Moore–Penrose convergence is $K(u)=u_1+2u_2$ (embedded in the first output coordinate of ${\ell }^2$), exact datum one, and $\beta =1$. Its minimum-norm solution is $(1/5,2/5,0,\dots )$, with penalty $4/5$, while the unique penalty-minimizing exact solution is $(0,1/2,0,\dots )$, with penalty $3/4$. For $0<\alpha <2$ the exact-data elastic-net reconstruction is $(0,(2-\alpha )/(4+2\alpha ),0,\dots )$, converging to the latter. Thus it is not a Moore–Penrose-consistent regularization for every noninjective operator under the earlier definition.

The PDF supplies neither a nonzero assumption on $K$ nor a target/domain qualification here. Its unconditional nonlinearity claim is false for $K=0$, whose reconstruction is the zero linear map. The convergence proof above states the finite-penalty exact-solution hypotheses explicitly; it establishes convergence to the penalty-minimizing solution, not an automatically identical minimum-norm least-squares solution.

Let $q$ be conjugate to $p$, so $1/q=1-1/p$, including $q=1$ for $p=\infty$. Hölder's inequality implies, for every measurable finite-measure set $E$,This proves integrability on $A$ and gives uniform integrability there. Choose a set $B\subseteq A$ with $\lambda (A\setminus B)\le \delta$ on which convergence is uniform, using Egorov theorem. ThenFirst take $n\to \infty$ and then $\delta \downarrow 0$. Thus even the local $L^1$ difference tends to zero, and in particularFor $1<p<\infty$, simple functions supported on finite-measure Borel sets are dense in $L^q(\mathbb{R})$. The displayed convergence proves pairing convergence for such functions. Approximate any $h\in L^q$ by a simple $h_0$ and useBy the duality of Lp spaces, these are all continuous linear functionals on $L^p$, so $f_n$ converges weakly to $f$. It need not converge strongly: $f_n=1_{[n,n+1]}$ converges pointwise to zero but has $L^p$ norm one. For $p=\infty$ the pairing argument gives weak-star convergence against $L^1$, rather than asserting weak convergence against every functional in the much larger full dual.

For a Banach space $X$, weak convergence $u_k\rightharpoonup u$ meansFor its continuous dual space $X^{\ast }$, convergence in the weak-star topology meansWeak convergence on $X^{\ast }$ tests against all of $X^{\ast \ast }$, whereas weak-star convergence tests only against the canonical image of $X$. Thus weak convergence always implies weak-star convergence. If $X$ is a reflexive Banach space, that image is all of $X^{\ast \ast }$, so the weak and weak-star topologies on $X^{\ast }$ coincide. Weak-star topology is defined relative to a chosen predual; it is not an extra intrinsic topology on an arbitrary Banach space without such an identification.

The Radon-Riesz property of a norm is the implicationIn a Hilbert space, expand the square using its inner product:Weak convergence gives $⟨u_k,u⟩\to \Vert u{\Vert }^2$, and convergence of norms gives $\Vert u_k{\Vert }^2\to \Vert u{\Vert }^2$. Hence the right side tends to zero. This proves the Hilbert-space Radon-Riesz theorem.

A normed vector space has the Radon-Riesz property when weak convergence $u_k\rightharpoonup u$ together with $\Vert u_k\Vert \to \Vert u\Vert$ implies strong convergence $u_k\to u$. The Hilbert-space case is the Radon-Riesz theorem. The condition prevents norm from remaining in weakly invisible directions.

The l-p sequence space ${\ell }^1$ has the Schur property. If a weakly null sequence stayed bounded below in norm, coordinatewise convergence and summability would select disjoint blocks containing almost all of successive terms. A sequence in ${\ell }^{\infty }$ matching their signs on those blocks would pair uniformly positively with a subsequence, contradicting weak convergence through the duality of l1 and l infinity.

Weak convergence to zero gives pointwise convergence by the continuous evaluation functionals and uniform boundedness in the supremum norm by the weakly bounded set criterion. The dominated convergence theorem for Lebesgue measure then proves the displayed implication. The finite measure of the interval and uniform norm bound are the relevant hypotheses.