%------------------------------------------------------------------------------ % Fubini-Tonelli Theorems % % Author: David Lester, Manchester University, NIA, Universite Perpignan % % All references are to SK Berberian "Fundamentals of Real Analysis", % Springer, 1991 % % Version 1.0 5/06/09 Initial Version %------------------------------------------------------------------------------
fubini[(IMPORTING subset_algebra_def, measure_def)
T1,T2: TYPE,
S1:sigma_algebra[T1],S2:sigma_algebra[T2],
mu:sigma_finite_measure[T1,S1],
nu:sigma_finite_measure[T2,S2]]: THEORY
BEGIN
IMPORTING fubini_tonelli[T1,T2,S1,S2,mu,nu]
f: VAR integrable[[T1,T2],sigma_times(S1,S2),m_times(mu,nu)]
x: VAR T1
y: VAR T2
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
