-3
$\begingroup$

How does one prove that for every value in $\Bbb N$ 2x = an even number?

  • 8
    Define an even number2012-09-14

2 Answers 2

7

Isn't the definition of an even number all $n \in \mathbb{Z}$ such that n = 2k for some $k \in \mathbb{Z}$?

$2x$ with $x \in \mathbb{N}$ would always be an even number according to the definition above.

  • 0
    Basically, if someone told you to prove the above statement, then you would simply write, "by definition" and maybe even invoke the statement of the definition. But even that would be excessive in my opinion.2012-09-14
3

That's the definition of an even number. A natural number $y$ is said to be even if there is another natural number $x$ such that $y = 2x$

Another definition: A natural number $n$ is said to be even if its residue class in the quotient ring (field) $\Bbb{Z}/2\Bbb{Z}$ is not different from 0.

  • 1
    Why say "class is not different from 0" vs. "class = 0" ?2012-09-14