Related papers: Fundamental Theorem of Calculus
Let $U(G)$ be a maximal unipotent subgroup of one of classical groups $G=GL(V),O(V),Sp(V)$. Let $W$ be a direct sum of copies of $V$ and its dual $V*$. For the natural action $U(G):W$, we describe a minimal system of homogeneous generators…
Oftentimes, Stokes' theorem is derived by using, more or less explicitly, the invariance of the curl of the vector field with respect to translations and rotations. However, this invariance -- which is oftentimes described as the curl being…
There are different meanings of foundation of mathematics: philosophical, logical, and mathematical. Here foundations are considered as a theory that provides means (concepts, structures, methods etc.) for the development of whole…
The leading idea of the paper is to treat the theorem of Wigner with methods inspired by geometry. The exercise mentionned in the title has two functions: On the one hand it can serve as a pedagogical text in order to make the reader…
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…
We introduce a general approach to traces that we consider as linear continuous functionals on some function space where we focus on some special choices for that space. This leads to an integral calculus for the computation of the precise…
The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the…
For compact sets $K\subset \mathbb C^{d}$, we introduce a subalgebra $A_{D}(K)$ of $A(K)$, which allows us to obtain Mergelyan type theorems for products of planar compact sets as well as for graphs of functions.
In a recent paper, we introduced the concept of generalized partial-slice monogenic functions. The class of these functions includes both the theory of monogenic functions and of slice monogenic functions with values in a Clifford algebra.…
What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category representing the syntax of regular logic to the category of…
The motivation of this paper is to construct the theory of vector calculus of multivariate arithmetical functions. We prove analogues of integral theorems and Poincare's lemma.
The Fundamental Theorem of Algebra (FTA) asserts that every complex polynomial has as many complex roots, counted with multiplicities, as its degree. A probabilistic analogue of this theorem for real roots of real polynomials, commonly…
We provide a constructive treatment of basic results in the theory of central simple algebras. One main issue is the fact that one starting result, Wedderburn's Theorem stating that a simple algebra is a matrix algebra over a skew field, is…
Fractional calculus is the calculus of differentiation and integration of non-integer orders. In a recently paper (Annals of Physics 323 (2008) 2756-2778), the Fundamental Theorem of Fractional Calculus is highlighted. Based on this…
A mathematics student's first introduction to the fundamental theorem of finite fields (FTFF) often occurs in an advanced abstract algebra course and invokes the power of Galois theory to prove it. Yet the combinatorial and algebraic coding…
We develop differential calculus and gauge theory on a finite set G. An elegant formulation is obtained when G is supplied with a group structure and in particular for a cyclic group. Connes' two-point model (which is an essential…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
We introduce a fundamental theory for the kinetics of systems of classical particles. The theory represents a unification of kinetic theory, Brownian motion and field theory. It is self-consistent and is the dynamic generalization of the…
Choosing the appropriate geometry in which to express the equations of fundamental physics can have a determinant effect on the simplicity of those equations and on the way they are perceived. The point of departure in this paper is the…
In this paper we investigate the question: 'How can A Foundational Classical Singlesuccedent Sequent Calculus be formulated?' The choice of this particular area of proof-theoretic study is based on a particular ground that is, to formulate…