For length- binary linear codes , their bar product of binary linear codes is
The map is injective and linear, so
If is the minimum distance of , then
For this is at least ; for a nonzero word has weight at least . Words and attain these bounds, proving
A parity-check matrix for a code is a matrix satisfying . A pair belongs to exactly when
Thus a parity-check matrix is
This is the parity-check matrix of a bar product.
The Reed-Muller code is the length- binary code obtained by evaluating every square-free polynomial in Boolean variables of degree at most on all points of . Equivalently,
The square-free monomials form a basis, so
A word in evaluates an affine function . The two constant functions have weights and . Every nonconstant affine function takes each value equally often, so all other codewords have weight .
A monomial of degree has weight . Hence every generator, and therefore every codeword, has even weight when . For , the monomial has weight one. All words have even weight exactly for .
Gaussian elimination without pivoting gives
Thus and the solution is unique exactly when .
For , forward substitution in a triangular system in gives . Consistency of requires . backward substitution in a triangular system then gives
Taking the divergence of the Ampère-Maxwell equation and using the Gauss's law gives
which is charge conservation from Maxwell equations .
By Ohm's law, , so . Therefore
with charge-relaxation rate and time .
The Born rule and probability current in one dimension give
Multiply the Time-dependent Schrödinger equation by , subtract its complex conjugate multiplied by , and rearrange to obtain the continuity equation .
For the stated superposition, the interference terms in are real and cancel from its imaginary part. Hence
independent of and .
Separation of variables with and the three homogeneous boundary conditions gives and . The boundary value at contains only the third Fourier sine series mode. Therefore
This harmonic function has all four prescribed boundary values.
The Bolzano-Weierstrass theorem in says that every bounded real sequence has a convergent subsequence. For a bounded sequence in , successively extract subsequences on which the first, second, and so on through the th coordinate converge. The final diagonal subsequence converges in Euclidean space, proving the theorem in .
Put . Suppose the asserted did not exist. Then there would be and with but . Since is closed and bounded, Bolzano-Weierstrass gives a subsequence , and then . The point is not in , because otherwise , so has continuity at . Both and tend to , a contradiction. Hence the required uniform exists.
A cut is a partition of the vertices with the source in and sink in ; its capacity is the sum of capacities of directed edges from to . The max-flow min-cut theorem says that maximum flow value equals minimum cut capacity. With integral capacities, there is an integral max-flow theorem attaining the maximum.
Construct a bipartite graph with one vertex for each row and column and an edge whenever . Add source-to-row and column-to-sink edges of capacity , and give row-to-column edges infinite capacity. An integral flow is precisely a set of independent s, so its maximum value is the largest such set.
A finite-capacity cut places some rows on the sink side and some columns on the source side; these lines cover every , since an uncovered row-to-column edge would cross the cut with infinite capacity. Its capacity is the number of selected lines. Conversely every line cover defines such a cut. Max-flow min-cut therefore proves the maximum number of independent s equals the minimum number of covering lines, the matrix form of Kőnig's theorem for bipartite matching.
A quadratic form on a finite-dimensional real vector space is a function for some symmetric bilinear form . A positive-definite quadratic form satisfies for every .
Completing squares gives
Set , , . The corresponding ordered basis in the original coordinates is
and the diagonal form is . All diagonal coefficients are positive, so the form is positive definite.

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