|
Dual Lattice
In the theory of lattices, the dual lattice is a construction analogous to that of a dual vector space. In certain respects, the geometry of the dual lattice of a lattice L is the reciprocal of the geometry of L , a perspective which underlies many of its uses. Dual lattices have many applications inside of lattice theory, theoretical computer science, cryptography and mathematics more broadly. For instance, it is used in the statement of the Poisson summation formula, transference theorems provide connections between the geometry of a lattice and that of its dual, and many lattice algorithms exploit the dual lattice. For an article with emphasis on the physics / chemistry applications, see Reciprocal lattice. This article focuses on the mathematical notion of a dual lattice. Definition Let L \subseteq \mathbb^n be a lattice. That is, L = B \mathbb^n for some matrix B . The dual lattice is the set of linear functionals on L which take integer values on each poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lattice (group)
In geometry and group theory, a lattice in the real coordinate space \mathbb^n is an infinite set of points in this space with the properties that coordinate-wise addition or subtraction of two points in the lattice produces another lattice point, that the lattice points are all separated by some minimum distance, and that every point in the space is within some maximum distance of a lattice point. Closure under addition and subtraction means that a lattice must be a subgroup of the additive group of the points in the space, and the requirements of minimum and maximum distance can be summarized by saying that a lattice is a Delone set. More abstractly, a lattice can be described as a free abelian group of dimension n which spans the vector space \mathbb^n. For any basis of \mathbb^n, the subgroup of all linear combinations with integer coefficients of the basis vectors forms a lattice, and every lattice can be formed from a basis in this way. A lattice may be viewed as a re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poisson Summation Formula
In mathematics, the Poisson summation formula is an equation that relates the Fourier series coefficients of the periodic summation of a function (mathematics), function to values of the function's continuous Fourier transform. Consequently, the periodic summation of a function is completely defined by discrete samples of the original function's Fourier transform. And conversely, the periodic summation of a function's Fourier transform is completely defined by discrete samples of the original function. The Poisson summation formula was discovered by Siméon Denis Poisson and is sometimes called Poisson resummation. For a smooth, complex valued function s(x) on \mathbb R which decays at infinity with all derivatives (Schwartz function), the simplest version of the Poisson summation formula states that where S is the Fourier transform of s, i.e., S(f) \triangleq \int_^ s(x)\ e^\, dx. The summation formula can be restated in many equivalent ways, but a simple one is the following. Sup ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reciprocal Lattice
Reciprocal lattice is a concept associated with solids with translational symmetry which plays a major role in many areas such as X-ray and electron diffraction as well as the energies of electrons in a solid. It emerges from the Fourier transform of the lattice associated with the arrangement of the atoms. The ''direct lattice'' or ''real lattice'' is a periodic function in physical space, such as a crystal system (usually a Bravais lattice). The reciprocal lattice exists in the mathematical space of spatial frequencies or wavenumbers ''k'', known as reciprocal space or ''k'' space; it is the dual of physical space considered as a vector space. In other words, the reciprocal lattice is the sublattice which is dual to the direct lattice. The reciprocal lattice is the set of all vectors \mathbf_m, that are wavevectors k of plane waves in the Fourier series of a spatial function whose periodicity is the same as that of a direct lattice \mathbf_n. Each plane wave in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Form
In mathematics, a linear form (also known as a linear functional, a one-form, or a covector) is a linear mapIn some texts the roles are reversed and vectors are defined as linear maps from covectors to scalars from a vector space to its field (mathematics), field of scalar (mathematics), scalars (often, the real numbers or the complex numbers). If is a vector space over a field , the set of all linear functionals from to is itself a vector space over with addition and scalar multiplication defined pointwise. This space is called the dual space of , or sometimes the algebraic dual space, when a topological dual space is also considered. It is often denoted , p. 19, §3.1 or, when the field is understood, V^*; other notations are also used, such as V', V^ or V^. When vectors are represented by column vectors (as is common when a basis (linear algebra), basis is fixed), then linear functionals are represented as row vectors, and their values on specific vectors are given by matri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functional (mathematics)
In mathematics, a functional is a certain type of function. The exact definition of the term varies depending on the subfield (and sometimes even the author). * In linear algebra, it is synonymous with a linear form, which is a linear mapping from a vector space V into its field of scalars (that is, it is an element of the dual space V^*) "Let ''E'' be a free module over a commutative ring ''A''. We view ''A'' as a free module of rank 1 over itself. By the dual module ''E''∨ of ''E'' we shall mean the module Hom(''E'', ''A''). Its elements will be called functionals. Thus a functional on ''E'' is an ''A''-linear map ''f'' : ''E'' → ''A''." * In functional analysis and related fields, it refers to a mapping from a space X into the field of real or complex numbers. "A numerical function ''f''(''x'') defined on a normed linear space ''R'' will be called a ''functional''. A functional ''f''(''x'') is said to be ''linear'' if ''f''(α''x'' + β''y'') = α''f''(''x'') + β ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dot-product
In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. Not to be confused with scalar multiplication. is an algebraic operation that takes two equal-length sequences of numbers (usually coordinate vectors), and returns a single number. In Euclidean geometry, the dot product of the Cartesian coordinates of two vectors is widely used. It is often called the inner product (or rarely the projection product) of Euclidean space, even though it is not the only inner product that can be defined on Euclidean space (see '' Inner product space'' for more). It should not be confused with the cross product. Algebraically, the dot product is the sum of the products of the corresponding entries of the two sequences of numbers. Geometrically, it is the product of the Euclidean magnitudes of the two vectors and the cosine of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector (mathematics And Physics)
In mathematics and physics, vector is a term that refers to physical quantity, quantities that cannot be expressed by a single number (a scalar (physics), scalar), or to elements of some vector spaces. Historically, vectors were introduced in geometry and physics (typically in mechanics) for quantities that have both a magnitude and a direction, such as displacement (geometry), displacements, forces and velocity. Such quantities are represented by geometric vectors in the same way as distances, masses and time are represented by real numbers. The term ''vector'' is also used, in some contexts, for tuples, which are finite sequences (of numbers or other objects) of a fixed length. Both geometric vectors and tuples can be added and scaled, and these vector operations led to the concept of a vector space, which is a set (mathematics), set equipped with a vector addition and a scalar multiplication that satisfy some axioms generalizing the main properties of operations on the abov ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Span
In mathematics, the linear span (also called the linear hull or just span) of a set S of elements of a vector space V is the smallest linear subspace of V that contains S. It is the set of all finite linear combinations of the elements of , and the intersection of all linear subspaces that contain S. It is often denoted pp. 29-30, §§ 2.5, 2.8 or \langle S \rangle. For example, in geometry, two linearly independent vectors span a plane. To express that a vector space is a linear span of a subset , one commonly uses one of the following phrases: spans ; is a spanning set of ; is spanned or generated by ; is a generator set or a generating set of . Spans can be generalized to many mathematical structures, in which case, the smallest substructure containing S is generally called the substructure ''generated'' by S. Definition Given a vector space over a field , the span of a set of vectors (not necessarily finite) is defined to be the intersection of all subsp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces'' of any positive integer dimension ''n'', which are called Euclidean ''n''-spaces when one wants to specify their dimension. For ''n'' equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of '' proving'' all properties of the space as theorems, by starting from a few fundamental properties, called '' postulates'', which either were considered as evid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelian Group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after the Norwegian mathematician Niels Henrik Abel. The concept of an abelian group underlies many fundamental algebraic structures, such as fields, rings, vector spaces, and algebras. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood and fully classified. Definition An abelian group is a set A, together with an operation ･ , that combines any two elements a and b of A to form another element of A, denoted a \cdot b. The sym ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthonormality
In linear algebra, two vector space, vectors in an inner product space are orthonormal if they are orthogonality, orthogonal unit vectors. A unit vector means that the vector has a length of 1, which is also known as normalized. Orthogonal means that the vectors are all perpendicular to each other. A set of vectors form an orthonormal set if all vectors in the set are mutually orthogonal and all of unit length. An orthonormal set which forms a basis (linear algebra), basis is called an ''orthonormal basis''. Intuitive overview The construction of orthogonality of vectors is motivated by a desire to extend the intuitive notion of perpendicular vectors to higher-dimensional spaces. In the Cartesian coordinate system#Cartesian coordinates in two dimensions, Cartesian plane, two Vector (geometry), vectors are said to be ''perpendicular'' if the angle between them is 90° (i.e. if they form a right angle). This definition can be formalized in Cartesian space by defining the dot produc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
