|
Antilinear
In mathematics, a function f : V \to W between two complex vector spaces is said to be antilinear or conjugate-linear if \begin f(x + y) &= f(x) + f(y) && \qquad \text \\ f(s x) &= \overline f(x) && \qquad \text \\ \end hold for all vectors x, y \in V and every complex number s, where \overline denotes the complex conjugate of s. Antilinear maps stand in contrast to linear maps, which are additive maps that are homogeneous rather than conjugate homogeneous. If the vector spaces are real then antilinearity is the same as linearity. Antilinear maps occur in quantum mechanics in the study of time reversal and in spinor calculus, where it is customary to replace the bars over the basis vectors and the components of geometric objects by dots put above the indices. Scalar-valued antilinear maps often arise when dealing with complex inner products and Hilbert spaces. Definitions and characterizations A function is called or if it is additive and conjugate homogeneous. An on a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anti-dual Space
In mathematics, a function f : V \to W between two complex vector spaces is said to be antilinear or conjugate-linear if \begin f(x + y) &= f(x) + f(y) && \qquad \text \\ f(s x) &= \overline f(x) && \qquad \text \\ \end hold for all vectors x, y \in V and every complex number s, where \overline denotes the complex conjugate of s. Antilinear maps stand in contrast to linear maps, which are additive maps that are homogeneous rather than conjugate homogeneous. If the vector spaces are real then antilinearity is the same as linearity. Antilinear maps occur in quantum mechanics in the study of time reversal and in spinor calculus, where it is customary to replace the bars over the basis vectors and the components of geometric objects by dots put above the indices. Scalar-valued antilinear maps often arise when dealing with complex inner products and Hilbert spaces. Definitions and characterizations A function is called or if it is additive and conjugate homogeneous. An on a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inner Product Space
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in \langle a, b \rangle. Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality (zero inner product) of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or ''scalar product'' of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces. The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898. An inner product naturally induces an associated norm, (denoted , x, and , y, in the picture); so, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hilbert Space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that defines a distance function for which the space is a complete metric space. The earliest Hilbert spaces were studied from this point of view in the first decade of the 20th century by David Hilbert, Erhard Schmidt, and Frigyes Riesz. They are indispensable tools in the theories of partial differential equations, quantum mechanics, Fourier analysis (which includes applications to signal processing and heat transfer), and ergodic theory (which forms the mathematical underpinning of thermodynamics). John von Neumann coined the term ''Hilbert space'' for the abstract concept that under ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inner Product Space
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in \langle a, b \rangle. Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality (zero inner product) of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or ''scalar product'' of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces. The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898. An inner product naturally induces an associated norm, (denoted , x, and , y, in the picture); so, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Map
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of module (mathematics), modules over a ring (mathematics), ring; see Module homomorphism. If a linear map is a bijection then it is called a . In the case where V = W, a linear map is called a (linear) ''endomorphism''. Sometimes the term refers to this case, but the term "linear operator" can have different meanings for different conventions: for example, it can be used to emphasize that V and W are Real number, real vector spaces (not necessarily with V = W), or it can be used to emphasize that V is a function space, which is a common convention in functional analysis. Some ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semilinear Map
In linear algebra, particularly projective geometry, a semilinear map between vector spaces ''V'' and ''W'' over a field ''K'' is a function that is a linear map "up to a twist", hence ''semi''-linear, where "twist" means "field automorphism of ''K''". Explicitly, it is a function that is: * additive with respect to vector addition: T(v+v') = T(v)+T(v') * there exists a field automorphism ''θ'' of ''K'' such that T(\lambda v) = \lambda^\theta T(v), where \lambda^\theta is the image of the scalar \lambda under the automorphism. If such an automorphism exists and ''T'' is nonzero, it is unique, and ''T'' is called ''θ''-semilinear. Where the domain and codomain are the same space (i.e. ), it may be termed a semilinear transformation. The invertible semilinear transforms of a given vector space ''V'' (for all choices of field automorphism) form a group, called the general semilinear group and denoted \operatorname(V), by analogy with and extending the general linear group. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Operator
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that preserves the operations of vector addition and scalar multiplication. The same names and the same definition are also used for the more general case of modules over a ring; see Module homomorphism. If a linear map is a bijection then it is called a . In the case where V = W, a linear map is called a (linear) ''endomorphism''. Sometimes the term refers to this case, but the term "linear operator" can have different meanings for different conventions: for example, it can be used to emphasize that V and W are real vector spaces (not necessarily with V = W), or it can be used to emphasize that V is a function space, which is a common convention in functional analysis. Sometimes the term ''linear function'' has the same meaning as ''linear map' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Additive Map
In algebra, an additive map, Z-linear map or additive function is a function f that preserves the addition operation: f(x + y) = f(x) + f(y) for every pair of elements x and y in the domain of f. For example, any linear map is additive. When the domain is the real numbers, this is Cauchy's functional equation. For a specific case of this definition, see additive polynomial. More formally, an additive map is a \Z-module homomorphism. Since an abelian group is a \Z-module, it may be defined as a group homomorphism between abelian groups. A map V \times W \to X that is additive in each of two arguments separately is called a bi-additive map or a \Z-bilinear map. Examples Typical examples include maps between rings, vector spaces, or modules that preserve the additive group. An additive map does not necessarily preserve any other structure of the object; for example, the product operation of a ring. If f and g are additive maps, then the map f + g (defined pointwise) is additiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Additive Map
In algebra, an additive map, Z-linear map or additive function is a function f that preserves the addition operation: f(x + y) = f(x) + f(y) for every pair of elements x and y in the domain of f. For example, any linear map is additive. When the domain is the real numbers, this is Cauchy's functional equation. For a specific case of this definition, see additive polynomial. More formally, an additive map is a \Z-module homomorphism. Since an abelian group is a \Z-module, it may be defined as a group homomorphism between abelian groups. A map V \times W \to X that is additive in each of two arguments separately is called a bi-additive map or a \Z-bilinear map. Examples Typical examples include maps between rings, vector spaces, or modules that preserve the additive group. An additive map does not necessarily preserve any other structure of the object; for example, the product operation of a ring. If f and g are additive maps, then the map f + g (defined pointwise) is additiv ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Conjugate Vector Space
In mathematics, the complex conjugate of a complex vector space V\, is a complex vector space \overline V, which has the same elements and additive group structure as V, but whose scalar multiplication involves conjugation of the scalars. In other words, the scalar multiplication of \overline V satisfies \alpha\,*\, v = where * is the scalar multiplication of \overline and \cdot is the scalar multiplication of V. The letter v stands for a vector in V, \alpha is a complex number, and \overline denotes the complex conjugate of \alpha. More concretely, the complex conjugate vector space is the same underlying vector space (same set of points, same vector addition and real scalar multiplication) with the conjugate linear complex structure J (different multiplication by i). Motivation If V and W are complex vector spaces, a function f : V \to W is antilinear if f(v + w) = f(v) + f(w) \quad \text \quad f(\alpha v) = \overline \, f(v) With the use of the conjugate vector space \overline ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Composition Of Relations
In the mathematics of binary relations, the composition of relations is the forming of a new binary relation from two given binary relations ''R'' and ''S''. In the calculus of relations, the composition of relations is called relative multiplication, and its result is called a relative product. Function composition is the special case of composition of relations where all relations involved are functions. The word uncle indicates a compound relation: for a person to be an uncle, he must be the brother of a parent. In algebraic logic it is said that the relation of Uncle (x U z) is the composition of relations "is a brother of" (x B y) and "is a parent of" (y P z). U = BP \quad \text \quad xByPz \text xUz. Beginning with Augustus De Morgan, the traditional form of reasoning by syllogism has been subsumed by relational logical expressions and their composition. Definition If R \subseteq X \times Y and S \subseteq Y \times Z are two binary relations, then their composition R; ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.png "Click for more on -> Inner Product Space")
