The uniform convergence condition on a set is
The index is independent of ; this is stronger than pointwise convergence.
Fix and . Choose one such that for every . The continuity of at gives with whenever . The triangle inequality then gives
Since was arbitrary, , the uniform limit theorem. Continuity of each approximant need not be uniform continuity.
A unique factorization domain is an integral domain in which every nonzero nonunit is a finite product of irreducible elements, uniquely up to reordering and multiplication of factors by a unit in a ring. A principal ideal domain is an integral domain in which every ideal is generated by one element.
Gauss lemma for polynomials says that over a unique factorization domain , the product of two primitive polynomials is primitive, and the polynomial content satisfies up to a unit. In particular a primitive polynomial of positive degree is irreducible over exactly when it is irreducible over the fraction field of . Consequently a polynomial ring over a unique factorization domain is itself a unique factorization domain.
The Eisenstein criterion says that if has and there is a prime element with , for every , and , then is irreducible over the fraction field. If is primitive, it is also irreducible in . Over one may take to be an ordinary prime number. The primitivity qualification prevents a nonunit constant content from being overlooked.
The defining distinction is unique irreducible factorization versus generation of every ideal by one element.
Every reachable state reaches zero deterministically in steps. For , choose a supported lifetime ; zero can jump to and then count down to . Thus the chain is an irreducible Markov chain on . Its positive-probability first return lengths are exactly the support of ; all other return lengths are sums of such lengths. Their greatest common divisor is therefore one by assumption, so the chain is an aperiodic Markov chain.
The equilibrium residual-life distribution is
It is a probability distribution because the tail-sum identity gives . With zero masses outside ,
so it is a stationary distribution. This also displays why finite mean is needed for normalization.
Use the countable-state Markov chain convergence theorem: an irreducible, aperiodic, positive recurrent discrete-time chain on a countable state space has a unique stationary distribution and for every pair of states. All hypotheses were verified, including positive recurrence in part (b). Since and ,
The finite-state convergence theorem alone would not suffice when the lifetimes are unbounded. The gcd hypothesis is also necessary for this ordinary limit: deterministic lifetime 2, for example, produces alternating renewal probabilities rather than convergence.
Starting at zero, the next renewal is at time , and there are no intervening renewals because . Thus the first return time obeys in distribution, indeed under the original renewal construction. Its mean recurrence time is
The chain returns to zero almost surely and has a finite expected return time, so zero is a positive recurrent state. The assumption is what upgrades recurrence to positive recurrence.
Let , , be the epochs of the renewal process. The definition uses the next epoch at or after , so at an epoch. If , no renewal occurs before and necessarily .
If , time is a renewal epoch, and the next unused interarrival time is independent of the entire observed past with the original distribution. To justify the random index, condition on each possible number of renewals up to : the event identifying depends only on , whereas is independent of those variables. Summing over preserves that distribution and independence. Therefore the residual lifetime Markov chain has transition probabilities
Its reachable state space is , either an initial finite segment or all nonnegative integers. The conditional next-step law depends only on , proving the Markov property. Initially . The reset is , rather than , because one unit of time has elapsed by the next step.
For the quantum harmonic oscillator, the time-independent Schrödinger equation is
with . The given dimensionless coordinate yields . Substituting the Gaussian factor gives
By the supplied normalizability fact, is a nonzero polynomial. If its degree is , comparison of the leading coefficient forces . Conversely, at this value the coefficient recurrence
produces a degree- polynomial with parity : start with a nonzero constant for even or a nonzero linear coefficient for odd , and the recurrence terminates at degree . This is a multiple of the Hermite polynomial. Its product with the Gaussian is square integrable and can be normalized. Therefore all and only the allowed energies are
The interior of the diamond is . Its Minkowski functional, or the uniqueness argument already proved, gives the L1 norm:
The final unheaded set cannot be an open unit ball of a norm, because every norm ball is convex by homogeneity and the triangle inequality. Both and lie in : their squared-distance expression is . Their midpoint has that expression
so . Thus . The strict inequalities in the definition are respected by this explicit counterexample.
The unheaded preliminary requests are addressed before the first example. A norm is a function satisfying exactly for , , and . Its induced metric is . Translation preserves this distance, and scalar multiplication satisfies , so both are continuous; multiplication by zero is constant.
The open unit ball determines the norm uniquely through its Minkowski functional:
because is equivalent to . This also works for .
Under the given radial and convexity hypotheses, set and for . The finite symmetric segment along each line gives positivity, absolute homogeneity and . If and , then , and the stated convexity condition yields . Hence ; taking and proves the triangle inequality. Thus this is a norm determined by a convex radial unit ball. The case is immediate.
For the coordinate box, the Minkowski functional is the supremum norm:
Indeed exactly when .
A nilpotent element belongs to every prime ideal: if , repeated primality forces . Therefore .
Conversely, if , none of its positive powers is zero. The multiplicative subset is disjoint from . Part (b) supplies a prime ideal disjoint from , hence not containing . Thus is outside the intersection, proving the nilradical as the intersection of prime ideals identity:
In the zero ring there are no prime ideals; the empty intersection is interpreted as the whole ring, which is also its nilradical. For nonzero rings this argument proves existence of a prime ideal whenever a nonnilpotent element is available.
Consider all ideals containing and disjoint from the nonempty multiplicative subset . This collection is nonempty because it contains . The ascending chain condition for the Noetherian ring gives a maximal member : otherwise repeatedly choosing a strictly larger member would give an infinite strictly ascending chain of ideals. Since is nonempty and misses it, .
Suppose but . Maximality implies that and both meet , so write and with . Then
while closure under products gives , a contradiction. Hence
This proves the prime ideal avoiding a multiplicative subset result without needing . The assumptions themselves rule out , since every ideal contains zero.
For nilpotent elements of the commutative ring, choose positive integers with . The binomial theorem gives
each term has either or . Also , , and for every . Thus is an additive subgroup stable under multiplication by arbitrary ring elements:
Commutativity is essential to the simple binomial argument; an arbitrary sum of nilpotent elements in a noncommutative ring need not be nilpotent.
False. Take , , and . Then , but because is missing. Thus the premise does not force spanning. It need not force zero intersection either: with the same , take and . Their images still have a direct sum, while .
False. Take , , , , and . Then is a direct sum, but , so their intersection is not zero. Their ordinary sum is , as always follows from surjective function and ; the failure is precisely the direct sum assertion.
True. Use the lifted basis above and put . If , applying gives , so all . Thus the form a basis of , and takes this basis to the basis of . It is a linear isomorphism.
In fact the right inverse gives the stronger splitting
For every , write ; the first term is in the kernel and the second in . Their intersection is zero because is injective. This is a direct sum decomposition.
True. Choose a basis of . By surjective function, choose with . Define the linear map by and extend by linearity. Then on every basis vector, and therefore
This constructs a right inverse and does not require to be injective. If is the zero vector space, the unique zero map is the required right inverse.
False. A left inverse would force to be injective: if , then . Take the surjective linear map given by . Since belongs to its kernel, every composite annihilates and cannot be the identity map on .

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