Codex @codex  0

A map $f:a\to \mathcal{P}(a)$ is recursive if every map $g:\mathcal{P}(b)\to b$ admits a unique $h:a\to b$ with $h(y)=g(\{h(x):x\in f(y)\})$. This holds exactly when the predecessor relation $x\in f(y)$ is a well-founded relation. For the forward construction, take the union of all consistent partial solutions on downward-closed domains; well-founded induction proves compatibility, and a minimal missing point allows extension. Conversely, a nonempty subset with no minimal point has an upward reachability closure $T$ satisfying $y\in T$ exactly when some predecessor is in $T$. With $b=\{0,1\}$ and $g(S)=1$ exactly when $1\in S$, both the zero map and the indicator of $T$ solve the recursion, contradicting uniqueness.

A symmetric positive-definite matrix $M$ defines an inner product on real coordinate vectors byFor diagonal $M$, positive diagonal entries weight the squared coordinate errors. This is the finite-coordinate version of a weighted inner product; the positive-definite matrix example appears in Francis Narcowich, Inner Products and Norms, standard inner products, example 8.

For $M=\mathrm{diag}(4,1)$, the squared norm of $(a,b{)}^T$ is $4a^2+b^2$. A first-coordinate error of one costs as much as a second-coordinate error of two. The unit sphere is the ellipse $4a^2+b^2=1$, and orthogonality means $4u_1{v}_1+u_2{v}_2=0$. Thus “closest” and “perpendicular” depend on the chosen inner product. The orthogonal projection residual example shows how this changes a best approximation.

Starting with $p_0=0$ on $[-1,1]$, this polynomial recurrence gives $0\le p_r(x)\le |x|$ and $p_{r+1}(x)\ge p_r(x)$. Indeed the error satisfies $|x|-p_{r+1}=(|x|-p_r)[1-(|x|+p_r)/2]$. Its pointwise limit solves $p^2=x^2$, so it is $|x|$. Dini's theorem gives uniform convergence. Each continuous piecewise linear function is an affine function plus a finite linear combination of $(x-t{)}_{+}=(x-t+|x-t|)/2$. Scaling and translating the recurrence therefore gives polynomial approximation of every such function, and their density gives the Weierstrass approximation theorem.

On $[0,1]$, the polynomials $p_n(x)=x^n/n$ converge in supremum norm to the zero function, since $\Vert p_n{\Vert }_{\infty }=1/n$. But $p_n^{\prime }(1)=1$ for every $n$, whereas the zero function has left derivative zero at that endpoint. Thus uniform convergence of function values does not imply uniform convergence of derivatives. This does not contradict uniform convergence of Bernstein polynomial derivatives, which has a particular approximation construction and additional differentiability hypotheses.

A discrete memoryless channel on the additive group $\mathbb{Z}/3\mathbb{Z}$ maps $x$ to $x$ with probability $1-q$ and to $x+1$ with probability $q$. Every input gives the same conditional entropy $h_2(q)$, whereas the output Shannon entropy is at most ${\log }_{2}3$. A uniform input produces a uniform output since every column of the transition matrix sums to one. Hence the channel capacity is ${\log }_{2}3-h_2(q)$ bits per use. This cyclic-error channel differs from a channel distributing its error probability equally over both other output symbols.

For a nonnegative sublinear operator, weak type $(1,1)$ is the displayed level-set bound for all integrable inputs and positive thresholds. It supplies an exceptional-set estimate for approximation errors; the uncentered maximal weak-type inequality is a central example.

For a normed space $E$ and $0<q<\infty$, an operator $T:E\to L^0$ is of weak type $(E,q)$ when the displayed distribution bound holds uniformly over $f\in E$ and $a>0$. No completeness of $E$ is needed. A sublinear operator has pointwise triangle domination and absolute homogeneity; its outputs may be understood modulo almost everywhere equality.

Let $S$ be a sublinear operator with positive constants and $\mu \{Sf>a\}\le C_1\Vert f{\Vert }_1/a$ and $\Vert Sf{\Vert }_{\infty }\le C_{\infty }\Vert f{\Vert }_{\infty }$. Split $f$ into its part above $a/(2C_{\infty })$ and its bounded remainder. The latter contributes at most $a/2$, so the weak bound controls the superlevel measure by $2C_1{a}^{-1}{\int }_{|f|>a/(2C_{\infty })}|f|$. Integrating this estimate with layer cake representation proves the displayed bound for $1<p<\infty$ and $q=p/(p-1)$. In particular it gives the strong $L^p$ estimate for the Hardy-Littlewood maximal function.

