1
$\begingroup$

Well, all of us know the real numbers.

$-1000<-122.34<-\pi^e<-\gamma<-0.00000001<-0.0000000000000000001 \in \mathbb{R}$

But if we continue this way, looks like the largest negative number will be

$-0.0000\dots1$, but this number, as defined by Cantor, is $0$.

So can we say the largest negative number is $0$?

If not, why not?

Edit:

I agree $0$ is not a negative number. How about the question, what's the largest negative number?

Is there no answer to this question? If the answer is that there is no largest negative number, how can we prove this mathematically?

  • 7
    There is no largest negative number.2012-04-13
  • 2
    This is an example of the fact that with a converging sequence where each element shares a particular property, the limit need not have that property.2012-04-13
  • 2
    It is the negative of the smallest positive number.2012-04-14
  • 0
    Well, I dont know @AsafKaragila opinion. But I think this in an interesting question. If you say that something does not exists in math, you need to prove. Asaf proved and this ended this question. This looks similar to the continum hypothesis to me, for example. But I can survive with the down votes =)2015-06-17
  • 0
    @ GaroDan. In the same vein : What is the largest real number smaller than 2016 ? -2015-12-26

1 Answers 1

4

In the real numbers (or the rationals) there is no "largest negative number", much like there is no "smallest positive number".

The order of the real numbers is dense, if we define the negative numbers as $\{x\in\mathbb R\mid x<0\}$ then between every $x$ in that set and $0$ there is another number, so if $x$ is a negative number there is some $y$ which is negative and is slightly larger than $x$. For example, $y=\frac{x}2$.

We have a philosophical conundrum on our hands as well, why should every partial order attain a maximal element? (Indeed, there is no reason!)

  • 0
    I agree Asaf, I was thinking exactly about that, your x and y example. And I'm searching for a proof, so can we proof this by contradiction?2012-04-13
  • 0
    @GarouDan: No need for contradiction, just take $y=\frac{x}2$.2012-04-13
  • 0
    Thx Asaf, I think this ends the enquire.^^2012-04-13