Projection (measure Theory)
In measure theory, projection maps often appear when working with product (Cartessian) spaces: The product sigma-algebra of measurable spaces is defined to be the finest such that the projection mappings will be measurable. Sometimes for some reasons product spaces are equipped with -algebra different than ''the'' product -algebra. In these cases the projections need not be measurable at all. The projected set of a measurable set is called analytic set and need not be a measurable set. However, in some cases, either relatively to the product -algebra or relatively to some other -algebra, projected set of measurable set is indeed measurable. Henri Lebesgue himself, one of the founders of measure theory, was mistaken about that fact. In a paper from 1905 he wrote that the projection of Borel set in the plane onto the real line is again a Borel set. The mathematician Mikhail Yakovlevich Suslin found that error about ten years later, and his following research has led to descriptiv ... [...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]   |
|
Mikhail Yakovlevich Suslin
Mikhail Yakovlevich Suslin (russian: Михаи́л Я́ковлевич Су́слин; , November 15, 1894 – 21 October 1919, Krasavka) (sometimes transliterated Souslin) was a Russian mathematician who made major contributions to the fields of general topology and descriptive set theory. Biography Mikhail Suslin was born on November 15, 1894 in the village of Krasavka, the only child of poor peasants Yakov Gavrilovich and Matrena Vasil'evna Suslin. From a young age, Suslin showed a keen interest in mathematics and was encouraged to continue his education by his primary school teacher, Vera Andreevna Teplogorskaya-Smirnova. From 1905 to 1913 he attended Balashov boys' grammar school. In 1913, Suslin enrolled at the Imperial Moscow University and studied under the tutelage of Nikolai Luzin. He graduated with a degree in mathematics in 1917 and immediately began working at the Ivanovo-Voznesensk Polytechnic Institute. Suslin died of typhus in the 1919 Moscow epidemic follo ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
PlanetMath
PlanetMath is a free, collaborative, mathematics online encyclopedia. The emphasis is on rigour, openness, pedagogy, real-time content, interlinked content, and also community of about 24,000 people with various maths interests. Intended to be comprehensive, the project is currently hosted by the University of Waterloo. The site is owned by a US-based nonprofit corporation, "PlanetMath.org, Ltd". PlanetMath was started when the popular free online mathematics encyclopedia MathWorld was temporarily taken offline for 12 months by a court injunction as a result of the CRC Press lawsuit against the Wolfram Research company and its employee (and MathWorld's author) Eric Weisstein. Materials The main PlanetMath focus is on encyclopedic entries. It formerly operated a self-hosted forum, but now encourages discussion via Gitter. , the encyclopedia hosted about 9,289 entries and over 16,258 ''concepts'' (a concept may be for example a specific notion defined within a more general entry ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Universally Measurable Set
In mathematics, a subset A of a Polish space X is universally measurable if it is measurable with respect to every complete probability measure on X that measures all Borel subsets of X. In particular, a universally measurable set of reals is necessarily Lebesgue measurable (see below). Every analytic set is universally measurable. It follows from projective determinacy, which in turn follows from sufficient large cardinals, that every projective set is universally measurable. Finiteness condition The condition that the measure be a probability measure; that is, that the measure of X itself be 1, is less restrictive than it may appear. For example, Lebesgue measure on the reals is not a probability measure, yet every universally measurable set is Lebesgue measurable. To see this, divide the real line into countably many intervals of length 1; say, ''N''0=[0,1), ''N''1=[1,2), ''N''2=[-1,0), ''N''3=[2,3), ''N''4=[-2,-1), and so on. Now letting μ be Lebesgue measure, define ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Polish Space
In the mathematical discipline of general topology, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset. Polish spaces are so named because they were first extensively studied by Polish topologists and logicians— Sierpiński, Kuratowski, Tarski and others. However, Polish spaces are mostly studied today because they are the primary setting for descriptive set theory, including the study of Borel equivalence relations. Polish spaces are also a convenient setting for more advanced measure theory, in particular in probability theory. Common examples of Polish spaces are the real line, any separable Banach space, the Cantor space, and the Baire space. Additionally, some spaces that are not complete metric spaces in the usual metric may be Polish; e.g., the open interval (0, 1) is Polish. Between any two uncountable Polish spaces, there is a Borel isomorphism; that ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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 :S \subseteq N \in \Sigma \mbox \mu(N) = 0\ \Rightarrow\ S \in \Sigma. Motivation 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 (\R, B, \lambda). We now wish to construct some two-dimensional Lebesgue measure \lambda^2 on the plane \R^2 as a product measure. Naively, we would take the -algebra on \R^2 to be B \otimes B, the smallest -algebra containing all measurable "rectangles" A_1 \times A_2 for A_1, A_2 \in B. While this approach does define a measure space, it has a flaw. Since every singleton set has one-dimensional Lebesgue measure zero, \lam ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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. Sets that can be assigned a Lebesgue measure are called Lebesgue-measurable; the measure of the Lebesgue-measurable set ''A'' is here denoted by ''λ''(''A''). Henri Lebesgue described this measure in the year 1901, followed the next year 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\mathbb, the Lebesgue oute ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lebesgue Sigma-algebra
Henri Léon Lebesgue (; June 28, 1875 – July 26, 1941) was a French mathematician known for his theory of integration, which was a generalization of the 17th-century concept of integration—summing the area between an axis and the curve of a function defined for that axis. His theory was published originally in his dissertation ''Intégrale, longueur, aire'' ("Integral, length, area") at the University of Nancy during 1902. Personal life Henri Lebesgue was born on 28 June 1875 in Beauvais, Oise. Lebesgue's father was a typesetter and his mother was a school teacher. His parents assembled at home a library that the young Henri was able to use. His father died of tuberculosis when Lebesgue was still very young and his mother had to support him by herself. As he showed a remarkable talent for mathematics in primary school, one of his instructors arranged for community support to continue his education at the Collège de Beauvais and then at Lycée Saint-Louis and Lycée Louis ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Descriptive Set Theory
In mathematical logic, descriptive set theory (DST) is the study of certain classes of "well-behaved" subsets of the real line and other Polish spaces. As well as being one of the primary areas of research in set theory, it has applications to other areas of mathematics such as functional analysis, ergodic theory, the study of operator algebras and group actions, and mathematical logic. Polish spaces Descriptive set theory begins with the study of Polish spaces and their Borel sets. A Polish space is a second-countable topological space that is metrizable with a complete metric. Heuristically, it is a complete separable metric space whose metric has been "forgotten". Examples include the real line \mathbb, the Baire space \mathcal, the Cantor space \mathcal, and the Hilbert cube I^. Universality properties The class of Polish spaces has several universality properties, which show that there is no loss of generality in considering Polish spaces of certain restricted form ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Real Line
In elementary mathematics, a number line is a picture of a graduated straight line (geometry), line that serves as visual representation of the real numbers. Every point of a number line is assumed to correspond to a real number, and every real number to a point. The integers are often shown as specially-marked points evenly spaced on the line. Although the image only shows the integers from –3 to 3, the line includes all real numbers, continuing forever in each direction, and also numbers that are between the integers. It is often used as an aid in teaching simple addition and subtraction, especially involving negative numbers. In advanced mathematics, the number line can be called as a real line or real number line, formally defined as the set (mathematics), set of all real numbers, viewed as a geometry, geometric space (mathematics), space, namely the Euclidean space of dimension one. It can be thought of as a vector space (or affine space), a metric space, a topological ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Projection (mathematics)
In mathematics, a projection is a mapping of a set (or other mathematical structure) into a subset (or sub-structure), which is equal to its square for mapping composition, i.e., which is idempotent. The restriction to a subspace of a projection is also called a ''projection'', even if the idempotence property is lost. An everyday example of a projection is the casting of shadows onto a plane (sheet of paper): the projection of a point is its shadow on the sheet of paper, and the projection (shadow) of a point on the sheet of paper is that point itself (idempotency). The shadow of a three-dimensional sphere is a closed disk. Originally, the notion of projection was introduced in Euclidean geometry to denote the projection of the three-dimensional Euclidean space onto a plane in it, like the shadow example. The two main projections of this kind are: * The projection from a point onto a plane or central projection: If ''C'' is a point, called the center of projection, then the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Plane (geometry)
In mathematics, a plane is a Euclidean (flat), two-dimensional surface that extends indefinitely. A plane is the two-dimensional analogue of a point (zero dimensions), a line (one dimension) and three-dimensional space. Planes can arise as subspaces of some higher-dimensional space, as with one of a room's walls, infinitely extended, or they may enjoy an independent existence in their own right, as in the setting of two-dimensional Euclidean geometry. Sometimes the word ''plane'' is used more generally to describe a two-dimensional surface, for example the hyperbolic plane and elliptic plane. When working exclusively in two-dimensional Euclidean space, the definite article is used, so ''the'' plane refers to the whole space. Many fundamental tasks in mathematics, geometry, trigonometry, graph theory, and graphing are performed in a two-dimensional space, often in the plane. Euclidean geometry Euclid set forth the first great landmark of mathematical thought, an axiomatic ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |