Proof
Consider the indexed family of sets whose index set is the set of natural numbers m, defined as follows:
Obiviously
and
therefore there is a natural number m0 such that putting A0,m0=A0 the following relation holds true:
Using A0 it is possible to define the following indexed family
satifying the following two relationships, analogous to the previously found ones, i.e.
and
This fact enable us to define the set A1,m1=A1, where m1 is a surely existing natural number such that
By iterating the shown construction, another indexed family of set {An} is defined such that it has the following properties:
- for all m
- for each m there is a natural km such that for all nkm then for all xAm
and finally putting
the thesis is easily proved.
Read more about this topic: Egorov's Theorem, Generalizations, Korovkin's Version
Famous quotes containing the word proof:
“The proof of a poet is that his country absorbs him as affectionately as he has absorbed it.”
—Walt Whitman (1819–1892)
“If any doubt has arisen as to me, my country [Virginia] will have my political creed in the form of a “Declaration &c.” which I was lately directed to draw. This will give decisive proof that my own sentiment concurred with the vote they instructed us to give.”
—Thomas Jefferson (1743–1826)
“There are some persons in this world, who, unable to give better proof of being wise, take a strange delight in showing what they think they have sagaciously read in mankind by uncharitable suspicions of them.”
—Herman Melville (1819–1891)