$C^1$-foliation are absolutely continuous












0












$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.










share|cite|improve this question











$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
















0












$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.










share|cite|improve this question











$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














0












0








0


1



$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.










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 10 at 17:29







Hermès

















asked Jan 8 at 22:16









HermèsHermès

1,710612




1,710612












  • $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$
    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










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
});


}
});














draft saved

draft discarded


















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
















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














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





















































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







Popular posts from this blog

'app-layout' is not a known element: how to share Component with different Modules

android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

WPF add header to Image with URL pettitions [duplicate]