Measure theory Definition and 132 Threads

In mathematics, a measure on a set is a systematic way to assign a number, intuitively interpreted as its size, to some subsets of that set, called measurable sets. In this sense, a measure is a generalization of the concepts of length, area, and volume. A particularly important example is the Lebesgue measure on a Euclidean space, which assigns the usual length, area, or volume to subsets of a Euclidean spaces, for which this be defined. For instance, the Lebesgue measure of an interval of real numbers is its usual length.
Technically, a measure is a function that assigns a non-negative real number or +∞ to (certain) subsets of a set X (see § Definition, below). A measure must further be countably additive: if a 'large' subset can be decomposed into a finite (or countably infinite) number of 'smaller' disjoint subsets that are measurable, then the 'large' subset is measurable, and its measure is the sum (possibly infinite) of the measures of the "smaller" subsets.
In general, if one wants to associate a consistent size to all subsets of a given set, while satisfying the other axioms of a measure, one only finds trivial examples like the counting measure. This problem was resolved by defining measure only on a sub-collection of all subsets; the so-called measurable subsets, which are required to form a σ-algebra. This means that countable unions, countable intersections and complements of measurable subsets are measurable. Non-measurable sets in a Euclidean space, on which the Lebesgue measure cannot be defined consistently, are necessarily complicated in the sense of being badly mixed up with their complement. Indeed, their existence is a non-trivial consequence of the axiom of choice.
Measure theory was developed in successive stages during the late 19th and early 20th centuries by Émile Borel, Henri Lebesgue, Johann Radon, and Maurice Fréchet, among others. The main applications of measures are in the foundations of the Lebesgue integral, in Andrey Kolmogorov's axiomatisation of probability theory and in ergodic theory. In integration theory, specifying a measure allows one to define integrals on spaces more general than subsets of Euclidean space; moreover, the integral with respect to the Lebesgue measure on Euclidean spaces is more general and has a richer theory than its predecessor, the Riemann integral. Probability theory considers measures that assign to the whole set the size 1, and considers measurable subsets to be events whose probability is given by the measure. Ergodic theory considers measures that are invariant under, or arise naturally from, a dynamical system.

