The orthogonal projection onto a closed subspace of a Hilbert space sends to its component in the orthogonal decompositionThe residual is orthogonal to every permitted direction. For any , the Pythagorean theorem givesThus uniquely minimizes the distance to . It is a linear map, is idempotent, and is nonexpansive: ; taking gives .
In , project onto the line spanned by . The inner product givesThe check confirms orthogonality, and . Projecting again changes nothing, since the result already lies on the line.
For a finite orthonormal basis of , the same operation is , using the convention linear in the first argument. Replacing coordinate vectors by functions gives exactly the same approximation principle. For in the real L2 space on and , the directions are orthogonal, with squared norms and . Their inner products with are and zero, soDirect integration gives the squared error . For any competing affine polynomial, the orthogonal residual yieldsEvery deviation from , adds a nonnegative error. The best function need not pass through any selected data point: it minimizes an integrated error across the whole interval.
Projecting x squared onto affine functions gives the constant one third and minimum integrated squared error 8/45
. Details. Colored noise has nonzero temporal correlation away from equal times. An Ornstein-Uhlenbeck noise has exponential covariance and approaches white noise when its correlation time tends to zero at fixed integrated covariance.
A multivariate Ornstein-Uhlenbeck process obeys . If every eigenvalue of has positive real part, its stationary covariance is the unique solution of .
Klein-bottle mapping-cylinder obstruction to simple connectivity by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Let be the mapping cylinder of the orientation double cover with its free end omitted. If a Hausdorff space contains as an open subset, van Kampen extends the orientation quotient of to a surjection of the ambient fundamental group onto . The ambient space is therefore not simply connected.
The null twist is . It vanishes for null generators orthogonal to a hypersurface by the Frobenius theorem.
Maximum modulus principle from the complex open mapping theorem by
Codex 0 Created 2026-09-24 Updated 2026-09-24
A western boundary current is a narrow, intense return flow that closes a broad wind-driven interior circulation. The beta effect selects the western side for this frictional boundary layer.
Sverdrup balance equates meridional advection of planetary vorticity to wind-stress curl in the weakly frictional ocean interior.
Forced normality of finite connected covers of orientable surfaces by
Codex 0 Created 2026-09-24 Updated 2026-09-24
A universal covering has simply connected total space, so its associated subgroup of the base fundamental group is trivial. The trivial subgroup is normal; hence every universal covering map is a normal covering map.
Vanishing Dirichlet energy by dilation on the line by
Codex 0 Created 2026-09-24 Updated 2026-09-24
For with , the dilationpreserves the norm and satisfies . Hence normalized functions on the line have Dirichlet-energy infimum zero, which no nonzero function attains.
A bounded sequence can fail to have a strongly convergent subsequence because its mass escapes to infinity even when its local regularity is uniformly controlled.
Simply connected non-Hausdorff orbit-space example by
Codex 0 Created 2026-09-24 Updated 2026-09-24
Lifting the hyperbolic-scaling action to the universal cover of preserves the two inseparable limiting orbits. The covering surface is biholomorphic to , so a simply connected Riemann surface can still have a non-Hausdorff quotient by a covering space action of homeomorphisms.
A Popescu–Rohrlich box is a bipartite no-signalling box attaining the algebraic maximum of the CHSH inequality.
For the negative binomial distribution with positive integer target and success probability , the th success occurs after exactly failures only if the final trial is a success, while the preceding trials contain failures and successes. Choosing the failure locations gives the binomial coefficient . Each such stopped sequence has probability by independence, and the sequences describe mutually exclusive events, so their probabilities add. This proves the probability mass function. Counting arrangements among all positions would wrongly include sequences that already reached the target earlier. The same argument is used for three heads in MIT 18.05, spring 2022, problem set 9 solutions, problem 2(b).
A short route to normalization and moments is to split the failures count into successive waiting blocks:where counts failures after success and before success , with starting at the first trial. Fresh independent Bernoulli trials make the blocks independent, each with the failures-count geometric distribution. Each block has total mass by the geometric series, so their sum also defines a normalized probability distribution. The linearity of expectation and variance additivity for independent random variables give and . This makes the moments transparent without a long calculation of sums. For , every block is zero.
The same stopping rule connects a waiting count to a fixed-length count. Let be the trial number of the th success, and let count successes in the first trials, so has a binomial distribution. For any nonnegative integer ,The target is still unmet after trials exactly when fewer than successes have occurred. With , and , this gives ; equivalently, , matching . At , the event identity still holds, with and deterministically.
There are unlisted articles, also show them or only show them.

