Barrier cone

Last updated

In mathematics, specifically functional analysis, the barrier cone is a cone associated to any non-empty subset of a Banach space. It is closely related to the notions of support functions and polar sets.

Mathematics field of study concerning quantity, patterns and change

Mathematics includes the study of such topics as quantity, structure, space, and change.

Functional analysis branch of mathematical analysis concerned with infinite-dimensional topological vector spaces, often spaces of functions

Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure and the linear functions defined on these spaces and respecting these structures in a suitable sense. The historical roots of functional analysis lie in the study of spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining continuous, unitary etc. operators between function spaces. This point of view turned out to be particularly useful for the study of differential and integral equations.

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well defined limit that is within the space.

Contents

Definition

Let X be a Banach space and let K be a non-empty subset of X. The barrier cone of K is the subset b(K) of X, the continuous dual space of X, defined by

The function

defined for each continuous linear functional on X, is known as the support function of the set K; thus, the barrier cone of K is precisely the set of continuous linear functionals for which σK() is finite.

In mathematics, the support functionhA of a non-empty closed convex set A in describes the (signed) distances of supporting hyperplanes of A from the origin. The support function is a convex function on . Any non-empty closed convex set A is uniquely determined by hA. Furthermore, the support function, as a function of the set A is compatible with many natural geometric operations, like scaling, translation, rotation and Minkowski addition. Due to these properties, the support function is one of the most central basic concepts in convex geometry.

The set of continuous linear functionals for which σK()  1 is known as the polar set of K. The set of continuous linear functionals for which σK()  0 is known as the (negative) polar cone of K. Clearly, both the polar set and the negative polar cone are subsets of the barrier cone.

In functional and convex analysis, related disciplines of mathematics, the polar set is a special convex set associated to any subset of a vector space lying in the dual space . The bipolar of a subset is the polar of , but lies in .

Related Research Articles

In mathematics, any vector space V has a corresponding dual vector space consisting of all linear functionals on V, together with the vector space structure of pointwise addition and scalar multiplication by constants.

In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.

Distributions are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative. Distributions are widely used in the theory of partial differential equations, where it may be easier to establish the existence of distributional solutions than classical solutions, or appropriate classical solutions may not exist. Distributions are also important in physics and engineering where many problems naturally lead to differential equations whose solutions or initial conditions are distributions, such as the Dirac delta function.

In mathematics, particularly in functional analysis, the spectrum of a bounded operator is a generalisation of the set of eigenvalues of a matrix. Specifically, a complex number λ is said to be in the spectrum of a bounded linear operator T if λI − T is not invertible, where I is the identity operator. The study of spectra and related properties is known as spectral theory, which has numerous applications, most notably the mathematical formulation of quantum mechanics.

In mathematics, especially functional analysis, a self-adjoint element of a C*-algebra is called positive if its spectrum consists of non-negative real numbers. Moreover, an element of a C*-algebra is positive if and only if there is some in such that . A positive element is self-adjoint and thus normal.

In functional analysis and related branches of mathematics, the Banach–Alaoglu theorem states that the closed unit ball of the dual space of a normed vector space is compact in the weak* topology. A common proof identifies the unit ball with the weak* topology as a closed subset of a product of compact sets with the product topology. As a consequence of Tychonoff's theorem, this product, and hence the unit ball within, is compact.

In functional analysis, a branch of mathematics, a compact operator is a linear operator L from a Banach space X to another Banach space Y, such that the image under L of any bounded subset of X is a relatively compact subset of Y. Such an operator is necessarily a bounded operator, and so continuous.

In mathematics, the ba space of an algebra of sets is the Banach space consisting of all bounded and finitely additive signed measures on . The norm is defined as the variation, that is

In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus, which has particularly broad scope. Thus for instance if T is an operator, applying the squaring function ss2 to T yields the operator T2. Using the functional calculus for larger classes of functions, we can for example define rigorously the "square root" of the (negative) Laplacian operator −Δ or the exponential

The spectrum of a linear operator that operates on a Banach space consists of all scalars such that the operator does not have a bounded inverse on . The spectrum has a standard decomposition into three parts:

In functional analysis and related areas of mathematics the strong topology is the finest polar topology, the topology with the most open sets, on a dual pair. The coarsest polar topology is called weak topology.

In mathematical analysis, a Banach limit is a continuous linear functional defined on the Banach space of all bounded complex-valued sequences such that for all sequences , in , and complex numbers :

  1. (linearity);
  2. if for all , then (positivity);
  3. , where is the shift operator defined by (shift-invariance);
  4. if is a convergent sequence, then .

An abstract Wiener space is a mathematical object in measure theory, used to construct a "decent" measure on an infinite-dimensional vector space. It is named after the American mathematician Norbert Wiener. Wiener's original construction only applied to the space of real-valued continuous paths on the unit interval, known as classical Wiener space; Leonard Gross provided the generalization to the case of a general separable Banach space.

In functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.

In functional analysis, the dual norm is a measure of the "size" of each continuous linear functional defined on a normed vector space.

In mathematics, the Pettis integral or Gelfand–Pettis integral, named after Israel M. Gelfand and Billy James Pettis, extends the definition of the Lebesgue integral to vector-valued functions on a measure space, by exploiting duality. The integral was introduced by Gelfand for the case when the measure space is an interval with Lebesgue measure. The integral is also called the weak integral in contrast to the Bochner integral, which is the strong integral.

In mathematics — specifically, in probability theory — the concentration dimension of a Banach space-valued random variable is a numerical measure of how “spread out” the random variable is compared to the norm on the space.

References

Hélène Frankowska, or Halina Frankowska is a Polish and French mathematician known for her research in control theory and set-valued analysis. She is a director of research at the Centre national de la recherche scientifique, and works in the Institut de Mathématiques de Jussieu of Pierre and Marie Curie University.

International Standard Book Number Unique numeric book identifier

The International Standard Book Number (ISBN) is a numeric commercial book identifier which is intended to be unique. Publishers purchase ISBNs from an affiliate of the International ISBN Agency.