|
Measurable Acting Group
In mathematics, a measurable acting group is a special group that acts on some space in a way that is compatible with structures of measure theory. Measurable acting groups are found in the intersection of measure theory and group theory, two sub-disciplines of mathematics. Measurable acting groups are the basis for the study of invariant measures in abstract settings, most famously the Haar measure, and the study of stationary random measures. Definition Let (G, \mathcal G, \circ) be a measurable group, where \mathcal G denotes the \sigma -algebra on G and \circ the group law. Let further (S, \mathcal S) be a measurable space and let \mathcal A \otimes \mathcal B be the product \sigma -algebra of the \sigma -algebras \mathcal A and \mathcal B . Let G act on S with group action : \Phi \colon G \times S \to S If \Phi is a measurable function In mathematics and in particular measure theory, a measurable function is a function between the underlying ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Action (mathematics)
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Measure Theory
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, Const ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field (mathematics), fields, and vector spaces, can all be seen as groups endowed with additional operation (mathematics), operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right. Various physical systems, such as crystals and the hydrogen atom, and Standard Model, three of the four known fundamental forces in the universe, may be modelled by symmetry groups. Thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is also ce ... [...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 measure \mu on th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stationary Random Measure
In probability theory, a random measure is a measure-valued random element. Random measures are for example used in the theory of random processes, where they form many important point processes such as Poisson point processes and Cox processes. Definition Random measures can be defined as transition kernels or as random elements. Both definitions are equivalent. For the definitions, let E be a separable complete metric space and let \mathcal E be its Borel \sigma -algebra. (The most common example of a separable complete metric space is \R^n ) As a transition kernel A random measure \zeta is a ( a.s.) locally finite transition kernel from a (abstract) probability space (\Omega, \mathcal A, P) to (E, \mathcal E) . Being a transition kernel means that *For any fixed B \in \mathcal \mathcal E , the mapping : \omega \mapsto \zeta(\omega,B) :is measurable from (\Omega, \mathcal A) to (E, \mathcal E) *For every fixed \omega \in \Omega , the mapping : B \mapsto \z ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Measurable Group
In mathematics, a measurable group is a special type of group in the intersection between group theory and measure theory. Measurable groups are used to study measures is an abstract setting and are often closely related to topological groups. Definition Let (G, \circ) a group with group law : \circ : G \times G \to G . Let further \mathcal G be a σ-algebra of subsets of the set G . The group, or more formally the triple (G,\circ,\mathcal G) is called a measurable group if * the inversion g \mapsto g^ is measurable from \mathcal G to \mathcal G . * the group law (g_1, g_2) \mapsto g_1 \circ g_2 is measurable from \mathcal G \otimes \mathcal G to \mathcal G Here, \mathcal A \otimes \mathcal B denotes the formation of the product σ-algebra of the σ-algebras \mathcal A and \mathcal B . Topological groups as measurable groups Every second-countable topological group (G, \mathcal O) can be taken as a measurable group. This is done by equipping the group ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Law
In mathematics, a group is a set and an operation that combines any two elements of the set to produce a third element of the set, in such a way that the operation is associative, an identity element exists and every element has an inverse. These three axioms hold for number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The concept of a group and the axioms that define it were elaborated for handling, in a unified way, essential structural properties of very different mathematical entities such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry groups arise naturally in the study of symmetries and geometric transformations: The symmetries of an object form a group, called the symmetry group of the object, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Measurable Space
In mathematics, a measurable space or Borel space is a basic object in measure theory. It consists of a set and a σ-algebra, which defines the subsets that will be measured. Definition Consider a set X and a σ-algebra \mathcal A on X. Then the tuple (X, \mathcal A) is called a measurable space. Note that in contrast to a measure space, no measure is needed for a measurable space. Example Look at the set: X = \. One possible \sigma-algebra would be: \mathcal A_1 = \. Then \left(X, \mathcal A_1\right) is a measurable space. Another possible \sigma-algebra would be the power set on X: \mathcal A_2 = \mathcal P(X). With this, a second measurable space on the set X is given by \left(X, \mathcal A_2\right). Common measurable spaces If X is finite or countably infinite, the \sigma-algebra is most often the power set on X, so \mathcal A = \mathcal P(X). This leads to the measurable space (X, \mathcal P(X)). If X is a topological space In mathematics, a topological space is, rou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Product Sigma-algebra
Product may refer to: Business * Product (business), an item that serves as a solution to a specific consumer problem. * Product (project management), a deliverable or set of deliverables that contribute to a business solution Mathematics * Product (mathematics) Algebra * Direct product Set theory * Cartesian product of sets Group theory * Direct product of groups * Semidirect product * Product of group subsets * Wreath product * Free product * Zappa–Szép product (or knit product), a generalization of the direct and semidirect products Ring theory * Product of rings * Ideal operations, for product of ideals Linear algebra * Scalar multiplication * Matrix multiplication * Inner product, on an inner product space * Exterior product or wedge product * Multiplication of vectors: ** Dot product ** Cross product ** Seven-dimensional cross product ** Triple product, in vector calculus * Tensor product Topology * Product topology Algebraic topology * Cap product * Cup product * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Measurable Function
In mathematics and in particular measure theory, a measurable function is a function between the underlying sets of two measurable spaces that preserves the structure of the spaces: the preimage of any measurable set is measurable. This is in direct analogy to the definition that a continuous function between topological spaces preserves the topological structure: the preimage of any open set is open. In real analysis, measurable functions are used in the definition of the Lebesgue integral. In probability theory, a measurable function on a probability space is known as a random variable. Formal definition Let (X,\Sigma) and (Y,\Tau) be measurable spaces, meaning that X and Y are sets equipped with respective \sigma-algebras \Sigma and \Tau. A function f:X\to Y is said to be measurable if for every E\in \Tau the pre-image of E under f is in \Sigma; that is, for all E \in \Tau f^(E) := \ \in \Sigma. That is, \sigma (f)\subseteq\Sigma, where \sigma (f) is the σ-algebra gen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Measure Theory")
