Related papers: A note on product of measures
I prove a theorem about iterated integrals for non-product measures in a product space. The first task is to show the existence of a family of measures on the second space, indexed by the points on of the first space (outside a negligible…
The Fubini product of operator spaces provide a powerful tool for analysing properties of tensor products. In this paper we review the the theory of Fubini products and apply it to the problem of computing invariant parts of dynamical…
In this paper we evaluate sums and integrals of products of Fubini polynomials and have new explicit formulas for Fubini polynomials and numbers. As a consequence of these results new explicit formulas for p-Bernoulli numbers and…
We first show that every operation possesses an unique dual operation and measures an unique effect. If $a$ and $b$ are effects and $J$ is an operation that measures $a$, we define the sequential product of $a$ then $b$ relative to $J$.…
The method of direct computation of universal (fibred) product in the category of commutative associative algebras of finite type with unity over a field is given and proven. The field of coefficients is not supposed to be algebraically…
Our basic concept is the set $\mathcal{E}(H)$ of effects on a finite dimensional complex Hilbert space $H$. If $a,b\in\mathcal{E}(H)$, we define the sequential product $a[\mathcal{I}]b$ of $a$ then $b$. The sequential product depends on the…
We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…
We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups…
We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any…
We give a new proof for a product formula of Jacobi which turns out to be equivalent to a $q$-trigonometric product which was stated without proof by Gosper. We apply this formula to derive a $q$-analogue for the Gauss multiplication…
By treating the multiple argument identity of the logarithm of the Gamma function as a functional equation, we obtain a curious infinite product representation of the $sinc$ function in terms of the cotangent function. This result is…
This paper presents a reformulation of the Leibniz product rule as a finite sum that expresses the fractional derivative of the product of two differentiable functions. This paper then proves the cases for when the product consists of an…
We describe the formalization of the existence and uniqueness of Haar measure in the Lean theorem prover. The Haar measure is an invariant regular measure on locally compact groups, and it has not been formalized in a proof assistant…
We characterize the connection between closed and $\sigma$-finite measures on orthogonal projections of von Neumann algebras.
Local actions of $\mathbb{P}_\mathbb{N}$, the group of finite permutations on $\mathbb{N}$, on quasi-local algebras are defined and proved to be $\mathbb{P}_\mathbb{N}$-abelian. It turns out that invariant states under local actions are…
Two results on product of compact filters are shown to be the common principle behind a surprisingly large number of theorems.
Our basic structure is a finite-dimensional complex Hilbert space $H$. We point out that the set of effects on $H$ form a convex effect algebra. Although the set of operators on $H$ also form a convex effect algebra, they have a more…
We characterize the situations in which certain accumulation properties of topological spaces are preserved under taking products.
An example is given of a compact absolute retract that is not a Hilbert cube manifold but whose second symmetric porduct is the Hilbert cube. A factor theorem is given for nth symmetric product of the cartesian product of any absolute…
Upper bounds on projective rigidity of each homogeneously embedded homogeneous variety are determined; and a new, invariant characterization of the Fubini forms is given.