|
Baire Measure
In mathematics, a Baire measure is a measure on the σ-algebra of Baire sets of a topological space whose value on every compact Baire set is finite. In compact metric spaces the Borel sets and the Baire sets are the same, so Baire measures are the same as Borel measures that are finite on compact sets. In general Baire sets and Borel sets need not be the same. In spaces with non-Baire Borel sets, Baire measures are used because they connect to the properties of continuous functions more directly. Variations There are several inequivalent definitions of Baire sets, so correspondingly there are several inequivalent concepts of Baire measure on a topological space. These all coincide on spaces that are locally compact σ-compact Hausdorff spaces. Relation to Borel measure In practice Baire measures can be replaced by regular Borel measures. The relation between Baire measures and regular Borel measures is as follows: *The restriction of a finite Borel measure to the Baire sets ... [...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 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, Johann Radon, Co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Borel 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 \ and said to be outer regular if :\mu (A) = \inf \ *A measure is called inner regular if every measurable set is inner regular. Some authors use a different definition: a measure is called inner regular if every open measurable set is inner regular. *A measure is called outer regular if every measurable set is outer regular. *A measure is called regular if it is outer regular and inner regular. Examples Regular measures * Lebesgue measure on the real line is a regular measure: see the regularity theorem for Lebesgue measure. * Any Baire probability ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pontryagin Duality
In mathematics, Pontryagin duality is a duality between locally compact abelian groups that allows generalizing Fourier transform to all such groups, which include the circle group (the multiplicative group of complex numbers of modulus one), the finite abelian groups (with the discrete topology), and the additive group of the integers (also with the discrete topology), the real numbers, and every finite dimensional vector space over the reals or a -adic field. The Pontryagin dual of a locally compact abelian group is the locally compact abelian topological group formed by the continuous group homomorphisms from the group to the circle group with the operation of pointwise multiplication and the topology of uniform convergence on compact sets. The Pontryagin duality theorem establishes Pontryagin duality by stating that any locally compact abelian group is naturally isomorphic with its bidual (the dual of its dual). The Fourier inversion theorem is a special case of this ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Translation Invariant
In geometry, to translate a geometric figure is to move it from one place to another without rotating it. A translation "slides" a thing by . In physics and mathematics, continuous translational symmetry is the invariance of a system of equations under any translation. Discrete translational symmetry is invariant under discrete translation. Analogously an operator on functions is said to be translationally invariant with respect to a translation operator T_\delta if the result after applying doesn't change if the argument function is translated. More precisely it must hold that \forall \delta \ A f = A (T_\delta f). Laws of physics are translationally invariant under a spatial translation if they do not distinguish different points in space. According to Noether's theorem, space translational symmetry of a physical system is equivalent to the momentum conservation law. Translational symmetry of an object means that a particular translation does not change the object. F ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation \cdot that combines any two elements a and b of A to form another element of A, denoted a \cdot b. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Compact Group
In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are locally compact and such groups have a natural measure called the Haar measure. This allows one to define integrals of Borel measurable functions on ''G'' so that standard analysis notions such as the Fourier transform and L^p spaces can be generalized. Many of the results of finite group representation theory are proved by averaging over the group. For compact groups, modifications of these proofs yields similar results by averaging with respect to the normalized Haar integral. In the general locally compact setting, such techniques need not hold. The resulting theory is a central part of harmonic analysis. The representation theory for locally compact abelian groups is described by Pontryagin duality. Examples and counterexamples *An ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haar Measure
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups. This measure was introduced by Alfréd Haar in 1933, though its special case for Lie groups had been introduced by Adolf Hurwitz in 1897 under the name "invariant integral". Haar measures are used in many parts of analysis, number theory, group theory, representation theory, statistics, probability theory, and ergodic theory. Preliminaries Let (G, \cdot) be a locally compact Hausdorff topological group. The \sigma-algebra generated by all open subsets of G is called the Borel algebra. An element of the Borel algebra is called a Borel set. If g is an element of G and S is a subset of G, then we define the left and right translates of S by ''g'' as follows: * Left translate: g S = \. * Right translate: S g = \. Left and right translates map Borel sets onto Borel sets. A measur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Interval
In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysis, the unit interval is used to study homotopy theory in the field of topology. In the literature, the term "unit interval" is sometimes applied to the other shapes that an interval from 0 to 1 could take: , , and . However, the notation ' is most commonly reserved for the closed interval . Properties The unit interval is a complete metric space, homeomorphic to the extended real number line. As a topological space, it is compact, contractible, path connected and locally path connected. The Hilbert cube is obtained by taking a topological product of countably many copies of the unit interval. In mathematical analysis, the unit interval is a one-dimensional analytical manifold whose boundary consists of the two points 0 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Counting Measure
In mathematics, specifically measure theory, the counting measure is an intuitive way to put a measure on any set – the "size" of a subset is taken to be the number of elements in the subset if the subset has finitely many elements, and infinity \infty if the subset is infinite. The counting measure can be defined on any measurable space (that is, any set X along with a sigma-algebra) but is mostly used on countable sets. In formal notation, we can turn any set X into a measurable space by taking the power set of X as the sigma-algebra \Sigma; that is, all subsets of X are measurable sets. Then the counting measure \mu on this measurable space (X,\Sigma) is the positive measure \Sigma \to ,+\infty/math> defined by \mu(A) = \begin \vert A \vert & \text A \text\\ +\infty & \text A \text \end for all A\in\Sigma, where \vert A\vert denotes the cardinality of the set A. The counting measure on (X,\Sigma) is σ-finite if and only if the space X is countable In mathemat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Spaces
In topology and related branches of mathematics, a Hausdorff space ( , ), separated space or T2 space is a topological space where, for any two distinct points, there exist neighbourhood (mathematics), neighbourhoods of each which are disjoint sets, disjoint from each other. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" (T2) is the most frequently used and discussed. It implies the uniqueness of Limit of a sequence, limits of limit of a sequence, sequences, net (topology), nets, and filter (topology), filters. Hausdorff spaces are named after Felix Hausdorff, one of the founders of topology. Hausdorff's original definition of a topological space (in 1914) included the Hausdorff condition as an axiom. Definitions Points x and y in a topological space X can be ''separated by neighbourhoods'' if existential quantification, there exists a neighbourhood (topology), neighbourhood U of x and a neighbourhood V of y such that U an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
σ-algebra
In mathematical analysis and in probability theory, a σ-algebra (also σ-field) on a set ''X'' is a collection Σ of subsets of ''X'' that includes the empty subset, is closed under complement, and is closed under countable unions and countable intersections. The pair (''X'', Σ) is called a measurable space. A σ-algebra is a type of set algebra. An algebra of sets needs only to be closed under the union or intersection of ''finitely'' many subsets, which is a weaker condition. The main use of σ-algebras is in the definition of measures; specifically, the collection of those subsets for which a given measure is defined is necessarily a σ-algebra. This concept is important in mathematical analysis as the foundation for Lebesgue integration, and in probability theory, where it is interpreted as the collection of events which can be assigned probabilities. Also, in probability, σ-algebras are pivotal in the definition of conditional expectation. In statistics, (sub) σ-alg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Measure (mathematics)")
