|
Cone-saturated
In mathematics, specifically in order theory and functional analysis, if C is a cone at 0 in a vector space X such that 0 \in C, then a subset S \subseteq X is said to be C-saturated if S = C, where C := (S + C) \cap (S - C). Given a subset S \subseteq X, the C-saturated hull of S is the smallest C-saturated subset of X that contains S. If \mathcal is a collection of subsets of X then \left \mathcal \rightC := \left\. If \mathcal is a collection of subsets of X and if \mathcal is a subset of \mathcal then \mathcal is a fundamental subfamily of \mathcal if every T \in \mathcal is contained as a subset of some element of \mathcal. If \mathcal is a family of subsets of a TVS X then a cone C in X is called a \mathcal-cone if \left\ is a fundamental subfamily of \mathcal and C is a strict \mathcal-cone if \left\ is a fundamental subfamily of \mathcal. C-saturated sets play an important role in the theory of ordered topological vector spaces and topological vector lattices. Prope ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordered Topological Vector Space
In mathematics, specifically in functional analysis and order theory, an ordered topological vector space, also called an ordered TVS, is a topological vector space (TVS) ''X'' that has a partial order ≤ making it into an ordered vector space whose positive cone C := \left\ is a closed subset of ''X''. Ordered TVS have important applications in spectral theory. Normal cone If ''C'' is a cone in a TVS ''X'' then ''C'' is normal if \mathcal = \left \mathcal \right, where \mathcal is the neighborhood filter at the origin, \left \mathcal \right = \left\, and := \left(U + C\right) \cap \left(U - C\right) is the ''C''-saturated hull of a subset ''U'' of ''X''. If ''C'' is a cone in a TVS ''X'' (over the real or complex numbers), then the following are equivalent: # ''C'' is a normal cone. # For every filter \mathcal in ''X'', if \lim \mathcal = 0 then \lim \left \mathcal \right = 0. # There exists a neighborhood base \mathcal in ''X'' such that B \in \mathcal implies \left B \cap ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Vector Lattice
In mathematics, specifically in functional analysis and order theory, a topological vector lattice is a Hausdorff topological vector space (TVS) X that has a partial order \,\leq\, making it into vector lattice that is possesses a neighborhood base at the origin consisting of solid sets. Ordered vector lattices have important applications in spectral theory. Definition If X is a vector lattice then by the vector lattice operations we mean the following maps: # the three maps X to itself defined by x \mapsto, x , , x \mapsto x^+, x \mapsto x^, and # the two maps from X \times X into X defined by (x, y) \mapsto \sup_ \ and(x, y) \mapsto \inf_ \. If X is a TVS over the reals and a vector lattice, then X is locally solid if and only if (1) its positive cone is a normal cone, and (2) the vector lattice operations are continuous. If X is a vector lattice and an ordered topological vector space that is a Fréchet space in which the positive cone is a normal cone, then the lattice ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Theory
Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Background and motivation Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.g. "2 is less than 3", "10 is greater than 5", or "Does Tom have fewer cookies than Sally?". This intuitive concept can be extended to orders on other sets of numbers, such as the integers and the reals. The idea of being greater than or less than another number is one of the basic intuitions of number systems (compare with numeral systems) in general (although one usually is also interested in the actual differenc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functional Analysis
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 (e.g. inner product, norm, topology, etc.) 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. The usage of the word '' functional'' as a noun goes back to the calculus of variations, implying a function whose argument is a function. The term was first used in Hadamard's 1910 book on that subject. However, the general concept of a functional had previously been introduced in 1887 by the I ... [...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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Filter Base
In mathematics, a filter on a set X is a family \mathcal of subsets such that: # X \in \mathcal and \emptyset \notin \mathcal # if A\in \mathcal and B \in \mathcal, then A\cap B\in \mathcal # If A,B\subset X,A\in \mathcal, and A\subset B, then B\in \mathcal A filter on a set may be thought of as representing a "collection of large subsets". Filters appear in order, model theory, set theory, but can also be found in topology, from which they originate. The dual notion of a filter is an ideal. Filters were introduced by Henri Cartan in 1937 and as described in the article dedicated to filters in topology, they were subsequently used by Nicolas Bourbaki in their book ''Topologie Générale'' as an alternative to the related notion of a net developed in 1922 by E. H. Moore and Herman L. Smith. Order filters are generalizations of filters from sets to arbitrary partially ordered sets. Specifically, a filter on a set is just a proper order filter in the special case where the part ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
