Suppose the spectrum were empty. The resolvent
would then be an entire operator-valued function. For ,
because the series converges in operator norm and multiplication by telescopes to . Hence .
For fixed , the scalar function is entire, bounded outside a disc by the estimate and bounded inside by compactness. Liouville's theorem makes it constant, and its limit at infinity makes that constant zero. This for all would imply , impossible for an inverse. Thus the spectrum is nonempty.
A compactly supported smooth function belongs to for every real . Part (a) therefore puts in for every . Taking arbitrarily large and applying the Sobolev embedding theorem to every derivative shows that .
For ,
The increment is independent of the Brownian filtration at time , and its exponential factor has mean one by the Gaussian moment-generating function. Hence the conditional expectation of the discounted time- price is the discounted time- price.
Both functions are continuous at every . At zero, while , so is discontinuous. Since , is continuous at zero and hence everywhere.
Let and let be the Dirichlet function, equal to on rationals and on irrationals. Then is continuous exactly on : the distance factor squeezes it to zero on , while away from it is a positive continuous factor times an everywhere-discontinuous function.
For continuous , the function is differentiable with . Conversely, if is continuous, then .
The number of stops is . For each fixed ,
the mass function of a Poisson random variable of mean one.
For radial functions, . Since and , decay and the boundary value give
Uniform continuity means that for every there is a single such that implies for all . A -Cauchy sequence converges uniformly pointwise to a bounded function; passing a uniform-continuity estimate through a sufficiently close member proves that the limit is uniformly continuous. Thus is complete.
If , decay at infinity and compactness of a ball make it bounded. Uniform continuity on a sufficiently large compact ball, together with small values outside it, proves global uniform continuity. Hence .
A uniform limit of functions vanishing at infinity also vanishes at infinity, so is closed. It is not compact: translate a fixed compactly supported bump of height one so that the supports are disjoint. The resulting sequence has pairwise sup distance one and no convergent subsequence.
The product topology has basis with open in and open in . Since and similarly for , both projections are continuous.
If is Hausdorff, a point off the diagonal has disjoint product neighborhoods, so the diagonal is closed. Conversely, if the diagonal is closed, its complement supplies disjoint neighborhoods of any two distinct points.
The graph is the inverse image of the diagonal under , so a continuous map into a Hausdorff space has closed graph. Conversely, if are compact Hausdorff and is closed, then is compact. Its projection onto is , compact and hence closed. Thus is continuous.
The function , for is discontinuous but has closed graph: a convergent graph sequence approaching cannot have and bounded second coordinate unless it eventually reaches the isolated graph point .
The commutator follows directly on a test function:
Expansion gives
To make , take
Then
which tends to at both ends.
Applying to gives a partner scattering state with asymptotic amplitudes at and at , and no reflected wave. Their moduli agree. Subtracting the common constant therefore shows that the displayed potential is reflectionless:
Write the internal stage as
The two methods have and . Expansion gives stability function
Both therefore have order two; order three would require .
A set is convex when it contains every segment joining two of its points. A function on a convex set is convex when
for all and .
A euclidean domain is an integral domain with a function on nonzero elements such that for there are with and either or .
Cauchy's formula gives for an entire function bounded by on every radius- circle. If is globally bounded, letting gives , proving Liouville's theorem.
Set . Its limit at zero makes the singularity removable, so
Consequently and .
The argument principle on a large circle gives number of zeros minus poles equal to the winding number of , which is zero because . Thus . The function
has removable singularities everywhere and tends to one at infinity. Liouville gives , hence
Rao–Blackwell says that if estimates a parameter and is sufficient, then has the same mean and no larger variance, with strict improvement unless is already a function of almost surely. The mean statement is the tower property, while
proves the variance claim.
The joint mass factorizes through , so is sufficient for . If , then
Conditionally on , . Rao–Blackwell therefore gives the unbiased estimator
For the original estimator is not a function of , so the variance reduction is strict.