For each fixed , , so the pointwise limit is . Moreover gives
Thus the limit is , with uniform convergence on .
For each fixed , continuity of the logarithm gives the pointwise convergence . But at , which belongs to for ,
Consequently the uniform error cannot tend to zero. In fact is unbounded as for every fixed . The pointwise limit is , and convergence is not uniform.
Write the amended primal as with , . A convenient linear programming duality convention uses and gives subject to . Explicitly the dual is
The optimal dual vector is the negative of the three payoff-row slack coefficients:
Indeed substitution gives , so all dual inequalities hold. To certify optimality directly by weak duality, for any feasible primal and dual vectors,
where the second inequality uses and . Our feasible primal and dual vectors have equal values , so neither can be improved. This is a linear programming optimality certificate.
The amended payoff is . Using the previous simplex dictionary,
Thus enters. The positive pivot-column coefficients give ratios from and from ; the coefficient in the row gives no bound. The simplex ratio test makes leave. Dividing that row by and eliminating gives
The positive objective-row coefficients and nonnegative slack variables prove optimality at . Therefore
All three constraints are equalities at this point. Strict positivity of the three objective-row coefficients also forces every optimal point to have all three slacks zero; the displayed dictionary then makes the optimizer unique.
Use payoff , so maximization of is equivalent to the required minimization. In the given simplex tableau, can increase the payoff. The simplex ratio test has candidate ratios in the row and in the row; the negative coefficient in the row imposes no upper bound. Thus enters the simplex basis and leaves.
Divide the pivot row by , then eliminate from the other rows. The resulting simplex dictionary is
All slack variables and original variables are nonnegative. The last row therefore proves for every feasible point; setting the nonbasic variables to zero attains it and leaves all basic variables nonnegative. Hence
The slack vector is .
Under the null hypothesis, the standardized intercept is standard normal, and is independent with chi-squared distribution of degrees of freedom. Consequently the Student t test for a simple-regression intercept uses
Choose a significance level before observing the test result. For the two-sided alternative, reject when , where the subscript denotes the indicated quantile of the Student t-distribution. The null rejection probability is exactly , independent of the nuisance slope and variance. Equivalently report the p-value . The test assumes the normal independent-error model and a positive residual variance estimate. In the intercept-only case with , use and instead.
Set and . These are orthonormal because . Complete them to an orthonormal basis of . An orthogonal transformation of the standard normal error vector has independent normal random variables as coordinates : its joint probability density remains because the transformation preserves squared length and has Jacobian determinant of absolute value one.
Projection onto these basis directions gives
Therefore the joint distribution of least-squares and variance estimators is
The last law is the chi-squared distribution of a sum of squared independent normal random variables with mean zero and variance one, and independence follows because the three statistics use disjoint independent coordinate sets. When all , omit the slope direction: and are independent, and there is no identifiable slope estimator.
Let . Differentiating the log-likelihood in gives
For this changes from positive to negative at , so
To find its bias, substitute the model and use the orthogonal fit directions and , obtaining
The three expectations are , , and , respectively: and . Hence , giving the unbiased estimator
With , a zero residual sum of squares is a probability-zero event in the model. For that exceptional dataset the likelihood is unbounded as , rather than having a maximum at a positive variance. In the intercept-only case , the corresponding unbiased multiplier is for .
Write and . For an identifiable two-parameter linear regression assume ; for the variance estimate and test below also assume . The least-squares normal equations are
Using gives
The residual sum of squares has positive-definite quadratic part , so these equations give its unique minimum. The normal distribution of the independent errors gives the log-likelihood
For every fixed positive , maximizing this over is exactly minimizing the same residual sum of squares. Thus the ordinary least squares estimators are also the maximum-likelihood estimators.
The printed hypotheses do not explicitly require or . If , all vanish and is unidentifiable; this is an intercept-only model with residual degrees of freedom. For its residual is identically zero, so the likelihood has no finite maximizer with positive variance. If but , the fit is saturated, leaving no residual variance estimate or Student test with positive degrees of freedom. The following nondegenerate formulas use and .
In the pion rest frame, conservation of three-momentum makes the Electron and massless neutrino momenta equal and opposite, of common magnitude . Their energies obey
Squaring and cancelling gives
The Electron four-momentum satisfies . Thus, for the physically allowed decay ,
Let the photon momenta be , with . Four-momentum conservation gives total energy and total momentum for the pion. Its mass shell relation therefore gives
Since , the sine is nonnegative, and taking the positive square root yields
Write . Using the Laplace transform of a derivative and the initial data gives
The transformed equation is , so . The preceding inverse Laplace transform therefore gives
For a direct check, , , , and . These satisfy both the ordinary differential equation and all four initial conditions.
Part (i) gives and . The convolution theorem for Laplace transforms therefore gives
Repeated integration by parts yields
Substitution gives , agreeing with the contour integration result.
By the Bromwich inversion formula, for and ,
Close the upward vertical segment by a left semicircle of radius centred at . On that arc , so , while is bounded below by a constant times for large . Its length is , hence the arc integral tends to zero as . The contour is positively oriented and encloses the double poles at and .
Their residues are
and
The residue theorem therefore yields
The value at zero follows by continuity and is .
For an integer and , the definition of the Laplace transform gives . For , integration by parts gives
The endpoint term vanishes because exponential decay dominates every fixed power of . Induction therefore gives . Multiplication by replaces by in the defining integral, so
The second formula holds for and is the Laplace transform shift theorem.
For each integer , the open balls cover the compact metric space . Compactness supplies a finite subcover with centres forming a finite set . Define , a countable union of finite sets and therefore countable.
For any and , choose with . One of the covering balls contains , so there is with . Every open neighbourhood of therefore meets , giving . Thus , and is a countable dense subset. If is empty, simply take .
The closure is the intersection of all closed subsets containing ; equivalently it consists of the points whose every open neighbourhood meets .
Suppose is continuous and . For any open neighbourhood of , continuity makes an open neighbourhood of , so it meets . Hence meets , showing . This proves .
Conversely suppose this inclusion holds for every subset . For a closed subset , let . Then and therefore . By the assumed inclusion, , so . Since always, is closed. Thus every closed set has closed preimage, equivalently every open set has open preimage. This is continuity, proving the claimed equivalence.
The face action gives , as calculated above. Every normal subgroup contains the identity and is a union of whole conjugacy classes. Thus its possible order is plus a subset sum of . The distinct resulting numbers are
By Lagrange's theorem for finite groups, a subgroup order divides . Only and in this list do so. Consequently the normal subgroups are and , and the rotational symmetry group of a regular icosahedron is a simple group.
First, the orbit-stabilizer theorem applied to a face gives : its stabilizer subgroup consists of the identity and the two rotations through about the axis through the centres of that face and its opposite. A rotation preserving a face must preserve its outward normal and cyclically permute its three vertices, so there are no further stabilizing rotations.
The conjugacy classes are as follows:
There are edge axes, face axes, and vertex axes. They give respectively , , and distinct nonidentity rotations, already accounting for all nonidentity elements.
To justify the class assertions, conjugation by a rotation carries the rotation axis to its image and preserves the rotation angle about the transported oriented axis. The transitive group action on edges puts all half-turns in one conjugacy class. The transitive group action on faces puts the rotations defined using outward face normals in one conjugacy class; opposite faces encode opposite signs about the same unoriented axis. The same reasoning with outward vertex directions gives a class of twelve rotations and a class of twelve rotations, including their inverses. These last classes cannot merge: the matrix trace of a three-dimensional rotation is , which differs for and . Thus the list is complete.
For a matrix, the characteristic polynomial is . The given matrix trace and determinant therefore make it . By the Cayley-Hamilton theorem, , and hence . Since , the order of a group element cannot be or . If , then , also impossible. Thus the order is .

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact