In mathematics, in the field of functional analysis, a Minkowski functional (after Hermann Minkowski) or gauge function is a function that recovers a notion of distance on a linear space.
If is a subset of a real or complex vector space then the or of is defined to be the function valued in the extended real numbers, defined by
where the infimum of the empty set is defined to be positive infinity (which is a real number so that would then be real-valued).
The set is often assumed/picked to have properties, such as being an absorbing disk in that guarantee that will be a real-valued seminorm on
In fact, every seminorm on is equal to the Minkowski functional (that is, ) of any subset of satisfying (where all three of these sets are necessarily absorbing in and the first and last are also disks).
Thus every seminorm (which is a defined by purely algebraic properties) can be associated (non-uniquely) with an absorbing disk (which is a with certain geometric properties) and conversely, every absorbing disk can be associated with its Minkowski functional (which will necessarily be a seminorm).
These relationships between seminorms, Minkowski functionals, and absorbing disks is a major reason why Minkowski functionals are studied and used in functional analysis.
In particular, through these relationships, Minkowski functionals allow one to "translate" certain properties of a subset of into certain properties of a function on
The Minkowski function is always non-negative (meaning ).
This property of being nonnegative stands in contrast to other classes of functions, such as sublinear functions and real linear functionals, that do allow negative values.
However, might not be real-valued since for any given the value is a real number if and only if is not empty.
Consequently, is usually assumed to have properties (such as being absorbing in for instance) that will guarantee that is real-valued.
Let be a subset of a real or complex vector space Define the of or the associated with or induced by as being the function valued in the extended real numbers, defined by
where recall that the infimum of the empty set is (that is, ).
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In linear algebra, a sublinear function (or functional as is more often used in functional analysis), also called a quasi-seminorm or a Banach functional, on a vector space is a real-valued function with only some of the properties of a seminorm. Unlike seminorms, a sublinear function does not have to be nonnegative-valued and also does not have to be absolutely homogeneous. Seminorms are themselves abstractions of the more well known notion of norms, where a seminorm has all the defining properties of a norm that it is not required to map non-zero vectors to non-zero values.
In functional analysis, two methods of constructing normed spaces from disks were systematically employed by Alexander Grothendieck to define nuclear operators and nuclear spaces. One method is used if the disk is bounded: in this case, the auxiliary normed space is with norm The other method is used if the disk is absorbing: in this case, the auxiliary normed space is the quotient space If the disk is both bounded and absorbing then the two auxiliary normed spaces are canonically isomorphic (as topological vector spaces and as normed spaces).
In linear algebra and related areas of mathematics a balanced set, circled set or disk in a vector space (over a field with an absolute value function ) is a set such that for all scalars satisfying The balanced hull or balanced envelope of a set is the smallest balanced set containing The balanced core of a set is the largest balanced set contained in Balanced sets are ubiquitous in functional analysis because every neighborhood of the origin in every topological vector space (TVS) contains a balanced neig
Introduction to classical Calculus of Variations and a selection of modern techniques.
The goal of this course is to give an introduction to the theory of distributions and cover the fundamental results of Sobolev spaces including fractional spaces that appear in the interpolation theor
In this course we will define rigorous mathematical models for computing on large datasets, cover main algorithmic techniques that have been developed for sublinear (e.g. faster than linear time) data
, , , , , ,
Covers normed spaces, dual spaces, Banach spaces, Hilbert spaces, weak and strong convergence, reflexive spaces, and the Hahn-Banach theorem.
Covers distributions, derivatives, convergence, and continuity criteria in function spaces.
Explores Density Functional Theory, its foundations, practical applications, functionals, and challenges in kinetic energy expression.
. We study very weak solutions to scalar Euler-Lagrange equations associated with quadratic convex functionals. We investigate whether W1,1 solutions are necessarily W 1,2 Nash and Schauder applicable. We answer this question positively for a suitable clas ...
Amer Mathematical Soc2024
,
Through the use of the piecewise-linearity condition of the total energy, we correct the self-interaction for the study of polarons by constructing nonempirical functionals at the semilocal level of theory. We consider two functionals, the gamma DFT and mu ...
The accurate representation of the structural and dynamical properties of water is essential for simulating the unique behavior of this ubiquitous solvent. Here we assess the current status of describing liquid water using ab initio molecular dynamics, wit ...