Search Results for ""

An ambient isotopy from an embedding of a manifold M in N to another is a homotopy of self diffeomorphisms (or isomorphisms, or piecewise-linear transformations, etc.) of N, ...

The bicommutant theorem is a theorem within the field of functional analysis regarding certain topological properties of function algebras. The theorem says that, given a ...

The symbol intersection , used for the intersection of sets, and sometimes also for the logical connective AND instead of the symbol ^ (wedge). In fact, for any two sets A ...

For every p, the kernel of partial_p:C_p->C_(p-1) is called the group of cycles, Z_p={c in C_p:partial(c)=0}. (1) The letter Z is short for the German word for cycle, ...

A computation is an operation that begins with some initial conditions and gives an output which follows from a definite set of rules. The most common example are ...

Computation time (also called "running time") is the length of time required to perform a computational process. Representation a computation as a sequence of rule ...

"The" continuity axiom is an additional Axiom which must be added to those of Euclid's Elements in order to guarantee that two equal circles of radius r intersect each other ...

Given an affine variety V in the n-dimensional affine space K^n, where K is an algebraically closed field, the coordinate ring of V is the quotient ring ...

The symbol union , used for the union of sets, and, sometimes, also for the logical connective OR instead of the symbol v (vee). In fact, for any two sets A and B x in A ...

A series suma(n)e^(-lambda(n)z), where a(n) and z are complex and {lambda(n)} is a monotonic increasing sequence of real numbers. The numbers lambda(n) are called the ...