Proving that between any two real numbers there exist a real number
Formally, I want to prove that if $x$ and $y$ are real numbers such that $x lt y$ then there exists a real number $z$ such that $x lt z lt y$.
Is this equivalent to proving the real line is continuous?
real-numbers
add a comment |
Formally, I want to prove that if $x$ and $y$ are real numbers such that $x lt y$ then there exists a real number $z$ such that $x lt z lt y$.
Is this equivalent to proving the real line is continuous?
real-numbers
Can you prove that "if x and y are real numbers then x+ y is a real number" (that the real numbers are closed under addition)? Can you prove then that (x+ y)/2 is a real number? Do you see that "if x< y then 2x< x+ y? And then that x< (x+ y)? What if y< x?
– user247327
1 hour ago
1
By "the real line is continuous" I assume you mean something (informally) along the lines of "there are no gaps", in which case, this is because $Bbb R$ is a complete metric space.
– ÍgjøgnumMeg
1 hour ago
add a comment |
Formally, I want to prove that if $x$ and $y$ are real numbers such that $x lt y$ then there exists a real number $z$ such that $x lt z lt y$.
Is this equivalent to proving the real line is continuous?
real-numbers
Formally, I want to prove that if $x$ and $y$ are real numbers such that $x lt y$ then there exists a real number $z$ such that $x lt z lt y$.
Is this equivalent to proving the real line is continuous?
real-numbers
real-numbers
asked 1 hour ago
MHall
757
757
Can you prove that "if x and y are real numbers then x+ y is a real number" (that the real numbers are closed under addition)? Can you prove then that (x+ y)/2 is a real number? Do you see that "if x< y then 2x< x+ y? And then that x< (x+ y)? What if y< x?
– user247327
1 hour ago
1
By "the real line is continuous" I assume you mean something (informally) along the lines of "there are no gaps", in which case, this is because $Bbb R$ is a complete metric space.
– ÍgjøgnumMeg
1 hour ago
add a comment |
Can you prove that "if x and y are real numbers then x+ y is a real number" (that the real numbers are closed under addition)? Can you prove then that (x+ y)/2 is a real number? Do you see that "if x< y then 2x< x+ y? And then that x< (x+ y)? What if y< x?
– user247327
1 hour ago
1
By "the real line is continuous" I assume you mean something (informally) along the lines of "there are no gaps", in which case, this is because $Bbb R$ is a complete metric space.
– ÍgjøgnumMeg
1 hour ago
Can you prove that "if x and y are real numbers then x+ y is a real number" (that the real numbers are closed under addition)? Can you prove then that (x+ y)/2 is a real number? Do you see that "if x< y then 2x< x+ y? And then that x< (x+ y)? What if y< x?
– user247327
1 hour ago
Can you prove that "if x and y are real numbers then x+ y is a real number" (that the real numbers are closed under addition)? Can you prove then that (x+ y)/2 is a real number? Do you see that "if x< y then 2x< x+ y? And then that x< (x+ y)? What if y< x?
– user247327
1 hour ago
1
1
By "the real line is continuous" I assume you mean something (informally) along the lines of "there are no gaps", in which case, this is because $Bbb R$ is a complete metric space.
– ÍgjøgnumMeg
1 hour ago
By "the real line is continuous" I assume you mean something (informally) along the lines of "there are no gaps", in which case, this is because $Bbb R$ is a complete metric space.
– ÍgjøgnumMeg
1 hour ago
add a comment |
1 Answer
1
active
oldest
votes
First, let me say a bit about the end of your question. I'm not sure what you mean by "the real line is continuous," but I suspect you mean that the real line is connected or complete. If so, then no, that's a different thing; for example, $mathbb{Q}$ has the "density" property here (between any two rationals, there's another rational) but is neither connected (consider $(-infty,pi)$ versus $(pi,infty)$, for example) or complete (consider the sequence $3,3.1,3.14,3.141,...$, for example).
Since connectedness/completeness can be a bit technical at first, let me say the following: intuitively, a space is connected if it doesn't "break into a bunch of separate pieces," and is complete if it "doesn't have any gaps" - the set $mathbb{Q}$ of rationals, even though it's dense, has lots of gaps and breaks apart really easily.
As to proving the claim you're looking at, I suspect you're thinking too hard about it. First, try to guess what a good formula for such a $z$ might be, and then try to prove (using whatever formal system you've been given) that it actually works. And this formula will be quite simple.
HINT: if on a quiz Sam scored $10/10$ and Alex scored $6/10$, then together they got an ---- score of $8/10$. Now, how do you calculate the "---" of two numbers?
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3055320%2fproving-that-between-any-two-real-numbers-there-exist-a-real-number%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
First, let me say a bit about the end of your question. I'm not sure what you mean by "the real line is continuous," but I suspect you mean that the real line is connected or complete. If so, then no, that's a different thing; for example, $mathbb{Q}$ has the "density" property here (between any two rationals, there's another rational) but is neither connected (consider $(-infty,pi)$ versus $(pi,infty)$, for example) or complete (consider the sequence $3,3.1,3.14,3.141,...$, for example).
Since connectedness/completeness can be a bit technical at first, let me say the following: intuitively, a space is connected if it doesn't "break into a bunch of separate pieces," and is complete if it "doesn't have any gaps" - the set $mathbb{Q}$ of rationals, even though it's dense, has lots of gaps and breaks apart really easily.
As to proving the claim you're looking at, I suspect you're thinking too hard about it. First, try to guess what a good formula for such a $z$ might be, and then try to prove (using whatever formal system you've been given) that it actually works. And this formula will be quite simple.
HINT: if on a quiz Sam scored $10/10$ and Alex scored $6/10$, then together they got an ---- score of $8/10$. Now, how do you calculate the "---" of two numbers?
add a comment |
First, let me say a bit about the end of your question. I'm not sure what you mean by "the real line is continuous," but I suspect you mean that the real line is connected or complete. If so, then no, that's a different thing; for example, $mathbb{Q}$ has the "density" property here (between any two rationals, there's another rational) but is neither connected (consider $(-infty,pi)$ versus $(pi,infty)$, for example) or complete (consider the sequence $3,3.1,3.14,3.141,...$, for example).
Since connectedness/completeness can be a bit technical at first, let me say the following: intuitively, a space is connected if it doesn't "break into a bunch of separate pieces," and is complete if it "doesn't have any gaps" - the set $mathbb{Q}$ of rationals, even though it's dense, has lots of gaps and breaks apart really easily.
As to proving the claim you're looking at, I suspect you're thinking too hard about it. First, try to guess what a good formula for such a $z$ might be, and then try to prove (using whatever formal system you've been given) that it actually works. And this formula will be quite simple.
HINT: if on a quiz Sam scored $10/10$ and Alex scored $6/10$, then together they got an ---- score of $8/10$. Now, how do you calculate the "---" of two numbers?
add a comment |
First, let me say a bit about the end of your question. I'm not sure what you mean by "the real line is continuous," but I suspect you mean that the real line is connected or complete. If so, then no, that's a different thing; for example, $mathbb{Q}$ has the "density" property here (between any two rationals, there's another rational) but is neither connected (consider $(-infty,pi)$ versus $(pi,infty)$, for example) or complete (consider the sequence $3,3.1,3.14,3.141,...$, for example).
Since connectedness/completeness can be a bit technical at first, let me say the following: intuitively, a space is connected if it doesn't "break into a bunch of separate pieces," and is complete if it "doesn't have any gaps" - the set $mathbb{Q}$ of rationals, even though it's dense, has lots of gaps and breaks apart really easily.
As to proving the claim you're looking at, I suspect you're thinking too hard about it. First, try to guess what a good formula for such a $z$ might be, and then try to prove (using whatever formal system you've been given) that it actually works. And this formula will be quite simple.
HINT: if on a quiz Sam scored $10/10$ and Alex scored $6/10$, then together they got an ---- score of $8/10$. Now, how do you calculate the "---" of two numbers?
First, let me say a bit about the end of your question. I'm not sure what you mean by "the real line is continuous," but I suspect you mean that the real line is connected or complete. If so, then no, that's a different thing; for example, $mathbb{Q}$ has the "density" property here (between any two rationals, there's another rational) but is neither connected (consider $(-infty,pi)$ versus $(pi,infty)$, for example) or complete (consider the sequence $3,3.1,3.14,3.141,...$, for example).
Since connectedness/completeness can be a bit technical at first, let me say the following: intuitively, a space is connected if it doesn't "break into a bunch of separate pieces," and is complete if it "doesn't have any gaps" - the set $mathbb{Q}$ of rationals, even though it's dense, has lots of gaps and breaks apart really easily.
As to proving the claim you're looking at, I suspect you're thinking too hard about it. First, try to guess what a good formula for such a $z$ might be, and then try to prove (using whatever formal system you've been given) that it actually works. And this formula will be quite simple.
HINT: if on a quiz Sam scored $10/10$ and Alex scored $6/10$, then together they got an ---- score of $8/10$. Now, how do you calculate the "---" of two numbers?
answered 1 hour ago
Noah Schweber
121k10147283
121k10147283
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3055320%2fproving-that-between-any-two-real-numbers-there-exist-a-real-number%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Can you prove that "if x and y are real numbers then x+ y is a real number" (that the real numbers are closed under addition)? Can you prove then that (x+ y)/2 is a real number? Do you see that "if x< y then 2x< x+ y? And then that x< (x+ y)? What if y< x?
– user247327
1 hour ago
1
By "the real line is continuous" I assume you mean something (informally) along the lines of "there are no gaps", in which case, this is because $Bbb R$ is a complete metric space.
– ÍgjøgnumMeg
1 hour ago