|
Schwartz Kernel Theorem
In mathematics, the Schwartz kernel theorem is a foundational result in the theory of generalized functions, published by Laurent Schwartz in 1952. It states, in broad terms, that the generalized functions introduced by Schwartz (Schwartz distributions) have a two-variable theory that includes all reasonable bilinear forms on the space \mathcal of test functions. The space \mathcal itself consists of smooth functions of compact support. Statement of the theorem Let X and Y be open sets in \mathbb^n. Every distribution k \in \mathcal'(X \times Y) defines a continuous linear map K \colon \mathcal(Y) \to \mathcal'(X) such that for every u \in \mathcal(X), v \in \mathcal(Y). Conversely, for every such continuous linear map K, there exists one and only one distribution k \in \mathcal'(X \times Y) such that () holds. The distribution k is the kernel of the map K. Note Given a distribution k \in \mathcal'(X \times Y), one can always write the linear map K informally as :Kv = \int_ k( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jean Dieudonné
Jean Alexandre Eugène Dieudonné (; 1 July 1906 – 29 November 1992) was a French mathematician, notable for research in abstract algebra, algebraic geometry, and functional analysis, for close involvement with the Nicolas Bourbaki pseudonymous group and the ''Éléments de géométrie algébrique'' project of Alexander Grothendieck, and as a historian of mathematics, particularly in the fields of functional analysis and algebraic topology. His work on the classical groups (the book ''La Géométrie des groupes classiques'' was published in 1955), and on formal groups, introducing what now are called Dieudonné modules, had a major effect on those fields. He was born and brought up in Lille, with a formative stay in England where he was introduced to algebra. In 1924 he was admitted to the École Normale Supérieure, where André Weil was a classmate. He began working in complex analysis. In 1934 he was one of the group of ''normaliens'' convened by Weil, which would become ' B ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorems In Functional Analysis
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In mainstream mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice (ZFC), or of a less powerful theory, such as Peano arithmetic. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ''corollary'' for less important theorems. In mathematical logic, the concepts of theorems and proofs have been formalized in order to allow mathematical reasoni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transforms
Transform may refer to: Arts and entertainment *Transform (scratch), a type of scratch used by turntablists * ''Transform'' (Alva Noto album), 2001 * ''Transform'' (Howard Jones album) or the title song, 2019 * ''Transform'' (Powerman 5000 album) or the title song, 2003 * ''Transform'' (Rebecca St. James album), 2000 * ''Transform'' (single album), by Teen Top, or the title song, 2011 *"Transform", a song by Daniel Caesar from ''Freudian'', 2017 *"Transform", a song by Your Memorial from ''Redirect'', 2012 Mathematics, science, and technology Mathematics *Transformation (function), concerning functions from sets to themselves *Transform theory, theory of integral transforms **List of transforms, a list of mathematical transforms **Integral transform, a type of mathematical transform Computer graphics *Transform coding, a type of data compression for digital images *Transform, clipping, and lighting, a term used in computer graphics Other sciences *Transformation (genetics), the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generalized Functions
In mathematics, generalized functions are objects extending the notion of functions on real or complex numbers. There is more than one recognized theory, for example the theory of distributions. Generalized functions are especially useful for treating discontinuous functions more like smooth functions, and describing discrete physical phenomena such as point charges. They are applied extensively, especially in physics and engineering. Important motivations have been the technical requirements of theories of partial differential equations and group representations. A common feature of some of the approaches is that they build on operator aspects of everyday, numerical functions. The early history is connected with some ideas on operational calculus, and some contemporary developments are closely related to Mikio Sato's algebraic analysis. Some early history In the mathematics of the nineteenth century, aspects of generalized function theory appeared, for example in the def ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nuclear Space
In mathematics, nuclear spaces are topological vector spaces that can be viewed as a generalization of finite-dimensional Euclidean spaces and share many of their desirable properties. Nuclear spaces are however quite different from Hilbert spaces, another generalization of finite-dimensional Euclidean spaces. They were introduced by Alexander Grothendieck. The topology on nuclear spaces can be defined by a family of seminorms whose unit balls decrease rapidly in size. Vector spaces whose elements are "smooth" in some sense tend to be nuclear spaces; a typical example of a nuclear space is the set of smooth functions on a compact manifold. All finite-dimensional vector spaces are nuclear. There are no Banach spaces that are nuclear, except for the finite-dimensional ones. In practice a sort of converse to this is often true: if a "naturally occurring" topological vector space is a Banach space, then there is a good chance that it is nuclear. Original motivation: The Schwartz ker ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexander Grothendieck
Alexander Grothendieck, later Alexandre Grothendieck in French (; ; ; 28 March 1928 – 13 November 2014), was a German-born French mathematician who became the leading figure in the creation of modern algebraic geometry. His research extended the scope of the field and added elements of commutative algebra, homological algebra, sheaf theory, and category theory to its foundations, while his so-called Grothendieck's relative point of view, "relative" perspective led to revolutionary advances in many areas of pure mathematics. He is considered by many to be the greatest mathematician of the twentieth century. Grothendieck began his productive and public career as a mathematician in 1949. In 1958, he was appointed a research professor at the Institut des Hautes Études Scientifiques, Institut des hautes études scientifiques (IHÉS) and remained there until 1970, when, driven by personal and political convictions, he left following a dispute over military funding. He receive ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nuclear Space
In mathematics, nuclear spaces are topological vector spaces that can be viewed as a generalization of finite-dimensional Euclidean spaces and share many of their desirable properties. Nuclear spaces are however quite different from Hilbert spaces, another generalization of finite-dimensional Euclidean spaces. They were introduced by Alexander Grothendieck. The topology on nuclear spaces can be defined by a family of seminorms whose unit balls decrease rapidly in size. Vector spaces whose elements are "smooth" in some sense tend to be nuclear spaces; a typical example of a nuclear space is the set of smooth functions on a compact manifold. All finite-dimensional vector spaces are nuclear. There are no Banach spaces that are nuclear, except for the finite-dimensional ones. In practice a sort of converse to this is often true: if a "naturally occurring" topological vector space is a Banach space, then there is a good chance that it is nuclear. Original motivation: The Schwartz ker ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Treatise On Analysis
''Treatise on Analysis'' is a translation by Ian G. Macdonald of the nine-volume work ''Éléments d'analyse'' on mathematical analysis by Jean Dieudonné, and is an expansion of his textbook ''Foundations of Modern Analysis''. It is a successor to the various Cours d'Analyse by Augustin-Louis Cauchy, Camille Jordan, and Édouard Goursat. Contents and publication history Volume I The first volume was originally a stand-alone graduate textbook with a different title. It was first written in English and later translated into French, unlike the other volumes which were first written in French. It has been republished several times and is much more common than the later volumes of the series. The contents include *Chapter I: Sets *Chapter II Real numbers *Chapter III Metric spaces *Chapter IV The real line *Chapter V Normed spaces *Chapter VI Hilbert spaces *Chapter VII Spaces of continuous functions *Chapter VIII Differential calculus (This uses the Cauchy integral rather than t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smooth Manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart. In formal terms, a differentiable manifold is a topological manifold with a globally defined differential structure. Any topological manifold can be given a differential structure locally by using the homeomorphisms in its atlas and the standard differential structure on a vector space. To induce a global differential structure on the local coordinate systems induced by the homeomorphisms, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pseudo-differential Operator
In mathematical analysis a pseudo-differential operator is an extension of the concept of differential operator. Pseudo-differential operators are used extensively in the theory of partial differential equations and quantum field theory, e.g. in mathematical models that include ultrametric pseudo-differential equations in a non-Archimedean space. History The study of pseudo-differential operators began in the mid 1960s with the work of Kohn, Nirenberg, Hörmander, Unterberger and Bokobza. They played an influential role in the second proof of the Atiyah–Singer index theorem via K-theory. Atiyah and Singer thanked Hörmander for assistance with understanding the theory of pseudo-differential operators. Motivation Linear differential operators with constant coefficients Consider a linear differential operator with constant coefficients, : P(D) := \sum_\alpha a_\alpha \, D^\alpha which acts on smooth functions u with compact support in R''n''. This operator can be writt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singular Support
In mathematics, the support of a real-valued function f is the subset of the function domain of elements that are not mapped to zero. If the domain of f is a topological space, then the support of f is instead defined as the smallest closed set containing all points not mapped to zero. This concept is used widely in mathematical analysis. Formulation Suppose that f : X \to \R is a real-valued function whose domain is an arbitrary set X. The of f, written \operatorname(f), is the set of points in X where f is non-zero: \operatorname(f) = \. The support of f is the smallest subset of X with the property that f is zero on the subset's complement. If f(x) = 0 for all but a finite number of points x \in X, then f is said to have . If the set X has an additional structure (for example, a topology), then the support of f is defined in an analogous way as the smallest subset of X of an appropriate type such that f vanishes in an appropriate sense on its complement. The notion of sup ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
