Intereting Posts

Convergence of the arithmetic mean
Error in argument regarding the Cayley Hamilton theorem
Blow up of a solution
Flat algebras and tensor product
Bijection between an open and a closed interval
Practical applications of first order exact ODE?
Minimizing $\cot^2 A +\cot^2 B + \cot^2 C$ for $A+B+C=\pi$
Seems that I just proved $2=4$.
Does $f$ monotone and $f\in L_{1}([a,\infty))$ imply $\lim_{t\to\infty} t f(t)=0$?
Are strict local minima of a general function always countable?
Evaluate $\int \frac{\sec^{2}{x}}{(\sec{x} + \tan{x})^{5/2}} \ \mathrm dx$
Number of occurrences of k consecutive 1's in a binary string of length n (containing only 1's and 0's)
Karatsuba multiplication with integers of size 3
Find the trace of the matrix?
A question about the proof that $(\mathbb{Z}/p\mathbb{Z})^\times$ is cyclic

So I’ve been sick and I’ve missed a couple of lectures of my Analysis class. But I didn’t want to be too behind in lecture tomorrow, so I was trying to catch up by reading my textbook and solving some problems.

Here’s one I was having some trouble with:

Prove $\sqrt2\in\mathbb R$ by showing $x^2 = 2$ where $x = A|B$ is a cut w/ $A = \{r \in \mathbb Q : r \leqslant 0 \text{ or } r^2 < 2\}$.

Any help would be appreciated!

Thank you! ðŸ™‚

- Convergence of a sequence, $a_n=\sum_1^nn/(n^2+k)$
- Sequence question from Rudin
- Showing $\int_E f=\lim_{n\to\infty}\int_E f_n$ for all measurable $E$
- Books, Video lectures, other resources to Teach Yourself Analysis
- Prove that $\lim_{x\to 2}x^2=4$ using $\epsilon-\delta$ definition.
- Trying to show that $\sup \{b^p:p\in Q,\;0<p<x\} = \inf\{b^q:q\in Q,\;x<q\}$
- Understanding of nowhere dense sets
- How to find $\lim\limits_{n\to\infty} n·(\sqrt{a}-1)$?
- Restriction of a Lebesgue integral to a subset of a measurable set.
- How prove this $f(a)\le f(b)$

Take $A$ and $B=A^c$. We have to show first that $(A|B)$ is a cut. For this we need to show that for all $x\in A$ and $y\in B$ we have $x\leq y$.

Assume $x\in A$ and $y\in B$. Then, $y>0$ and $y^2\geq2$. If $x>y$ then $x>0$ and it follows that $x^2>xy>y^2\geq2$. Contradiction. Therefore $x\leq y$. Therefore $A,B$ is a cut.

Now consider $(A_1|B_1)=(A|B)^2$, i.e. where $B_1=\{z=y_1y_2:\ y_1,y_2\in B\}$ and $A_1=B_1^c$.

Observe that $B_1\supset \{y>0:\ y\geq2\}$.

Conversely, if $y\in B_1$ then $y=y_1y_2$ with $y_1,y_2\in B$. Therefore $y_1,y_2>0$ and $y_1^2,y_2^2\geq2$. Then $(y_1y_2)^2\geq4$ and $y_1y_2>0$. Therefore $y_1y_2\geq2$. Hence $B_1=\{y>0:\ y\geq2\}$. This is, $(A_1|B_1)=2$.

**Hint**

I think that you have to apply the definition of *Dedekind cut*, which must be “something like” :

Let $D \subseteq \mathbb Q$ be a set. The set $D$ is a

Dedekind cutif the following

three properties hold :a. $D \ne \emptyset$ and $D \ne \mathbb Q$.

b. Let $r \in D$; if $y \in \mathbb Q$ and $y \ge r$, then $y \in D$.

c. Let $r \in D$; then there is some $y \in D$ such that $y < r$.

With your symbolism, we have to consider $A|B$ where $B=A^C$ and apply the above definition with $B$ in place of $D$.

See :

- Ethan Bloch, The real numbers and real analysis (2011),
**Ch.1.6 Dedekind Cuts**, page 33-on.

- Alternative solution to $\cos\frac{2\pi}{17}$
- Why is a circle in a plane surrounded by 6 other circles?
- Shape operator and principal curvature
- Why spherical coordinates is not a covering?
- Inverting the modular $J$ function
- Limit calculation
- Sum of self power
- What do we mean when we say “for all n where n is an element of…”
- A rank-one matrix is the product of two vectors
- Any open subset of $\Bbb R$ is a at most countable union of disjoint open intervals.
- In categorical terms, why is there no canonical isomorphism from a finite dimensional vector space to its dual?
- What is meant by “The Lie derivative commutes with contraction”?
- How do i prove how $S_5$ is generated by a two cycle and a five cycle?
- Why isn't $\mathbb{C}/(xz-y)$ a flat $\mathbb{C}$-module
- Why does this matrix have 3 nonzero distinct eigenvalues