Help with a logical derivation of set theoretical statementby julypraise Tags: derivation, logical, statement, theoretical 

#1
Feb1111, 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]pr\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 pr \notin \alpha)\right\}[/tex], I derived [tex]p \notin \beta \leftrightarrow \forall r \in \mathbb{Q} (r>0 \to pr\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. 


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 