Intereting Posts

Prove by induction that every connected undirected graph with n vertices has at least n-1 edges
solve system of two trigonometric equations
A nice but somewhat challenging binomial identity
Infinitesimals – what's the intuition?
Exercise books in analysis
Applications of the Mean Value Theorem
Triangular Factorials
An exercise about finite intersection property in $T_1$ space
The $2^{nd}$, $4^{th}$ and $9^{th}$ terms of an AP
Accessible Intro to Random Matrix Theory (RMT)
Partition of ${1, 2, … , n}$ into subsets with equal sums.
A theorem about prime divisors of generalized Fermat numbers?
Proof convergence of random variables (almost sure)
About the proof that lebesgue measure is a premeasure.
Finite set of zero-divisors implies finite ring

Hi everyone I’m asking to myself if the next argument is sound. I know it is costumary to use the well-ordering principle to prove it, but at this point in the book I have not seen yet.

**Proposition**: For each real number $x$ there exists a unique integer $N$ such that $N\le x<N+1$.

Proof:

- Exercise 1 pg 33 from “Algebra - T. W. Hungerford” - example for a semigroup-hom but not monoid-hom..
- $A \in B$ vs. $A \subset B$ for proofs
- Proof that $\lim_{m\to\infty}(1+\frac{r}{m})^{mt}=e^{rt}$
- For all infinite cardinals $\kappa, \ (\kappa \times \kappa, <_{cw}) \cong (\kappa, \in).$
- Show that if $r$ is an nth root of $1$ and $r\ne1$, then $1 + r + r^2 + … + r^{n-1} = 0$.
- Proving a result in a given field

(a) Suppose $x$ is a positive real number and suppose for the sake of contradiction that there is no natural number such that $N\le x<N+1$. This means that whenever $N\le x$ we must have $N+1 \le x$. A simple induction shows that $N+m\le x$ for every natural number $m$. But by the Archimedean Principle we know that there is a natural number $M$ such that $M>x\ge N$. Now we set $m:=M-N$, which implies $N+m = N+(M-N)=M\le x$, a contradiction.

(b) If $x=0$, then $0\le x < 1$ and we’re done.

(c) On the other hand, if $x$ is negative the claim follows from the positive part. Since $-x$ is a positive number and by (a), we have: $M\le -x < M+1$ for at least one natural number. So, $-(M+1)<x \le -M$. If $\,x< -M$ we set $N:=-(M+1)$, but If $\,x = -M$ we put $N=-M$ and we’re done.

To conclude the proof we shall show the uniqueness of the integer. Suppose there are two integers $N$ and $N’$ such that $N\le x<N+1$, $N’\le x<N’+1$ and $N \not= N’$. Without loss of generality we may assume that $N<N’$. So, $\,N+1 \le N’$ and then $x<N’$, a contradiction.

Do you think is correct? Thanks in advance. ðŸ™‚

- How to prove $\lim_{n\to \infty} \prod_{i=0}^{n-1} $ $(2+\cos \frac{i \pi}{n})^{\frac{\pi}{n}}$=$\sqrt{3}$ by the sum form of a integration?
- Integral $\int_0^1 \frac{\ln (2-x)}{2-x^2} \, dx$
- Convergence of $x_n = \cos (x_{n-1})$
- Why is $\int\int f(x)f(y) |x-y|dxdy$ negative?
- Every bounded non countable subset of $\mathbb{R}$ has a bothsided accumulation point.
- algebraic sum of a graph of continuous function and itself Borel or measurable?
- Prove the third isomorphism theorem
- Real Analysis, Folland Theorem 1.19 Borel Measures
- Zeros of Fox-Write Function
- a non-monotonic function on with infinitely many points of discontinuity such that the function is bounded & Riemann integrable on .

The argument is fine. You are, however, using the well-ordering principle: youâ€™re just using it in a disguised form when you use mathematical induction.

- Closed-form of an integral involving a Jacobi theta function, $ \int_0^{\infty} \frac{\theta_4^{n}\left(e^{-\pi x}\right)}{1+x^2} dx $
- An elliptic curve for the multigrade $\sum^8 a_n^k = \sum^8 b_n^k$ for $k=1,2,3,4,5,9$?
- Extension of the Jacobi triple product identity
- Proof of a theorem saying that we can make a measurable function continuous by altering it by a set of arbitarily small measure
- Does this category have a name? (Relations as objects and relation between relations as morphisms)
- Show that $|f'(x)| \le \frac{2M_0}{h} +\frac{hM_2}{2}$ and $M_1 \le 2\sqrt{M_0M_2}$
- EigenValues and EigenVectors in PCA?
- Proof of elementary row operations for matrices?
- Functions continuous in each variable
- How many permutations of a word do not contain consecutive vowels?
- Calculate the area of the ellipsoid obtained from ellipse $\frac {x^{2}}{2}+y^{2} = 1$ rotated around the $x$-axis
- How to prove that derivatives have the Intermediate Value Property
- Is my solution for proving $3^n > n^2$ using induction correct?
- If a series converges, then the sequence of terms converges to $0$.
- Amount of transitive relations on a finite set