If are countable, choose enumerations and map each element of to the first pair at which it occurs. Since is countable, the union is countable.
A periodic function of period is determined by its values on a complete residue system. Thus all periodic functions form a countable union over of the countable sets , and are countable.
The set of bijections is uncountable. Indeed, each binary sequence determines a bijection that swaps and exactly when its th bit is one. This is an injection from the uncountable set of binary sequences.
A Cauchy sequence in a metric space satisfies: for every there is such that whenever . A complete metric space is one in which every Cauchy sequence converges to a point of the space.
Every Cauchy sequence is bounded. Choose such that for , and put
Then every term lies in the ball .
Now suppose is complete and is a decreasing sequence of nonempty closed sets with . Choose . Given , choose with . For , both points lie in , so . Completeness gives . For each fixed , the tail lies in the closed set , hence . Therefore
Conversely, assume the nested-set property and let be Cauchy. Define
These sets are nonempty, closed, and decreasing. The Cauchy property implies ; taking a closure does not change the diameter. Choose . Since ,
Thus every Cauchy sequence converges and is complete. This proves the Cantor intersection theorem characterization.
The contraction mapping theorem states that a contraction of a nonempty complete metric space has a unique fixed point.
For each , the map is a contraction with the common constant , so it has a unique fixed point . This defines the required unique function. Fix . The fixed-point identities and the triangle inequality give
Consequently
The numerator tends to zero as by the assumed continuity for the fixed point . Hence is continuous, an instance of continuous dependence of the fixed point of a uniform contraction.
A sequence converges uniformly to if, for every , there is such that
for every and every . A map is uniformly continuous if, for every , there is such that
for all .
If , choose a ball outside which . On the closed ball, continuity gives boundedness, so is bounded everywhere.
Now let be Cauchy in the uniform metric. For each , is Cauchy in ; let its limit be . Passing to the pointwise limit in the uniform Cauchy estimate shows that uniformly. Hence is continuous. Given , choose with , and then choose so that for . It follows that also vanishes at infinity. Thus is complete, as in completeness of continuous functions vanishing at infinity.
Every is uniformly continuous. Given , choose so that outside the ball of radius . On the compact ball of radius , is uniformly continuous; choose the corresponding . If two points at distance below are not both in that ball, then both lie outside the ball of radius , and their function values differ by less than .
For the final sequence, continuity of at zero gives, for each fixed ,
Thus pointwise convergence is compulsory. Uniform convergence need not hold: with ,
which is unbounded as a function of for every fixed .
Under the additional bound , however,
for , and the difference is zero at . Hence convergence is uniform, by the uniform square-root perturbation under linear growth estimate. The pointwise answer remains yes.
For the sequence in part (iii), part (ii) gives
Taking reciprocals yields the factorial-over-power series limit
Every convergent sequence is bounded. Conversely, let be increasing and bounded above, and set . For any , is not an upper bound, so some . Monotonicity then gives
for all . Hence , proving the monotone bounded sequence criterion.
For a nonempty set bounded above, is its least upper bound: every satisfies , and every fails to be an upper bound.
A sequence converges to if for every there is such that implies .
A metric space is complete when every Cauchy sequence in it converges to a point of the space. Let be Cauchy in a closed subspace of a complete metric space . It is also Cauchy in , so for some . Since is closed and every lies in , one has . Thus the closed-subspace completeness theorem proves that is complete.
The independent identically distributed sequence is itself a Markov chain, since the conditional law of is its common marginal law and does not depend on the past.
Also,
Because is independent of the past, the conditional law of depends on the history only through . Thus the partial sums are a Markov chain.
The upper register index is the largest register number occurring in an instruction of , with value zero if only register is used. A configuration records the current state and the contents of every register up to that index.
For input , let be the initial configuration: the designated initial state, the words of in the input registers, and the empty word in every remaining register. Recursively, if is halting, keep it fixed; otherwise let be the unique configuration into which transforms it. The resulting sequence
is the computation sequence.
Consider computations while a terminal block of 's is removed from register . Until that block has disappeared, the available instruction and next state depend on the current state and on the visible , not on the untouched prefix .
Take a block longer than . Record the state after each successive has been removed. Two records have the same state , by the pigeonhole principle. If the corresponding removed tail lengths are , the same finite instruction sequences work in front of every prefix . Thus there are fixed times such that
for every word .
The closest point theorem in a Hilbert space states that every nonempty closed convex subset of a Hilbert space has a unique point nearest to any given .
Let and choose with . The parallelogram identity and convexity give
so is Cauchy. Completeness and closedness give a limit with . If were both minimizers, the same identity with their midpoint would force .
Apply the theorem to a closed subspace . For , let be closest and put . For every , minimality of at for real and imaginary gives . Hence
The intersection is zero, so .
If is a shift with orthonormal basis , it is an isometry,
Conversely, suppose these three properties hold. Choose a unit vector spanning and set . Isometry makes this sequence orthonormal. Iterating the orthogonal decomposition
gives
A vector orthogonal to every lies in every and is therefore zero. Thus is an orthonormal basis and , so is a shift. This is the wandering-vector characterization of a unilateral shift.
Expanding the square and using orthogonality of Fourier modes,
Finite truncations justify the calculation directly, and passage to the limit proves Parseval identity for every square-summable sequence.
False. The interval with the Euclidean metric is uncountable and has no isolated points, but the Cauchy sequence has no limit in the space.
Since
we have
Thus for every .
Explicitly,
For , the remainder after terms is
Its ratio to tends to one, verifying every coefficient formula.
Because for every , the exponentially small part is invisible to the power sequence . Hence
with coefficient one at and all other power coefficients zero.