|
Minkowski Gauge
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 K is a subset of a real or complex vector space X, then the or of K is defined to be the function p_K : X \to , \infty valued in the extended real numbers, defined by p_K(x) := \inf \ \quad \text x \in X, where the infimum of the empty set is defined to be positive infinity \,\infty\, (which is a real number so that p_K(x) would then be real-valued). The Minkowski function is always non-negative (meaning p_K \geq 0) and p_K(x) is a real number if and only if \ is not empty. 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. In functional analysis, K is usually assumed to have properties (such as being absorbing in X, for instance) that will guarantee that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Minkowski Functional
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 K is a subset of a real or complex vector space X, then the or of K is defined to be the function p_K : X \to , \infty valued in the extended real numbers, defined by p_K(x) := \inf \ \quad \text x \in X, where the infimum of the empty set is defined to be positive infinity \,\infty\, (which is a real number so that p_K(x) would then be real-valued). The Minkowski function is always non-negative (meaning p_K \geq 0) and p_K(x) is a real number if and only if \ is not empty. 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. In functional analysis, K is usually assumed to have properties (such as being absorbing in X, for instance) that will guarantee that for every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infimum
In mathematics, the infimum (abbreviated inf; plural infima) of a subset S of a partially ordered set P is a greatest element in P that is less than or equal to each element of S, if such an element exists. Consequently, the term ''greatest lower bound'' (abbreviated as ) is also commonly used. The supremum (abbreviated sup; plural suprema) of a subset S of a partially ordered set P is the least element in P that is greater than or equal to each element of S, if such an element exists. Consequently, the supremum is also referred to as the ''least upper bound'' (or ). The infimum is in a precise sense dual to the concept of a supremum. Infima and suprema of real numbers are common special cases that are important in analysis, and especially in Lebesgue integration. However, the general definitions remain valid in the more abstract setting of order theory where arbitrary partially ordered sets are considered. The concepts of infimum and supremum are close to minimum and maxim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Vector Space
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations (vector addition and scalar multiplication) are also Continuous function, continuous functions. Such a topology is called a and every topological vector space has a Uniform space, uniform topological structure, allowing a notion of uniform convergence and Complete topological vector space, completeness. Some authors also require that the space is a Hausdorff space (although this article does not). One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Banach spaces, Hilbert spaces and Sobolev spaces are other well-known examples of TVSs. Many topological vec ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Norm (mathematics)
In mathematics, a norm is a function from a real or complex vector space to the non-negative real numbers that behaves in certain ways like the distance from the origin: it commutes with scaling, obeys a form of the triangle inequality, and is zero only at the origin. In particular, the Euclidean distance of a vector from the origin is a norm, called the Euclidean norm, or 2-norm, which may also be defined as the square root of the inner product of a vector with itself. A seminorm satisfies the first two properties of a norm, but may be zero for vectors other than the origin. A vector space with a specified norm is called a normed vector space. In a similar manner, a vector space with a seminorm is called a ''seminormed vector space''. The term pseudonorm has been used for several related meanings. It may be a synonym of "seminorm". A pseudonorm may satisfy the same axioms as a norm, with the equality replaced by an inequality "\,\leq\," in the homogeneity axiom. It can also re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Function
In mathematics, a homogeneous function is a function of several variables such that, if all its arguments are multiplied by a scalar, then its value is multiplied by some power of this scalar, called the degree of homogeneity, or simply the ''degree''; that is, if is an integer, a function of variables is homogeneous of degree if :f(sx_1,\ldots, sx_n)=s^k f(x_1,\ldots, x_n) for every x_1, \ldots, x_n, and s\ne 0. For example, a homogeneous polynomial of degree defines a homogeneous function of degree . The above definition extends to functions whose domain and codomain are vector spaces over a field : a function f : V \to W between two -vector spaces is ''homogeneous'' of degree k if for all nonzero s \in F and v \in V. This definition is often further generalized to functions whose domain is not , but a cone in , that is, a subset of such that \mathbf\in C implies s\mathbf\in C for every nonzero scalar . In the case of functions of several real variables and real vecto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Convex Set
In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex region is a subset that intersects every line into a single line segment (possibly empty). For example, a solid cube is a convex set, but anything that is hollow or has an indent, for example, a crescent shape, is not convex. The boundary of a convex set is always a convex curve. The intersection of all the convex sets that contain a given subset of Euclidean space is called the convex hull of . It is the smallest convex set containing . A convex function is a real-valued function defined on an interval with the property that its epigraph (the set of points on or above the graph of the function) is a convex set. Convex minimization is a subfield of optimization that studies the problem of minimizing convex functions over convex se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Balanced Set
In linear algebra and related areas of mathematics a balanced set, circled set or disk in a vector space (over a field \mathbb with an absolute value function , \cdot , ) is a set S such that a S \subseteq S for all scalars a satisfying , a, \leq 1. The balanced hull or balanced envelope of a set S is the smallest balanced set containing S. The balanced core of a subset S is the largest balanced set contained in S. Balanced sets are ubiquitous in functional analysis because every neighborhood of the origin in every topological vector space (TVS) contains a balanced neighborhood of the origin and every convex neighborhood of the origin contains a balanced convex neighborhood of the origin (even if the TVS is not locally convex). This neighborhood can also be chosen to be an open set or, alternatively, a closed set. Definition Let X be a vector space over the field \mathbb of real or complex numbers. Notation If S is a set, a is a scalar, and B \subseteq \mathbb then let a S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Positive Homogeneity
In mathematics, a homogeneous function is a function of several variables such that, if all its arguments are multiplied by a scalar, then its value is multiplied by some power of this scalar, called the degree of homogeneity, or simply the ''degree''; that is, if is an integer, a function of variables is homogeneous of degree if :f(sx_1,\ldots, sx_n)=s^k f(x_1,\ldots, x_n) for every x_1, \ldots, x_n, and s\ne 0. For example, a homogeneous polynomial of degree defines a homogeneous function of degree . The above definition extends to functions whose domain and codomain are vector spaces over a field : a function f : V \to W between two -vector spaces is ''homogeneous'' of degree k if for all nonzero s \in F and v \in V. This definition is often further generalized to functions whose domain is not , but a cone in , that is, a subset of such that \mathbf\in C implies s\mathbf\in C for every nonzero scalar . In the case of functions of several real variables and real vecto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subadditive
In mathematics, subadditivity is a property of a function that states, roughly, that evaluating the function for the sum of two elements of the domain always returns something less than or equal to the sum of the function's values at each element. There are numerous examples of subadditive functions in various areas of mathematics, particularly norms and square roots. Additive maps are special cases of subadditive functions. Definitions A subadditive function is a function f \colon A \to B, having a domain ''A'' and an ordered codomain ''B'' that are both closed under addition, with the following property: \forall x, y \in A, f(x+y)\leq f(x)+f(y). An example is the square root function, having the non-negative real numbers as domain and codomain, since \forall x, y \geq 0 we have: \sqrt\leq \sqrt+\sqrt. A sequence \left \, n \geq 1, is called subadditive if it satisfies the inequality a_\leq a_n+a_m for all ''m'' and ''n''. This is a special case of subadditive function, if a s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sublinear Functional
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 X 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 the name Banach functional is sometimes used, reflecting that they are most commonly used when applying a general formulation of the Hahn–Banach theorem. The notion of a sublinear function was introduced by Stefan Banach when he proved his version of the Hahn-Banach theorem. There is also a different notion in computer science, described below, that also goes by the name "subline ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Space
In topology and related branches of mathematics, a Hausdorff space ( , ), separated space or T2 space is a topological space where, for any two distinct points, there exist neighbourhoods of each which are disjoint from each other. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" (T2) is the most frequently used and discussed. It implies the uniqueness of limits of sequences, nets, and filters. Hausdorff spaces are named after Felix Hausdorff, one of the founders of topology. Hausdorff's original definition of a topological space (in 1914) included the Hausdorff condition as an axiom. Definitions Points x and y in a topological space X can be '' separated by neighbourhoods'' if there exists a neighbourhood U of x and a neighbourhood V of y such that U and V are disjoint (U\cap V=\varnothing). X is a Hausdorff space if any two distinct points in X are separated by neighbourhoods. This condition is the third separation axiom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Form
In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear map from a vector space to its field of scalars (often, the real numbers or the complex numbers). If is a vector space over a field , the set of all linear functionals from to is itself a vector space over with addition and scalar multiplication defined pointwise. This space is called the dual space of , or sometimes the algebraic dual space, when a topological dual space is also considered. It is often denoted , p. 19, §3.1 or, when the field is understood, V^*; other notations are also used, such as V', V^ or V^. When vectors are represented by column vectors (as is common when a basis is fixed), then linear functionals are represented as row vectors, and their values on specific vectors are given by matrix products (with the row vector on the left). Examples * The constant zero function, mapping every vector to zero, is trivially a linear functional. * Indexing in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
