Definition of map preserve the measure : why is it $mu(T^-1(A))=mu(A)$ and not $mu(T(A))=mu(A)$.Problem with the definition of Lebesgue Measure and borel sets!When is the composition operator assigned to a measure-preserving map unitary?Definition of doubling measureDoes changing the values of a $mathbb P$-a.s. defined map at countably many points preserve the map?Do differentiable functions preserve measure zero sets? Measurable sets?Why do we usually construct the Lebesgue Measure on finite outer measure sets before arbitrary measurable sets?Why do we need to declare a probability measure for the definition of stochastic processes?Why the probability distribution of a uniform random variable is the Lebesgue measure?Making sense of measure-theoretic definition of random variableIs the integral of a continuous map always a Radon measure?

Does this property of comaximal ideals always holds?

Why do Australian milk farmers need to protest supermarkets' milk price?

Do I need life insurance if I can cover my own funeral costs?

PlotLabels with equations not expressions

Science-fiction short story where space navy wanted hospital ships and settlers had guns mounted everywhere

Will a pinhole camera work with instant film?

When do we add an hyphen (-) to a complex adjective word?

Is it possible / allowed to upcast ritual spells?

Does splitting a potentially monolithic application into several smaller ones help prevent bugs?

Why are the outputs of printf and std::cout different

My adviser wants to be the first author

How to deal with a cynical class?

Possible Leak In Concrete

Is it possible that AIC = BIC?

Be in awe of my brilliance!

What are some nice/clever ways to introduce the tonic's dominant seventh chord?

An Accountant Seeks the Help of a Mathematician

2D counterpart of std::array in C++17

Is having access to past exams cheating and, if yes, could it be proven just by a good grade?

How could a scammer know the apps on my phone / iTunes account?

Why using two cd commands in bash script does not execute the second command

Identifying the interval from A♭ to D♯

Have researchers managed to "reverse time"? If so, what does that mean for physics?

Why do passenger jet manufacturers design their planes with stall prevention systems?



Definition of map preserve the measure : why is it $mu(T^-1(A))=mu(A)$ and not $mu(T(A))=mu(A)$.


Problem with the definition of Lebesgue Measure and borel sets!When is the composition operator assigned to a measure-preserving map unitary?Definition of doubling measureDoes changing the values of a $mathbb P$-a.s. defined map at countably many points preserve the map?Do differentiable functions preserve measure zero sets? Measurable sets?Why do we usually construct the Lebesgue Measure on finite outer measure sets before arbitrary measurable sets?Why do we need to declare a probability measure for the definition of stochastic processes?Why the probability distribution of a uniform random variable is the Lebesgue measure?Making sense of measure-theoretic definition of random variableIs the integral of a continuous map always a Radon measure?













1












$begingroup$


Let $(X, mathcal B,mathbb P)$ a probability space. In wikipedia, they say that a map $T:Xto X$ preserve the measure if $$mathbb P(T^-1(A))=mu(A),$$
for all $Ain mathcal B$.




Why a definition as $mathbb P(T(A))=mathbb P(A)$ would not work ? It looks more natural, no ?










share|cite|improve this question







