
Real Analysis Real Analysis Math Forum 
 LinkBack  Thread Tools  Display Modes 
June 5th, 2013, 01:04 PM  #1 
Newbie Joined: Apr 2013 Posts: 11 Thanks: 0  need help on the proof of the inf on a subset!!
Hi, I tried one exercise question from my text book!! Please correct me if I did something wrong! The questions is about the greatest lower bound!! It is presented right after the Completeness Axiom!! Some parts of the proof is written in the book but there were two parts left as exercise!! Corollary. Every nonempty subset S of R that is bounded below has a greatest lower bound inf S. Proof. Let S be the set S consists of the negatives of the numbers in S. Since S is bounded below there is an m in R such that This implies that Thus S is bounded above by m and there exists sup(S) by the completeness axiom. Let we need to prove (1) and (2) The last two parts were left as exercise. Proof. Part (1) Let This implies that Then Part (2) Assume This implies that which implies that t is an upper bound of S. Since This implies that I think it makes sense but I have many experiences that the proof is wrong even though it makes sense to me!! So please comment on this! 
June 7th, 2013, 02:25 PM  #2  
Math Team Joined: Sep 2007 Posts: 2,409 Thanks: 6  Re: need help on the proof of the inf on a subset!! Quote:
Quote:
Quote:
 
June 7th, 2013, 07:20 PM  #3  
Newbie Joined: Apr 2013 Posts: 11 Thanks: 0  Re: need help on the proof of the inf on a subset!! Quote:
Thank you for your comment!!!  

Tags 
inf, proof, subset 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
HZ Hurwitz Set ( Subset of S)  younhock  Complex Analysis  0  December 3rd, 2013 07:51 PM 
Subset of a Function g[a] subset g[b]  redgirl43  Applied Math  1  April 21st, 2013 07:20 AM 
Subset Divisibility proof  jstarks4444  Number Theory  1  October 31st, 2011 03:30 PM 
Proof of a subset of integer numbers and linear combinations  uberbandgeek6  Number Theory  1  February 4th, 2010 07:27 AM 
Subset of S  sansar  Linear Algebra  1  March 16th, 2009 08:42 AM 