Search results

Several theorems in [[mathematical analysis]] bear the name of [[Giuseppe Vitali]]: * '''[[Vitali covering theorem]]''' in the foundations of [[measure theory]] ...

...asure]] on a [[separable space|separable]] [[Banach space]]. It was proved in the 1970s by [[Gopinath Kallianpur|Kallianpur]]–Satô–Stefan and ...ble Banach space is an [[abstract Wiener space | abstract Wiener measure]] in the sense of [[Leonard Gross | L. Gross]]". The result by Dudley et al. gen ...

{{for|other theorems by the Riesz brothers|Riesz theorem (disambiguation){{!}}Riesz theorem}} ...of μ that is not [[absolutely continuous]] with respect to the [[Lebesgue measure]] ''d''θ can be detected by means of [[Fourier coefficient]]s. ...

{{short description|Relates tightness of measures to relative compactness in the space of probability measures}} ...convergence of measures|weak convergence]]) in the space of [[probability measure]]s. It is credited to the [[Soviet Union|Soviet]] mathematician [[Yuri Vasi ...

{{Short description|Theory of irregularities of distribution}} ...the theme of ''classical'' discrepancy theory, namely distributing points in some space such that they are evenly distributed with respect to some (most ...

In [[computational complexity theory]], the '''compression theorem''' is an important theorem about the [[Comput ...] <math>\varphi</math> of the computable functions and a [[Blum complexity measure]] <math>\Phi</math> where a complexity class for a boundary function <math> ...

{{Short description|Measure theory and probability theorem}} ...ath> It is used as a type of [[transfinite induction]] to prove many other theorems, such as [[Fubini's theorem]]. ...

{{Short description|Theorem in analysis}} ...ge" of ''A'', the set of points in ''A'' whose "neighborhood" is partially in ''A'' and partially outside of ''A'', is [[null set|negligible]]. ...

...urnal |last=Cramér |first=H. |last2=Wold |first2=H. |date=1936 |title=Some Theorems on Distribution Functions |url=http://doi.wiley.com/10.1112/jlms/s1-11.4.29 ...h> [[Convergence_of_random_variables#Convergence_in_distribution|converges in distribution]] to <math> {X} </math> if and only if: ...

...a geometrical space invariant under the [[symmetry group]] of that space. In more recent times, the meaning has been broadened to include a view of inva ...ntegralgeometrie'', [[VEB Deutscher Verlag der Wissenschaften]]</ref> was in this connection. It follows from the [[Crofton formula|classic theorem of C ...

{{Short description|Paradox in mathematics}} ...y <math>1/3</math>, <math>1/2</math>, and <math>2/3</math> of the non-zero measure of the whole sphere). ...

...of maps is a point that is [[Fixed point (mathematics)|fixed]] by each map in the set.) ...sed on a different approach. Ryll-Nardzewski himself gave a complete proof in the original spirit.<ref>{{cite journal|first=C.|last=Ryll-Nardzewski|title ...

...that is '''totally monotone''' is a mixture of [[exponential function]]s. In one important special case the mixture is a [[weighted average]], or [[expe ...other convention puts the opposite [[inequality (mathematics)|inequality]] in the above definition. ...

{{Short description|Theorem in measure theory}} ...out|the theorem of real analysis|the separation theorem in descriptive set theory|Lusin's separation theorem}} ...

In [[probability theory]], an '''empirical measure''' is a [[random measure]] arising from a particular realization of a (usually finite) sequence of [ ...ely. These are uniformly good estimates under certain conditions. Theorems in the area of [[empirical process]]es provide rates of this convergence. ...

...can be [[Replicating strategy|replicated]]. Though this property is common in models, it is not always considered desirable or realistic.<ref name=Pasc / In a discrete (i.e. finite state) market, the following hold:<ref name=Pasc /> ...

...ty theory]], '''Blum's speedup theorem''', first stated by [[Manuel Blum]] in 1967, is a fundamental [[theorem]] about the complexity of [[computable fun ...called ''optimal''). Blum's speedup theorem shows that for any complexity measure, there exists a computable function such that there is no optimal program c ...

{{Short description|Theorem in mathematical analysis}} ...has [[Lebesgue measure]] 0. This makes the set of critical values "small" in the sense of a [[generic property]]. The theorem is named for [[Anthony Mor ...

{{Short description|Theorem in measure theory}} ...e]].<ref>{{Cite book |last=Mackevicius |first=Vigirdas |title=Integral and Measure: From Rather Simple to Rather Complex |date=September 2014 |publisher=Wiley ...

{{About|Bochner's theorem in [[harmonic analysis]]|Bochner's theorem in Riemannian geometry|Bochner's theorem (Riemannian geometry)}} ...].)<ref>{{citation|author=William Feller|title=Introduction to probability theory and its applications, volume 2|page=634|publisher=Wiley}}</ref> ...