|
Borel Regular Measure
In mathematics, an outer measure ''μ'' on ''n''-dimensional Euclidean space R''n'' is called a Borel regular measure if the following two conditions hold: * Every Borel set ''B'' ⊆ R''n'' is ''μ''-measurable in the sense of Carathéodory's criterion: for every ''A'' ⊆ R''n'', ::\mu (A) = \mu (A \cap B) + \mu (A \setminus B). * For every set ''A'' ⊆ R''n'' there exists a Borel set ''B'' ⊆ R''n'' such that ''A'' ⊆ ''B'' and ''μ''(''A'') = ''μ''(''B''). Notice that the set ''A'' need not be ''μ''-measurable: ''μ''(''A'') is however well defined as ''μ'' is an outer measure. An outer measure satisfying only the first of these two requirements is called a ''Borel measure'', while an outer measure satisfying only the second requirement (with the Borel set B replaced by a measurable set B) is called a ''regular measure''. The Lebesgue outer measure on R''n'' is an example of a Borel regular measure. It can ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. Carathéodory's work on outer measures found many applications in measure-theoretic set theory (outer measures are for example used in the proof of the fundamental Carathéodory's extension theorem), and was used in an essential way by Hausdorff to define a dimension-like metric invariant now called Hausdorff dimension. Outer measures are commonly used in the field of geometric measure theory. Measures are generalizations of length, area and volume, but are useful for much more abstract and irregular sets than intervals in \mathbb or balls in \mathbb^. One might expect to define a gen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coordinate is needed to specify a point on itfor example, the point at 5 on a number line. A surface, such as the boundary of a cylinder or sphere, has a dimension of two (2D) because two coordinates are needed to specify a point on itfor example, both a latitude and longitude are required to locate a point on the surface of a sphere. A two-dimensional Euclidean space is a two-dimensional space on the plane. The inside of a cube, a cylinder or a sphere is three-dimensional (3D) because three coordinates are needed to locate a point within these spaces. In classical mechanics, space and time are different categories and refer to absolute space and time. That conception of the world is a four-dimensional space but not the one that w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces'' of any positive integer dimension ''n'', which are called Euclidean ''n''-spaces when one wants to specify their dimension. For ''n'' equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of '' proving'' all properties of the space as theorems, by starting from a few fundamental properties, called '' postulates'', which either were considered as evid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Borel Set
In mathematics, a Borel set is any subset of a topological space that can be formed from its open sets (or, equivalently, from closed sets) through the operations of countable union, countable intersection, and relative complement. Borel sets are named after Émile Borel. For a topological space ''X'', the collection of all Borel sets on ''X'' forms a σ-algebra, known as the Borel algebra or Borel σ-algebra. The Borel algebra on ''X'' is the smallest σ-algebra containing all open sets (or, equivalently, all closed sets). Borel sets are important in measure theory, since any measure defined on the open sets of a space, or on the closed sets of a space, must also be defined on all Borel sets of that space. Any measure defined on the Borel sets is called a Borel measure. Borel sets and the associated Borel hierarchy also play a fundamental role in descriptive set theory. In some contexts, Borel sets are defined to be generated by the compact sets of the topol ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carathéodory's Criterion
Carathéodory's criterion is a result in measure theory that was formulated by Greek mathematician Constantin Carathéodory that characterizes when a set is Lebesgue measurable. Statement Carathéodory's criterion: Let \lambda^* : (\R^n) \to , \infty/math> denote the Lebesgue outer measure on \R^n, where (\R^n) denotes the power set of \R^n, and let M \subseteq \R^n. Then M is Lebesgue measurable if and only if \lambda^*(S) = \lambda^*(S \cap M) + \lambda^*\left(S \cap M^c\right) for every S \subseteq \R^n, where M^c denotes the complement of M. Notice that S is not required to be a measurable set. Generalization The Carathéodory criterion is of considerable importance because, in contrast to Lebesgue's original formulation of measurability, which relies on certain topological properties of \R, this criterion readily generalizes to a characterization of measurability in abstract spaces. Indeed, in the generalization to abstract measures, this theorem is sometimes ext ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. Formal definition Let X be a locally compact Hausdorff space, and let \mathfrak(X) be the smallest σ-algebra that contains the open sets of X; this is known as the σ-algebra of Borel sets. A Borel measure is any measure \mu defined on the σ-algebra of Borel sets. A few authors require in addition that \mu is locally finite, meaning that every point has an open neighborhood with finite measure. For Hausdorff spaces, this implies that \mu(C) 0 and ''μ''(''B''(''x'', ''r'')) ≤ ''rs'' holds for some constant ''s'' > 0 and for every ball ''B''(''x'', ''r'') in ''X'', then the Hausdorff dimension dimHaus(''X'') ≥ ''s''. A partial converse is provided by the Frostman lemma: Lemma: Let ''A'' be a Borel subset of R''n'', and let ''s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Measure
In mathematics, a regular measure on a topological space is a measure for which every measurable set can be approximated from above by open measurable sets and from below by compact measurable sets. Definition Let (''X'', ''T'') be a topological space and let Σ be a σ-algebra on ''X''. Let ''μ'' be a measure on (''X'', Σ). A measurable subset ''A'' of ''X'' is said to be inner regular if :\mu (A) = \sup \ This property is sometimes referred to in words as "approximation from within by compact sets." Some authors use the term tight as a synonym for inner regular. This use of the term is closely related to tightness of a family of measures, since a finite measure ''μ'' is inner regular if and only if, for all ''ε'' > 0, there is some compact subset ''K'' of ''X'' such that ''μ''(''X'' \ ''K'') < ''ε''. This is precisely the condition that the [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lebesgue Outer 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 higher dimensional Euclidean '-spaces. For lower dimensions or , it coincides with the standard measure of length, area, or volume. In general, it is also called '-dimensional volume, '-volume, hypervolume, or simply volume. It is used throughout real analysis, in particular to define Lebesgue integration. Sets that can be assigned a Lebesgue measure are called Lebesgue-measurable; the measure of the Lebesgue-measurable set A is here denoted by \lambda(A). Henri Lebesgue described this measure in the year 1901 which, a year after, was followed up by his description of the Lebesgue integral. Both were published as part of his dissertation in 1902. Definition For any interval I = ,b/math>, or I = (a, b), in the set \mathbb of real numbers, let \ell(I)= b - a denote its length. For any subset E\subseteq\mathb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. Far-reaching generalizations (such as spectral measures and projection-valued measures) of measure are widely used in quantum physics and physics in general. The intuition behind this concept dates back to Ancient Greece, when Archimedes tried to calculate the area of a circle. But it was not until the late 19th and early 20th centuries that measure theory became a branch of mathematics. The foundations of modern measure theory were laid in the works of Émile Borel, Henri Lebesgue, Nikolai Luzin, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Countably Additive
In mathematics, an additive set function is a function \mu mapping sets to numbers, with the property that its value on a union of two disjoint sets equals the sum of its values on these sets, namely, \mu(A \cup B) = \mu(A) + \mu(B). If this additivity property holds for any two sets, then it also holds for any finite number of sets, namely, the function value on the union of ''k'' disjoint sets (where ''k'' is a finite number) equals the sum of its values on the sets. Therefore, an additive set function is also called a finitely additive set function (the terms are equivalent). However, a finitely additive set function might not have the additivity property for a union of an ''infinite'' number of sets. A σ-additive set function is a function that has the additivity property even for countably infinite many sets, that is, \mu\left(\bigcup_^\infty A_n\right) = \sum_^\infty \mu(A_n). Additivity and sigma-additivity are particularly important properties of measures. They ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
