Related papers: Hadwiger's Theorem for Definable Functions
If a real-valued function is continuous on a real interval and it takes on two different values, then it will also take any value in between those two, by the Intermediate Value Theorem. It is not immediately clear what would be a natural…
We develop a theory of Valuation Hilbert Modules and prove a version of Beurling's theorem for these. Then we apply our version of Beurling's theorem to obtain complete descriptions of the closed invariant subspaces of a number of Hilbert…
A classification of $\operatorname{SL}(n)$ and translation covariant Minkowski valuations on log-concave functions is established. The moment vector and the recently introduced level set body of log-concave functions are characterized.…
In this short note we present several infinite dimensional theorems which generalize corresponding facts from the finite dimensional differential inclusions theory.
Extended real-valued functions are often used in optimization theory, but in different ways for infimum problems and for supremum problems. We present an approach to extended real-valued functions that works for all types of problems and…
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…
A complete classification of all zonal, continuous, and translation invariant valuations on convex bodies is established. The valuations obtained are expressed as principal value integrals with respect to the area measures. The convergence…
The concept of generalized functions taking values in a differentiable manifold is extended to a functorial theory. We establish several characterization results which allow a global intrinsic formulation both of the theory of…
We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…
A complete classification of unimodular valuations on the set of lattice polygons with values in the spaces of polynomials and formal power series, respectively, is established. The valuations are classified in terms of their behaviour with…
The theoretical computing of special values assumed by the hypergeometric functions has a high interest not only on its own, but also in sight of the remarkable implications to both pure Mathematics and Mathematical Physics. Accordingly, in…
Given a real-valued function defined on the Heisenberg group, we provide a definition of abstract convexity and Fenchel transform that takes into account the sub-Riemannian structure of the group. In our main result, we prove that, likewise…
This paper introduces a natural definition for the volume of the unit ball in $n$-dimensional normed spaces $\mathbb{R}^n$. This definition preserves the Euclidean relation $P(B)/V(B)=n$ between the perimiter and the volume of the unit ball…
In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show…
This research aimed to introduce the concept of harmonically m-convex set-valued functions, which is obtained from the combination of two definitions: harmonically m-convex functions and set-valued functions. In this work some properties…
A representation embedding between cartesian theories can be defined to be a functor between respective categories of models that preserves finitely-generated projective models and that preserves and reflects certain epimorphisms. This…
The Alesker-Bernig-Schuster theorem asserts that each irreducible representation of the special orthogonal group appears with multiplicity at most one as a subrepresentation of the space of continuous translation-invariant valuations with…
In this paper, we first study the arithmetic properties of intuitionistic fuzzy number, the monotonicity of intuitionistic fuzzy function and the derivative of intuitionistic fuzzy functions and then we study the fundamental properties on…
A Daniell-Stone type characterization theorem for Aumann integrals of set-valued measurable functions will be proven. It is assumed that the values of these functions are closed convex upper sets, a structure that has been used in some…
Given a vector space of microscopic quantum observables, density functional theory is formulated on its dual space. A generalized Hohenberg-Kohn theorem and the existence of the universal energy functional in the dual space are proven. In…