Nonisomorphism of real numbers and reals without 0 (the only symbol is the < symbol)
$begingroup$
Why are $(mathbb{R}, <)$ and $({ x in mathbb{R} | x neq 0}, <)$ not isomorphic?
My approach is to assume that there is an isomorphism and attempt to derive a contradiction by showing that there is a formula which the first structure satisfies but the second does not. I'm having trouble finding one.
logic first-order-logic order-theory model-theory
$endgroup$
add a comment |
$begingroup$
Why are $(mathbb{R}, <)$ and $({ x in mathbb{R} | x neq 0}, <)$ not isomorphic?
My approach is to assume that there is an isomorphism and attempt to derive a contradiction by showing that there is a formula which the first structure satisfies but the second does not. I'm having trouble finding one.
logic first-order-logic order-theory model-theory
$endgroup$
$begingroup$
Isomorphism as what? Ordered sets? Groups?
$endgroup$
– Arthur
Nov 30 '18 at 12:24
$begingroup$
Sorry, as structures in a first order language.
$endgroup$
– user514088
Nov 30 '18 at 12:25
$begingroup$
I'm a bit fuzzy on what exactly kind of thing you're looking for, but would the least upper bound property be useful? The latter of the two has non-empty, upwards bounded subsets with no supremum.
$endgroup$
– Arthur
Nov 30 '18 at 12:26
$begingroup$
The proof is basically the same as if you had to prove that they are not homeomorphic (after all, the topology on $mathbb{R}$ is induced by the order)
$endgroup$
– Leo163
Nov 30 '18 at 12:27
add a comment |
$begingroup$
Why are $(mathbb{R}, <)$ and $({ x in mathbb{R} | x neq 0}, <)$ not isomorphic?
My approach is to assume that there is an isomorphism and attempt to derive a contradiction by showing that there is a formula which the first structure satisfies but the second does not. I'm having trouble finding one.
logic first-order-logic order-theory model-theory
$endgroup$
Why are $(mathbb{R}, <)$ and $({ x in mathbb{R} | x neq 0}, <)$ not isomorphic?
My approach is to assume that there is an isomorphism and attempt to derive a contradiction by showing that there is a formula which the first structure satisfies but the second does not. I'm having trouble finding one.
logic first-order-logic order-theory model-theory
logic first-order-logic order-theory model-theory
edited Nov 30 '18 at 13:25
Scientifica
6,37641335
6,37641335
asked Nov 30 '18 at 12:19
user514088user514088
211
211
$begingroup$
Isomorphism as what? Ordered sets? Groups?
$endgroup$
– Arthur
Nov 30 '18 at 12:24
$begingroup$
Sorry, as structures in a first order language.
$endgroup$
– user514088
Nov 30 '18 at 12:25
$begingroup$
I'm a bit fuzzy on what exactly kind of thing you're looking for, but would the least upper bound property be useful? The latter of the two has non-empty, upwards bounded subsets with no supremum.
$endgroup$
– Arthur
Nov 30 '18 at 12:26
$begingroup$
The proof is basically the same as if you had to prove that they are not homeomorphic (after all, the topology on $mathbb{R}$ is induced by the order)
$endgroup$
– Leo163
Nov 30 '18 at 12:27
add a comment |
$begingroup$
Isomorphism as what? Ordered sets? Groups?
$endgroup$
– Arthur
Nov 30 '18 at 12:24
$begingroup$
Sorry, as structures in a first order language.
$endgroup$
– user514088
Nov 30 '18 at 12:25
$begingroup$
I'm a bit fuzzy on what exactly kind of thing you're looking for, but would the least upper bound property be useful? The latter of the two has non-empty, upwards bounded subsets with no supremum.
$endgroup$
– Arthur
Nov 30 '18 at 12:26
$begingroup$
The proof is basically the same as if you had to prove that they are not homeomorphic (after all, the topology on $mathbb{R}$ is induced by the order)
$endgroup$
– Leo163
Nov 30 '18 at 12:27
$begingroup$
Isomorphism as what? Ordered sets? Groups?
$endgroup$
– Arthur
Nov 30 '18 at 12:24
$begingroup$
Isomorphism as what? Ordered sets? Groups?
$endgroup$
– Arthur
Nov 30 '18 at 12:24
$begingroup$
Sorry, as structures in a first order language.
$endgroup$
– user514088
Nov 30 '18 at 12:25
$begingroup$
Sorry, as structures in a first order language.
$endgroup$
– user514088
Nov 30 '18 at 12:25
$begingroup$
I'm a bit fuzzy on what exactly kind of thing you're looking for, but would the least upper bound property be useful? The latter of the two has non-empty, upwards bounded subsets with no supremum.
$endgroup$
– Arthur
Nov 30 '18 at 12:26
$begingroup$
I'm a bit fuzzy on what exactly kind of thing you're looking for, but would the least upper bound property be useful? The latter of the two has non-empty, upwards bounded subsets with no supremum.
$endgroup$
– Arthur
Nov 30 '18 at 12:26
$begingroup$
The proof is basically the same as if you had to prove that they are not homeomorphic (after all, the topology on $mathbb{R}$ is induced by the order)
$endgroup$
– Leo163
Nov 30 '18 at 12:27
$begingroup$
The proof is basically the same as if you had to prove that they are not homeomorphic (after all, the topology on $mathbb{R}$ is induced by the order)
$endgroup$
– Leo163
Nov 30 '18 at 12:27
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Your idea is good. Indeed, two isomorphic structures satisfy the same formulas. But pay attention, the converse is not true. For example, if you covered the notion of back-and-forth, you may have shown that the theory of dense linear orders without extremities is complete. Both $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ are such orders, so they are elementarily equivalent, and hence satisfy the same formulas.
So how can you show that they are not isomorphic? By showing that they don't satisfy the same properties that are not necessarily expressed in first order logic. For example, for the same reasons as above, $(mathbb Q,<)$ and $(mathbb R,<)$ are both elementarily equivalent, yet they're clearly not isomorphic because $mathbb Q$ is countable but not $mathbb R$. You can't say in the first order logic with the language ${<}$ that a model is countable or not.
Same thing goes for $(mathbb R,<)$ and $(mathbb Rbackslash{0}$,<). One of them satisfies the least upper bound property, but not the other. This shows that they are not isomorphic.
Leo163's comment gives another proof. The usual topology on $mathbb R$ coincides with its order topology, and same goes for $mathbb Rbackslash{0}$. The way this topology is defined, you can see that if two totally ordered sets are isomorphic (as ordered sets) then they're homeomorphic (as topological spaces, where the topology of each one is the order topology). So, if $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ were isomorphic, $mathbb R$ would be homeomorphic to $mathbb Rbackslash{0}$, but one is connected and the other is not.
$endgroup$
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%2f3020030%2fnonisomorphism-of-real-numbers-and-reals-without-0-the-only-symbol-is-the-sym%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
$begingroup$
Your idea is good. Indeed, two isomorphic structures satisfy the same formulas. But pay attention, the converse is not true. For example, if you covered the notion of back-and-forth, you may have shown that the theory of dense linear orders without extremities is complete. Both $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ are such orders, so they are elementarily equivalent, and hence satisfy the same formulas.
So how can you show that they are not isomorphic? By showing that they don't satisfy the same properties that are not necessarily expressed in first order logic. For example, for the same reasons as above, $(mathbb Q,<)$ and $(mathbb R,<)$ are both elementarily equivalent, yet they're clearly not isomorphic because $mathbb Q$ is countable but not $mathbb R$. You can't say in the first order logic with the language ${<}$ that a model is countable or not.
Same thing goes for $(mathbb R,<)$ and $(mathbb Rbackslash{0}$,<). One of them satisfies the least upper bound property, but not the other. This shows that they are not isomorphic.
Leo163's comment gives another proof. The usual topology on $mathbb R$ coincides with its order topology, and same goes for $mathbb Rbackslash{0}$. The way this topology is defined, you can see that if two totally ordered sets are isomorphic (as ordered sets) then they're homeomorphic (as topological spaces, where the topology of each one is the order topology). So, if $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ were isomorphic, $mathbb R$ would be homeomorphic to $mathbb Rbackslash{0}$, but one is connected and the other is not.
$endgroup$
add a comment |
$begingroup$
Your idea is good. Indeed, two isomorphic structures satisfy the same formulas. But pay attention, the converse is not true. For example, if you covered the notion of back-and-forth, you may have shown that the theory of dense linear orders without extremities is complete. Both $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ are such orders, so they are elementarily equivalent, and hence satisfy the same formulas.
So how can you show that they are not isomorphic? By showing that they don't satisfy the same properties that are not necessarily expressed in first order logic. For example, for the same reasons as above, $(mathbb Q,<)$ and $(mathbb R,<)$ are both elementarily equivalent, yet they're clearly not isomorphic because $mathbb Q$ is countable but not $mathbb R$. You can't say in the first order logic with the language ${<}$ that a model is countable or not.
Same thing goes for $(mathbb R,<)$ and $(mathbb Rbackslash{0}$,<). One of them satisfies the least upper bound property, but not the other. This shows that they are not isomorphic.
Leo163's comment gives another proof. The usual topology on $mathbb R$ coincides with its order topology, and same goes for $mathbb Rbackslash{0}$. The way this topology is defined, you can see that if two totally ordered sets are isomorphic (as ordered sets) then they're homeomorphic (as topological spaces, where the topology of each one is the order topology). So, if $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ were isomorphic, $mathbb R$ would be homeomorphic to $mathbb Rbackslash{0}$, but one is connected and the other is not.
$endgroup$
add a comment |
$begingroup$
Your idea is good. Indeed, two isomorphic structures satisfy the same formulas. But pay attention, the converse is not true. For example, if you covered the notion of back-and-forth, you may have shown that the theory of dense linear orders without extremities is complete. Both $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ are such orders, so they are elementarily equivalent, and hence satisfy the same formulas.
So how can you show that they are not isomorphic? By showing that they don't satisfy the same properties that are not necessarily expressed in first order logic. For example, for the same reasons as above, $(mathbb Q,<)$ and $(mathbb R,<)$ are both elementarily equivalent, yet they're clearly not isomorphic because $mathbb Q$ is countable but not $mathbb R$. You can't say in the first order logic with the language ${<}$ that a model is countable or not.
Same thing goes for $(mathbb R,<)$ and $(mathbb Rbackslash{0}$,<). One of them satisfies the least upper bound property, but not the other. This shows that they are not isomorphic.
Leo163's comment gives another proof. The usual topology on $mathbb R$ coincides with its order topology, and same goes for $mathbb Rbackslash{0}$. The way this topology is defined, you can see that if two totally ordered sets are isomorphic (as ordered sets) then they're homeomorphic (as topological spaces, where the topology of each one is the order topology). So, if $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ were isomorphic, $mathbb R$ would be homeomorphic to $mathbb Rbackslash{0}$, but one is connected and the other is not.
$endgroup$
Your idea is good. Indeed, two isomorphic structures satisfy the same formulas. But pay attention, the converse is not true. For example, if you covered the notion of back-and-forth, you may have shown that the theory of dense linear orders without extremities is complete. Both $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ are such orders, so they are elementarily equivalent, and hence satisfy the same formulas.
So how can you show that they are not isomorphic? By showing that they don't satisfy the same properties that are not necessarily expressed in first order logic. For example, for the same reasons as above, $(mathbb Q,<)$ and $(mathbb R,<)$ are both elementarily equivalent, yet they're clearly not isomorphic because $mathbb Q$ is countable but not $mathbb R$. You can't say in the first order logic with the language ${<}$ that a model is countable or not.
Same thing goes for $(mathbb R,<)$ and $(mathbb Rbackslash{0}$,<). One of them satisfies the least upper bound property, but not the other. This shows that they are not isomorphic.
Leo163's comment gives another proof. The usual topology on $mathbb R$ coincides with its order topology, and same goes for $mathbb Rbackslash{0}$. The way this topology is defined, you can see that if two totally ordered sets are isomorphic (as ordered sets) then they're homeomorphic (as topological spaces, where the topology of each one is the order topology). So, if $(mathbb R,<)$ and $(mathbb Rbackslash{0},<)$ were isomorphic, $mathbb R$ would be homeomorphic to $mathbb Rbackslash{0}$, but one is connected and the other is not.
answered Nov 30 '18 at 13:25
ScientificaScientifica
6,37641335
6,37641335
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.
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%2f3020030%2fnonisomorphism-of-real-numbers-and-reals-without-0-the-only-symbol-is-the-sym%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
$begingroup$
Isomorphism as what? Ordered sets? Groups?
$endgroup$
– Arthur
Nov 30 '18 at 12:24
$begingroup$
Sorry, as structures in a first order language.
$endgroup$
– user514088
Nov 30 '18 at 12:25
$begingroup$
I'm a bit fuzzy on what exactly kind of thing you're looking for, but would the least upper bound property be useful? The latter of the two has non-empty, upwards bounded subsets with no supremum.
$endgroup$
– Arthur
Nov 30 '18 at 12:26
$begingroup$
The proof is basically the same as if you had to prove that they are not homeomorphic (after all, the topology on $mathbb{R}$ is induced by the order)
$endgroup$
– Leo163
Nov 30 '18 at 12:27