If $X$ and $Y$ are measurable, is $left{X=Yright}$ measurable?
Let $X,Y$ be measurable functions between measurable spaces $(Omega,mathcal A)$ and $(E,mathcal E)$. Is $left{X=Yright}inmathcal A$?
Clearly, if $E$ is a topological vector space and $mathcal E$ is the Borel $sigma$-algebra $mathcal B(E)$ on $E$ for which $left{0right}inmathcal E$ (e.g. $E$ being a $T_1$-space), then $left{X=Yright}=(X-Y)^{-1}(left{0right})inmathcal A$.
measure-theory
add a comment |
Let $X,Y$ be measurable functions between measurable spaces $(Omega,mathcal A)$ and $(E,mathcal E)$. Is $left{X=Yright}inmathcal A$?
Clearly, if $E$ is a topological vector space and $mathcal E$ is the Borel $sigma$-algebra $mathcal B(E)$ on $E$ for which $left{0right}inmathcal E$ (e.g. $E$ being a $T_1$-space), then $left{X=Yright}=(X-Y)^{-1}(left{0right})inmathcal A$.
measure-theory
What is $X-Y$ for $E$ topological space?
– Ennar
2 days ago
@Ennar Sorry, intended to write topological vector space.
– 0xbadf00d
2 days ago
add a comment |
Let $X,Y$ be measurable functions between measurable spaces $(Omega,mathcal A)$ and $(E,mathcal E)$. Is $left{X=Yright}inmathcal A$?
Clearly, if $E$ is a topological vector space and $mathcal E$ is the Borel $sigma$-algebra $mathcal B(E)$ on $E$ for which $left{0right}inmathcal E$ (e.g. $E$ being a $T_1$-space), then $left{X=Yright}=(X-Y)^{-1}(left{0right})inmathcal A$.
measure-theory
Let $X,Y$ be measurable functions between measurable spaces $(Omega,mathcal A)$ and $(E,mathcal E)$. Is $left{X=Yright}inmathcal A$?
Clearly, if $E$ is a topological vector space and $mathcal E$ is the Borel $sigma$-algebra $mathcal B(E)$ on $E$ for which $left{0right}inmathcal E$ (e.g. $E$ being a $T_1$-space), then $left{X=Yright}=(X-Y)^{-1}(left{0right})inmathcal A$.
measure-theory
measure-theory
edited 2 days ago
0xbadf00d
asked 2 days ago
0xbadf00d0xbadf00d
1,77441430
1,77441430
What is $X-Y$ for $E$ topological space?
– Ennar
2 days ago
@Ennar Sorry, intended to write topological vector space.
– 0xbadf00d
2 days ago
add a comment |
What is $X-Y$ for $E$ topological space?
– Ennar
2 days ago
@Ennar Sorry, intended to write topological vector space.
– 0xbadf00d
2 days ago
What is $X-Y$ for $E$ topological space?
– Ennar
2 days ago
What is $X-Y$ for $E$ topological space?
– Ennar
2 days ago
@Ennar Sorry, intended to write topological vector space.
– 0xbadf00d
2 days ago
@Ennar Sorry, intended to write topological vector space.
– 0xbadf00d
2 days ago
add a comment |
1 Answer
1
active
oldest
votes
In your example, you took $E$ a topological vector space.
Take $Omega = E times E$, with the corresponding identity on $sigma$-algebras, $X$ and $Y$ be the coordinate projections, the question proves to be equivalent to « is the diagonal of $E times E$ measurable? »
Take $E={0,1,2}$, and $mathcal{E}=sigma({0},{1,2})$, you can check that the answer is no.
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%2f3063169%2fif-x-and-y-are-measurable-is-left-x-y-right-measurable%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
In your example, you took $E$ a topological vector space.
Take $Omega = E times E$, with the corresponding identity on $sigma$-algebras, $X$ and $Y$ be the coordinate projections, the question proves to be equivalent to « is the diagonal of $E times E$ measurable? »
Take $E={0,1,2}$, and $mathcal{E}=sigma({0},{1,2})$, you can check that the answer is no.
add a comment |
In your example, you took $E$ a topological vector space.
Take $Omega = E times E$, with the corresponding identity on $sigma$-algebras, $X$ and $Y$ be the coordinate projections, the question proves to be equivalent to « is the diagonal of $E times E$ measurable? »
Take $E={0,1,2}$, and $mathcal{E}=sigma({0},{1,2})$, you can check that the answer is no.
add a comment |
In your example, you took $E$ a topological vector space.
Take $Omega = E times E$, with the corresponding identity on $sigma$-algebras, $X$ and $Y$ be the coordinate projections, the question proves to be equivalent to « is the diagonal of $E times E$ measurable? »
Take $E={0,1,2}$, and $mathcal{E}=sigma({0},{1,2})$, you can check that the answer is no.
In your example, you took $E$ a topological vector space.
Take $Omega = E times E$, with the corresponding identity on $sigma$-algebras, $X$ and $Y$ be the coordinate projections, the question proves to be equivalent to « is the diagonal of $E times E$ measurable? »
Take $E={0,1,2}$, and $mathcal{E}=sigma({0},{1,2})$, you can check that the answer is no.
edited 2 days ago
answered 2 days ago
MindlackMindlack
2,06217
2,06217
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.
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%2f3063169%2fif-x-and-y-are-measurable-is-left-x-y-right-measurable%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
What is $X-Y$ for $E$ topological space?
– Ennar
2 days ago
@Ennar Sorry, intended to write topological vector space.
– 0xbadf00d
2 days ago