|
Bornological Space
In mathematics, particularly in functional analysis, a bornological space is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of sets and linear maps, in the same way that a topological space possesses the minimum amount of structure needed to address questions of continuity. Bornological spaces are distinguished by the property that a linear map from a bornological space into any locally convex spaces is continuous if and only if it is a bounded linear operator. Bornological spaces were first studied by George Mackey. The name was coined by Bourbaki after , the French word for " bounded". Bornologies and bounded maps A on a set X is a collection \mathcal of subsets of X that satisfy all the following conditions: \mathcal covers X; that is, X = \cup \mathcal; \mathcal is stable under inclusions; that is, if B \in \mathcal and A \subseteq B, then A \in \mathcal; \mathcal is stable under finite unions; ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Absorbing Set
In functional analysis and related areas of mathematics an absorbing set in a vector space is a Set (mathematics), set S which can be "inflated" or "scaled up" to eventually always include any given point of the vector space. Alternative terms are Radial set, radial or absorbent set. Every Neighbourhood (mathematics), neighborhood of the origin in every topological vector space is an absorbing subset. Definition Suppose that X is a vector space over the Field (mathematics), field \mathbb of real numbers \R or complex numbers \Complex. Notation Products of scalars and vectors For any -\infty \leq r \leq R \leq \infty, vector x, and subset A \subseteq X, let B_r = \ \quad \text \quad B_ = \ denote the ''open ball'' (respectively, the ''closed ball'') of radius r in \mathbb centered at 0, and let (r, R) x = \ \quad \text \quad (r, R) A = \. Similarly, if K \subseteq \mathbb and k is a scalar then let K A = \, K x = \, k A = \, and \mathbb x = \ = \operatorname \. Balanced co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bornivorous Set
In functional analysis, a subset of a real or complex vector space X that has an associated vector bornology \mathcal is called bornivorous and a bornivore if it absorbs every element of \mathcal. If X is a topological vector space (TVS) then a subset S of X is bornivorous if it is bornivorous with respect to the von-Neumann bornology of X. Bornivorous sets play an important role in the definitions of many classes of topological vector spaces, particularly bornological spaces. Definitions If X is a TVS then a subset S of X is called and a if S absorbs every bounded subset of X. An absorbing disk in a locally convex space is bornivorous if and only if its Minkowski functional is locally bounded (i.e. maps bounded sets to bounded sets). Infrabornivorous sets and infrabounded maps A linear map between two TVSs is called if it maps Banach disks to bounded disks. A disk in X is called if it absorbs every Banach disk. An absorbing disk in a locally conv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metrizable Topological Vector Space
In functional analysis and related areas of mathematics, a metrizable (resp. pseudometrizable) topological vector space (TVS) is a TVS whose topology is induced by a metric (resp. pseudometric). An LM-space is an inductive limit of a sequence of locally convex metrizable TVS. Pseudometrics and metrics A pseudometric on a set X is a map d : X \times X \rarr \R satisfying the following properties: d(x, x) = 0 \text x \in X; Symmetry: d(x, y) = d(y, x) \text x, y \in X; Subadditivity: d(x, z) \leq d(x, y) + d(y, z) \text x, y, z \in X. A pseudometric is called a metric if it satisfies: Identity of indiscernibles: for all x, y \in X, if d(x, y) = 0 then x = y. Ultrapseudometric A pseudometric d on X is called a ultrapseudometric or a strong pseudometric if it satisfies: Strong/Ultrametric triangle inequality: d(x, z) \leq \max \ \text x, y, z \in X. Pseudometric space A pseudometric space is a pair (X, d) consisting of a set X and a pseudometric d on X such that X's t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
F-space
In functional analysis, an F-space is a vector space X over the real or complex numbers together with a metric d : X \times X \to \R such that # Scalar multiplication in X is continuous with respect to d and the standard metric on \R or \Complex. # Addition in X is continuous with respect to d. # The metric is translation-invariant; that is, d(x + a, y + a) = d(x, y) for all x, y, a \in X. # The metric space (X, d) is complete. The operation x \mapsto \, x\, := d(0, x) is called an F-norm, although in general an F-norm is not required to be homogeneous. By translation-invariance, the metric is recoverable from the F-norm. Thus, a real or complex F-space is equivalently a real or complex vector space equipped with a complete F-norm. Some authors use the term rather than , but usually the term "Fréchet space" is reserved for locally convex F-spaces. Some other authors use the term "F-space" as a synonym of "Fréchet space", by which they mean a locally convex complete metri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuous Linear Operator
In functional analysis and related areas of mathematics, a continuous linear operator or continuous linear mapping is a continuous linear transformation between topological vector spaces. An operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator. Continuous linear operators Characterizations of continuity Suppose that F : X \to Y is a linear operator between two topological vector spaces (TVSs). The following are equivalent: F is continuous. F is continuous at some point x \in X. F is continuous at the origin in X. if Y is locally convex then this list may be extended to include: for every continuous seminorm q on Y, there exists a continuous seminorm p on X such that q \circ F \leq p. if X and Y are both Hausdorff locally convex spaces then this list may be extended to include: F is weakly continuous and its transpose ^t F : Y^ \to X^ maps equicontinuous subsets of Y^ to equicontinuous subsets of X^. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuous Dual
In mathematics, any vector space ''V'' has a corresponding dual vector space (or just dual space for short) consisting of all linear forms on ''V'', together with the vector space structure of pointwise addition and scalar multiplication by constants. The dual space as defined above is defined for all vector spaces, and to avoid ambiguity may also be called the . When defined for a topological vector space, there is a subspace of the dual space, corresponding to continuous linear functionals, called the ''continuous dual space''. Dual vector spaces find application in many branches of mathematics that use vector spaces, such as in tensor analysis with finite-dimensional vector spaces. When applied to vector spaces of functions (which are typically infinite-dimensional), dual spaces are used to describe measures, distributions, and Hilbert spaces. Consequently, the dual space is an important concept in functional analysis. Early terms for ''dual'' include ''polarer Raum'' ahn 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neighborhood Basis
In topology and related areas of mathematics, the neighbourhood system, complete system of neighbourhoods, or neighbourhood filter \mathcal(x) for a point x in a topological space is the collection of all neighbourhoods of x. Definitions Neighbourhood of a point or set An of a point (or subset) x in a topological space X is any open subset U of X that contains x. A is any subset N \subseteq X that contains open neighbourhood of x; explicitly, N is a neighbourhood of x in X if and only if there exists some open subset U with x \in U \subseteq N. Equivalently, a neighborhood of x is any set that contains x in its topological interior. Importantly, a "neighbourhood" does have to be an open set; those neighbourhoods that also happen to be open sets are known as "open neighbourhoods." Similarly, a neighbourhood that is also a closed (respectively, compact, connected, etc.) set is called a (respectively, , , etc.). There are many other types of neighbourhoods that are used in t ... [...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] |
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] |
Absolutely Convex Set
In mathematics, a subset ''C'' of a real or complex vector space is said to be absolutely convex or disked if it is convex and balanced (some people use the term "circled" instead of "balanced"), in which case it is called a disk. The disked hull or the absolute convex hull of a set is the intersection of all disks containing that set. Definition A subset S of a real or complex vector space X is called a ' and is said to be ', ', and ' if any of the following equivalent conditions is satisfied: S is a convex and balanced set. for any scalar a and b, if , a, + , b, \leq 1 then a S + b S \subseteq S. for all scalars a, b, and c, if , a, + , b, \leq , c, , then a S + b S \subseteq c S. for any scalars a_1, \ldots, a_n and c, if , a_1, + \cdots + , a_n, \leq , c, then a_1 S + \cdots + a_n S \subseteq c S. for any scalars a_1, \ldots, a_n, if , a_1, + \cdots + , a_n, \leq 1 then a_1 S + \cdots + a_n S \subseteq S. The smallest convex (respectively, balanced) subset o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Absorbing Set
In functional analysis and related areas of mathematics an absorbing set in a vector space is a Set (mathematics), set S which can be "inflated" or "scaled up" to eventually always include any given point of the vector space. Alternative terms are Radial set, radial or absorbent set. Every Neighbourhood (mathematics), neighborhood of the origin in every topological vector space is an absorbing subset. Definition Suppose that X is a vector space over the Field (mathematics), field \mathbb of real numbers \R or complex numbers \Complex. Notation Products of scalars and vectors For any -\infty \leq r \leq R \leq \infty, vector x, and subset A \subseteq X, let B_r = \ \quad \text \quad B_ = \ denote the ''open ball'' (respectively, the ''closed ball'') of radius r in \mathbb centered at 0, and let (r, R) x = \ \quad \text \quad (r, R) A = \. Similarly, if K \subseteq \mathbb and k is a scalar then let K A = \, K x = \, k A = \, and \mathbb x = \ = \operatorname \. Balanced co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
