Register to reply

Help with a logical derivation of set theoretical statement

by julypraise
Tags: derivation, logical, statement, theoretical
Share this thread:
Feb11-11, 11:47 PM
P: 110
1. The problem statement, all variables and given/known data
This is actually from the proof of Dedekind's cut in Rudin's Principles of Mathematical analysis on the page 19. It says when [tex]\alpha\in\mathbb{R}[/tex] ([tex]\alpha[/tex] is a cut) is fixed, [tex]\beta[/tex] is the set of all [tex]p[/tex] with the following property:

There exists [tex]r>0[/tex] such that [tex]-p-r\notin\alpha[/tex].

From the given above, I need to derive that

if [tex]q\in\alpha[/tex], then [tex]q\notin\beta[/tex].

But I cannot reach this statement as my explanation for this is in the below.

2. Relevant equations

3. The attempt at a solution
The draft I have done so far is that, as defining [tex]\beta[/tex] such that

[tex]\beta=\left\{p|\exists r\in\mathbb{Q} (r>0 \wedge -p-r \notin \alpha)\right\}[/tex],

I derived

[tex]p \notin \beta \leftrightarrow
\forall r \in \mathbb{Q} (r>0 \to -p-r\in\alpha)[/tex].

And I'm stucked here. From the last statement, I cannot derive the conclusion I was meant to derive. If anyone gives me help, I will give thanks.
Phys.Org News Partner Science news on
What lit up the universe?
Sheepdogs use just two simple rules to round up large herds of sheep
Animals first flex their muscles

Register to reply

Related Discussions
Would anyone be willing to critique my personal statement and statement of purpose? Academic Guidance 1
Simplifying a logical equivalence statement without a truth table Precalculus Mathematics Homework 1
What is the difference between personal statement and statement of purpose Career Guidance 5
Theoretical Range Equation Derivation Introductory Physics Homework 1
Theoretical derivation of LDOS Atomic, Solid State, Comp. Physics 2