Do algebraically open sets define a vector space topology?
1
$begingroup$
Let $X$ be a vector space. A vector space topology on $X$ is a topology such that addition and scalar multiplication are continuous. A subset $A$ of $X$ is said to be algebraically open if, for all $ain A$ and $xin X$, there exists $varepsilon>0$ such that $a+(-varepsilon,varepsilon)cdot xsubseteq A$. My question is if the algebraically open sets form a vector space topology on $X$.
functional-analysis topological-vector-spaces
asked Jan 3 at 20:53
SmileyCraftSmileyCraft
3,776519
$endgroup$
add a comment |
1
$begingroup$
Let $X$ be a vector space. A vector space topology on $X$ is a topology such that addition and scalar multiplication are continuous. A subset $A$ of $X$ is said to be algebraically open if, for all $ain A$ and $xin X$, there exists $varepsilon>0$ such that $a+(-varepsilon,varepsilon)cdot xsubseteq A$. My question is if the algebraically open sets form a vector space topology on $X$.
functional-analysis topological-vector-spaces
asked Jan 3 at 20:53
SmileyCraftSmileyCraft
3,776519
$endgroup$
$begingroup$
You might notice I posted an answer to my own question rather quickly. There was another question (math.stackexchange.com/questions/3058837/…) which was answered, but this was a related question that did not get answered. I wanted to share my answer to this question from there, but I figured it deserved its own question.
$endgroup$
– SmileyCraft
Jan 3 at 20:58
add a comment |
1
1
1
$begingroup$
Let $X$ be a vector space. A vector space topology on $X$ is a topology such that addition and scalar multiplication are continuous. A subset $A$ of $X$ is said to be algebraically open if, for all $ain A$ and $xin X$, there exists $varepsilon>0$ such that $a+(-varepsilon,varepsilon)cdot xsubseteq A$. My question is if the algebraically open sets form a vector space topology on $X$.
functional-analysis topological-vector-spaces
asked Jan 3 at 20:53
SmileyCraftSmileyCraft
3,776519
$endgroup$
Let $X$ be a vector space. A vector space topology on $X$ is a topology such that addition and scalar multiplication are continuous. A subset $A$ of $X$ is said to be algebraically open if, for all $ain A$ and $xin X$, there exists $varepsilon>0$ such that $a+(-varepsilon,varepsilon)cdot xsubseteq A$. My question is if the algebraically open sets form a vector space topology on $X$.
functional-analysis topological-vector-spaces
functional-analysis topological-vector-spaces
asked Jan 3 at 20:53
SmileyCraftSmileyCraft
3,776519
asked Jan 3 at 20:53
SmileyCraftSmileyCraft
3,776519
asked Jan 3 at 20:53
SmileyCraftSmileyCraft
3,776519
asked Jan 3 at 20:53
SmileyCraftSmileyCraft
3,776519
asked Jan 3 at 20:53
SmileyCraftSmileyCraft
3,776519
3,776519
$begingroup$
You might notice I posted an answer to my own question rather quickly. There was another question (math.stackexchange.com/questions/3058837/…) which was answered, but this was a related question that did not get answered. I wanted to share my answer to this question from there, but I figured it deserved its own question.
$endgroup$
– SmileyCraft
Jan 3 at 20:58
add a comment |
$begingroup$
You might notice I posted an answer to my own question rather quickly. There was another question (math.stackexchange.com/questions/3058837/…) which was answered, but this was a related question that did not get answered. I wanted to share my answer to this question from there, but I figured it deserved its own question.
$endgroup$
– SmileyCraft
Jan 3 at 20:58
$begingroup$
You might notice I posted an answer to my own question rather quickly. There was another question (math.stackexchange.com/questions/3058837/…) which was answered, but this was a related question that did not get answered. I wanted to share my answer to this question from there, but I figured it deserved its own question.
$endgroup$
– SmileyCraft
Jan 3 at 20:58
$begingroup$
You might notice I posted an answer to my own question rather quickly. There was another question (math.stackexchange.com/questions/3058837/…) which was answered, but this was a related question that did not get answered. I wanted to share my answer to this question from there, but I figured it deserved its own question.
$endgroup$
– SmileyCraft
Jan 3 at 20:58
add a comment |
1 Answer
1
active
oldest
votes
1
$begingroup$
The answer is negative. We know that every finite dimensional topological vector space is topologically isomorphic to $mathbb{K}^n$ with the Euclidean topology, for some $ninmathbb{N}$. However, there exist algebraically open subsets of $mathbb{R}^2$ that are not open by the Euclidean topology.
answered Jan 3 at 20:54
SmileyCraftSmileyCraft
3,776519
$endgroup$
$begingroup$
When you say topologically isomorphic, do you mean there exists an isomorphism of TVS between them (i.e continues operator with continues inverse), or that they are isomorphic under the identity map? If you mean the former I think this requires more explanation.
$endgroup$
– pitariver
Jan 4 at 7:19
$begingroup$
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
$endgroup$
– SmileyCraft
Jan 4 at 7:48
$begingroup$
Then why does this create a contradiction? take an algebraically open subset $A$ of the plane that is not open, under the isomorphism $T:(mathbb{R}^2, algeb. open) rightarrow (mathbb{R}^2, usual)$, T(A) may not be A, thus may be open. I think you need a specific example from the post you mentioned.
$endgroup$
– pitariver
Jan 4 at 8:02
1
$begingroup$
@pitariver Since $T$ is a bijective linear map in finite dimensions, it is continuous with respect to the usual topology. Thus, if $T(A)$ were open, then $T^{-1}(T(A))=A$ would be open.
$endgroup$
– SmileyCraft
Jan 4 at 8:14
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
});
}
});
draft saved
draft discarded
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%2f3060986%2fdo-algebraically-open-sets-define-a-vector-space-topology%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
1
$begingroup$
The answer is negative. We know that every finite dimensional topological vector space is topologically isomorphic to $mathbb{K}^n$ with the Euclidean topology, for some $ninmathbb{N}$. However, there exist algebraically open subsets of $mathbb{R}^2$ that are not open by the Euclidean topology.
answered Jan 3 at 20:54
SmileyCraftSmileyCraft
3,776519
$endgroup$
$begingroup$
When you say topologically isomorphic, do you mean there exists an isomorphism of TVS between them (i.e continues operator with continues inverse), or that they are isomorphic under the identity map? If you mean the former I think this requires more explanation.
$endgroup$
– pitariver
Jan 4 at 7:19
$begingroup$
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
$endgroup$
– SmileyCraft
Jan 4 at 7:48
$begingroup$
Then why does this create a contradiction? take an algebraically open subset $A$ of the plane that is not open, under the isomorphism $T:(mathbb{R}^2, algeb. open) rightarrow (mathbb{R}^2, usual)$, T(A) may not be A, thus may be open. I think you need a specific example from the post you mentioned.
$endgroup$
– pitariver
Jan 4 at 8:02
1
$begingroup$
@pitariver Since $T$ is a bijective linear map in finite dimensions, it is continuous with respect to the usual topology. Thus, if $T(A)$ were open, then $T^{-1}(T(A))=A$ would be open.
$endgroup$
– SmileyCraft
Jan 4 at 8:14
add a comment |
1
$begingroup$
The answer is negative. We know that every finite dimensional topological vector space is topologically isomorphic to $mathbb{K}^n$ with the Euclidean topology, for some $ninmathbb{N}$. However, there exist algebraically open subsets of $mathbb{R}^2$ that are not open by the Euclidean topology.
answered Jan 3 at 20:54
SmileyCraftSmileyCraft
3,776519
$endgroup$
$begingroup$
When you say topologically isomorphic, do you mean there exists an isomorphism of TVS between them (i.e continues operator with continues inverse), or that they are isomorphic under the identity map? If you mean the former I think this requires more explanation.
$endgroup$
– pitariver
Jan 4 at 7:19
$begingroup$
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
$endgroup$
– SmileyCraft
Jan 4 at 7:48
$begingroup$
Then why does this create a contradiction? take an algebraically open subset $A$ of the plane that is not open, under the isomorphism $T:(mathbb{R}^2, algeb. open) rightarrow (mathbb{R}^2, usual)$, T(A) may not be A, thus may be open. I think you need a specific example from the post you mentioned.
$endgroup$
– pitariver
Jan 4 at 8:02
1
$begingroup$
@pitariver Since $T$ is a bijective linear map in finite dimensions, it is continuous with respect to the usual topology. Thus, if $T(A)$ were open, then $T^{-1}(T(A))=A$ would be open.
$endgroup$
– SmileyCraft
Jan 4 at 8:14
add a comment |
1
1
1
$begingroup$
The answer is negative. We know that every finite dimensional topological vector space is topologically isomorphic to $mathbb{K}^n$ with the Euclidean topology, for some $ninmathbb{N}$. However, there exist algebraically open subsets of $mathbb{R}^2$ that are not open by the Euclidean topology.
answered Jan 3 at 20:54
SmileyCraftSmileyCraft
3,776519
$endgroup$
The answer is negative. We know that every finite dimensional topological vector space is topologically isomorphic to $mathbb{K}^n$ with the Euclidean topology, for some $ninmathbb{N}$. However, there exist algebraically open subsets of $mathbb{R}^2$ that are not open by the Euclidean topology.
answered Jan 3 at 20:54
SmileyCraftSmileyCraft
3,776519
answered Jan 3 at 20:54
SmileyCraftSmileyCraft
3,776519
answered Jan 3 at 20:54
SmileyCraftSmileyCraft
3,776519
answered Jan 3 at 20:54
SmileyCraftSmileyCraft
3,776519
3,776519
$begingroup$
When you say topologically isomorphic, do you mean there exists an isomorphism of TVS between them (i.e continues operator with continues inverse), or that they are isomorphic under the identity map? If you mean the former I think this requires more explanation.
$endgroup$
– pitariver
Jan 4 at 7:19
$begingroup$
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
$endgroup$
– SmileyCraft
Jan 4 at 7:48
$begingroup$
Then why does this create a contradiction? take an algebraically open subset $A$ of the plane that is not open, under the isomorphism $T:(mathbb{R}^2, algeb. open) rightarrow (mathbb{R}^2, usual)$, T(A) may not be A, thus may be open. I think you need a specific example from the post you mentioned.
$endgroup$
– pitariver
Jan 4 at 8:02
1
$begingroup$
@pitariver Since $T$ is a bijective linear map in finite dimensions, it is continuous with respect to the usual topology. Thus, if $T(A)$ were open, then $T^{-1}(T(A))=A$ would be open.
$endgroup$
– SmileyCraft
Jan 4 at 8:14
add a comment |
$begingroup$
When you say topologically isomorphic, do you mean there exists an isomorphism of TVS between them (i.e continues operator with continues inverse), or that they are isomorphic under the identity map? If you mean the former I think this requires more explanation.
$endgroup$
– pitariver
Jan 4 at 7:19
$begingroup$
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
$endgroup$
– SmileyCraft
Jan 4 at 7:48
$begingroup$
Then why does this create a contradiction? take an algebraically open subset $A$ of the plane that is not open, under the isomorphism $T:(mathbb{R}^2, algeb. open) rightarrow (mathbb{R}^2, usual)$, T(A) may not be A, thus may be open. I think you need a specific example from the post you mentioned.
$endgroup$
– pitariver
Jan 4 at 8:02
1
$begingroup$
@pitariver Since $T$ is a bijective linear map in finite dimensions, it is continuous with respect to the usual topology. Thus, if $T(A)$ were open, then $T^{-1}(T(A))=A$ would be open.
$endgroup$
– SmileyCraft
Jan 4 at 8:14
$begingroup$
When you say topologically isomorphic, do you mean there exists an isomorphism of TVS between them (i.e continues operator with continues inverse), or that they are isomorphic under the identity map? If you mean the former I think this requires more explanation.
$endgroup$
– pitariver
Jan 4 at 7:19
$begingroup$
When you say topologically isomorphic, do you mean there exists an isomorphism of TVS between them (i.e continues operator with continues inverse), or that they are isomorphic under the identity map? If you mean the former I think this requires more explanation.
$endgroup$
– pitariver
Jan 4 at 7:19
$begingroup$
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
$endgroup$
– SmileyCraft
Jan 4 at 7:48
$begingroup$
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
$endgroup$
– SmileyCraft
Jan 4 at 7:48
$begingroup$
Then why does this create a contradiction? take an algebraically open subset $A$ of the plane that is not open, under the isomorphism $T:(mathbb{R}^2, algeb. open) rightarrow (mathbb{R}^2, usual)$, T(A) may not be A, thus may be open. I think you need a specific example from the post you mentioned.
$endgroup$
– pitariver
Jan 4 at 8:02
$begingroup$
Then why does this create a contradiction? take an algebraically open subset $A$ of the plane that is not open, under the isomorphism $T:(mathbb{R}^2, algeb. open) rightarrow (mathbb{R}^2, usual)$, T(A) may not be A, thus may be open. I think you need a specific example from the post you mentioned.
$endgroup$
– pitariver
Jan 4 at 8:02
1
1
$begingroup$
@pitariver Since $T$ is a bijective linear map in finite dimensions, it is continuous with respect to the usual topology. Thus, if $T(A)$ were open, then $T^{-1}(T(A))=A$ would be open.
$endgroup$
– SmileyCraft
Jan 4 at 8:14
$begingroup$
@pitariver Since $T$ is a bijective linear map in finite dimensions, it is continuous with respect to the usual topology. Thus, if $T(A)$ were open, then $T^{-1}(T(A))=A$ would be open.
$endgroup$
– SmileyCraft
Jan 4 at 8:14
add a comment |
draft saved
draft discarded
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.
draft saved
draft discarded
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%2f3060986%2fdo-algebraically-open-sets-define-a-vector-space-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$
You might notice I posted an answer to my own question rather quickly. There was another question (math.stackexchange.com/questions/3058837/…) which was answered, but this was a related question that did not get answered. I wanted to share my answer to this question from there, but I figured it deserved its own question.
$endgroup$
– SmileyCraft
Jan 3 at 20:58