An example of a group with a topology
$begingroup$
Do you know an example of a group with a topology satisfying both the following two conditions
- the product is separately continuous but not jointly continuous
- the inversion map is continuous.
abstract-algebra general-topology examples-counterexamples topological-groups
$endgroup$
add a comment |
$begingroup$
Do you know an example of a group with a topology satisfying both the following two conditions
- the product is separately continuous but not jointly continuous
- the inversion map is continuous.
abstract-algebra general-topology examples-counterexamples topological-groups
$endgroup$
$begingroup$
One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
$endgroup$
– Omnomnomnom
Sep 16 '18 at 18:20
add a comment |
$begingroup$
Do you know an example of a group with a topology satisfying both the following two conditions
- the product is separately continuous but not jointly continuous
- the inversion map is continuous.
abstract-algebra general-topology examples-counterexamples topological-groups
$endgroup$
Do you know an example of a group with a topology satisfying both the following two conditions
- the product is separately continuous but not jointly continuous
- the inversion map is continuous.
abstract-algebra general-topology examples-counterexamples topological-groups
abstract-algebra general-topology examples-counterexamples topological-groups
edited Sep 16 '18 at 18:00
José Carlos Santos
175k24134243
175k24134243
asked Sep 16 '18 at 17:48
W4cc0W4cc0
1,90621227
1,90621227
$begingroup$
One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
$endgroup$
– Omnomnomnom
Sep 16 '18 at 18:20
add a comment |
$begingroup$
One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
$endgroup$
– Omnomnomnom
Sep 16 '18 at 18:20
$begingroup$
One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
$endgroup$
– Omnomnomnom
Sep 16 '18 at 18:20
$begingroup$
One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
$endgroup$
– Omnomnomnom
Sep 16 '18 at 18:20
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.
$endgroup$
add a comment |
$begingroup$
Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)
$endgroup$
add a comment |
Your Answer
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%2f2919210%2fan-example-of-a-group-with-a-topology%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.
$endgroup$
add a comment |
$begingroup$
Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.
$endgroup$
add a comment |
$begingroup$
Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.
$endgroup$
Take, for instance, $(mathbb{Q},+)$, endowed with the Zariski topology (that is, a non-empty set $A$ is open if and only if $A^complement$ is finite). Then the inversion ($xmapsto-x$) is clearly continuous and addition is clearly separately continuous. But it is not jointly continuous since, for instance ${(x,y)inmathbb{Q}^2,|,x+y=0}$ is not a closed set.
edited Dec 29 '18 at 11:29
answered Sep 16 '18 at 17:56
José Carlos SantosJosé Carlos Santos
175k24134243
175k24134243
add a comment |
add a comment |
$begingroup$
Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)
$endgroup$
add a comment |
$begingroup$
Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)
$endgroup$
add a comment |
$begingroup$
Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)
$endgroup$
Let $G$ be any infinite group and give it the cofinite topology. Then the product is separately continuous as is inversion, since any bijection $Gto G$ is continuous. But the product is not jointly continuous, since ${1}$ is closed but its preimage is not. (Or, you can just cite the fact that any $T_0$ topological group is Hausdorff, so $G$ cannot be a topological group.)
answered Sep 16 '18 at 17:56
Eric WofseyEric Wofsey
193k14221352
193k14221352
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%2f2919210%2fan-example-of-a-group-with-a-topology%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$
One important example of a group with a topology is a Lie Group. With that in mind, you might find this post to be interesting.
$endgroup$
– Omnomnomnom
Sep 16 '18 at 18:20