For the first assertion, fix and . By uniform convergence, choose such that for every . By continuity of at , there is such that whenever . The triangle inequality then gives
Thus a uniform limit of continuous functions is continuous, including at the endpoints with their relative neighborhoods.
The converse implication involving integrals is false. Set and, for , use the shrinking continuous spikes with vanishing integral
Their supports are . For each they eventually vanish at , and they vanish at zero for every . Hence pointwise, with continuous limit. Each triangular area is , so . Yet , excluding uniform convergence.
The final assertion is also false. Take . Then the pointwise limit is
This limit is discontinuous at one but is Riemann integrable, with integral zero. Each is continuous and . Thus convergence of the integrals to the integral of an integrable pointwise limit does not enforce its continuity.
Sylvester's law of inertia states that a real quadratic form can be brought by an invertible real change of coordinates to
with remaining zero coordinates, and that the integers are uniquely determined. To prove existence, represent it by a symmetric matrix. The allowed orthogonal diagonalization yields real eigenvalues, and scaling each nonzero eigen-coordinate by the square root of its absolute eigenvalue changes its coefficient to or .
For uniqueness, is the largest dimension of a subspace on which the form is positive definite. The positive coordinate subspace attains . Any subspace of dimension greater than intersects the -dimensional span of the negative and zero coordinates nontrivially, by the dimension formula. A nonzero vector in that intersection has nonpositive quadratic value, contradicting positive definiteness. Similarly, is the maximal dimension of a negative-definite subspace. These descriptions are independent of coordinates, and is then fixed. This proves existence and uniqueness, including degenerate forms.
For the final application, nonsingularity gives . In diagonal coordinates write , with . If projects to zero in the positive coordinates, forces , so projection is injective. The same argument applies to the negative coordinates. Hence and , and their sum is . Therefore
The inertia signature is , or signature difference if that convention is used. This is the isotropic dimension bound from real inertia.
For a finite directed flow network with nonnegative finite edge capacities, a source and a distinct sink , the max-flow min-cut theorem states that the largest feasible flow value equals the smallest capacity of a cut separating from . A feasible flow has on each directed edge and flow conservation at all other vertices. Its value is the net outflow at .
For any cut containing but not , sum conservation over vertices of . Internal edges cancel, giving
Thus every flow value is bounded by every cut capacity.
A maximum flow exists: the feasible set is nonempty, closed and bounded in a finite-dimensional edge-coordinate space, hence compact, and the flow value is continuous. For such a flow, form its residual network: each original edge has forward residual capacity and backward residual capacity . Keep these as edge-labelled arcs if the original network already has edges in both directions. If a directed positive-residual path joined to , increasing the flow along its forward arcs and decreasing it along its backward arcs by the path's positive bottleneck capacity would preserve feasibility and increase the value. That contradicts maximality.
Let be the vertices reachable from by positive residual arcs. Then . Every original edge from to is saturated, otherwise its forward residual arc would extend reachability. Every original edge from to has zero flow, otherwise its backward residual arc would extend reachability. Therefore
Together with the bound for every flow and cut, this proves
The compactness step makes the proof valid for arbitrary real capacities; it does not assume that a particular augmenting-path algorithm terminates after finitely many augmentations.
Write , , and . The normal likelihood is proportional to . Its unrestricted maximizers are , . Under the null the variance maximizer is . Substitution gives the generalized likelihood-ratio test statistic
The ratio decreases as increases, so the likelihood-ratio rejection region is two-sided in . Under , is standard normal and is independent chi-squared with degrees of freedom. Independence follows by resolving the isotropic Gaussian sample vector into its projection on the constant vector and its orthogonal complement. Hence has the exact Student t-distribution with degrees of freedom.
For a chosen significance level , compute the sample mean and the sample standard deviation with denominator , and reject precisely when
Equivalently, report the two-sided -value . This requires and positive population variance; holds almost surely under that model. The nuisance variance is removed by the exact null distribution, so one should not substitute a normal critical value or a large-sample chi-squared approximation. This is the normal-mean likelihood ratio with unknown variance.
The first matrix column is already the unit vector , so the first QR elimination needs no reflection. In the remaining three coordinates, the second column is , with norm three. To map it to , use the Householder transformation
It is symmetric and orthogonal and satisfies . Extend it to . The QR decomposition and transformed right side are
For the lower right-side block, , so its transformed value is .
Orthogonality preserves the least-squares residual norm. Thus the first two squared residual terms can and must be set to zero, while the last two are independent of the unknowns:
The minimum squared residual is . The solution is unique since the triangular factor has nonzero diagonal entries. No normal equations are used.
Use the position four-vector and Minkowski signature . Along a massive particle's timelike path,
Thus its four-velocity is , and multiplying by the invariant rest mass gives
Its temporal component is , and the invariant relation is .
For a massless particle, use the null energy–momentum relation rather than substituting into : a massless particle has no proper-time parametrization of a timelike rest frame. With positive energy, implies . Hence
The original PDF retains the spatial vector in this expression; the TeX conversion incorrectly replaced it by its magnitude.
The partial fraction decomposition is . Put and expand each reciprocal by a geometric series:
Adding gives the Taylor series
Equivalently, since , its coefficient is . The first terms are .
The nearest nonremovable poles are and , both at distance from the center. The function is holomorphic throughout the open disk of that radius and cannot be holomorphic across either pole. Therefore the largest radius of convergence is .
For a geodesic spherical triangle on a sphere of radius , the Gauss-Bonnet theorem gives
where are its interior angles. Indeed, its geodesic sides have zero geodesic curvature, its Gaussian curvature is , and its three exterior turning angles sum to .
Choose a point strictly inside a full-dimensional convex polyhedron and radially project its boundary onto the unit sphere. Triangulate each projected face by diagonals, using only its existing vertices. Convexity ensures that the resulting spherical triangles cover the sphere once, with disjoint interiors. A face with edges gives triangles, so their number is , since every original edge belongs to two faces.
Sum the spherical excess formula over all triangles. The total area is , and the angles incident to each projected vertex sum to . No additional vertices were introduced by the face triangulations. Hence
This is the spherical-triangle proof of the polyhedron Euler formula.
In the given basis, the matrix is . Let , a primitive cube root of unity. For each ,
Thus these are eigenvectors with distinct eigenvalues , respectively, and form an eigenbasis. Set
The columns are mutually orthogonal with squared norm three, so . The diagonalization and characteristic polynomial are
Scaling by gives a unitary diagonalizing matrix.

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