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:
“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)
“The source of Pyrrhonism comes from failing to distinguish between a demonstration, a proof and a probability. A demonstration supposes that the contradictory idea is impossible; a proof of fact is where all the reasons lead to belief, without there being any pretext for doubt; a probability is where the reasons for belief are stronger than those for doubting.”
—Andrew Michael Ramsay (1686–1743)
“The thing with Catholicism, the same as all religions, is that it teaches what should be, which seems rather incorrect. This is “what should be.” Now, if you’re taught to live up to a “what should be” that never existed—only an occult superstition, no proof of this “should be”Mthen you can sit on a jury and indict easily, you can cast the first stone, you can burn Adolf Eichmann, like that!”
—Lenny Bruce (1925–1966)