View More On Wikipedia.org
Recent contents Top users
  1. P

    I Measure with respect to complete measure is also complete

    A measure space ##(X,\mathcal M,\mu)## is complete iff $$S\subset N\in\mathcal M\text{ and }\mu(N)=0\implies S\in\mathcal M.$$The meaning of a complete measure is a measure whose domain includes all subsets of null sets. Suppose now ##\mu## is complete. Under what conditions is ##\nu## also...
  2. P

    I Help understanding a passage from a proof of change of variables formula

    Here's an excerpt from the proof of the change of variables formula in Folland's book (Theorem 2.47, page 76, 2nd edition, 6th and later printings): For reference, see Theorem 2.40 below. I don't understand how he is using Theorem 2.40 in the quoted passage. Which part of Theorem 2.40 is he...
  3. P

    Associativity of product sigma algebras

    This is an exercise from Folland's book. Here's my attempt at showing ##\mathcal M_1\otimes\mathcal M_2\otimes\mathcal M_3=(\mathcal M_1\otimes\mathcal M_2)\otimes\mathcal M_3##. ##\subset##: since every measurable rectangle ##A_1 \times A_2## belongs to ##\mathcal M_1 \otimes \mathcal M_2##...
  4. P

    I Construction of sigma-algebras: a counterexample

    Consider a set ##X## and family of sets ##\mathcal E\subset\mathcal P(X)##. Let ##\mathcal E_1=\mathcal{E}\cup\{E^c:E\in\mathcal E\}## and then for ##j>1## define ##\mathcal E_j## to be the collection of all sets that are countable unions of sets in ##\mathcal E_{j-1}## or complements of such...
  5. P

    I On translation and dilation invariant Lebesgue measure: Folland's text

    Let ##m## be Lebesgue measure and ##\mathcal L## the Lebesgue ##\sigma##-algebra (the complete ##\sigma##-algebra that includes the Borel ##\sigma##-algebra). Consider, Folland starts off by saying that the collection of open intervals is invariant under translations and dilations, so the same...
  6. P

    I Simple partitioning of sequence in Proposition 1.15 in Folland's text

    Below is Proposition 1.15 in Folland at the beginning of the section of Borel measures on ##\mathbb R## (he is trying to construct a measure from ##F##). Here the algebra ##\mathcal{A}## is the finite disjoint union of h-intervals, where h-interval is a set of the form ##(a,b]##, ##(a,\infty)##...
  7. P

    I Exercise 2.23 in Folland's real analysis text

    I'm working the above exercise on the Lebesgue criterion for Riemann integrability in Folland's real analysis text, i.e. a function is Riemann integrable on ##[a,b]## iff it is continuous a.e. on ##[a,b]##. I think I know a solution, but I'm more concerned about elementary things. Are ##h,H##...
  8. P

    I Regarding dominated convergence theorem in Folland

    That's the first sentence in the proof. Prior to this Folland mentions the spaces ##L^1(\overline{\mu})## and ##L^1(\mu)## and how "we can (and shall) identify these spaces." (here ##\overline{\mu}## is the completion of ##\mu##). The propositions mentioned in the proof read as follows: I'm...
  9. P

    I Compact support functions and law of a random variable

    I'm reading in my probability book about characterizations of the law of a random variable, that is, the probability measure ##\mathbb P_X(A)=\mathbb P(X\in A)##. I read the following passage (I'm paraphrasing slightly): This extract is basically saying that if $$\mathbb E[\varphi(X)]:=\int...
  10. P

    I On Jensen's inequality for conditional expectation

    Questions: 1. I am a bit unsure why ##g(x)=h(x)##. Clearly ##g(x)\geq h(x)##, but why is ##g(x)\leq h(x)##? Here's my explanation, which is kind of lengthy, but maybe you have a better one. If ##(a,b)\in\mathcal E_{\varphi}## is such that ##\varphi(x)>ax+b## for all ##x\in\mathbb R##, then...
  11. P

    I Question about convex property in Jensen's inequality

    I am reading a proof of Jensen's inequality. The proof goes like this. I do not know much about convex functions, but why does (1) hold? The definition of convex I'm using is that $$\varphi(tx+(1-t)y)\leq t\varphi(x)+(1-t)\varphi(y)$$ holds for all ##x,y\in\mathbb R## and all ##t\in[0,1]##.
  12. P

    I Is this conditional expectation identity true?

    I'm working through an exercise to prove various identities of the conditional expectation. One of the identities I need to show is the following $$E(f(X,Y)\mid Y=y)=E(f(X,y)\mid Y=y).$$ But I am a little concerned about this identity from things I've read elsewhere. I am paraphrasing from...
  13. P

    I Help understanding conditional expectation identity

    Let ##(\Omega,\mathcal{F},P)## be a probability space, and let us define the conditional expectation ##{\rm E}[X\mid\mathcal{G}]## for integrable random variables ##X:\Omega\to\mathbb{R}##, i.e. ##X\in L^1(P)##, and sub-sigma-algebras ##\mathcal{G}\subseteq\mathcal{F}##. If...
  14. P

    I On transformation of r.v.s. and sigma-finite measures

    I'm reading this article on transformation of random variables, i.e. functions of random variables. We have a probability space ##(\Omega, \mathcal F, P)## and measurable spaces ##(S, \mathcal S)## and ##(T, \mathcal T)##. We have a r.v. ##X:\Omega\to S## and a measurable map ##r:S\to T##. Then...
  15. P

    I On pdf of a sum of two r.v.s and differentiating under the integral

    I'm reading in my book about the pdf of the sum of two continuous random variables ##X_1,X_2##. First, I'm a bit confused about the fact that the sum of two continuous random variables may not be continuous. Does this fact make the derivation below still valid or is there some key assumption...
  16. P

    I On theorem 1.19 in Folland's and completion of measure

    Folland remarks on page 35 that each increasing and right-continuous function gives rise to not only a Borel measure ##\mu_F##, but also a complete measure ##\bar\mu_F## which includes the Borel ##\sigma##-algebra. He then says that the complete measure is the extension of the measure and that...
  17. cianfa72

    I ##L^2## square integrable function Hilbert space

    Hi, I'm aware of the ##L^2## space of square integrable functions is an Hilbert space. I believe the condition to be ##L^2## square-integrable actually refers to the notion of Lebesgue integral, i.e. a measurable space ##(X,\Sigma)## is tacitly understood. Using properties of Lebesgue integral...
  18. P

    I On integral of simple function and representation

    I wonder, how does one show that the integral is independent of the representation of the simple function? Suppose $$\phi=\sum_{i=1}^N c_i\chi_{E_i}=\sum_{i=1}^M b_i\chi_{F_i}.$$ How does it follow then that $$\sum_{i=1}^N c_i\mu(E_i)=\sum_{i=1}^M b_i\mu(F_i)?$$ I have discussed this problem...
  19. P

    I Collection of finite unions of half-open intervals form an algebra

    I'm reading in these notes the following passage (I only have a question about the last two sentences): The last two sentences confuse me. Which sets does the author have in mind? I know what an algebra is (basically a sigma algebra, but not closed under countable infinite operations, but...
  20. P

    I Parallel rectangles contained in oblique rectangle

    I am reading these notes on measure theory. On page 27, in chapter 2 on the construction of the Lebesgue measure, in section 2.8 on linear transformations, the author presents a lemma which is not proved. I wonder, how can one prove this? The author uses the following terminology; a (closed)...
  21. P

    I Help with basic transfinite induction proof

    Some definitions: The following statement has been left as an exercise in transfinite induction in a handout. I'm looking at Wikipedia and am trying to follow their outline: 1. Show it for the base case, i.e. that ##\mathcal{F}_{0}\subset\mathcal{G}##. This is, however, trivial, since we...
  22. P

    I Two basic results from measure theory -- on volumes of rectangles

    The notes I'm reading are from here. But I have summarized all the necessary details in this post. My question concerns the proposition, but it uses the definition below and the lemma. We say two rectangles are almost disjoint if they intersect at most along their boundaries. I omit the...
  23. Lagrange fanboy

    I Prove projection of a measurable set from product space is measurable

    I was reading page 33 of https://staff.fnwi.uva.nl/p.j.c.spreij/onderwijs/TI/mtpTI.pdf when I saw this claim: Given measurable spaces ##(\Omega_1,\Sigma_1), (\Omega_2,\Sigma_2)## and the product space ##(\Omega_1\times \Omega_2, \Sigma)## where ##\Sigma## is the product sigma algebra, the...
  24. L

    Approaching the Measure of a Set: Strategies for Finding f(Eα)

    my question is how can I approch the problem ? And what is explicitly the set f(Eα)? {f(x) ∈ [a, b] such that what ??}
  25. U

    I Limit of limits of linear combinations of indicator functions

    I have a sequence of functions ##0\leq f_1\leq f_2\leq ... \leq f_n \leq ...##, each one defined in ##\mathbb{R}^n## with values in ##\mathbb{R}##. I have also that ##f_n\uparrow f##. Every ##f_i## is the limit (almost everywhere) of "step" functions, that is a linear combination of rectangles...
  26. A

    Analysis Prerequisites Measure theory for ug student in physics

    Hi, I would like to know if an undergraduate student in physics could be able to study measure theory in order to have a better understanding of the probability theory and go further in this way (stochastic process) ? Assuming a first year of calculus and the level of "Mathematical methods in...
  27. MathematicalPhysicist

    I A claim in measure theory which seems flawed to me

    The claim states the following: Let ##(X,\mathcal{A},\mu)## be a measurable space, ##E## is a measurable subset of ##X## and ##f## is a measurable bounded function which has a bounded support in ##E##. Prove that: if ##f\ge 0## almost everywhere in ##E##, then for each measurable subset...
  28. D

    A Applications of analysis in signal processing/machine learning?

    Hello everyone, My question for this thread concerns the application of (mainly) mathematical analysis to fields such as signal processing and machine learning. More specifically, I was wondering if you happen to know of some interesting application of things like measure theory or functional...
  29. Jatex

    I Radon-Nikodym Derivative and Bayes' Theorem

    I tried to derive the right hand side of the Radon-Nikodym derivative above but I got different result, here is my attempt: \begin{equation} \label{eq1} \begin{split} \frac{\mathrm d\mu_{\Theta\mid X}}{\mathrm d\mu_\Theta}(\theta \mid x) &= f_{\Theta\mid X}(\theta\mid x) \mathrm \space...
  30. C

    Courses Graduate level Mathematics courses of interest for Biological Physics

    I am an incoming graduate student in Theoretical Physics at Universiteit Utrecht, and I struggle to make a choice for one of my mathematical electives. I hope someone can help me out. My main interests lie in the fields of Statistical Physics, phase transitions and collective and critical...
  31. L

    A Definitions of Cylinder Sets and Cylinder Set Measure

    I'm trying to learn about Abstract Wiener Spaces and Gaussian Measures in a general context. For that I'm reading the paper Abstract Wiener Spaces by Leonard Gross, which seems to be where these things were first presented. Now, I'm having a hard time to grasp the idea/motivation behind the...
  32. H

    Is Tonelli's Theorem a Useful Tool for Determining the Existence of Integrals?

    Hi I am sitting with a homework problem which is to show if I can actually integrate a function. with 2D measure of lebesgue. the function is given by ##\frac{x-y}{(x+y)^2} d \lambda^2 (x,y)##. I know that a function ##f## is integrable if ##f \in L^{1}(\mu) \iff \int |f|^{1} d \mu < \infty##...
  33. J

    MHB Measure Theory - Existence of Fsigma set contained in measurable set

    Problem: Let $E$ have finite outer measure. Show that $E$ is measurable if and only if there is a $F_\sigma$ set $F \subset E$ with $m^*\left(F\right)=m^*\left(E\right)$. Proof: "$\leftarrow$" To Show: $E=K\cup N$ where $K$ is $F_\sigma$ and $m^*(N)=m(N)=0$. By assumption, $\exists F$, and...
  34. Bill2500

    I Munkres-Analysis on Manifolds: Extended Integrals

    I am studying Analysis on Manifolds by Munkres. He introduces improper/extended integrals over open set the following way: Let A be an open set in R^n; let f : A -> R be a continuous function. If f is non-negative on A, we define the (extended) integral of f over A, as the supremum of all the...
  35. Bill2500

    I Munkres-Analysis on Manifolds: Theorem 20.1

    Hello. I am studying Analysis on Manifolds by Munkres. I have a problem with a proof in section 20. It states that: Let A be an n by n matrix. Let h:R^n->R^n be the linear transformation h(x)=A x. Let S be a rectifiable set (the boundary of S BdS has measure 0) in R^n. Then v(h(S))=|detA|v(S)...
  36. L

    A Convergence of a subsequence of a sum of iid r.v.s

    ##X_i## is an independent and identically distributed random variable drawn from a non-negative discrete distribution with known mean ##0 < \mu < 1## and finite variance. No probability is assigned to ##\infty##. Now, given ##1<M##, a sequence ##\{X_i\}## for ##i\in1...n## is said to meet...
  37. Joppy

    MHB Reference request - Measure theory

    Hi! Can anyone recommend a good introductory book for measure theory? I've found Terence Tao's online book to be a good start, but would I be asking too much if I wanted something even more introductory? Ultimately I'm working toward Ergodic theory (and probability theory along the way) with...
  38. pawlo392

    A Convergence of an Integral Involving Lebesgue Measure and Sine Functions

    Hello. I have problem with this integral : \lim_{n \to \infty } \int_{\mathbb{R}^+} \left( 1+ \frac{x}{n} \right) \sin ^n \left( x \right) d\mu_1 where ## \mu_1## is Lebesgue measure.
  39. G

    I Generalization of measure theory to uncountable unions

    Hi. Is there some kind of measure theory generalized to uncountable unions? Of course one needs to take care how to make sense of sums over an uncountable index set. I was thinking about following formulation of the additivity property of the "measure": $$\mu\left(\bigcup_{i\in\ I}...
  40. K

    Is (-infinity, b) an event for any real number b?

    Homework Statement Suppose that the sample space is the set of all real numbers and that every interval of the form (-infinity, b] for any real number b is an event. Show that for any real number b (-infinity, b) must also be an event. The Attempt at a Solution use the 3 conditions required...
  41. Luck0

    I Question about Haar measures on lie groups

    I'm not sure if this question belongs to here, but here it goes Suppose you have to integrate over a lie group in the fundamental representation. If you pass to the adjoint representation of that group, does the Haar measure have to change? I think that it should not change because it is...
  42. D

    Show a limited function is measurable

    Not sure about the translated term limited (from German); perhaps cut-off function? Homework Statement Let f be a measurable function in a measure space (\Omega, \mathcal{F}, \mu) and C>0. Show that the following function is measurable: f_C(x) = \left\{ \begin{array}{ll} f(x) & \mbox{if }...
  43. G

    Geometry What would a textbook on measure theory be called?

    I was quite distraught knowing that chegg.com has no textbook solutions for "measure theory" even though it has four for abstract algebra. Could it be that the textbooks are called something else?
  44. Demystifier

    I Is probability theory a branch of measure theory?

    In another math thread https://www.physicsforums.com/threads/categorizing-math.889809/ several people expressed their opinion that, while statistics is a branch of applied mathematics, the probability theory is pure mathematics and a branch of analysis, or more precisely, a branch of measure...
  45. mr.tea

    Prob/Stats Which Book for Learning Probability with Measure Theory?

    Hi, I am looking for a book for studying probability theory using measure theory. This is the first course I am taking of probability. Notions and theorems from measure theory are part of this course. As it turns out, this is a catastrophic disaster, and the textbook for this course is also not...
  46. DavideGenoa

    I N-dimensional Lebesgue measure: def. with Borel sets

    Let us define, as Kolmogorov-Fomin's Элементы теории функций и функционального анализа does, the definition of outer measure of a bounded set ##A\subset \mathbb{R}^n## as $$\mu^{\ast}(A):=\inf_{A\subset \bigcup_k P_k}\sum_k m(P_k)$$where the infimum is extended to all the possible covers of...
  47. B

    I Extensive properties as measures

    It has always struck me that extensive quantities (kinetic energy, volume, momentum, angular momentum, mass, entropy, ...) could be defined as measures (https://en.wikipedia.org/wiki/Measure_(mathematics)) whereas intensive quantities are fields. Are there known ressources that put emphasis on...
  48. DavideGenoa

    I Lebesgue measure under orthogonal transofrmation

    Hello, friends! Let us define the external measure of the set ##A\subset \mathbb{R}^n## as $$\mu^{\ast}(A):=\inf_{A\subset \bigcup_k P_k}\sum_k m(P_k)$$where the infimum is extended to all the possible covers of ##A## by finite or countable families of ##n##-paralleliped ##P_k=\prod_{i=1}^n...
  49. Jianphys17

    I Lebesgue measure and Fourier theory

    Hi everyone, in this days i was seeing a little of Fourier series and transform, and i wondered if it was necessary to better understand before the measure and Lebesgue integral before studying it. Or it's not necessary?
  50. M

    Second derivatives of magnetic potential

    Hi there! It looks like you are trying to prove that the second derivatives of the magnetic potential function ##\mathbf{A}## belong to the class ##C(\mathbb{R}^3)##. This is a great question and involves some advanced mathematical techniques. One approach you can take is to use the dominated...
Back
Top