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

learn more… | top users | synonyms

6
votes
2answers
38 views

Gallian: is it true that the well-ordering principle can't be proven from properties of arithmetic?

I just started reading Gallian's Abstract algebra and on page 3 it says "An important property of the integers...is the so-called Well Ordering Principle. Since this property cannot be proved from the ...
0
votes
2answers
29 views

Induction proof for $x \le y $

So these are $x \in \{1 ... i\}$ and $y \in \{ i + 1 ... n\}$, for $i, n \in \mathbb N$. I want to prove it for every $x \le y $. I know it`s easy but the solution is escaping me. I have tried with ...
0
votes
0answers
27 views

Solve for x and y in z=x*2^y with a known z [closed]

I'm trying to figure out register values for a program I'm writing. I have a spreadsheet where I'm attempting to reverse engineer mantissa and exponent values so I can get the necessary register ...
0
votes
2answers
64 views

Is there a unique specific description of the set $ A=\{5, 7, 11, 29, 41\}$? [closed]

This question is what inspired mine. Let $ A=\{5, 7, 11, 29, 41\}$. If we only refer to $A$ itself, and not to general properties (e.g. $7$ is the only prime not being a Sophie Germain), can we point ...
0
votes
0answers
22 views

Solving system of inequalities, with solution in only natural numbers, with priority on variables

If I have the equations $27a+30b+33c+36c \geq x$ $a+b+c+d=4$ and want to solve them using only natural numbers (including 0) for both $x=131 $ and $x=142 $ preferably but not necessarily with ...
0
votes
1answer
17 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 gcd as AND and lcm as OR. I know it can be shown that a AND (b OR c) >= (a ...
3
votes
0answers
64 views

Goldbach's conjecture can't be proved to be undecidable?

Conjectures concerning natural numbers which could be settled by a counterexample can, as far as I understand, not be proved to be undecidable without being proved not having a counterexample at the ...
0
votes
1answer
38 views

showing the natural numbers exist from axioms (help with making sense of book)

I'm now on page 40 of a set theory book and I've hit the natural numbers. I think the book has oversimplified some things. The successor of a set $x$ is defined to be $S(x)=x\cup\{x\}$ A set $I$ is ...
2
votes
2answers
84 views

Showing there is no natural number between two consecutive natural numbers

I want to show that: $x\subset S(x)$ where $S$ is the Successor function and $\not\exists z:x\subset z\subset S(x)$ These are obvious results, but the relation of $m<n\iff m\in n$ is given as a ...
1
vote
1answer
87 views

Conjecture: three or more decompositions into powers with a base differing by 1 means its a perfect power

If $$(i_1)^{a_1}(i_1+1)^{b_1}=n $$ $$(i_2)^{a_2}(i_2+1)^{b_2}=n $$ $$(i_3)^{a_3}(i_3+1)^{b_3}=n $$ where all the terms are positive integers and the groups ...
3
votes
2answers
68 views

Are these two definitions of the natural numbers equivalent?

If we consider two definitions of the natural numbers: Definition 1 $N$ is the set that satisfies all of: There is an element $0$ in $N$. For each element $n$ in $N$, there is the successor of ...
0
votes
2answers
69 views

An isomorphic map from natural numbers to positive rational numbers that preserves addition, multiplication and order

Since $\mathbb{Q}^{+}$ is countable, there is a bijection between $\mathbb{Q}^{+}$ and $\mathbb{N}$ (0 included). Then the question now is, can we go further by constructing an isomorphic map between ...
0
votes
1answer
39 views
2
votes
1answer
43 views

Is this version of Lagrange's four-square theorem true?

Lagrange's four-square theorem states that any natural number $n$ can be represented as the sum of four integer squares.i.e. $n = a_1\times a_1 + a_2\times a_2 + a_3\times a_3 + a_4\times a_4$ ...
0
votes
5answers
78 views

What is an example of a bijective function f: Z to N that isn't piecewise?

Like without using if even or odd. Like how you can define a bijection $f\colon\mathbb{N}\to\mathbb{Z}$ by is $f(n)=\lfloor n/2\rfloor\cdot(-1)^n$.
1
vote
1answer
78 views

What sets does $\mathbb{N}$ include?

My text states that the set $\{1, 2, 3...\}$, and the set $\{101, 102, 103, 104...\}$ are elements of $\mathbb{N}$. Doesn't this imply that $\mathbb{N}=\{1, 2, 3... 101, 102, 103, 104...\{1, 2, 3 ...
20
votes
3answers
815 views

List of powers of Natural Numbers

Greatings,   Some time ago a friend of mine showed me this astonishing algorithm and recently i tried to find some information about it on the internet but couldn't find anything... Please help. ...
6
votes
2answers
85 views

Count with only certain digits allowed - And feel a fractal

I have a friend ~200 years old mathematician who has forgotten some digits and now he counts things in very strange manner: when he is going to count the $n$-th thing and $n$ contains a digit he ...
3
votes
0answers
22 views

Properties of digit functions for numbers in $[0,1]$

Consider a function $g(n): \mathbb N \to \{0,1,2,3,4,5,6,7,8,9\}$, ie. $g$ maps the natural numbers to natural numbers between $0$ and $9$. Then, no matter what $g(n), \ n\in \mathbb N$ is, the sum ...
6
votes
1answer
77 views

An interesting problem with natural numbers

While, preparing for competition, found an interesting problem, but absolutely don't know how to start. $600$ natural numbers from $1$ to $600$ are written in a string(each once) in a certain order, ...
2
votes
3answers
155 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 ...
0
votes
1answer
53 views

Construction of natural numbers in ZF/ZFC without class predicates.

I'm told by some websites that it's possible to formally construct the naturals in ZF without recourse to either predicates involving classes ("all inductive sets", yuck) or some sort of "intuitive ...
0
votes
1answer
37 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 ...
1
vote
3answers
101 views

Proof of the Principle of mathematical Induction [duplicate]

We always use the Principe of Mathematical induction and we have two versions of it. I myself have been using it for many years. But it just came to my mind that I have never seen a proof of the ...
0
votes
4answers
31 views

Prove $(n!)/n^n \leq 1/2^{k}$, where $k$ is the floor of $n/2$.

I suppose the natural way to prove this is by induction. When I follow the rather natural steps $$\frac{(n+1)!}{(n+1)^{n+1}} = \frac{n!}{(n+1)^{n}} \leq \frac{n!}{(n)^{n}}$$ in order to apply the ...
1
vote
0answers
22 views

Is there a difference in the rate of decrease between $f(x)$ and $g(x)$ for increasing $x$?

I have the following two functions of $x$: $ f(x) = \frac{c}{c + (N-1)o + Nd + xl}$ $g(x) = ae + (1-a)\frac{1}{x+2N}$ with $0 \leq a, e, c, o, d, l \leq 1$ and $N, x \in \mathbb{N}^+$. For both ...
3
votes
1answer
24 views

Submagmas of natural numbers

What is known about submagmas of natural numbers under addition/multiplication? For example, all subgroups of integers under addition are of the form $~n \mathbb{Z}~$. Are there similar results for ...
2
votes
4answers
33 views

Use Induction to prove: $(1+2x)^n \geq 1+2nx$

Show by induction that: for all $x>0$ that $(1+2x)^n \geq 1+2nx$ So far I have: for $n=1 \rightarrow (1+2x)^1 \geq 1+2x$. True! for $n=k+1 \rightarrow (1+2x)^{k+1} \geq 1+2(k+1)x$ ...
1
vote
0answers
35 views

Does there exist a positive integer which is a power of two, such that by rearranging it's digits we can get another power of two?

Does there exist a positive integer which is a power of two, such that by rearranging it's digits we can get another power of two? I know a quite good solution, that involves working with sum of ...
0
votes
2answers
61 views

Find all natural numbers n for which $3^n + 5^n$ is divisible by $3^{n-1} + 5^{n-1}$

Find all natural numbers n for which $3^n + 5^n$ is divisible by $3^{n-1} + 5^{n-1}$. Interested if there is a nice quick way other than mine.
1
vote
2answers
42 views

Open/closeness of subsets of natural numbers

So I've just started reading about neighbourhood and Hausdorff space. It makes me wonder if $(\mathbb{N},\mathcal{P}(\mathbb{N}))$ is Hausdorff and why, and are sets in $\mathbb{N}$ open or closed or? ...
0
votes
1answer
35 views

Calulus on the set of natural numbers

Can we think about Calculus on $\mathbf{N}$? How would work the notion of neighborhood, limit, continuity and differentiability and analyticity? I need these to understand discrete dynamics over ...
4
votes
3answers
394 views

Difference of inverse squares

Given that the positive number $a$ is the difference of inverse squares: $$a = \frac{1}{n^2} - \frac{1}{m^2}, m, n \in \mathbb{N},$$ could it well be that the $pa$ is also a difference of inverse ...
0
votes
1answer
24 views

Finite binary representation of float number

How can I prove that float number $x$ has the finite binary representation if and only if it is written like that: $ x = m / 2^n $, where $m, n \in \mathbb N$. Should I consider something like 3 ...
1
vote
1answer
87 views

Is there a simple closed form of $|\alpha(\sqrt{n}-\left\lfloor \sqrt{n} \right \rfloor) + \beta(\sqrt{n}-\left\lfloor \sqrt{n} \right \rfloor)|$?

Let $d_n(x)$ denote the $n$'th digit after the decimal point in $x$. Examples: $d_8(e) = 2,\;d_5(\pi) = 9$ $\alpha(x)$ and $\beta(x)$ are defined this way: $$d_n(\alpha(x)) = \left\{ ...
1
vote
2answers
60 views

How to prove that if m and n are natural numbers than m+n is also a natural number?

Problem sounds easy enough - prove that if $m$ is in set of all natural numbers (let's call it $\mathbb N$) and so is $n$ than $m+n$ also must be there. Probably it should be done using induction. But ...
0
votes
0answers
52 views

Sum/Product of two natural numbers is a natura number

I wanted to prove that the sum and the product of two natural numbers is a natural number. Intuitively it's clear to my why that is true, however I couldn't prove it. So our lecturer first defined ...
1
vote
2answers
46 views

What is the smallest infinite ordinal that is not order isomorphic to a reordering of the natural numbers?

I've been working on a particular set theory problem for a while and essentially I've hit a roadblock because of this question. I just need to know what this ordinal is, because I have a sneaking ...
1
vote
0answers
28 views

Let$\ H$ be a hyperinteger. If$\ f(n)=g(n)$ is true for all$\ n \in \mathbb{N}$, will it be so for all$\ H$?

I do know that all true first order statements in$\ \mathbb{N}$ are also valid in$\ \mathbb{N^*}$, so for example$\ \sin(H \pi) =0$. As a consequence, my question is equivalent to: is$\ f(n)=g(n)$ a ...
2
votes
3answers
78 views

Sum of squares of two integers divisible by five [closed]

Supposing $x,y$ are natural numbers, what is the probability that the sum of their squares are divisible by 5? I am getting $1/3$ as squares can only end with $0,1,4,5,6,9$. So $36$ pairs are ...
1
vote
2answers
59 views

Natural numbers object via initial morphism

I assume that a natural number object (or see nLab) can be defined as an initial morphisms. (edit: as in the title, I ment initial morphism, not objects) $\hspace{1cm}$ Thoughts: Probably $X:=1$, ...
3
votes
3answers
61 views

Unique element m in N

Let $0 < x$. Show that there is a unique $m \in \mathbb{N}$ such that $m-1 \leq x < m$. Hint: Consider the set $\{ n \in \mathbb{N} : x < n\}$ and use the well-ordering of $\mathbb{N}$. The ...
25
votes
2answers
5k views

Demonstration that 0 = 1 [duplicate]

I have been proposed this enigma, but can't solve it. So here it is: $$\begin{align} e^{2 \pi i n} &= 1 \quad \forall n \in \mathbb{N} && (\times e) \tag{0} \\ e^{2 \pi i n + 1} &= e ...
0
votes
1answer
73 views

Prove with combinatorial arguments this equation [duplicate]

Prove with combinatorial arguments, that, $\forall n \in \mathbb{N}$. $$\sum_{k=0}^n (-1)^k {n \choose k} =0$$
1
vote
2answers
51 views

Metric on natural numbers united with infinity

can anyone give me an example for the following metric $d$? Let $\Omega = \mathbb{N}_+ \cup \{ \infty \}$ and $d$ be a metric such that all points $n \in \mathbb{N}_+$ are isolated w.r.t. $d$ and ...
1
vote
0answers
35 views

Why is multiplication commutative - intuitive explanation [duplicate]

While I know that both addition and multiplication are commutative operations, I can easily visualize that, e.g. 3 + 4 = 4 + 3 = 7 by thinking of seven objects in a row and separating them into two ...
11
votes
5answers
1k 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 ...
4
votes
2answers
63 views

Encyclopedia of integers

Many years ago I read something that mentioned a book I would like to find. Apparently this book is sort of an encyclopedia for integers; each entry lists interesting mathematical facts about that ...
3
votes
1answer
61 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 ...
0
votes
2answers
126 views

Reciprocal of 81 being the sequence of all natural numbers?

According to this document: http://www.answering-christianity.com/fakir60/81.htm describing the theory of scientist Peter Plichta, the reciprocal of 81 is: the ...