New contributor




Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$
















    1












    $begingroup$


    Let $(X, mathcal B,mathbb P)$ a probability space. In wikipedia, they say that a map $T:Xto X$ preserve the measure if $$mathbb P(T^-1(A))=mu(A),$$
    for all $Ain mathcal B$.




    Why a definition as $mathbb P(T(A))=mathbb P(A)$ would not work ? It looks more natural, no ?










    share|cite|improve this question







    New contributor




    Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.







    $endgroup$














      1












      1








      1





      $begingroup$


      Let $(X, mathcal B,mathbb P)$ a probability space. In wikipedia, they say that a map $T:Xto X$ preserve the measure if $$mathbb P(T^-1(A))=mu(A),$$
      for all $Ain mathcal B$.




      Why a definition as $mathbb P(T(A))=mathbb P(A)$ would not work ? It looks more natural, no ?










      share|cite|improve this question







      New contributor




      Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.







      $endgroup$




      Let $(X, mathcal B,mathbb P)$ a probability space. In wikipedia, they say that a map $T:Xto X$ preserve the measure if $$mathbb P(T^-1(A))=mu(A),$$
      for all $Ain mathcal B$.




      Why a definition as $mathbb P(T(A))=mathbb P(A)$ would not work ? It looks more natural, no ?







      measure-theory






      share|cite|improve this question







      New contributor




      Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|cite|improve this question







      New contributor




      Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|cite|improve this question




      share|cite|improve this question






      New contributor




      Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked Mar 11 at 10:09









      PierrePierre

      618




      618




      New contributor




      Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      Pierre is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.




















          1 Answer
          1






          active

          oldest

          votes


















          5












          $begingroup$

          The image of a measurabe set under a measurable transformation may not be measurable but the inverse image is always measurable (by definition of measurability).



          If $T$ is bijective and $T^-1$ is also measurable thee the two conditions are identical.






          share|cite|improve this answer









          $endgroup$












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



            );






            Pierre is a new contributor. Be nice, and check out our Code of Conduct.









            draft saved

            draft discarded


















            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3143512%2fdefinition-of-map-preserve-the-measure-why-is-it-mut-1a-mua-and-n%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









            5












            $begingroup$

            The image of a measurabe set under a measurable transformation may not be measurable but the inverse image is always measurable (by definition of measurability).



            If $T$ is bijective and $T^-1$ is also measurable thee the two conditions are identical.






            share|cite|improve this answer









            $endgroup$

















              5












              $begingroup$

              The image of a measurabe set under a measurable transformation may not be measurable but the inverse image is always measurable (by definition of measurability).



              If $T$ is bijective and $T^-1$ is also measurable thee the two conditions are identical.






              share|cite|improve this answer









              $endgroup$















                5












                5








                5





                $begingroup$

                The image of a measurabe set under a measurable transformation may not be measurable but the inverse image is always measurable (by definition of measurability).



                If $T$ is bijective and $T^-1$ is also measurable thee the two conditions are identical.






                share|cite|improve this answer









                $endgroup$



                The image of a measurabe set under a measurable transformation may not be measurable but the inverse image is always measurable (by definition of measurability).



                If $T$ is bijective and $T^-1$ is also measurable thee the two conditions are identical.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Mar 11 at 10:12









                Kavi Rama MurthyKavi Rama Murthy

                67.2k53067




                67.2k53067




















                    Pierre is a new contributor. Be nice, and check out our Code of Conduct.









                    draft saved

                    draft discarded


















                    Pierre is a new contributor. Be nice, and check out our Code of Conduct.












                    Pierre is a new contributor. Be nice, and check out our Code of Conduct.











                    Pierre is a new contributor. Be nice, and check out our Code of Conduct.














                    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%2f3143512%2fdefinition-of-map-preserve-the-measure-why-is-it-mut-1a-mua-and-n%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

                    Lowndes Grove History Architecture References Navigation menu32°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661132°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661178002500"National Register Information System"Historic houses of South Carolina"Lowndes Grove""+32° 48' 6.00", −79° 57' 58.00""Lowndes Grove, Charleston County (260 St. Margaret St., Charleston)""Lowndes Grove"The Charleston ExpositionIt Happened in South Carolina"Lowndes Grove (House), Saint Margaret Street & Sixth Avenue, Charleston, Charleston County, SC(Photographs)"Plantations of the Carolina Low Countrye

                    random experiment with two different functions on unit interval Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Random variable and probability space notionsRandom Walk with EdgesFinding functions where the increase over a random interval is Poisson distributedNumber of days until dayCan an observed event in fact be of zero probability?Unit random processmodels of coins and uniform distributionHow to get the number of successes given $n$ trials , probability $P$ and a random variable $X$Absorbing Markov chain in a computer. Is “almost every” turned into always convergence in computer executions?Stopped random walk is not uniformly integrable

                    How should I support this large drywall patch? Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How do I cover large gaps in drywall?How do I keep drywall around a patch from crumbling?Can I glue a second layer of drywall?How to patch long strip on drywall?Large drywall patch: how to avoid bulging seams?Drywall Mesh Patch vs. Bulge? To remove or not to remove?How to fix this drywall job?Prep drywall before backsplashWhat's the best way to fix this horrible drywall patch job?Drywall patching using 3M Patch Plus Primer