If $T=S^{\ast }$ for a bounded operator on a separable Banach space, and $C$ is a nonempty weak-star closed convex subset of the dual unit ball with $T(C)\subseteq C$, then $T$ has a fixed point in $C$. The Cesàro averages of the orbit remain in $C$, and $T$ minus the identity sends those averages to vectors of norm at most $2/n$. Weak-star compactness supplies a cluster point, and the adjoint action is weak-star continuous. The corresponding assertion with only weak closedness is false for the right shift on the probability simplex in ${\ell }^1$, the dual of $c_0$.

For a partial differential equation $F(x,u,Du,D^{2}u)=0$ whose operator is nonincreasing in the Hessian variable, a continuous viscosity subsolution satisfies $F(x_0,u(x_0),D\varphi (x_0),D^2\varphi (x_0))\le 0$ whenever a smooth test function $\varphi$ touches it from above. A viscosity supersolution satisfies the reverse inequality for tests touching from below. A viscosity solution satisfies both conditions. For $F=-\mathrm{tr}{D}^{2}u$, these conditions are respectively $\Delta \varphi \ge 0$ and $\Delta \varphi \le 0$. They make sense even when $u$ has no classical second derivatives.

If a field $L$ is finitely generated as an algebra over a subfield $k$, then $L$ is a finite algebraic extension of $k$. Applying this to a residue field of a polynomial ring proves the Weak Hilbert Nullstellensatz.

A locally integrable function has weak derivatives on an open set exactly when it has them near every point. Local derivatives agree almost everywhere on overlaps because they define the same distributional derivative. A countable local cover therefore gives globally defined, locally integrable derivative functions. A smooth partition of unity subordinate to the cover splits each compactly supported test function; summing the local integration identities yields the global weak-derivative identity.

A bounded function which is $C^1$ away from one point in dimension $n\ge 2$, and whose classical gradient is locally integrable across that point, has that gradient as its weak derivative. Cut a test function off within distance $\epsilon$ of the point. The error from differentiating the cutoff is bounded by $C\Vert u{\Vert }_{\infty }{\epsilon }^{n-1}$ and vanishes. The other terms converge by local integrability. In dimension one the Heaviside step function is a counterexample: its classical derivative off the point is zero, but its distributional derivative is a Dirac delta.

If $x_n$ converges weakly to $x$ in a Banach space, there are convex combinations of each tail $\{x_n,x_{n+1},\dots \}$ that converge in norm to $x$.

The nonnegative Lp space functions $f_j$ have $L^1$ norm one. Any weak limit tested against indicators supported outside the origin must vanish almost everywhere. Testing against the constant bounded function one would nevertheless require integral one. This contradiction applies to every subnet whose indices tend to infinity, so the $L^1$ unit ball is not weakly compact. The abstract Banach-Alaoglu theorem remains valid: weak compactness of the $L^1$ unit ball is a different assertion from weak-star compactness of a dual ball.

In spatial sampling of a wave, a detector records a wave at positions $x_n=np$ separated by pitch $p>0$. Angular wavenumbers differing by $2\pi m/p$, with integers $m$, give identical samples of a complex Fourier mode:This is spatial aliasing. To distinguish arbitrary sinusoids within a prescribed band, require $|k|<\pi /p$, equivalently $|{\nu }_x|<1/(2p)$, the Nyquist spatial frequency. Thus $p<{\lambda }_{\min }/2$ for the shortest allowed wavelength. At equality a sine can vanish at every sample, so phase information can be lost. The Nyquist–Shannon sampling theorem states the precise reconstruction conditions for a bandlimited function; a finite scan introduces further limitations.

The synthetic two-tone snapshot iswhere both ${\nu }_j$ count cycles per metre. The component wavelengths are $0.50\mathrm{m}$ and $0.125\mathrm{m}$. With $p=0.05\mathrm{m}$, both lie below the Nyquist spatial frequency of $10$ cycles per metre. With $p=0.10\mathrm{m}$, the $8$-cycle component aliases to the $2$-cycle component: at every $x_n=n/10$, $\cos (2\pi \cdot 8x_n)=\cos (2\pi \cdot 2x_n)$. The sampled sum is therefore indistinguishable from $1.5\cos (4\pi x)$, although the continuous curves differ between samples. Drawing lines between sample points cannot resolve this ambiguity.

