Measure (mathematics)

In mathematics, a measure is a way to give a size, length, area, or volume to different things. It helps us understand how big, small, heavy, or likely something is. Measures are used in many areas, like figuring out the chance of events happening in probability theory or adding up areas under curves in integration theory.

The idea of measuring things goes back a long time, even to Ancient Greece, when smart people like Archimedes tried to find the area of a circle.

Measures can even be used in surprising places, like quantum physics, where they help describe things we can’t see with our eyes. Whether you’re measuring the length of a room, the volume of water, or the probability of rain, measures help us make sense of the world.

Definition

A measure is a way to give a number to groups of things. For example, we can measure how long something is or how much space it takes up. In math, measures help us talk about sizes, amounts, and even chances.

For example, the measure of a line might be its length. The measure of a shape might be its area. Measures help us compare and work with these ideas in a clear way.

Instances

Main category: Measures (measure theory)

Some important measures are listed here:

• The counting measure tells us how many items are in a group.
• The Lebesgue measure helps us understand lengths, areas, and volumes in a general way.
• The arc length of an interval on the unit circle can be used to measure angles.
• The Haar measure is important for studying groups in mathematics.
• Every probability space gives us a measure that shows how likely different events are.
• The Dirac measure focuses on a single point, giving the value 1 to any set that includes that point and 0 to sets that do not.

Other named measures used in various theories include: Borel measure, Jordan measure, ergodic measure, Gaussian measure, Baire measure, Radon measure, Young measure, and Loeb measure.

In physics, measures can describe how mass or other properties are spread out in space.

Basic properties

In mathematics, a measure helps us understand size, like length or area, but in a more general way. It can apply to many different things, not just shapes.

One key idea is that if you have two sets where one is completely inside the other, the measure of the smaller set will always be less than or equal to the measure of the larger set. Another important idea is how measures behave when you combine many sets together or look at their overlaps. These properties help mathematicians use measures in many areas, like probability and calculus.

Main article: Measure (mathematics))

Other properties

Completeness

Main article: Complete measure

A measurable set (X) is called a null set if its measure is zero. A smaller part of a null set is called negligible. A measure is complete if every negligible set can be measured.

"Dropping the edge"

If (f: X \to [0, +\infty]) is measurable, then for most values (t), the measure of points where (f(x) \geq t) is the same as the measure of points where (f(x) > t). This helps with the Lebesgue integral.

Additivity

Measures must add up in a special way called countable additivity.

Finite and σ-finite measures

A measure space ((X, \Sigma, \mu)) is finite if the measure of (X) is a finite number. A measure (\mu) is σ-finite if (X) can be split into a list of measurable sets, each with finite measure.

For example, the real numbers with the standard Lebesgue measure are σ-finite but not finite. The natural numbers are σ-finite with the counting measure.

Strictly localizable measures

Main article: Decomposable measure

Semifinite measures

A measure is semifinite if, for any set with infinite measure, there is a smaller set with positive finite measure.

Semifinite measures are a broader idea that helps extend some important theorems.

Localizable measures

Localizable measures are a special type of semifinite measure.

s-finite measures

Main article: s-finite measure

A measure is s-finite if it can be written as a sum of finite measures. S-finite measures are more general than sigma-finite measures and are used in the study of stochastic processes.

Non-measurable sets

Main article: Non-measurable set

In mathematics, some special sets are hard to measure with normal rules. This can happen when we use something called the "axiom of choice". Examples of these tricky sets are the Vitali set, and ideas from the Hausdorff paradox and the Banach–Tarski paradox. These sets show that not every group of points in space can have a clear size.

Generalizations

In mathematics, a measure is a way to give values like length or area to objects. Sometimes, these values can be more than just positive numbers. For example, a signed measure can have positive or negative values, and a complex measure uses complex numbers.

There are special types of measures, like projection-valued measures, used in advanced math. Some measures only need to add up for a few objects at a time, and these are called finitely additive measures. These ideas help solve problems in geometry and other areas of math.