Skip to main content

Questions tagged [natural-numbers]

For question about natural numbers $\Bbb N$, their properties and applications

4 votes
6 answers
424 views

Why does induction only allow numbers connected to $0$ to be natural?

When learning Peano axioms normally we use induction to suggest that if a property $P(0)$ is true, and if $P(k)$ being true implies $P(k + 1)$ being true (for natural number $k$), then if $P$ is the ...
Garfield Lopez's user avatar
3 votes
3 answers
138 views

Solve in $\mathbb N^{2}$ the following equation : $5^{2x}-3\cdot2^{2y}+5^{x}2^{y-1}-2^{y-1}-2\cdot5^{x}+1=0$

Question : Solve for natural number the equation : $5^{2x}-3\cdot2^{2y}+5^{x}2^{y-1}-2^{y-1}-2\cdot5^{x}+1=0$ My try : Let : $X=5^{x}$ and $Y=2^{y}$ so above equation equivalent : $2X^{2}+(...
Ellen Ellen's user avatar
  • 2,323
2 votes
2 answers
4k views

Show natural numbers ordered by divisibility is a distributive lattice.

I need a proof that the set of natural numbers with the the relationship of divisibility form a distributive lattice with $\operatorname{gcd}$ as "$\wedge$" and $\operatorname{lcm}$ as "$\vee$". I ...
xael's user avatar
  • 21
1 vote
2 answers
1k views

Construction of uncountably many non-isomorphic linear (total) orderings of natural numbers

I would like to find a way to construct uncountably many non-isomorphic linear (total) orderings of natural numbers (as stated in the title). I've already constructed two non-isomorphic total ...
Encorte's user avatar
  • 31
0 votes
2 answers
284 views

Addition of natural numbers in Edmund Landau's Foundation of Analysis

I am reading the proof of addition of numbers. In the proof author first shows uniqueness of $x+y$ and then the existence of plus operation with the above listed properties. The second proof is as ...
Iti's user avatar
  • 273
0 votes
2 answers
309 views

Proof of the cancellation law for natural numbers without the axiom of the succesor

We are to show $\forall m,n,p\in \mathbb{N_{0}}:m+p=n+p\implies m=n$. Proof. Let $m,n\in \mathbb{N_{0}}$. Base case: If $p=0$, then $m+p=m$ and $n+p=n$ which clearly establishes $p=0\implies (m+p=n+p\...
user avatar
45 votes
6 answers
56k views

The best symbol for non-negative integers?

I would like to specify the set $\{0, 1, 2, \dots\}$, i.e., non-negative integers in an engineering conference paper. Which symbol is more preferable? $\mathbb{N}_0$ $\mathbb{N}\cup\{0\}$ $\mathbb{Z}...
Ari's user avatar
  • 561
14 votes
4 answers
8k views

Sum of sum of $k$th power of first $n$ natural numbers.

I was working on a problem which involves computation of $k$-th power of first $n$ natural numbers. Say $f(n) = 1^k+2^k+3^k+\cdots+n^k$ we can compute $f(n)$ by using Faulhaber's Triangle also by ...
Luckymaster's user avatar
11 votes
5 answers
3k views

What is the meaning of set-theoretic notation {}=0 and {{}}=1?

I'm told by very intelligent set-theorists that 0={} and 1={{}}. First and foremost I'm not saying that this is false, I'm just a pretty dumb and stupid fellow who can't handle this concept in his ...
user174364's user avatar
7 votes
1 answer
1k views

How are the elementary arithmetics defined?

In the book Principles of Mathematical Analysis by Rudin, I read that "a < b" is defined this way: if b - a is positive, then a < b or b > a. Then some questions arose to me: we know that "minus"...
Zhanbin Du's user avatar
6 votes
1 answer
345 views

Prove that $n!=\prod_{k=1}^n \operatorname{lcm}(1,2,...,\lfloor n/k \rfloor)$ for any $n \in \mathbb N$

I try to prove the following formula: $$n!=\prod_{k=1}^n \operatorname{lcm}(1,2,...,\lfloor n/k \rfloor)$$ I noticed that $\upsilon_{p}(\operatorname{lcm}(1,2,...,\lfloor n/k \rfloor)) = s$ iff $\...
xyzcd07's user avatar
  • 119
5 votes
4 answers
3k views

Proving $n \leq 3^{n/3}$ for $n \geq 0$ via the Well-Ordering Principle

I'm attempting to prove: $$n \leq 3^{n/3} \quad \text{for }n \geq 0$$ I'm having a little trouble continuing. This is what I have so far: Suppose for a contradiction there is a subset of nonnegative ...
Andrew Li's user avatar
  • 4,554
4 votes
2 answers
2k views

Prove that $\sqrt{n} \le \sum_{k=1}^n \frac{1}{\sqrt{k}} \le 2 \sqrt{n} - 1$ is true for $n \in \mathbb{N}^{\ge 1}$

I'm trying to solve these induction exercises proposed by the department of mathematics of Oxford University. I don't know how to give a valid proof for the third one which says the following: ...
IOS_DEV's user avatar
  • 541
4 votes
3 answers
7k views

Proof that binomial coefficient is a natural number [duplicate]

Possible Duplicate: Proof that a Combination is an integer What is the proof that the binomial coefficient is a natural number? $$k\ge0,n\ge k \implies {n \choose k} \in N,$$ I guess it's a ...
Kornelije Petak's user avatar
3 votes
1 answer
872 views

Determine the divisibility of a given number without performing full division

My question is slightly more complicated than what's implied on the title, so I will start with an example. Given any number $N$ on base $10$, we can easily determine whether or not $N$ is divisible ...
barak manos's user avatar
  • 43.2k

15 30 50 per page
1
2
3 4 5
11