|
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 ... [...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 (for example, Inner product space#Definition, inner product, Norm (mathematics)#Definition, norm, or Topological space#Definitions, topology) and the linear transformation, linear functions defined on these spaces and suitably respecting these structures. The historical roots of functional analysis lie in the study of function space, spaces of functions and the formulation of properties of transformations of functions such as the Fourier transform as transformations defining, for example, continuous function, continuous or unitary operator, unitary operators between function spaces. This point of view turned out to be particularly useful for the study of differential equations, differential and integral equations. The usage of the word ''functional (mathematics), functional'' as a noun goes back to the calculus of v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group (mathematics)
In mathematics, a group is a Set (mathematics), set with an Binary operation, operation that combines any two elements of the set to produce a third element within the same set and the following conditions must hold: the operation is Associative property, associative, it has an identity element, and every element of the set has an inverse element. For example, the integers with the addition, addition operation form a group. The concept of a group was elaborated for handling, in a unified way, many mathematical structures such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry, groups arise naturally in the study of symmetries and geometric transformations: The symmetries of an object form a group, called the symmetry group of the object, and the transformations of a given type form a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup. When some object X is said to be embedded in another object Y, the embedding is given by some injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers in the rational numbers, the rational num ... [...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 set 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Balanced Function
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 set 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] |
Maurice René Fréchet
Maurice may refer to: *Maurice (name), a given name and surname, including a list of people with the name Places * or Mauritius, an island country in the Indian Ocean *Maurice, Iowa, a city * Maurice, Louisiana, a village * Maurice River, a tributary of the Delaware River in New Jersey Other uses * ''Maurice'' (2015 film), a Canadian short drama film * Maurice (horse), a Thoroughbred racehorse * ''Maurice'' (novel), a 1913 novel by E. M. Forster, published in 1971 ** ''Maurice'' (1987 film), a British film based on the novel * ''Maurice'' (Shelley), a children's story by Mary Shelley *Maurice, a character from the Madagascar ''franchise'' *Maurices, an American retail clothing chain *Maurice or Maryse, a type of cooking spatula See also *Church of Saint Maurice (other) * *Maurice Debate, a 1918 debate in the British House of Commons *Maurice Lacroix, Swiss manufacturer of mechanical timepieces, clocks, and watches *Mauricie, Quebec, Canada *Moritz (other) * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hamel Basis
In mathematics, a set of elements of a vector space is called a basis (: bases) if every element of can be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as components or coordinates of the vector with respect to . The elements of a basis are called . Equivalently, a set is a basis if its elements are linearly independent and every element of is a linear combination of elements of . In other words, a basis is a linearly independent spanning set. A vector space can have several bases; however all the bases have the same number of elements, called the dimension of the vector space. This article deals mainly with finite-dimensional vector spaces. However, many of the principles are also valid for infinite-dimensional vector spaces. Basis vectors find applications in the study of crystal structures and frames of reference. Definition A basis of a vector space over a field (such as t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lattice (order)
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join (mathematics), join) and a unique infimum (also called a greatest lower bound or meet (mathematics), meet). An example is given by the power set of a set, partially ordered by Subset, inclusion, for which the supremum is the Union (set theory), union and the infimum is the Intersection (set theory), intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor. Lattices can also be characterized as algebraic structures satisfying certain axiomatic Identity (mathematics), identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilatti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Seminorm
In mathematics, particularly in functional analysis, a seminorm is like a Norm (mathematics), norm but need not be positive definite. Seminorms are intimately connected with convex sets: every seminorm is the Minkowski functional of some Absorbing set, absorbing Absolutely convex set, disk and, conversely, the Minkowski functional of any such set is a seminorm. A topological vector space is locally convex if and only if its topology is induced by a family of seminorms. Definition Let X be a vector space over either the real numbers \R or the Complex number, complex numbers \Complex. A real-valued function p : X \to \R is called a if it satisfies the following two conditions: # Subadditive function, Subadditivity/Triangle inequality: p(x + y) \leq p(x) + p(y) for all x, y \in X. # Homogeneous function, Absolute homogeneity: p(s x) =, s, p(x) for all x \in X and all scalars s. These two conditions imply that p(0) = 0If z \in X denotes the zero vector in X while 0 denote the zer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sublinear Functional
In linear algebra, a sublinear function (or Functional (mathematics), 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 number, real-valued Function (mathematics), 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 Norm (mathematics), 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 differen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Set
In mathematics, a nonempty subset of a group is said to be symmetric if it contains the inverses of all of its elements. Definition In set notation a subset S of a group G is called if whenever s \in S then the inverse of s also belongs to S. So if G is written multiplicatively then S is symmetric if and only if S = S^ where S^ := \left\. If G is written additively then S is symmetric if and only if S = - S where - S := \. If S is a subset of a vector space then S is said to be a if it is symmetric with respect to the additive group structure of the vector space; that is, if S = - S, which happens if and only if - S \subseteq S. The of a subset S is the smallest symmetric set containing S, and it is equal to S \cup - S. The largest symmetric set contained in S is S \cap - S. Sufficient conditions Arbitrary unions and intersections of symmetric sets are symmetric. Any vector subspace in a vector space is a symmetric set. Examples In \R, examples of symmetric ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subadditivity
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 \_ 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 sequ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
