Why euclidean topology on complex numbers?
This is a rather inconcrete question and i am hoping for different answers:
The topology on $mathbb{Q}$ and $mathbb{R}$ is natural in being the order topology of these ordered fields.
Endowing $mathbb{C}$ with the topology of $mathbb{R}^2$ is the key to all those nice results of classical complex analysis and the important fact, that a function $mathbb{C} to mathbb{C}$ is differentiable if and only if it is a conformal (locally angle-preserving) map. So the theory of holomorphic functions is more on geometry of $mathbb{R}^2$ than on the properties of $mathbb{C}$ as a field, I think.
Now suppose, the existence of an algebraic closure of $mathbb{Q}$ would have been discovered before the invention of $mathbb{C}$. It is hard to imagine that someone was like "lets endow $mathbb{Q}[sqrt{-1}]$ with the product metric of $mathbb{Q}^2$ and embed its algebraic closure into its metric completion!"
Because there are so many other choices: Choose $sqrt{2}$ instead of $sqrt{-1}$; endow $mathbb{Q}[sqrt{-1},sqrt{2}]$ with the product topology of $mathbb{Q}^3$; etc.
My question is: Why does $mathbb{C}$ deserve the euclidean topology of $mathbb{R}^2$ and are there other choices?
complex-analysis complex-numbers
add a comment |
This is a rather inconcrete question and i am hoping for different answers:
The topology on $mathbb{Q}$ and $mathbb{R}$ is natural in being the order topology of these ordered fields.
Endowing $mathbb{C}$ with the topology of $mathbb{R}^2$ is the key to all those nice results of classical complex analysis and the important fact, that a function $mathbb{C} to mathbb{C}$ is differentiable if and only if it is a conformal (locally angle-preserving) map. So the theory of holomorphic functions is more on geometry of $mathbb{R}^2$ than on the properties of $mathbb{C}$ as a field, I think.
Now suppose, the existence of an algebraic closure of $mathbb{Q}$ would have been discovered before the invention of $mathbb{C}$. It is hard to imagine that someone was like "lets endow $mathbb{Q}[sqrt{-1}]$ with the product metric of $mathbb{Q}^2$ and embed its algebraic closure into its metric completion!"
Because there are so many other choices: Choose $sqrt{2}$ instead of $sqrt{-1}$; endow $mathbb{Q}[sqrt{-1},sqrt{2}]$ with the product topology of $mathbb{Q}^3$; etc.
My question is: Why does $mathbb{C}$ deserve the euclidean topology of $mathbb{R}^2$ and are there other choices?
complex-analysis complex-numbers
In fact, there are other choices, depending on what you're interested about $mathbb{C}$. For instance, in Algebraic Geometry one does not endow $mathbb{C}$ with its usual topology but rather with the Zariski Topology, the minimal topology where polynomial functions are continuous. In this case, that topology is simply the co-finite topology, that is, closed sets are finite (or all $mathbb{C}$).
– Juan Diego Rojas
Nov 25 at 1:25
You answered your own question with "Endowing $C$ with the topology of $R^2$ is the key to all those nice results of classical complex analysis". Without it you don't get all those nice results. And yes, there are a lot of other choices.
– Somos
Nov 25 at 2:15
What is the field $mathbb{C}$ without its usual topology ? A non-countably infinite algebraically closed transcendental extension of $mathbb{Q}$ ? So all we can say is if a complex number $a$ is algebraic over $mathbb{Q}(b_1,b_2,ldots)$ or not ? The different topologies on algebraic numbers are interesting, for example the completion wrt. $sup_sigma |a^sigma|$.
– reuns
Nov 25 at 2:46
add a comment |
This is a rather inconcrete question and i am hoping for different answers:
The topology on $mathbb{Q}$ and $mathbb{R}$ is natural in being the order topology of these ordered fields.
Endowing $mathbb{C}$ with the topology of $mathbb{R}^2$ is the key to all those nice results of classical complex analysis and the important fact, that a function $mathbb{C} to mathbb{C}$ is differentiable if and only if it is a conformal (locally angle-preserving) map. So the theory of holomorphic functions is more on geometry of $mathbb{R}^2$ than on the properties of $mathbb{C}$ as a field, I think.
Now suppose, the existence of an algebraic closure of $mathbb{Q}$ would have been discovered before the invention of $mathbb{C}$. It is hard to imagine that someone was like "lets endow $mathbb{Q}[sqrt{-1}]$ with the product metric of $mathbb{Q}^2$ and embed its algebraic closure into its metric completion!"
Because there are so many other choices: Choose $sqrt{2}$ instead of $sqrt{-1}$; endow $mathbb{Q}[sqrt{-1},sqrt{2}]$ with the product topology of $mathbb{Q}^3$; etc.
My question is: Why does $mathbb{C}$ deserve the euclidean topology of $mathbb{R}^2$ and are there other choices?
complex-analysis complex-numbers
This is a rather inconcrete question and i am hoping for different answers:
The topology on $mathbb{Q}$ and $mathbb{R}$ is natural in being the order topology of these ordered fields.
Endowing $mathbb{C}$ with the topology of $mathbb{R}^2$ is the key to all those nice results of classical complex analysis and the important fact, that a function $mathbb{C} to mathbb{C}$ is differentiable if and only if it is a conformal (locally angle-preserving) map. So the theory of holomorphic functions is more on geometry of $mathbb{R}^2$ than on the properties of $mathbb{C}$ as a field, I think.
Now suppose, the existence of an algebraic closure of $mathbb{Q}$ would have been discovered before the invention of $mathbb{C}$. It is hard to imagine that someone was like "lets endow $mathbb{Q}[sqrt{-1}]$ with the product metric of $mathbb{Q}^2$ and embed its algebraic closure into its metric completion!"
Because there are so many other choices: Choose $sqrt{2}$ instead of $sqrt{-1}$; endow $mathbb{Q}[sqrt{-1},sqrt{2}]$ with the product topology of $mathbb{Q}^3$; etc.
My question is: Why does $mathbb{C}$ deserve the euclidean topology of $mathbb{R}^2$ and are there other choices?
complex-analysis complex-numbers
complex-analysis complex-numbers
asked Nov 25 at 0:10
Lucina
334
334
In fact, there are other choices, depending on what you're interested about $mathbb{C}$. For instance, in Algebraic Geometry one does not endow $mathbb{C}$ with its usual topology but rather with the Zariski Topology, the minimal topology where polynomial functions are continuous. In this case, that topology is simply the co-finite topology, that is, closed sets are finite (or all $mathbb{C}$).
– Juan Diego Rojas
Nov 25 at 1:25
You answered your own question with "Endowing $C$ with the topology of $R^2$ is the key to all those nice results of classical complex analysis". Without it you don't get all those nice results. And yes, there are a lot of other choices.
– Somos
Nov 25 at 2:15
What is the field $mathbb{C}$ without its usual topology ? A non-countably infinite algebraically closed transcendental extension of $mathbb{Q}$ ? So all we can say is if a complex number $a$ is algebraic over $mathbb{Q}(b_1,b_2,ldots)$ or not ? The different topologies on algebraic numbers are interesting, for example the completion wrt. $sup_sigma |a^sigma|$.
– reuns
Nov 25 at 2:46
add a comment |
In fact, there are other choices, depending on what you're interested about $mathbb{C}$. For instance, in Algebraic Geometry one does not endow $mathbb{C}$ with its usual topology but rather with the Zariski Topology, the minimal topology where polynomial functions are continuous. In this case, that topology is simply the co-finite topology, that is, closed sets are finite (or all $mathbb{C}$).
– Juan Diego Rojas
Nov 25 at 1:25
You answered your own question with "Endowing $C$ with the topology of $R^2$ is the key to all those nice results of classical complex analysis". Without it you don't get all those nice results. And yes, there are a lot of other choices.
– Somos
Nov 25 at 2:15
What is the field $mathbb{C}$ without its usual topology ? A non-countably infinite algebraically closed transcendental extension of $mathbb{Q}$ ? So all we can say is if a complex number $a$ is algebraic over $mathbb{Q}(b_1,b_2,ldots)$ or not ? The different topologies on algebraic numbers are interesting, for example the completion wrt. $sup_sigma |a^sigma|$.
– reuns
Nov 25 at 2:46
In fact, there are other choices, depending on what you're interested about $mathbb{C}$. For instance, in Algebraic Geometry one does not endow $mathbb{C}$ with its usual topology but rather with the Zariski Topology, the minimal topology where polynomial functions are continuous. In this case, that topology is simply the co-finite topology, that is, closed sets are finite (or all $mathbb{C}$).
– Juan Diego Rojas
Nov 25 at 1:25
In fact, there are other choices, depending on what you're interested about $mathbb{C}$. For instance, in Algebraic Geometry one does not endow $mathbb{C}$ with its usual topology but rather with the Zariski Topology, the minimal topology where polynomial functions are continuous. In this case, that topology is simply the co-finite topology, that is, closed sets are finite (or all $mathbb{C}$).
– Juan Diego Rojas
Nov 25 at 1:25
You answered your own question with "Endowing $C$ with the topology of $R^2$ is the key to all those nice results of classical complex analysis". Without it you don't get all those nice results. And yes, there are a lot of other choices.
– Somos
Nov 25 at 2:15
You answered your own question with "Endowing $C$ with the topology of $R^2$ is the key to all those nice results of classical complex analysis". Without it you don't get all those nice results. And yes, there are a lot of other choices.
– Somos
Nov 25 at 2:15
What is the field $mathbb{C}$ without its usual topology ? A non-countably infinite algebraically closed transcendental extension of $mathbb{Q}$ ? So all we can say is if a complex number $a$ is algebraic over $mathbb{Q}(b_1,b_2,ldots)$ or not ? The different topologies on algebraic numbers are interesting, for example the completion wrt. $sup_sigma |a^sigma|$.
– reuns
Nov 25 at 2:46
What is the field $mathbb{C}$ without its usual topology ? A non-countably infinite algebraically closed transcendental extension of $mathbb{Q}$ ? So all we can say is if a complex number $a$ is algebraic over $mathbb{Q}(b_1,b_2,ldots)$ or not ? The different topologies on algebraic numbers are interesting, for example the completion wrt. $sup_sigma |a^sigma|$.
– reuns
Nov 25 at 2:46
add a comment |
active
oldest
votes
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%2f3012269%2fwhy-euclidean-topology-on-complex-numbers%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3012269%2fwhy-euclidean-topology-on-complex-numbers%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
In fact, there are other choices, depending on what you're interested about $mathbb{C}$. For instance, in Algebraic Geometry one does not endow $mathbb{C}$ with its usual topology but rather with the Zariski Topology, the minimal topology where polynomial functions are continuous. In this case, that topology is simply the co-finite topology, that is, closed sets are finite (or all $mathbb{C}$).
– Juan Diego Rojas
Nov 25 at 1:25
You answered your own question with "Endowing $C$ with the topology of $R^2$ is the key to all those nice results of classical complex analysis". Without it you don't get all those nice results. And yes, there are a lot of other choices.
– Somos
Nov 25 at 2:15
What is the field $mathbb{C}$ without its usual topology ? A non-countably infinite algebraically closed transcendental extension of $mathbb{Q}$ ? So all we can say is if a complex number $a$ is algebraic over $mathbb{Q}(b_1,b_2,ldots)$ or not ? The different topologies on algebraic numbers are interesting, for example the completion wrt. $sup_sigma |a^sigma|$.
– reuns
Nov 25 at 2:46