|
Banach–Alaoglu Theorem
In functional analysis and related branches of mathematics, the Banach–Alaoglu theorem (also known as Alaoglu's 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. This theorem has applications in physics when one describes the set of states of an algebra of observables, namely that any state can be written as a convex linear combination of so-called pure states. History According to Lawrence Narici and Edward Beckenstein, the Alaoglu theorem is a “very important result—maybe most important fact about the weak-* topology—hatechos throughout functional analysis.” In 1912, Helly proved that the unit ball of the continuous dual space of C( , b is countably weak-* co ... [...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] |
Nicolas Bourbaki
Nicolas Bourbaki () is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure (Paris), École normale supérieure (ENS). Founded in 1934–1935, the Bourbaki group originally intended to prepare a new textbook in mathematical analysis, analysis. Over time the project became much more ambitious, growing into a large series of textbooks published under the Bourbaki name, meant to treat modern pure mathematics. The series is known collectively as the ''Éléments de mathématique'' (''Elements of Mathematics''), the group's central work. Topics treated in the series include set theory, abstract algebra, topology, analysis, Lie groups, and Lie algebras. Bourbaki was founded in response to the effects of the First World War which caused the death of a generation of French mathematicians; as a result, young university instructors were forced to use dated texts. While teaching at the University of Strasbourg, Henri Cartan co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neighborhood (topology)
In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a point is a set of points containing that point where one can move some amount in any direction away from that point without leaving the set. Definitions Neighbourhood of a point If X is a topological space and p is a point in X, then a neighbourhood of p is a subset V of X that includes an open set U containing p, p \in U \subseteq V \subseteq X. This is equivalent to the point p \in X belonging to the topological interior of V in X. The neighbourhood V need not be an open subset of X. When V is open (resp. closed, compact, etc.) in X, it is called an (resp. closed neighbourhood, compact neighbourhood, etc.). Some authors require neighbourhoods to be open, so it is important to note their conventions. A set that is a neighbourhoo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polar Set
In functional and convex analysis, and related disciplines of mathematics, the polar set A^ is a special convex set associated to any subset A of a vector space X, lying in the dual space X^. The bipolar of a subset is the polar of A^\circ, but lies in X (not X^). Definitions There are at least three competing definitions of the polar of a set, originating in projective geometry and convex analysis. In each case, the definition describes a duality between certain subsets of a pairing of vector spaces \langle X, Y \rangle over the real or complex numbers (X and Y are often topological vector spaces (TVSs)). If X is a vector space over the field \mathbb then unless indicated otherwise, Y will usually, but not always, be some vector space of linear functionals on X and the dual pairing \langle \cdot, \cdot \rangle : X \times Y \to \mathbb will be the bilinear () defined by \langle x, f \rangle := f(x). If X is a topological vector space then the space Y will usually, but no ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Convex
In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals. Fréchet spaces are locally convex topological vector spaces that are completely metrizable (with a choice of complete metric). They are generalizations of Banach spaces, which are complete vector spaces with respect to a metric generated by a norm. History Metrizable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Space
In topology and related branches of mathematics, a Hausdorff space ( , ), T2 space or separated space, is a topological space where distinct points have disjoint neighbourhoods. 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 (after T0 and T1), which is why Hausdorff ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Net (mathematics)
In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a function whose domain is a directed set. The codomain of this function is usually some topological space. Nets directly generalize the concept of a sequence in a metric space. Nets are primarily used in the fields of analysis and topology, where they are used to characterize many important topological properties that (in general), sequences are unable to characterize (this shortcoming of sequences motivated the study of sequential spaces and Fréchet–Urysohn spaces). Nets are in one-to-one correspondence with filters. History The concept of a net was first introduced by E. H. Moore and Herman L. Smith in 1922. The term "net" was coined by John L. Kelley. The related concept of a filter was developed in 1937 by Henri Cartan. Definitions A directed set is a non-empty set A together with a preorder, typically automatically assumed to be denoted by \,\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology Of Pointwise Convergence
In mathematics, pointwise convergence is one of various senses in which a sequence of functions can converge to a particular function. It is weaker than uniform convergence, to which it is often compared. Definition Suppose that X is a set and Y is a topological space, such as the real or complex numbers or a metric space, for example. A sequence of functions \left(f_n\right) all having the same domain X and codomain Y is said to converge pointwise to a given function f : X \to Y often written as \lim_ f_n = f\ \mbox if (and only if) the limit of the sequence f_n(x) evaluated at each point x in the domain of f is equal to f(x), written as \forall x \in X, \lim_ f_n(x) = f(x). The function f is said to be the pointwise limit function of the \left(f_n\right). The definition easily generalizes from sequences to nets f_\bull = \left(f_a\right)_. We say f_\bull converges pointwise to f, written as \lim_ f_a = f\ \mbox if (and only if) f(x) is the unique accumulation point of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuous Dual Space
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 192 ... [...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 functions. Such a topology is called a and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and 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. Other well-known examples of TVSs include Banach spaces, Hilbert spaces and Sobolev spaces. Many topological vector spaces are spaces of functions, or linear operators ac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual System
In mathematics, a dual system, dual pair or a duality over a field \mathbb is a triple (X, Y, b) consisting of two vector spaces, X and Y, over \mathbb and a non- degenerate bilinear map b : X \times Y \to \mathbb. In mathematics, duality is the study of dual systems and is important in functional analysis. Duality plays crucial roles in quantum mechanics because it has extensive applications to the theory of Hilbert spaces. Definition, notation, and conventions Pairings A or pair over a field \mathbb is a triple (X, Y, b), which may also be denoted by b(X, Y), consisting of two vector spaces X and Y over \mathbb and a bilinear map b : X \times Y \to \mathbb called the bilinear map associated with the pairing, or more simply called the pairing's map or its bilinear form. The examples here only describe when \mathbb is either the real numbers or the complex numbers \Complex, but the mathematical theory is general. For every x \in X, define \begin b(x, \,\cdot\,) : \,& Y && \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bilinear Map
In mathematics, a bilinear map is a function combining elements of two vector spaces to yield an element of a third vector space, and is linear in each of its arguments. Matrix multiplication is an example. A bilinear map can also be defined for modules. For that, see the article pairing. Definition Vector spaces Let V, W and X be three vector spaces over the same base field F. A bilinear map is a function B : V \times W \to X such that for all w \in W, the map B_w v \mapsto B(v, w) is a linear map from V to X, and for all v \in V, the map B_v w \mapsto B(v, w) is a linear map from W to X. In other words, when we hold the first entry of the bilinear map fixed while letting the second entry vary, the result is a linear operator, and similarly for when we hold the second entry fixed. Such a map B satisfies the following properties. * For any \lambda \in F, B(\lambda v,w) = B(v, \lambda w) = \lambda B(v, w). * The map B is additive in both components: if v_1, v_2 \in V an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
