|
Krein Space
In mathematics, in the field of functional analysis, an indefinite inner product space :(K, \langle \cdot,\,\cdot \rangle, J) is an infinite-dimensional complex vector space K equipped with both an indefinite inner product :\langle \cdot,\,\cdot \rangle \, and a positive semi-definite inner product :(x,\,y) \ \stackrel\ \langle x,\,Jy \rangle, where the metric operator J is an endomorphism of K obeying :J^3 = J. \, The indefinite inner product space itself is not necessarily a Hilbert space; but the existence of a positive semi-definite inner product on K implies that one can form a quotient space on which there is a positive definite inner product. Given a strong enough topology on this quotient space, it has the structure of a Hilbert space, and many objects of interest in typical applications fall into this quotient space. An indefinite inner product space is called a Krein space (or J''-space'') if (x,\,y) is positive definite and K possesses a majorant topology. 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] |
Normed Vector Space
The Ateliers et Chantiers de France (ACF, Workshops and Shipyards of France) was a major shipyard that was established in Dunkirk, France, in 1898. The shipyard boomed in the period before World War I (1914–18), but struggled in the inter-war period. It was badly damaged during World War II (1939–45). In the first thirty years after the war the shipyard again experienced a boom and employed up to 3,000 workers making oil tankers, and then liquid natural gas tankers. Demand dropped off in the 1970s and 1980s. In 1972 the shipyard became Chantiers de France-Dunkerque, and in 1983 merged with others yards to become part of Chantiers du Nord et de la Mediterranee, or Normed. The shipyard closed in 1987. Foundation (1898–99) The Ateliers et Chantiers de France (ACF) company was officially founded on 6 July 1898 by a consortium of six shipping brokers, the Dunkirk chamber of commerce and the state. The state asked that the shipyard be able to build steamships and also four-maste ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lev Semenovich Pontryagin
Lev Semyonovich Pontryagin (, also written Pontriagin or Pontrjagin, first name sometimes anglicized as Leon) (3 September 1908 – 3 May 1988) was a Soviet mathematician. Completely blind from the age of 14, he made major discoveries in a number of fields of mathematics, including algebraic topology, differential topology and optimal control. Early life and career He was born in Moscow and lost his eyesight completely due to an unsuccessful eye surgery after a primus stove explosion when he was 14. His mother Tatyana Andreyevna, who did not know mathematical symbols, read mathematical books and papers (notably those of Heinz Hopf, J. H. C. Whitehead, and Hassler Whitney) to him, and later worked as his secretary. His mother used alternative names for math symbols, such as "tails up" for the set-union symbol \cup. In 1925 he entered Moscow State University, where he was strongly influenced by the lectures of Pavel Alexandrov who would become his doctoral thesis advisor. After gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Sum Of Vector Spaces
In abstract algebra, the direct sum is a construction which combines several modules into a new, larger module. The direct sum of modules is the smallest module which contains the given modules as submodules with no "unnecessary" constraints, making it an example of a coproduct. Contrast with the direct product, which is the dual notion. The most familiar examples of this construction occur when considering vector spaces (modules over a field) and abelian groups (modules over the ring Z of integers). The construction may also be extended to cover Banach spaces and Hilbert spaces. See the article decomposition of a module for a way to write a module as a direct sum of submodules. Construction for vector spaces and abelian groups We give the construction first in these two cases, under the assumption that we have only two objects. Then we generalize to an arbitrary family of arbitrary modules. The key elements of the general construction are more clearly identified by con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum (functional Analysis)
In mathematics, particularly in functional analysis, the spectrum of a bounded linear operator (or, more generally, an unbounded linear operator) is a generalisation of the set of eigenvalues of a matrix. Specifically, a complex number \lambda is said to be in the spectrum of a bounded linear operator T if T-\lambda I * either has ''no'' set-theoretic inverse; * or the set-theoretic inverse is either unbounded or defined on a non-dense subset. Here, I is the identity operator. By the closed graph theorem, \lambda is in the spectrum if and only if the bounded operator T - \lambda I: V\to V is non-bijective on V. The study of spectra and related properties is known as ''spectral theory'', which has numerous applications, most notably the mathematical formulation of quantum mechanics. The spectrum of an operator on a finite-dimensional vector space is precisely the set of eigenvalues. However an operator on an infinite-dimensional space may have additional elements in its s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Set
In geometry, topology, and related branches of mathematics, a closed set is a Set (mathematics), set whose complement (set theory), complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a closed set is a set which is Closure (mathematics), closed under the limit of a sequence, limit operation. This should not be confused with closed manifold. Sets that are both open and closed and are called clopen sets. Definition Given a topological space (X, \tau), the following statements are equivalent: # a set A \subseteq X is in X. # A^c = X \setminus A is an open subset of (X, \tau); that is, A^ \in \tau. # A is equal to its Closure (topology), closure in X. # A contains all of its limit points. # A contains all of its Boundary (topology), boundary points. An alternative characterization (mathematics), characterization of closed sets is available via sequences and Net (mathematics), net ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuity (topology)
In mathematics, a continuous function is a function such that a small variation of the argument induces a small variation of the value of the function. This implies there are no abrupt changes in value, known as '' discontinuities''. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is . Until the 19th century, mathematicians largely relied on intuitive notions of continuity and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity. Continuity is one of the core concepts of calculus and mathematical analysis, where arguments and values of functions are real and complex numbers. The concept has been generalized to functions between metric spaces and between topological spaces. The latter are the most general continuous functions, and their d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lorentz Invariance
In a relativistic theory of physics, a Lorentz scalar is a scalar expression whose value is invariant under any Lorentz transformation. A Lorentz scalar may be generated from, e.g., the scalar product of vectors, or by contracting tensors. While the components of the contracted quantities may change under Lorentz transformations, the Lorentz scalars remain unchanged. A simple Lorentz scalar in Minkowski spacetime is the ''spacetime distance'' ("length" of their difference) of two fixed events in spacetime. While the "position"-4-vectors of the events change between different inertial frames, their spacetime distance remains invariant under the corresponding Lorentz transformation. Other examples of Lorentz scalars are the "length" of 4-velocities (see below), or the Ricci curvature in a point in spacetime from general relativity, which is a contraction of the Riemann curvature tensor there. Simple scalars in special relativity Length of a position vector In special rela ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Operator (mathematics)
In mathematics, an operator is generally a Map (mathematics), mapping or function (mathematics), function that acts on elements of a space (mathematics), space to produce elements of another space (possibly and sometimes required to be the same space). There is no general definition of an ''operator'', but the term is often used in place of ''function'' when the domain of a function, domain is a set of functions or other structured objects. Also, the domain of an operator is often difficult to characterize explicitly (for example in the case of an integral operator), and may be extended so as to act on related objects (an operator that acts on functions may act also on differential equations whose solutions are functions that satisfy the equation). (see Operator (physics) for other examples) The most basic operators are linear maps, which act on vector spaces. Linear operators refer to linear maps whose domain and range are the same space, for example from \mathbb^n to \mathbb^n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projection (linear Algebra)
In linear algebra and functional analysis, a projection is a linear transformation P from a vector space to itself (an endomorphism) such that P\circ P=P. That is, whenever P is applied twice to any vector, it gives the same result as if it were applied once (i.e. P is idempotent). It leaves its image unchanged. This definition of "projection" formalizes and generalizes the idea of graphical projection. One can also consider the effect of a projection on a geometrical object by examining the effect of the projection on points in the object. Definitions A projection on a vector space V is a linear operator P\colon V \to V such that P^2 = P. When V has an inner product and is complete, i.e. when V is a Hilbert space, the concept of orthogonality can be used. A projection P on a Hilbert space V is called an orthogonal projection if it satisfies \langle P \mathbf x, \mathbf y \rangle = \langle \mathbf x, P \mathbf y \rangle for all \mathbf x, \mathbf y \in V. A projecti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Subspace
In mathematics, the term ''linear'' is used in two distinct senses for two different properties: * linearity of a ''function (mathematics), function'' (or ''mapping (mathematics), mapping''); * linearity of a ''polynomial''. An example of a linear function is the function defined by f(x)=(ax,bx) that maps the real line to a line in the Euclidean plane R2 that passes through the origin. An example of a linear polynomial in the variables X, Y and Z is aX+bY+cZ+d. Linearity of a mapping is closely related to ''Proportionality (mathematics), proportionality''. Examples in physics include the linear relationship of voltage and Electric current, current in an electrical conductor (Ohm's law), and the relationship of mass and weight. By contrast, more complicated relationships, such as between velocity and kinetic energy, are ''Nonlinear system, nonlinear''. Generalized for functions in more than one dimension (mathematics), dimension, linearity means the property of a function of b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hermitian Form
In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear map, linear in each of its arguments, but a sesquilinear form allows one of the arguments to be "twisted" in a Semilinear map, semilinear manner, thus the name; which originates from the Latin numerical prefix Wiktionary:sesqui-, ''sesqui-'' meaning "one and a half". The basic concept of the dot product – producing a Scalar (mathematics), scalar from a pair of vectors – can be generalized by allowing a broader range of scalar values and, perhaps simultaneously, by widening the definition of a vector. A motivating special case is a sesquilinear form on a complex vector space, . This is a map that is linear in one argument and "twists" the linearity of the other argument by Complex conjugate, complex conjugation (referred to as being antilinear in the other argument). This case arises naturall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
