Lecture

The Riesz-Kakutani Theorem

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Description

This lecture covers the construction of measures, focusing on positive functionals and their inner and outer measures. It discusses the properties of o-additivity, measurability of sets, and the concept of a measurable collection. The lecture also presents propositions related to measurable disjoint sets and concludes with the Riesz-Kakutani Theorem, which establishes the existence of a regular and complete measure on a Borel o-algebra. The theorem connects positive functionals to measures, showcasing the significance of the Lebesgue measure in this context.

Official source

Ontological neighbourhood

Mathematics

Analysis: Measure theory

Related concepts (32)

Lebesgue measure

In measure theory, a branch of mathematics, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of n-dimensional Euclidean space. For n = 1, 2, or 3, it coincides with the standard measure of length, area, or volume. In general, it is also called n-dimensional volume, n''-volume, or simply volume. It is used throughout real analysis, in particular to define Lebesgue integration.

Complete measure

In mathematics, a complete measure (or, more precisely, a complete measure space) is a measure space in which every subset of every null set is measurable (having measure zero). More formally, a measure space (X, Σ, μ) is complete if and only if The need to consider questions of completeness can be illustrated by considering the problem of product spaces. Suppose that we have already constructed Lebesgue measure on the real line: denote this measure space by We now wish to construct some two-dimensional Lebesgue measure on the plane as a product measure.

Borel measure

In mathematics, specifically in measure theory, a Borel measure on a topological space is a measure that is defined on all open sets (and thus on all Borel sets). Some authors require additional restrictions on the measure, as described below. Let be a locally compact Hausdorff space, and let be the smallest σ-algebra that contains the open sets of ; this is known as the σ-algebra of Borel sets. A Borel measure is any measure defined on the σ-algebra of Borel sets.

Outer measure

In the mathematical field of measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the extended real numbers satisfying some additional technical conditions. The theory of outer measures was first introduced by Constantin Carathéodory to provide an abstract basis for the theory of measurable sets and countably additive measures.

Measure (mathematics)

In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as magnitude, mass, and probability of events. These seemingly distinct concepts have many similarities and can often be treated together in a single mathematical context. Measures are foundational in probability theory, integration theory, and can be generalized to assume negative values, as with electrical charge.

Related lectures (64)

Analysis IV: Measurable Sets and Properties

Covers the concept of outer measure and properties of measurable sets.

Lebesgue Measure: Properties and Existence

Covers the properties of the Lebesgue measure and its existence.

Probability Theory: Integration and Convergence

Covers topics in probability theory, focusing on uniform integrability and convergence theorems.

Analysis: Measure and Integration

Introduces the course on measure and integration, focusing on developing a new theory to overcome the limitations of the Riemann integral.

Lebesgue Measure: Definition and Properties