{"id":728,"date":"2017-09-05T08:21:12","date_gmt":"2017-09-05T12:21:12","guid":{"rendered":"http:\/\/blog.richmond.edu\/math320\/?p=728"},"modified":"2017-09-05T12:59:50","modified_gmt":"2017-09-05T16:59:50","slug":"synopsis-83117","status":"publish","type":"post","link":"https:\/\/blog.richmond.edu\/math320\/2017\/09\/05\/synopsis-83117\/","title":{"rendered":"Synopsis 8\/31\/17"},"content":{"rendered":"<p class=\"p1\">In class, we worked toward defining the set of real numbers by investigating suprema. Vaguely speaking, we want to fill the \u201cgaps\u201d in the rational numbers. Simply adding in solutions to equations like <img decoding=\"async\" src=\"https:\/\/s0.wp.com\/latex.php?latex=r%5E2+%3D+2&#038;bg=ffffff&#038;fg=000&#038;s=0&#038;c=20201002\" alt=\"r^2 = 2\" class=\"latex\" \/> is not sufficient (this yields the algebraic numbers, which still have \u201cgaps\u201d). Instead, we rely on the assumptions that (1) the rationals are a subset of the reals, and (2) the Axiom of Completeness holds [see definitions section for rigorous definitions of AoC and \u201cbounded above\u201d]. We investigated the two facets of the definition of a supremum, which must be shown to prove that some s is the supremum of a given set A: (1) s is an upper bound of A, and (2) of all upper bounds of A, s is the least upper bound. We walked through two proofs involving suprema, relying on epsilons in the latter proof.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>In class, we worked toward defining the set of real numbers by investigating suprema. Vaguely speaking, we want to fill the \u201cgaps\u201d in the rational numbers. Simply adding in solutions to equations like is not sufficient (this yields the algebraic numbers, which still have \u201cgaps\u201d). Instead, we rely on the assumptions that (1) the rationals [&hellip;]<\/p>\n","protected":false},"author":3531,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[58821],"tags":[],"class_list":["post-728","post","type-post","status-publish","format-standard","hentry","category-what-happened-today"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p7L4E1-bK","jetpack-related-posts":[],"_links":{"self":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/728","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/users\/3531"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/comments?post=728"}],"version-history":[{"count":0,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/728\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/media?parent=728"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/categories?post=728"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/tags?post=728"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}