Related papers: Fubini's Theorem for Daniell Integrals
In his 1918 paper 'A General Form of Integral', Percy John Daniell developed a theory of integration capable of dealing with functions on arbitrary sets. Daniell's method differs from the measure-theoretic notion of integration. Linear…
In this paper Euler shows how, if we have recursive functions f,g,h and an infinite sequence A,B,C,... which satisfies fA=gB+hC, f'B=g'C+h'D, f''C=g''D+h''E, f'''D=g'''E+h'''F, etc., where the primes denote an index not a derivative, then…
A useful identity relating the infinite sum of two Bessel functions to their infinite integral was discovered in Dominici et al. (2012). Here, we extend this result to products of $N$ Bessel functions, and show it can be straightforwardly…
We introduce a formalism of infinite, linearly ordered products in general groups. Using this, we define infinite compositions in certain groups of formal power series such as transseries. We show that such groups can sometimes be…
A celebrated theorem of P.M.Cohn says that for any two division rings (not necessarily finite dimensional) over a field F, their amalgamated product over F is a domain which can be embedded in a division ring. Note that even with the two…
We give an extension of de Finetti's concept of coherence to unbounded (but real-valued) random variables that allows for gambling in the presence of infinite previsions. We present a finitely additive extension of the Daniell integral to…
The aim of this paper is sketch a theory of divisibility and factorisation in topological monoids, where finite products are replaced by convergent products. The algebraic case can then be viewed as the special case of discretely…
In this paper we consider a punctured Riemann surface endowed with a Hermitian metric that equals the Poincar\'e metric near the punctures, and a holomorphic line bundle that polarizes the metric. We show that the quotient of the induced…
The result is established for a Jordan measurable region with rectifiable boundary. The integrand F for the new plane integral to be used is a function of axis-parallel rectangles, finitely additive on non-overlapping ones, hence…
The 1987 Bourgain-Tzafriri Restricted Invertibility Theorem is one of the most celebrated theorems in analysis. At the time of their work, the authors raised the question of a possible infinite dimensional version of the theorem. In this…
We define a filtration indexed by the integers on the tensor product of an integrable highest weight module and a loop module for a quantum affine algebra. We prove that the filtration is either trivial or strictly decreasing and give…
We build a bridge from density combinatorics to dimension theory of continued fractions. We establish a fractal transference principle that transfers common properties of subsets of $\mathbb N$ with positive upper density to properties of…
Goodstein sequences are numerical sequences in which a natural number m, expressed as the complete normal form to a given base a, is modified by increasing the value of the base a by one unit and subtracting one unit from the resulting…
We consider an integral series f(X,t) which depends on the choice of a set X of labelled planar rooted trees. We prove that its inverse for composition is of the form f(Z,t) for another set Z of trees, deduced from X. The proof is…
In this paper, a polynomial version of Furstenberg joining is introduced and its structure is investigated. Particularly, it is shown that if all polynomials are non-linear, then almost every ergodic component of the joining is a direct…
Determinantal and permanental processes are point processes with a correlation function given by a determinant or a permanent. Their atoms exhibit mutual attraction of repulsion, thus these processes are very far from the uncorrelated…
We propose a new integral based on Taylor measures, study its properties extensively, and we illustrate that it includes many concepts from mathematics as special cases. In particular, the new integral emerges as a generalization of the…
In this work we define operator-valued Fourier transforms for suitable integrable elements with respect to the Plancherel weight of a (not necessarily Abelian) locally compact group. Our main result is a generalized version of the Fourier…
We create a sequence version of calculus. First, we define equivalence, some fundamental operations, differential, and integral for sequences. Then, we propose sequence versions of identity function, power function, exponential function,…
The paper is devoted to construction of some closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers. These models are not isomorphic whereas all models of the…