Register to reply

Help with a logical derivation of set theoretical statement

by julypraise
Tags: derivation, logical, statement, theoretical
Share this thread:
julypraise
#1
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 Phys.org
Final pieces to the circadian clock puzzle found
A spray-on light show on four wheels: Darkside Scientific
How an ancient vertebrate uses familiar tools to build a strange-looking head

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