Given any vector space V over a field F, the dual space V * is defined as the set of all linear maps ( linear functionals ).

) Given a smooth Φ < sup > t </ sup >, an autonomous vector field can be derived from it.

Given a vector space V over the field R of real numbers, a function is called sublinear if

Given two Lie algebras and, their direct sum is the Lie algebra consisting of the vector space

Given a basis of a vector space, every element of the vector space can be expressed uniquely as a finite linear combination of basis vectors.

Given a vector v in R < sup > n </ sup > one defines the directional derivative of a smooth map ƒ: R < sup > n </ sup >→ R at a point x by

Given any vector space V over K we can construct the tensor algebra T ( V ) of V. The tensor algebra is characterized by the fact:

Given that this is a plane wave, each vector represents the magnitude and direction of the electric field for an entire plane that is perpendicular to the axis.

Given a normalized light vector l ( pointing from the light source toward the surface ) and a normalized plane normal vector n, one can work out the normalized reflected and refracted rays:

Given the dimensions of the ellipsoid, the conversion from lat / lon / height-above-ellipsoid coordinates to X-Y-Z is straightforward — calculate the X-Y-Z for the given lat-lon on the surface of the ellipsoid and add the X-Y-Z vector that is perpendicular to the ellipsoid there and has length equal to the point's height above the ellipsoid.

Given a vector space V over a field K, the span of a set S ( not necessarily finite ) is defined to be the intersection W of all subspaces of V which contain S. W is referred to as the subspace spanned by S, or by the vectors in S. Conversely, S is called a spanning set of W.

Given subspaces U and W of a vector space V, then their intersection U ∩ W :=

Given a subset S in R < sup > n </ sup >, a vector field is represented by a vector-valued function V: S → R < sup > n </ sup > in standard Cartesian coordinates ( x < sub > 1 </ sub >, ..., x < sub > n </ sub >).

Given two C < sup > k </ sup >- vector fields V, W defined on S and a real valued C < sup > k </ sup >- function f defined on S, the two operations scalar multiplication and vector addition

Given a differentiable manifold M, a vector field on M is an assignment of a tangent vector to each point in M. More precisely, a vector field F is a mapping from M into the tangent bundle TM so that is the identity mapping

Given a vector x ∈ V and y * ∈ W *, then the tensor product y * ⊗ x corresponds to the map A: W → V given by

Given ω = ( xθ, yθ, zθ ), with v = ( x, y, z ) a unit vector, the correct skew-symmetric matrix form of ω is

Given two column vectors, their dot product can also be obtained by multiplying the transpose of one vector with the other vector and extracting the unique coefficient of the resulting 1 × 1 matrix.

* Given any Banach space X, the continuous linear operators A: X → X form a unitary associative algebra ( using composition of operators as multiplication ); this is a Banach algebra.

* Given any topological space X, the continuous real-or complex-valued functions on X form a real or complex unitary associative algebra ; here the functions are added and multiplied pointwise.

Given a topological space X, let G < sub > 0 </ sub > be the set X.

Given a finite dimensional real quadratic space with quadratic form, the geometric algebra for this quadratic space is the Clifford algebra Cℓ ( V, Q ).

Given these two assumptions, the coordinates of the same event ( a point in space and time ) described in two inertial reference frames are related by a Galilean transformation.

Given infinite space, there would, in fact, be an infinite number of Hubble volumes identical to ours in the universe.

Given a set of training examples of the form, a learning algorithm seeks a function, where is the input space and

Given an operator on Hilbert space, consider the orbit of a point under the iterates of.

Given a point x in a topological space, let N < sub > x </ sub > denote the set of all neighbourhoods containing x.

Given the date of his publication and the widespread, permanent distribution of his work, it appears that he should be regarded as the originator of the concept of space sailing by light pressure, although he did not develop the concept further.

Given an arbitrary topological space ( X, τ ) there is a universal way of associating a completely regular space with ( X, τ ).

Given any embedding of a Tychonoff space X in a compact Hausdorff space K the closure of the image of X in K is a compactification of X.

Given a completely regular space X there is usually more than one uniformity on X that is compatible with the topology of X.

Given the space X = Spec ( R ) with the Zariski topology, the structure sheaf O < sub > X </ sub > is defined on the D < sub > f </ sub > by setting Γ ( D < sub > f </ sub >, O < sub > X </ sub >) = R < sub > f </ sub >, the localization of R at the multiplicative system

If V is finite-dimensional, then V * has the same dimension as V. Given a basis

Given a set S with a partial order ≤, an infinite descending chain is a chain V that is a subset of S upon which ≤ defines a total order such that V has no least element, that is, an element m such that for all elements n in V it holds that m ≤ n.

:( a ) Given player 2's strategy, the best payoff possible for player 1 is V, and

:( b ) Given player 1's strategy, the best payoff possible for player 2 is − V.

Given a class function G: V → V, there exists a unique transfinite sequence F: Ord → V ( where Ord is the class of all ordinals ) such that

Given a topological space X, denote F the set of filters on X, x ∈ X a point, V ( x ) ∈ F the neighborhood filter of x, A ∈ F a particular filter and the set of filters finer than A and that converge to x.

A Clifford algebra Cℓ ( V, Q ) is a unital associative algebra over K together with a linear map satisfying for all defined by the following universal property: Given any associative algebra A over K and any linear map such that

Given any monic quadratic

Given a quadratic polynomial of the form

Given a quadratic polynomial of the form

Given a connected and orientable manifold M of dimension 4k, the cup product gives rise to a quadratic form Q on the ' middle ' real cohomology group

Given n = p × q a Blum integer, Q < sub > n </ sub > the set of all quadratic residues modulo n, and a ∈ Q < sub > n </ sub >.