The adjugate matrix is the transpose of the cofactor matrix, and it satisfies
Put and substitute the two given expansions into this identity:
Comparing coefficients of powers of gives
Here because the characteristic polynomial is monic.
An unbiased estimator of a parameter satisfies for every permissible value of . Since the sample mean is linear,
so is unbiased.
Use the identity
The two expectations on the right are and , respectively. Hence
Thus
The unbiased sample variance instead divides the same sum of squares by .
For observations , the log-likelihood of the normal distribution model is
Differentiating first with respect to gives . Substituting this value and differentiating with respect to gives the normal mean and variance maximum-likelihood estimators
Let the common initial state be and the robber's final state be . Part (a) gives their joint distribution as
Let be the cop's hitting time of when starting from . For a chain started from , condition on its first step to obtain
Hence the expected catch time, averaged over the displayed joint law, is
Using Kac's lemma once more gives
The convention correctly counts an immediate catch when the robber's reverse step leaves it at the common starting state.
Conditional on , the random variable is the first return time . The Kac's lemma mean-recurrence formula for a finite irreducible Markov chain gives
Averaging over therefore yields
A level- test is uniformly most powerful for a composite alternative when its power is at least that of every other level- test at every parameter value in that alternative.
For every fixed , the likelihood ratio is increasing in the same statistic , and the size- threshold is always the null quantile , independent of . The Neyman-Pearson lemma therefore makes the test from part (a) most powerful against every individual . Consequently it is
The power function of a test is the probability of rejection as a function of the true parameter. Since ,
At the null value, .
The Neyman-Pearson lemma says that for simple hypotheses with densities , a size- test that rejects where and accepts where , with possible randomization on equality to attain size , is most powerful among all tests of size at most . To prove it, let be this test and any competing test. Pointwise,
After integration,
which proves maximal power.
For the exponential sample, with ,
Since , this ratio is increasing in . The likelihood-ratio test therefore rejects for large :
where is the distribution function of the rate-parameterized Gamma distribution .
For this Adams–Moulton method, the characteristic polynomials of a linear multistep method are
Expansion at zero gives
Part (a) therefore shows that the method has order exactly three.
It is consistent because its order is at least one. The roots of are and ; both lie in the closed unit disk, and the only unit-modulus root is simple. Thus the method is zero-stable. By the Dahlquist equivalence theorem, consistency and zero stability imply convergence. Hence the method is
Insert the exact solution into the linear multistep method and expand about . Its defect is
The coefficient of is
for , while the constant coefficient is . The method has order at least exactly when these coefficients vanish for .
On the other hand,
The coefficient of in this expression is precisely the preceding order-condition coefficient. Therefore all coefficients through degree vanish exactly when
which proves the equivalence.
For each , the coordinate projection
is continuous when has the discrete topology: if , then .
If were a continuous path, then would be a continuous map from the connected interval to a discrete space, so it would be constant. This holds for every , and therefore itself must be constant. Since contains distinct points, no path joins every pair. Hence
indeed, every path component is a singleton.
A metric space is complete when every Cauchy sequence converges to a point of the space.
Let be a Cauchy sequence in , where . For each positive integer , choose such that
This inequality says that the first coordinates of and agree. Consequently each coordinate is eventually constant. Let be its eventual value and put .
For , the first coordinates of agree with those of , so
As is arbitrary, . Therefore
Nonnegativity and symmetry are immediate. Moreover, exactly when , which means for every .
For three sequences , if and agree through coordinate and and agree through coordinate , then and agree through coordinate . Hence
and therefore
Thus is a metric; in fact, the stronger first inequality makes it an ultrametric.
For every invertible matrix ,
The maps and are linear. Differentiate this identity at and use the chain rule and part (a):
Thus . Given an arbitrary increment , set to obtain the derivative of matrix inversion
This also proves differentiability at every .
A map is differentiable at when there is a linear map such that
The linear map is the Fréchet derivative of at .
The multivariable chain rule states that if is differentiable at and is differentiable at , then
Indeed, write and , where and . Since ,
and the last two terms are . This proves the formula.
For matrix inversion near the identity matrix,
The last term is because inversion is bounded near . Therefore the inversion map is differentiable at and
Interchange the two primes if necessary so that . By the Sylow theorems, the number of Sylow -subgroups satisfies
If , then is or . The first is impossible because . The second would imply
Since is prime, it cannot divide , so it must divide . But then forces , impossible because and are both odd. Therefore . The unique Sylow -subgroup is a nontrivial proper normal subgroup, and hence
The Sylow theorems state that if with , then:
The group is a nontrivial finite p-group, so the nontrivial center of a finite p-group gives . If , then is already a nontrivial proper normal subgroup, so is not a simple group. If , then is abelian. By Cauchy's theorem for finite groups, it has a subgroup of order ; every subgroup of an abelian group is normal, and this subgroup is nontrivial and proper because . Thus in every case
Put and . Then
The binomial series gives
so
Since , a second binomial series expansion yields
Thus the constants in the stated Big O notation expansion are

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