RE: Mathematicians who are finitists.
April 16, 2019 at 3:25 pm
(This post was last modified: April 16, 2019 at 3:25 pm by Fireball.)
(April 16, 2019 at 12:58 pm)LastPoet Wrote:(April 15, 2019 at 5:06 pm)polymath257 Wrote: It is one of the many results due to Cantor and often carries his name.
Some care is required, however. As stated, the hupotheses show the intersection is non-empty, but they do NOT show that there is only one point in common to all. For that, you need, in addition, that B(n)-A(n)-->0.
For example, if A(n)=-1/n and B(n)=1+(1/n), then the intervals [A(n),B(n)] satisfy your hypotheses, but the intersection is the whole interval [0,1].
The result you stated is usually associated these days with compactness and it is in the subject of topology that it gets its full expression.
I apologise for my broken English (I am Portuguese) and I wrote that on mobile, so I forgot to add in the hypothesis that both A(n) and B(n) converge to c (it is a pain to use brackets and other symbols on the devices) .
Its rougly translated as the principle of "fitting" but that doesn't sound good O.o;
Perhaps I should read some books in english to better know the math vocabulary in the language.
Need to learn Mathanese!
If you get to thinking you’re a person of some influence, try ordering somebody else’s dog around.