Search Results for ""

A simple path is a path which is a simple curve. More precisely, a continuous mapping gamma:[a,b]->C^0 is a simple path if it has no self-intersections. Here, C^0 denotes the ...

A topological space fulfilling the T3-separation axiom: X fulfils the T1-separation axiom and is regular. According to the terminology of Alexandroff and Hopf (1972), ...

The Banach space L^1([0,1]) with the product (fg)(x)=int_0^xf(x-y)g(y)dy is a non-unital commutative Banach algebra. This algebra is called the Volterra algebra.

If f is a function on an open set U, then the zero set of f is the set Z={z in U:f(z)=0}. A subset of a topological space X is called a zero set if it is equal to f^(-1)(0) ...

The Euclidean metric is the function d:R^n×R^n->R that assigns to any two vectors in Euclidean n-space x=(x_1,...,x_n) and y=(y_1,...,y_n) the number ...

Baire's category theorem, also known as Baire's theorem and the category theorem, is a result in analysis and set theory which roughly states that in certain spaces, the ...

Smale (1958) proved that it is mathematically possible to turn a sphere inside-out without introducing a sharp crease at any point. This means there is a regular homotopy ...

The study of the geometry of figures by algebraic representation and manipulation of equations describing their positions, configurations, and separations. Analytic geometry ...

A vector v on a Hilbert space H is said to be cyclic if there exists some bounded linear operator T on H so that the set of orbits {T^iv}_(i=0)^infty={v,Tv,T^2v,...} is dense ...

Given a contravariant basis {e^->_1,...,e^->_n}, its dual covariant basis is given by e^->^alpha·e^->_beta=g(e^->^alpha,e^->_beta)=delta_beta^alpha, where g is the metric and ...