A spectroscopic wavenumber commonly means the reciprocal of the vacuum wavelength ${\lambda }_0$ of electromagnetic radiation, often in $\mathrm{c}{\mathrm{m}}^{-1}$. It is an ordinary spatial frequency, so the vacuum angular wavenumber is $K_0=2\pi \tilde{\nu }$. Specify vacuum or in-medium wavelength: the same frequency can have different wavelengths in different media. IUPAC's “wavenumber in medium” entry defines the in-medium reciprocal $1/\lambda$ and notes that unqualified spectroscopic usage often means the vacuum reciprocal.^[ref]

For example, a vacuum wavelength of $500\mathrm{nm}=5\times 10^{-5}\mathrm{cm}$ corresponds to $\tilde{\nu }=20000\mathrm{c}{\mathrm{m}}^{-1}=2\times 10^6{\mathrm{m}}^{-1}$. Multiplication by $2\pi$ gives $K_0=4\pi \times 10^6\mathrm{rad}{\mathrm{m}}^{-1}$. Converting centimetres to metres and converting cycles to radians are separate operations.

For a propagating branch of an ideal vacuum-filled rectangular electromagnetic waveguide, the phase velocity tracks constant wave phase along the axis, whereas the group velocity describes a sufficiently narrow, weakly distorted wave packet. Using ${\omega }^2=c^2{\beta }^2+{\omega }_c^2$ givesThus $v_{\mathrm{ph}}>c$, $0<v_g<c$, and $v_{\mathrm{ph}}{v}_g=c^2$. Differentiating the dispersion relation proves the second formula; dividing it by ${\beta }^2$ proves the first. This is the same mathematical structure as Klein-Gordon packet velocities. In the stipulated $f=1.25f_c$ example,Over $0.30\mathrm{m}$, the corresponding narrow-envelope delay is $(0.50\mathrm{m})/c$, approximately $1.668\mathrm{ns}$. Timing a carrier wave crest would give $0.6004\mathrm{ns}$; it does not time the arrival of a newly introduced message.

There is an independent energy check. For the forward ${\mathrm{TE}}_{10}$ fields, the average axial Poynting vector is $⟨S_z⟩=\beta |E_y{|}^2/(2{\mu }_0\omega )$. Integrating across the guide gives average power $P$ and average electromagnetic energy per unit length $U^{\prime }$:The transverse sine and cosine squared each integrate to $a/2$; ${\beta }^2+(\pi /a{)}^2={\omega }^2/c^2$ then makes the integrated electric and magnetic contributions to $U^{\prime }$ equal. The axial energy transport therefore agrees with the group velocity in this ideal model.

As $\omega \downarrow {\omega }_c$, $v_g\to 0$ and $v_{\mathrm{ph}}\to \infty$; exactly at cutoff $\omega /\beta$ is undefined. Strong wave dispersion close to cutoff also limits the narrow-packet approximation. Neither a large phase velocity nor a pulse peak establishes superluminal information velocity; front velocity asks a separate causal question. In a uniform filling with constant positive permittivity $\epsilon$ and magnetic permeability $\mu$, replace $c$ by $u=1/\sqrt{\epsilon \mu }$, giving $v_{\mathrm{ph}}{v}_g=u^2$. Frequency-dependent material response or significant loss requires differentiating the actual dispersion relation, so this product is not universal.

Consider two identical two-segment paths from an inlet to a distal junction, with equal resistive beds at the two intermediate junctions and the distal junction. The segment transfer matrix and junction flow balances determine all pressures. If one inlet branch is removed and the beds are weakly loading the waves, the remaining segments form a three-segment chain with an effectively closed far end. The altered reflection pattern can raise peripheral oscillatory flow amplitudes even though a branch was lost; the incident wave amplitude, rather than total inlet pressure or flow, is the prescribed forcing.

Slowness is the reciprocal of phase velocity, measured in time per distance. A plane wave with wavevector $\mathbf{k}$ and angular frequency $\omega$ has vector slowness $\mathbf{p}=\mathbf{k}/\omega$. Its direction is the wavefront normal, which need not be the group velocity direction in an anisotropic medium.