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:
“It comes to pass oft that a terrible oath, with a swaggering accent sharply twanged off, gives manhood more approbation than ever proof itself would have earned him.”
—William Shakespeare (15641616)
“In the reproof of chance
Lies the true proof of men.”
—William Shakespeare (15641616)
“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 (18191891)