Re: [P-1788]: Re objective == infinity
On 2012-09-30 10:53:11 +0200, Vincent Lefevre wrote:
> On 2012-09-28 18:15:20 +0100, N.M. Maclaren wrote:
> > Right. So there are no closed unbounded intervals.
>
> No, [1,+inf] is closed, because it is the complement of
> the open set [-inf,1[. But it is not a compact.
Note: in case this is not clear, I'm taking the topology on R
(not Rbar), because we are talking about intervals of real numbers
and Entire is R (not Rbar).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)