create account

Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness by mathowl

View this thread on: hive.blogpeakd.comecency.com
· @mathowl ·
$13.11
Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness

Historically mathematics did not start at the true fundamentals. The fundamentals were only completed around the 19th century. All of the work done before that was done with some intuitive understanding of the basics, in particular the nature of the real line which we will denote by **R** in this post. 

<center>
![a0da6c02a6004d522069673cd50ba87.jpg](https://files.peakd.com/file/peakd-hive/mathowl/AKAqmiadhGNqtzxuVHMatAu6yoEZhWnkgUfw4AHBStjVECE9LG1jXrNSzNpXRxH.jpg)
*Not sure what images to paste. So here is my cat*
</center>


Mathematicians like Cantor showed that our intuitive understanding of **R** is flawed. Hence, it requires a rigorous formulation so that we can proceed in a proof theoretical manner to obtain properties of **R**. Properties of  **R** are of specific interest in relation to the rational numbers which we will denote by **Q**. Rational numbers are all numbers in **R** that can be expressed as a fraction of two whole numbers. There exist methods to construct **R** from **Q** but that is not the approach we will take as it is rather technical. For the interested you can have a look over [here](https://en.wikipedia.org/wiki/Construction_of_the_real_numbers#Construction_from_Cauchy_sequences)



What kind of fundamental properties can we assume on **R**? We assume that that we have the natural addition and multiplication so that we can perform all the natural algebraic operations that we did in primary school (more rigorously we are assume that **R** is a [*field*](https://en.wikipedia.org/wiki/Field_(mathematics))). We also assume that there exist an ordering on **R** this means that the elements are ordered but that also the basic operations, addition and multiplication, apply to this ordering. So if a < b then also a+c < b+c (this means that it is an [ordered field](https://en.wikipedia.org/wiki/Ordered_field))

<center>
![08c659cbe6ad0594dee6c7942336f99.jpg](https://files.peakd.com/file/peakd-hive/mathowl/EpXJa5qaoQRyQTDjCdg4R7bSpkzHjXQ6R8pDyp9kSEzHg53sWYyjT39Wr2T55CaQ1bg.jpg)
*More of my cat*
</center>

Although we have not proven the existence of numbers which are not in **Q**. We expect that there are numbers that are in **Q** but not in **R**. These numbers will create gaps in **Q** in relation to **R**. So how do we express that **R** is gapless. We phrase this as an assumption:

**Axiom of completeness** *Every nonempty set of real numbers that is bounded above has a least/smallest upper bound*

Here bounded above, also called upper bounded, means that there exists a largest element in **R** which is greater than all the elements in the set. There can exist many such bounds but the axiom guarantees that there exists a single smallest one. Finally, it important to note that the least upper bound does not necessarily need to be contained in the set. For example if we consider the set generated by the numbers -1/n where n=1,2,3, ... Then 0 is the least upper bound but 0 is not contained in the set. 

To get a better understanding of the axiom let's look at it in the context of an example. Consider the set
<center>
A = { r ∊ **R** : r<sup>2</sup> < 2 }
</center>
Then the axiom tells us that is has a least upper bound. However, if we consider
<center>
B = { r ∊ **Q** : r<sup>2</sup> < 2 }
</center>
and imagine that we are only allowed to work on **Q** then there is no least upper bound in **Q**. Or more specifically, square root is approximately 1.4142... and consequently can be approximated from above by finer and finer rational approximation meaning 2, 15/10, 142/100 ... but there is no smallest one in **Q**. It goes on indefinitely. Hence, at least heuristically we observe how the axiom of completeness makes the real line *complete*


<center>
**More cat tax**
![904200987181f2ee1f16e08d921b76c.jpg](https://files.peakd.com/file/peakd-hive/mathowl/EoyQ3UNfDEEB11VEvwdkeQSVZqVWUzM5n55aWgw5QXynv6z9nL3nr9UFpQpLwnLnPyP.jpg)
</center>
  
  

👍  , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and 531 others
👎  
properties (23)
authormathowl
permlinkresearch-diaries-10-the-real-line-gaps-in-the-rational-numbers-and-the-axiom-of-completeness
categoryhive-196387
json_metadata{"app":"peakd/2022.11.2","format":"markdown","tags":["stem","stemgeeks","mathematics","cat","proofofbrain","archon","neoxian","palnet","vyb","hivecats"],"users":[],"image":["https://files.peakd.com/file/peakd-hive/mathowl/AKAqmiadhGNqtzxuVHMatAu6yoEZhWnkgUfw4AHBStjVECE9LG1jXrNSzNpXRxH.jpg","https://files.peakd.com/file/peakd-hive/mathowl/EpXJa5qaoQRyQTDjCdg4R7bSpkzHjXQ6R8pDyp9kSEzHg53sWYyjT39Wr2T55CaQ1bg.jpg","https://files.peakd.com/file/peakd-hive/mathowl/EoyQ3UNfDEEB11VEvwdkeQSVZqVWUzM5n55aWgw5QXynv6z9nL3nr9UFpQpLwnLnPyP.jpg"]}
created2022-12-05 23:58:48
last_update2022-12-05 23:58:48
depth0
children19
last_payout2022-12-12 23:58:48
cashout_time1969-12-31 23:59:59
total_payout_value6.608 HBD
curator_payout_value6.505 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length3,933
author_reputation44,993,635,814,620
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,882,690
net_rshares27,711,701,766,927
author_curate_reward""
vote details (596)
@agmoore ·
I don't pay much attention to the math... but that cat could have a post of its own :)
properties (22)
authoragmoore
permlinkre-mathowl-rmk3ra
categoryhive-196387
json_metadata{"tags":["hive-196387"],"app":"peakd/2022.11.2"}
created2022-12-08 05:11:33
last_update2022-12-08 05:11:33
depth1
children0
last_payout2022-12-15 05:11:33
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length86
author_reputation432,496,279,692,353
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,941,803
net_rshares0
@agrovision ·
$0.02
Intuitive understanding is the mother of knowledge, just as important is the understanding of nature and its care.
👍  , , , , ,
properties (23)
authoragrovision
permlinkre-mathowl-2022126t112436808z
categoryhive-196387
json_metadata{"tags":["stem","stemgeeks","mathematics","cat","proofofbrain","archon","neoxian","palnet","vyb","hivecats"],"app":"ecency/3.0.30-vision","format":"markdown+html"}
created2022-12-06 15:24:36
last_update2022-12-06 15:24:36
depth1
children2
last_payout2022-12-13 15:24:36
cashout_time1969-12-31 23:59:59
total_payout_value0.012 HBD
curator_payout_value0.012 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length114
author_reputation79,340,290,287,627
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,898,253
net_rshares54,633,932,867
author_curate_reward""
vote details (6)
@mathowl ·
$0.02
Mothers, like intuitive understanding, can be wrong too :P
👍  , , , ,
properties (23)
authormathowl
permlinkre-agrovision-rmh7l6
categoryhive-196387
json_metadata{"tags":["hive-196387"],"app":"peakd/2022.11.2"}
created2022-12-06 15:41:30
last_update2022-12-06 15:41:30
depth2
children1
last_payout2022-12-13 15:41:30
cashout_time1969-12-31 23:59:59
total_payout_value0.012 HBD
curator_payout_value0.012 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length58
author_reputation44,993,635,814,620
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,898,626
net_rshares54,589,804,498
author_curate_reward""
vote details (5)
@agrovision ·
That is also true, observation and testing end up clearing up any doubt.
👍  , , ,
properties (23)
authoragrovision
permlinkre-mathowl-2022126t13048114z
categoryhive-196387
json_metadata{"tags":["hive-196387"],"app":"ecency/3.0.30-vision","format":"markdown+html"}
created2022-12-06 17:00:48
last_update2022-12-06 17:00:48
depth3
children0
last_payout2022-12-13 17:00:48
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length72
author_reputation79,340,290,287,627
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,900,567
net_rshares1,268,238,764
author_curate_reward""
vote details (4)
@carolkean ·
LOL
"Not sure what images to paste. So here is my cat"
It worked!
Of all your posts, the first I clicked on was the CAT post!
Thanks to @agmoore for leading me to the math owl.
I'm angry and bitter sometimes about having an INTEREST in math but not the APTITUDE
So I will stop right there, and go back and try to read your post.
I did read (and review!) a physics book recently.
[The Magick of Physics by Felix Flicker is well-written, endearing, engaging, and maddening](https://hive.blog/ccc/@carolkean/the-magick-of-physics-by-felix-flicker-is-well-written-endearing-engaging-and-maddening)

But it's a long review, despite my leaving out sooooo many aspects the book addresses.
I'm still mad about the chapter on the three towers (statistical probability)...
Most of all, I'm upset that I had to read read RE-READ and read again and still I cannot summarize or explain much of anything, except possibly a wee bit about monopoles, but that's only because I watched Flicker's you-tube video (many times) and kinda/sorta believe ....

But he says "anyone" can learn physics, and if he weren't so cute, earnest, and endearing, I'd be mad at him for reinforcing that myth, that ANYONE, with motive and persistence and practice, can learn anything.

Kurt Vonnegut had a more useful (to me) view on that - that it is not about mastery, or even getting really good at something (e.g. learning a musical instrument) - just, the PROCESS is good. Yeah, yeah, we all know that...

Still. I want to achieve more than mediocrity, and I want to KNOW MATH, if only at the most rudimentary levels.
properties (22)
authorcarolkean
permlinkryd7hu
categoryhive-196387
json_metadata{"users":["agmoore"],"links":["https://hive.blog/ccc/@carolkean/the-magick-of-physics-by-felix-flicker-is-well-written-endearing-engaging-and-maddening"],"app":"hiveblog/0.1"}
created2023-07-25 18:32:18
last_update2023-07-25 18:32:18
depth1
children0
last_payout2023-08-01 18:32:18
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length1,584
author_reputation76,051,561,040,015
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id125,639,866
net_rshares0
@carolkean ·
"Axiom of completeness," he says.
SHOW ME MORE OF YOUR CAT, I was thinking.
You are good, @mathowl. You are more than good!

![image.png](https://images.hive.blog/DQmWeYstuUDCXgqFENDw4gbtEvcxLdXD2NNrhuM5Na7PS29/image.png)
properties (22)
authorcarolkean
permlinkryd7o1
categoryhive-196387
json_metadata{"users":["mathowl"],"image":["https://images.hive.blog/DQmWeYstuUDCXgqFENDw4gbtEvcxLdXD2NNrhuM5Na7PS29/image.png"],"app":"hiveblog/0.1"}
created2023-07-25 18:36:00
last_update2023-07-25 18:36:00
depth1
children0
last_payout2023-08-01 18:36:00
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length221
author_reputation76,051,561,040,015
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id125,640,032
net_rshares0
@clinton19 · (edited)
$0.02
Interesting post 😁 but i have a series questions that may follow from the one i'm about to ask, it would depend on your response.

>2, 15/10, 142/100 ...

Are these set of values for r² belonging to Q or r belonging to Q ?
👍  ,
properties (23)
authorclinton19
permlinkre-mathowl-2022127t0423980z
categoryhive-196387
json_metadata{"tags":["stem","stemgeeks","mathematics","cat","proofofbrain","archon","neoxian","palnet","vyb","hivecats"],"app":"ecency/3.0.30-vision","format":"markdown+html"}
created2022-12-06 23:42:39
last_update2022-12-07 00:19:39
depth1
children8
last_payout2022-12-13 23:42:39
cashout_time1969-12-31 23:59:59
total_payout_value0.012 HBD
curator_payout_value0.012 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length222
author_reputation80,462,663,217,737
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,909,291
net_rshares55,711,891,808
author_curate_reward""
vote details (2)
@mathowl ·
These are values in Q. They are not contained in B. But they do bound B from above ^^
properties (22)
authormathowl
permlinkrmhvw4
categoryhive-196387
json_metadata{"app":"hiveblog/0.1"}
created2022-12-07 00:26:33
last_update2022-12-07 00:26:33
depth2
children7
last_payout2022-12-14 00:26:33
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length85
author_reputation44,993,635,814,620
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,909,968
net_rshares0
@clinton19 · (edited)
$0.02
>These are values in Q. They are not contained in B.

This looks convincing. In fact, that response alone cancels the other questions i would have asked.

>But they do bound B from above ^^

But then this seems to be complicating your response.

The values you presented don't follow the rules of B ( for example, r = √1.5 or √(15/10) isn't a rational number).  So my question, bound B in what context ?
👍  ,
properties (23)
authorclinton19
permlinkre-mathowl-2022127t15635911z
categoryhive-196387
json_metadata{"tags":[],"app":"ecency/3.0.30-vision","format":"markdown+html"}
created2022-12-07 00:56:51
last_update2022-12-07 11:37:18
depth3
children6
last_payout2022-12-14 00:56:51
cashout_time1969-12-31 23:59:59
total_payout_value0.012 HBD
curator_payout_value0.012 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length403
author_reputation80,462,663,217,737
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,910,511
net_rshares55,730,849,653
author_curate_reward""
vote details (2)
@hivebuzz ·
Congratulations @mathowl! You received a personal badge!

<table><tr><td>https://images.hive.blog/70x70/http://hivebuzz.me/badges/birthday-5.png</td><td>Happy Hive Birthday! You are on the Hive blockchain for 5 years!</td></tr></table>

<sub>_You can view your badges on [your board](https://hivebuzz.me/@mathowl) and compare yourself to others in the [Ranking](https://hivebuzz.me/ranking)_</sub>


**Check out the last post from @hivebuzz:**
<table><tr><td><a href="/hive-102201/@hivebuzz/wc2022-recap-qf-day2"><img src="https://images.hive.blog/64x128/https://i.imgur.com/uNPMgnd.png"></a></td><td><a href="/hive-102201/@hivebuzz/wc2022-recap-qf-day2">HiveBuzz World Cup Contest - Quarterfinals - Recap of Day 2</a></td></tr><tr><td><a href="/hive-102201/@hivebuzz/wc2022-recap-qf-day1"><img src="https://images.hive.blog/64x128/https://i.imgur.com/uNPMgnd.png"></a></td><td><a href="/hive-102201/@hivebuzz/wc2022-recap-qf-day1">HiveBuzz World Cup Contest - Quarterfinals - Recap of Day 1</a></td></tr></table>

###### Support the HiveBuzz project. [Vote](https://hivesigner.com/sign/update_proposal_votes?proposal_ids=%5B%22248%22%5D&approve=true) for [our proposal](https://peakd.com/me/proposals/248)!
properties (22)
authorhivebuzz
permlinknotify-mathowl-20221213t164852
categoryhive-196387
json_metadata{"image":["http://hivebuzz.me/notify.t6.png"]}
created2022-12-13 16:48:54
last_update2022-12-13 16:48:54
depth1
children0
last_payout2022-12-20 16:48:54
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length1,207
author_reputation370,747,334,221,984
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id119,085,836
net_rshares0
@mooontivated ·
$0.02
Aww that was too adorable
👍  ,
properties (23)
authormooontivated
permlinkre-mathowl-rmiec8
categoryhive-196387
json_metadata{"tags":["hive-196387"],"app":"peakd/2022.11.2"}
created2022-12-07 07:04:57
last_update2022-12-07 07:04:57
depth1
children1
last_payout2022-12-14 07:04:57
cashout_time1969-12-31 23:59:59
total_payout_value0.012 HBD
curator_payout_value0.012 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length25
author_reputation23,810,761,443,910
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,915,797
net_rshares55,242,661,007
author_curate_reward""
vote details (2)
@mathowl ·
=^..^=
properties (22)
authormathowl
permlinkrmis8u
categoryhive-196387
json_metadata{"app":"hiveblog/0.1"}
created2022-12-07 12:05:18
last_update2022-12-07 12:05:18
depth2
children0
last_payout2022-12-14 12:05:18
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length6
author_reputation44,993,635,814,620
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,920,048
net_rshares0
@stemsocial ·
re-mathowl-research-diaries-10-the-real-line-gaps-in-the-rational-numbers-and-the-axiom-of-completeness-20221207t003138902z
<div class='text-justify'> <div class='pull-left'>
 <img src='https://stem.openhive.network/images/stemsocialsupport7.png'> </div>

Thanks for your contribution to the <a href='/trending/hive-196387'>STEMsocial community</a>. Feel free to join us on <a href='https://discord.gg/9c7pKVD'>discord</a> to get to know the rest of us!

Please consider delegating to the @stemsocial account (85% of the curation rewards are returned).

You may also include @stemsocial as a beneficiary of the rewards of this post to get a stronger support.&nbsp;<br />&nbsp;<br />
</div>
properties (22)
authorstemsocial
permlinkre-mathowl-research-diaries-10-the-real-line-gaps-in-the-rational-numbers-and-the-axiom-of-completeness-20221207t003138902z
categoryhive-196387
json_metadata{"app":"STEMsocial"}
created2022-12-07 00:31:39
last_update2022-12-07 00:31:39
depth1
children0
last_payout2022-12-14 00:31:39
cashout_time1969-12-31 23:59:59
total_payout_value0.000 HBD
curator_payout_value0.000 HBD
pending_payout_value0.000 HBD
promoted0.000 HBD
body_length565
author_reputation22,928,294,988,376
root_title"Research diaries #10: The real line, gaps in the rational numbers and the axiom of completeness"
beneficiaries[]
max_accepted_payout1,000,000.000 HBD
percent_hbd10,000
post_id118,910,105
net_rshares0