Choice-function well-ordering construction Created 2026-09-24 Updated 2026-09-24
Given a choice function on all nonempty subsets of , recursively choose the next point from the complement of all earlier choices. Hartogs theorem forces the recursion to exhaust before it defines an injection from into , producing a bijection from an ordinal to .
Generalized least squares Created 2026-09-24 Updated 2026-09-24
Generalized least squares minimizes for a known covariance shape .
Laurent coefficients of the Weierstrass elliptic function Created 2026-09-24 Updated 2026-09-24
Writing for the lattice Eisenstein sums, expansion about zero gives
Thus the constant coefficient vanishes and, for , the coefficient of is .
Weierstrass zeta function Created 2026-09-24 Updated 2026-10-14
The Weierstrass zeta function satisfies and is quasi-periodic: for every period , the difference is constant. It has a simple pole of residue one at each lattice point. Consequently, if , then
is an elliptic function.
It is the quasi-periodic zeta member of the Weierstrass functions.
Bernstein polynomial Created 2026-09-24 Updated 2026-10-14
For a function and an integer , its Bernstein polynomial is
The Bernstein basis supplies nonnegative weights whose sum is one. Equivalently, the weights are the probabilities of a binomial distribution, and the result is an expected value. At a given , this averages the sampled values with weights concentrated near .[ref]
The endpoints are exact: and . Interior sampled points need not be interpolated. For example, binomial distribution moments give and . Thus every affine function is reproduced exactly, whereas is generally changed. Bernstein polynomial degree preservation is a statement about degree of a polynomial, not equality of the entire polynomial.
For a continuous , the uniform continuity of and the variance explain uniform convergence. Split the expected value of the error into , where uniform continuity makes the change small, and its complement, whose probability is at most by Chebyshev's inequality. The bounded function bounds the remaining error. This proves convergence without assuming differentiability.
For , the tensor-product Bernstein polynomial is the expected value of for independent random variables . The same uniform continuity and coordinatewise variance estimates give uniform convergence for each fixed finite .
Ternary symmetric channel capacity Created 2026-09-24 Updated 2026-09-24
For diagonal transition probability and each off-diagonal probability ,
with .
Binary symmetric channel capacity Created 2026-09-24 Updated 2026-10-14
A binary symmetric channel independently flips each transmitted bit with crossover probability . Its channel capacity is
in bits per use, where is binary entropy and the endpoint convention is . Knowing the input leaves just the uncertainty of the flip, so for every input probability distribution. Since the output is a bit, , and thus . A fair input produces a fair output and reaches the bound. This is the two-symbol case of weakly symmetric channel capacity; Eytan Modiano, MIT 16.36, Channel Capacity and Coding, slides 4–5 gives this calculation.
For crossover probabilities , the resulting channel capacities are approximately , , and bits per use. At , the communication channel is noiseless; at , the output is independent of the input and the capacity is zero. At , every bit is inverted, a known reversible rule, and capacity is one again. More generally , because inverting every received bit exchanges the two crossover probabilities. The existing mutual information figure shows this full symmetric curve.
An uncoded transmission illustrates why the raw bit-error probability is not itself channel capacity. At , transmitting 100 uncoded bits succeeds on all of them with probability . The probability of at least one error is therefore approximately . A suitable block code changes which received words count as recoverable evidence of a message; simply repeating uncoded transmission at rate one does not obtain the reliability promised at rates below .
Krein-Šmulian theorem Created 2026-09-24 Updated 2026-10-14
The closed convex hull of a weakly compact subset of a Banach space is weakly compact.
The other standard formulation says that a convex subset of a Banach-space dual is weak-star closed if its intersection with every norm-closed ball is weak-star closed.
Weakly sequentially compact set Created 2026-09-24 Updated 2026-10-05
A set is weakly sequentially compact when every sequence in it has a subsequence that converges weakly to a point of the set.
Szlenk derivation Created 2026-09-24 Updated 2026-10-14
For a weak-star compact set , its Szlenk derivation at scale is
It removes points having a relatively weak-star open neighbourhood of norm diameter at most .
Transfinite iteration of this operation defines the Szlenk index; one derivation step is not itself the index.
Weak-star metrizability of the dual ball Created 2026-09-24 Updated 2026-09-29
If is separable, the weak-star topology on is metrizable. For a dense sequence in , a compatible metric is obtained by summing bounded multiples of .
Galerkin method Created 2026-09-24 Updated 2026-09-24
The Galerkin method seeks an approximate solution in a finite-dimensional subspace and requires the equation's residual to be orthogonal to that subspace. Uniform energy estimates and compactness can then produce a weak solution as the subspaces become dense.
Weak formulation Created 2026-09-24 Updated 2026-10-14
A weak formulation multiplies a differential equation by a test function, integrates, and uses integration by parts to move derivatives away from the unknown function. Natural boundary conditions appear in the resulting boundary terms.
Compact massive-Laplacian resolvent Created 2026-09-24 Updated 2026-09-24
The solution operator is compact on every bounded open set because it maps boundedly into and the Rellich-Kondrashov compactness theorem for H01 embeds that space compactly into .
Norm-closed convex set is weakly closed Created 2026-09-24 Updated 2026-10-14
A norm-closed convex subset of a Banach space contains every weak limit of its sequences. Apply Mazur lemma to obtain norm-convergent convex combinations that remain in the set.
Weakly null orthonormal sequence Created 2026-09-24 Updated 2026-09-24
Every orthonormal sequence in a Hilbert space converges weakly to zero, by Bessel inequality, but no subsequence converges strongly because distinct terms remain distance apart.
Radon-Riesz theorem Created 2026-09-24 Updated 2026-10-05
In a Hilbert space, weak convergence together with implies strong convergence .
Weak lower semicontinuity of the Hilbert norm Created 2026-09-24 Updated 2026-09-24
If in a Hilbert space, then
For , take the inner product with and apply Cauchy-Schwarz before passing to the lower limit.
Weak subsequence of a bounded Hilbert-space sequence Created 2026-09-24 Updated 2026-09-24
Every bounded sequence in a separable Hilbert space has a weakly convergent subsequence. Successive subsequences make each basis coordinate converge, and a diagonal subsequence converges in every coordinate; the coordinate criterion for weak convergence in a separable Hilbert space finishes the proof.
For a Hilbertian basis , a sequence converges weakly if and only if is norm bounded and every coordinate sequence converges.

There are unlisted articles, also show them or only show them.