Ask your own question, for FREE!
Mathematics 7 Online
OpenStudy (anonymous):

Prove or disprove there is a smallest positive number

OpenStudy (mathmath333):

\(n<n+1\\ \infty<\infty+1\\ \infty<\infty \\but ~~ \infty=\infty\)

geerky42 (geerky42):

You can't specific the smallest positive number. If you can think of extremely small positive number, there is always smaller positive number.

geerky42 (geerky42):

Assume that number is in real number set

OpenStudy (anonymous):

the way i see it is that there is no such thing as a smallest positive number. if i let x>0 I assume that for all numbers y>0. It is true that y>x so if that is true then that means 1/2x>x divide my x 1/2>1

OpenStudy (freckles):

\[\text{ Assume } x \text{ is the smallest positive number.} \\ \text{ Let } x>\epsilon >0 \] \[\text{ So } x-\epsilon<x \] \text{ and } x-\epsilon is also a what kinda number?

OpenStudy (freckles):

\[\text{ Assume } x \text{ is the smallest positive number.} \\ \text{ Let } x>\epsilon >0 \text{ So } x-\epsilon<x \text{ and } x-\epsilon \text{ is also a what kinda number? } \]

ganeshie8 (ganeshie8):

that kind of forces\(\large \epsilon \) to be the smallest positive number right

geerky42 (geerky42):

I don't know, doesn't sound right. you assumed that x is smallest positive number, yet you set \(\epsilon \) to be number between \(x\) and \(0\), so that contradicts what you assumed before I'm new to proof, so I dunno lol.

OpenStudy (freckles):

oh true

ganeshie8 (ganeshie8):

we may try below : \(\large \dfrac{x}{2} \lt x\) but the real big deal is in cooking p a nice argument around it

geerky42 (geerky42):

That's kind of what we are tying to do. figuring out how to prove it using proof by contradiction.

ganeshie8 (ganeshie8):

\[\large \forall x \in \mathbb{R^+}\exists y\in \mathbb{R^+} : y \lt x\] we define \(\large y = \dfrac{x}{2}\)

ganeshie8 (ganeshie8):

don't bother about it, im just brushing up my knowledge in quantifiers.. ;p

ganeshie8 (ganeshie8):

@nerdguy2535 is really good at proof writing

OpenStudy (anonymous):

By number do we mean integer? or rational/real?

geerky42 (geerky42):

@helpmath123

OpenStudy (anonymous):

Looking at what people have been typing, I assume its either rational or real.

geerky42 (geerky42):

lol he is offline...

OpenStudy (anonymous):

Then @ganeshie8 's idea is the correct one. For any positive real number \(x\), \(\frac{x}{2}\) is another positive real number which will be strictly smaller.

geerky42 (geerky42):

What about rational? Should proof be different? I think same proof can be used for rational, since this set is uncountable infinite set, like real number, right?

OpenStudy (anonymous):

Yeah, the same proof works for rationals, since \(x\in \mathbb{Q}\Longrightarrow \frac{x}{2}\in \mathbb Q\).

geerky42 (geerky42):

Okay cool.

ganeshie8 (ganeshie8):

ahh good catch, didn't notice it was not mentioned whether the number was rational or real lol

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!