Do algebraically open sets define a vector space topology?
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
add a comment |
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
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.
– SmileyCraft
Jan 3 at 20:58
add a comment |
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
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
SmileyCraft
3,176416
3,176416
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.
– SmileyCraft
Jan 3 at 20:58
add a comment |
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.
– SmileyCraft
Jan 3 at 20:58
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.
– SmileyCraft
Jan 3 at 20:58
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.
– SmileyCraft
Jan 3 at 20:58
add a comment |
1 Answer
1
active
oldest
votes
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.
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.
– pitariver
2 days ago
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
– SmileyCraft
2 days ago
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.
– pitariver
2 days ago
1
@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.
– SmileyCraft
2 days ago
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%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
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.
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.
– pitariver
2 days ago
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
– SmileyCraft
2 days ago
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.
– pitariver
2 days ago
1
@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.
– SmileyCraft
2 days ago
add a comment |
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.
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.
– pitariver
2 days ago
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
– SmileyCraft
2 days ago
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.
– pitariver
2 days ago
1
@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.
– SmileyCraft
2 days ago
add a comment |
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.
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
SmileyCraft
3,176416
3,176416
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.
– pitariver
2 days ago
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
– SmileyCraft
2 days ago
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.
– pitariver
2 days ago
1
@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.
– SmileyCraft
2 days ago
add a comment |
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.
– pitariver
2 days ago
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
– SmileyCraft
2 days ago
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.
– pitariver
2 days ago
1
@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.
– SmileyCraft
2 days ago
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.
– pitariver
2 days ago
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.
– pitariver
2 days ago
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
– SmileyCraft
2 days ago
Topologically isomorphic means there exists a bijection preserving addition, scalar multiplication and topology, so a homeomorphic isomorphism. You can check the link for details.
– SmileyCraft
2 days ago
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.
– pitariver
2 days ago
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.
– pitariver
2 days ago
1
1
@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.
– SmileyCraft
2 days ago
@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.
– SmileyCraft
2 days ago
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%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
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.
– SmileyCraft
Jan 3 at 20:58