$C^1$-foliation are absolutely continuous
$begingroup$
I trying to figure out why this is result is true :
If $F$ is a $C^1$-foliation with $C^1$-leaves, then it is absolutely continuous, where absolutely continuity here means that given a foliation chart $(U,h)$ and $L$ some transversal, there exists a measurable family of positive measurable functions $j_x : F_U(x) to mathbb{R}$ such that for any measurable set $A subset U$, we have that $m(A) = int_L int_{F_U(x)} mathbb{1}_A(x,y)j_x(y)dm_{F(x)}(y)dm_L(x)$ where $m$ is our volume.
I've read that this is a direct application of Fubini Theorem, but since I don't know much about foliation and differential geometry, I don't really feel confident about this...
Any help is very greatly appreciated.
EDIT : this question has been put on hold because it lacks some context. So here it is. I'm interesting in proving that ergodicity of $C^2$ Anosov on compact riemannian manifold. I'm following Brin & Stuck Introduction to dynamical systems. The key idea of the proof is to prove that the stable/unstable foliation is absolutely continuous, as defined above. At one point, authors show that absolutely continuous implies transversely absolute continuity. To do that, they introduce some auxiliary foliation that is $C^1$, while explaining that it is obviously absolutely continuous and transversely absolutely continuous. I've read this in differents books/ressources, as a direct application of Fubini theorem. The context is pretty standard in DS, so maybe I should be posting this question of MO...
EDIT 2 : Some more context here (especially the line "...basic results from calculus show that a version of Fubini’s theorem holds..." This is precisely the claim for which I'm looking a proof. Since I'm working only on the torus, it might goes like this :
Let $F$ a $C^1$ foliation with $C^1$-leaves on the torus $mathbb{T}^2$, with $lambda$ the Lebesgue measure. Let $U$ a foliation chart. Then, for any $E subset U subset mathbb{T}^2$ measurable, we have : $lambda(E) = int_L int_{F_U(x)} mathbb{1}_E(x,y)delta_x(y) dm_{F(x)(y)} dm_L(x)$ with $L$ any local transversal and $(delta_x)_x$ a family of positive measurable functions.
differential-geometry dynamical-systems
asked Jan 8 at 22:16
HermèsHermès
1,750712
$endgroup$
add a comment |
$begingroup$
I trying to figure out why this is result is true :
If $F$ is a $C^1$-foliation with $C^1$-leaves, then it is absolutely continuous, where absolutely continuity here means that given a foliation chart $(U,h)$ and $L$ some transversal, there exists a measurable family of positive measurable functions $j_x : F_U(x) to mathbb{R}$ such that for any measurable set $A subset U$, we have that $m(A) = int_L int_{F_U(x)} mathbb{1}_A(x,y)j_x(y)dm_{F(x)}(y)dm_L(x)$ where $m$ is our volume.
I've read that this is a direct application of Fubini Theorem, but since I don't know much about foliation and differential geometry, I don't really feel confident about this...
Any help is very greatly appreciated.
EDIT : this question has been put on hold because it lacks some context. So here it is. I'm interesting in proving that ergodicity of $C^2$ Anosov on compact riemannian manifold. I'm following Brin & Stuck Introduction to dynamical systems. The key idea of the proof is to prove that the stable/unstable foliation is absolutely continuous, as defined above. At one point, authors show that absolutely continuous implies transversely absolute continuity. To do that, they introduce some auxiliary foliation that is $C^1$, while explaining that it is obviously absolutely continuous and transversely absolutely continuous. I've read this in differents books/ressources, as a direct application of Fubini theorem. The context is pretty standard in DS, so maybe I should be posting this question of MO...
EDIT 2 : Some more context here (especially the line "...basic results from calculus show that a version of Fubini’s theorem holds..." This is precisely the claim for which I'm looking a proof. Since I'm working only on the torus, it might goes like this :
Let $F$ a $C^1$ foliation with $C^1$-leaves on the torus $mathbb{T}^2$, with $lambda$ the Lebesgue measure. Let $U$ a foliation chart. Then, for any $E subset U subset mathbb{T}^2$ measurable, we have : $lambda(E) = int_L int_{F_U(x)} mathbb{1}_E(x,y)delta_x(y) dm_{F(x)(y)} dm_L(x)$ with $L$ any local transversal and $(delta_x)_x$ a family of positive measurable functions.
differential-geometry dynamical-systems
asked Jan 8 at 22:16
HermèsHermès
1,750712
$endgroup$
$begingroup$
Should I consider posting this on MO ? Some professor at my lab had not really a clue on how to do that...It seems to be part of some folkore : this has been proved on rare occasions, so we just need to find the right reference...
$endgroup$
– Hermès
Jan 11 at 17:59
$begingroup$
Indeed, it is an immediate application of Fubini's theorem after making a coordinate change as in the flow box theorem (use implicit function theorem). Quite unlikely to find an explicit proof written since it is really immediate. Problems only occur when the foliation is not smooth (which is the typical case...).
$endgroup$
– John B
Jan 13 at 21:35
add a comment |
$begingroup$
I trying to figure out why this is result is true :
If $F$ is a $C^1$-foliation with $C^1$-leaves, then it is absolutely continuous, where absolutely continuity here means that given a foliation chart $(U,h)$ and $L$ some transversal, there exists a measurable family of positive measurable functions $j_x : F_U(x) to mathbb{R}$ such that for any measurable set $A subset U$, we have that $m(A) = int_L int_{F_U(x)} mathbb{1}_A(x,y)j_x(y)dm_{F(x)}(y)dm_L(x)$ where $m$ is our volume.
I've read that this is a direct application of Fubini Theorem, but since I don't know much about foliation and differential geometry, I don't really feel confident about this...
Any help is very greatly appreciated.
EDIT : this question has been put on hold because it lacks some context. So here it is. I'm interesting in proving that ergodicity of $C^2$ Anosov on compact riemannian manifold. I'm following Brin & Stuck Introduction to dynamical systems. The key idea of the proof is to prove that the stable/unstable foliation is absolutely continuous, as defined above. At one point, authors show that absolutely continuous implies transversely absolute continuity. To do that, they introduce some auxiliary foliation that is $C^1$, while explaining that it is obviously absolutely continuous and transversely absolutely continuous. I've read this in differents books/ressources, as a direct application of Fubini theorem. The context is pretty standard in DS, so maybe I should be posting this question of MO...
EDIT 2 : Some more context here (especially the line "...basic results from calculus show that a version of Fubini’s theorem holds..." This is precisely the claim for which I'm looking a proof. Since I'm working only on the torus, it might goes like this :
Let $F$ a $C^1$ foliation with $C^1$-leaves on the torus $mathbb{T}^2$, with $lambda$ the Lebesgue measure. Let $U$ a foliation chart. Then, for any $E subset U subset mathbb{T}^2$ measurable, we have : $lambda(E) = int_L int_{F_U(x)} mathbb{1}_E(x,y)delta_x(y) dm_{F(x)(y)} dm_L(x)$ with $L$ any local transversal and $(delta_x)_x$ a family of positive measurable functions.
differential-geometry dynamical-systems
asked Jan 8 at 22:16
HermèsHermès
1,750712
$endgroup$
I trying to figure out why this is result is true :
If $F$ is a $C^1$-foliation with $C^1$-leaves, then it is absolutely continuous, where absolutely continuity here means that given a foliation chart $(U,h)$ and $L$ some transversal, there exists a measurable family of positive measurable functions $j_x : F_U(x) to mathbb{R}$ such that for any measurable set $A subset U$, we have that $m(A) = int_L int_{F_U(x)} mathbb{1}_A(x,y)j_x(y)dm_{F(x)}(y)dm_L(x)$ where $m$ is our volume.
I've read that this is a direct application of Fubini Theorem, but since I don't know much about foliation and differential geometry, I don't really feel confident about this...
Any help is very greatly appreciated.
EDIT : this question has been put on hold because it lacks some context. So here it is. I'm interesting in proving that ergodicity of $C^2$ Anosov on compact riemannian manifold. I'm following Brin & Stuck Introduction to dynamical systems. The key idea of the proof is to prove that the stable/unstable foliation is absolutely continuous, as defined above. At one point, authors show that absolutely continuous implies transversely absolute continuity. To do that, they introduce some auxiliary foliation that is $C^1$, while explaining that it is obviously absolutely continuous and transversely absolutely continuous. I've read this in differents books/ressources, as a direct application of Fubini theorem. The context is pretty standard in DS, so maybe I should be posting this question of MO...
EDIT 2 : Some more context here (especially the line "...basic results from calculus show that a version of Fubini’s theorem holds..." This is precisely the claim for which I'm looking a proof. Since I'm working only on the torus, it might goes like this :
Let $F$ a $C^1$ foliation with $C^1$-leaves on the torus $mathbb{T}^2$, with $lambda$ the Lebesgue measure. Let $U$ a foliation chart. Then, for any $E subset U subset mathbb{T}^2$ measurable, we have : $lambda(E) = int_L int_{F_U(x)} mathbb{1}_E(x,y)delta_x(y) dm_{F(x)(y)} dm_L(x)$ with $L$ any local transversal and $(delta_x)_x$ a family of positive measurable functions.
differential-geometry dynamical-systems
differential-geometry dynamical-systems
asked Jan 8 at 22:16
HermèsHermès
1,750712
asked Jan 8 at 22:16
HermèsHermès
1,750712
edited Jan 10 at 17:29
Hermès
asked Jan 8 at 22:16
HermèsHermès
1,750712
asked Jan 8 at 22:16
HermèsHermès
1,750712
asked Jan 8 at 22:16
HermèsHermès
1,750712
1,750712
$begingroup$
Should I consider posting this on MO ? Some professor at my lab had not really a clue on how to do that...It seems to be part of some folkore : this has been proved on rare occasions, so we just need to find the right reference...
$endgroup$
– Hermès
Jan 11 at 17:59
$begingroup$
Indeed, it is an immediate application of Fubini's theorem after making a coordinate change as in the flow box theorem (use implicit function theorem). Quite unlikely to find an explicit proof written since it is really immediate. Problems only occur when the foliation is not smooth (which is the typical case...).
$endgroup$
– John B
Jan 13 at 21:35
add a comment |
$begingroup$
Should I consider posting this on MO ? Some professor at my lab had not really a clue on how to do that...It seems to be part of some folkore : this has been proved on rare occasions, so we just need to find the right reference...
$endgroup$
– Hermès
Jan 11 at 17:59
$begingroup$
Indeed, it is an immediate application of Fubini's theorem after making a coordinate change as in the flow box theorem (use implicit function theorem). Quite unlikely to find an explicit proof written since it is really immediate. Problems only occur when the foliation is not smooth (which is the typical case...).
$endgroup$
– John B
Jan 13 at 21:35
$begingroup$
Should I consider posting this on MO ? Some professor at my lab had not really a clue on how to do that...It seems to be part of some folkore : this has been proved on rare occasions, so we just need to find the right reference...
$endgroup$
– Hermès
Jan 11 at 17:59
$begingroup$
Should I consider posting this on MO ? Some professor at my lab had not really a clue on how to do that...It seems to be part of some folkore : this has been proved on rare occasions, so we just need to find the right reference...
$endgroup$
– Hermès
Jan 11 at 17:59
$begingroup$
Indeed, it is an immediate application of Fubini's theorem after making a coordinate change as in the flow box theorem (use implicit function theorem). Quite unlikely to find an explicit proof written since it is really immediate. Problems only occur when the foliation is not smooth (which is the typical case...).
$endgroup$
– John B
Jan 13 at 21:35
$begingroup$
Indeed, it is an immediate application of Fubini's theorem after making a coordinate change as in the flow box theorem (use implicit function theorem). Quite unlikely to find an explicit proof written since it is really immediate. Problems only occur when the foliation is not smooth (which is the typical case...).
$endgroup$
– John B
Jan 13 at 21:35
add a comment |
0
active
oldest
votes
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%2f3066807%2fc1-foliation-are-absolutely-continuous%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3066807%2fc1-foliation-are-absolutely-continuous%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$
Should I consider posting this on MO ? Some professor at my lab had not really a clue on how to do that...It seems to be part of some folkore : this has been proved on rare occasions, so we just need to find the right reference...
$endgroup$
– Hermès
Jan 11 at 17:59
$begingroup$
Indeed, it is an immediate application of Fubini's theorem after making a coordinate change as in the flow box theorem (use implicit function theorem). Quite unlikely to find an explicit proof written since it is really immediate. Problems only occur when the foliation is not smooth (which is the typical case...).
$endgroup$
– John B
Jan 13 at 21:35