Are factors corresponding to a sub-$sigma$-algebra unique?
$begingroup$
Let $X$ be a compact metric space and $mathcal B$ be its Borel $sigma$-algebra.
Let $mu$ be a Borel probability measure on $X$ and $T:Xto X$ me an invertible measure preserving transformation.
Let $U_T:L^2(X, mu)to L^2(X, mu)$ be the associated Koopman operator.
Let $mathcal A$ be the smallest sub-$sigma$-algebra on $X$ with respect to which all the eigenfunctions of $U_T$ are measurable.
Theorem 6.10 in Einsiedler and Ward's Ergodic Theory with a View Towards Number Theory [EW] states the following:
Theorem. The factor of $(X, mathcal B, mu, T)$ corresponding to $mathcal A$ is the largest factor of $(X, mathcal B, mu, T)$ which is isoomorphic to a rotation on some compact abelian group.
I do not follow why are we allowed to use the definite article "the" when asking for a factor corresponding to the sub-$sigma$-algebra $mathcal A$.
I ask this question because the following theorem [EW, Theorem 6.5] only guarantees 'a' factor.
Theorem. Let $(X, mathcal B, mu, T)$ be a measure preserving system, where $X$ is a compact metric space and $mathcal B$ is its Borel $sigma$-algebra.
Let $mathcal A$ be a $T$-invariant sub-$sigma$-algebra on $mathcal B$.
Then there is a measure preserving system $(Y, mathcal B_Y, nu, S)$, where $Y$ is a compact metric space with Borel $sigma$-algebra $mathcal B_Y$, and a factor map $phi:Xto Y$ with $mathcal A=phi^{-1}(mathcal B_Y)pmod mu$.
Is is perhaps true that any two factors corresponding to a given sub-$sigma$-algerba $mathcal A$ are isomorphic?
P.S. I have changed the wording of the theorems I have taken from [EW]. Also, in [EW] the theorems are stated for Borel probability spaces, which are more general than compact metric spaces.
measure-theory ergodic-theory
$endgroup$
|
show 2 more comments
$begingroup$
Let $X$ be a compact metric space and $mathcal B$ be its Borel $sigma$-algebra.
Let $mu$ be a Borel probability measure on $X$ and $T:Xto X$ me an invertible measure preserving transformation.
Let $U_T:L^2(X, mu)to L^2(X, mu)$ be the associated Koopman operator.
Let $mathcal A$ be the smallest sub-$sigma$-algebra on $X$ with respect to which all the eigenfunctions of $U_T$ are measurable.
Theorem 6.10 in Einsiedler and Ward's Ergodic Theory with a View Towards Number Theory [EW] states the following:
Theorem. The factor of $(X, mathcal B, mu, T)$ corresponding to $mathcal A$ is the largest factor of $(X, mathcal B, mu, T)$ which is isoomorphic to a rotation on some compact abelian group.
I do not follow why are we allowed to use the definite article "the" when asking for a factor corresponding to the sub-$sigma$-algebra $mathcal A$.
I ask this question because the following theorem [EW, Theorem 6.5] only guarantees 'a' factor.
Theorem. Let $(X, mathcal B, mu, T)$ be a measure preserving system, where $X$ is a compact metric space and $mathcal B$ is its Borel $sigma$-algebra.
Let $mathcal A$ be a $T$-invariant sub-$sigma$-algebra on $mathcal B$.
Then there is a measure preserving system $(Y, mathcal B_Y, nu, S)$, where $Y$ is a compact metric space with Borel $sigma$-algebra $mathcal B_Y$, and a factor map $phi:Xto Y$ with $mathcal A=phi^{-1}(mathcal B_Y)pmod mu$.
Is is perhaps true that any two factors corresponding to a given sub-$sigma$-algerba $mathcal A$ are isomorphic?
P.S. I have changed the wording of the theorems I have taken from [EW]. Also, in [EW] the theorems are stated for Borel probability spaces, which are more general than compact metric spaces.
measure-theory ergodic-theory
$endgroup$
1
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:04
$begingroup$
I think your comment solves my issue. Can you frame it as an answer so that I can accept? Thanks.
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:07
$begingroup$
Please read chapter $7$ and answer my question =D
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:10
$begingroup$
@Unpud I don't follow. Your question?
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:25
1
$begingroup$
I was reading the proof of Roth's theorem when I had to go back and read some material from Chapter 6. It will take me some time to start with the proof again since I need to first understand the basics about factors. In case I figure it out I will sure post an answer.
$endgroup$
– caffeinemachine
Nov 19 '18 at 9:03
|
show 2 more comments
$begingroup$
Let $X$ be a compact metric space and $mathcal B$ be its Borel $sigma$-algebra.
Let $mu$ be a Borel probability measure on $X$ and $T:Xto X$ me an invertible measure preserving transformation.
Let $U_T:L^2(X, mu)to L^2(X, mu)$ be the associated Koopman operator.
Let $mathcal A$ be the smallest sub-$sigma$-algebra on $X$ with respect to which all the eigenfunctions of $U_T$ are measurable.
Theorem 6.10 in Einsiedler and Ward's Ergodic Theory with a View Towards Number Theory [EW] states the following:
Theorem. The factor of $(X, mathcal B, mu, T)$ corresponding to $mathcal A$ is the largest factor of $(X, mathcal B, mu, T)$ which is isoomorphic to a rotation on some compact abelian group.
I do not follow why are we allowed to use the definite article "the" when asking for a factor corresponding to the sub-$sigma$-algebra $mathcal A$.
I ask this question because the following theorem [EW, Theorem 6.5] only guarantees 'a' factor.
Theorem. Let $(X, mathcal B, mu, T)$ be a measure preserving system, where $X$ is a compact metric space and $mathcal B$ is its Borel $sigma$-algebra.
Let $mathcal A$ be a $T$-invariant sub-$sigma$-algebra on $mathcal B$.
Then there is a measure preserving system $(Y, mathcal B_Y, nu, S)$, where $Y$ is a compact metric space with Borel $sigma$-algebra $mathcal B_Y$, and a factor map $phi:Xto Y$ with $mathcal A=phi^{-1}(mathcal B_Y)pmod mu$.
Is is perhaps true that any two factors corresponding to a given sub-$sigma$-algerba $mathcal A$ are isomorphic?
P.S. I have changed the wording of the theorems I have taken from [EW]. Also, in [EW] the theorems are stated for Borel probability spaces, which are more general than compact metric spaces.
measure-theory ergodic-theory
$endgroup$
Let $X$ be a compact metric space and $mathcal B$ be its Borel $sigma$-algebra.
Let $mu$ be a Borel probability measure on $X$ and $T:Xto X$ me an invertible measure preserving transformation.
Let $U_T:L^2(X, mu)to L^2(X, mu)$ be the associated Koopman operator.
Let $mathcal A$ be the smallest sub-$sigma$-algebra on $X$ with respect to which all the eigenfunctions of $U_T$ are measurable.
Theorem 6.10 in Einsiedler and Ward's Ergodic Theory with a View Towards Number Theory [EW] states the following:
Theorem. The factor of $(X, mathcal B, mu, T)$ corresponding to $mathcal A$ is the largest factor of $(X, mathcal B, mu, T)$ which is isoomorphic to a rotation on some compact abelian group.
I do not follow why are we allowed to use the definite article "the" when asking for a factor corresponding to the sub-$sigma$-algebra $mathcal A$.
I ask this question because the following theorem [EW, Theorem 6.5] only guarantees 'a' factor.
Theorem. Let $(X, mathcal B, mu, T)$ be a measure preserving system, where $X$ is a compact metric space and $mathcal B$ is its Borel $sigma$-algebra.
Let $mathcal A$ be a $T$-invariant sub-$sigma$-algebra on $mathcal B$.
Then there is a measure preserving system $(Y, mathcal B_Y, nu, S)$, where $Y$ is a compact metric space with Borel $sigma$-algebra $mathcal B_Y$, and a factor map $phi:Xto Y$ with $mathcal A=phi^{-1}(mathcal B_Y)pmod mu$.
Is is perhaps true that any two factors corresponding to a given sub-$sigma$-algerba $mathcal A$ are isomorphic?
P.S. I have changed the wording of the theorems I have taken from [EW]. Also, in [EW] the theorems are stated for Borel probability spaces, which are more general than compact metric spaces.
measure-theory ergodic-theory
measure-theory ergodic-theory
edited Dec 22 '18 at 10:48
caffeinemachine
asked Nov 18 '18 at 17:19
caffeinemachinecaffeinemachine
6,75121458
6,75121458
1
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:04
$begingroup$
I think your comment solves my issue. Can you frame it as an answer so that I can accept? Thanks.
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:07
$begingroup$
Please read chapter $7$ and answer my question =D
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:10
$begingroup$
@Unpud I don't follow. Your question?
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:25
1
$begingroup$
I was reading the proof of Roth's theorem when I had to go back and read some material from Chapter 6. It will take me some time to start with the proof again since I need to first understand the basics about factors. In case I figure it out I will sure post an answer.
$endgroup$
– caffeinemachine
Nov 19 '18 at 9:03
|
show 2 more comments
1
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:04
$begingroup$
I think your comment solves my issue. Can you frame it as an answer so that I can accept? Thanks.
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:07
$begingroup$
Please read chapter $7$ and answer my question =D
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:10
$begingroup$
@Unpud I don't follow. Your question?
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:25
1
$begingroup$
I was reading the proof of Roth's theorem when I had to go back and read some material from Chapter 6. It will take me some time to start with the proof again since I need to first understand the basics about factors. In case I figure it out I will sure post an answer.
$endgroup$
– caffeinemachine
Nov 19 '18 at 9:03
1
1
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:04
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:04
$begingroup$
I think your comment solves my issue. Can you frame it as an answer so that I can accept? Thanks.
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:07
$begingroup$
I think your comment solves my issue. Can you frame it as an answer so that I can accept? Thanks.
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:07
$begingroup$
Please read chapter $7$ and answer my question =D
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:10
$begingroup$
Please read chapter $7$ and answer my question =D
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:10
$begingroup$
@Unpud I don't follow. Your question?
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:25
$begingroup$
@Unpud I don't follow. Your question?
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:25
1
1
$begingroup$
I was reading the proof of Roth's theorem when I had to go back and read some material from Chapter 6. It will take me some time to start with the proof again since I need to first understand the basics about factors. In case I figure it out I will sure post an answer.
$endgroup$
– caffeinemachine
Nov 19 '18 at 9:03
$begingroup$
I was reading the proof of Roth's theorem when I had to go back and read some material from Chapter 6. It will take me some time to start with the proof again since I need to first understand the basics about factors. In case I figure it out I will sure post an answer.
$endgroup$
– caffeinemachine
Nov 19 '18 at 9:03
|
show 2 more comments
1 Answer
1
active
oldest
votes
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$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%2f3003817%2fare-factors-corresponding-to-a-sub-sigma-algebra-unique%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
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
add a comment |
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
add a comment |
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
answered Nov 18 '18 at 19:09
Sir Wilfred Lucas-DockerySir Wilfred Lucas-Dockery
404420
404420
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%2f3003817%2fare-factors-corresponding-to-a-sub-sigma-algebra-unique%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
1
$begingroup$
Lemma $5.25$ from EW gives a map between two such factors. I think you can prove some quasi-uniqueness statement about two maps arising from this lemma.
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:04
$begingroup$
I think your comment solves my issue. Can you frame it as an answer so that I can accept? Thanks.
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:07
$begingroup$
Please read chapter $7$ and answer my question =D
$endgroup$
– Sir Wilfred Lucas-Dockery
Nov 18 '18 at 19:10
$begingroup$
@Unpud I don't follow. Your question?
$endgroup$
– caffeinemachine
Nov 18 '18 at 19:25
1
$begingroup$
I was reading the proof of Roth's theorem when I had to go back and read some material from Chapter 6. It will take me some time to start with the proof again since I need to first understand the basics about factors. In case I figure it out I will sure post an answer.
$endgroup$
– caffeinemachine
Nov 19 '18 at 9:03