Search Results for ""

The 120-cell is a finite regular four-dimensional polytope with Schläfli symbol {5,3,3}. It is also known as the hyperdodecahedron or hecatonicosachoron, and is composed of ...

For any sets A and B, their cardinal numbers satisfy |A|<=|B| iff there is a one-to-one function f from A into B (Rubin 1967, p. 266; Suppes 1972, pp. 94 and 116). It is easy ...

A complemented lattice is an algebraic structure (L, ^ , v ,0,1,^') such that (L, ^ , v ,0,1) is a bounded lattice and for each element x in L, the element x^' in L is a ...

A function f defined on a subset S subset R^n is said to be pseudoconcave if -f is pseudoconvex.

To each epsilon>0, there corresponds a delta such that ||f-g||<epsilon whenever ||f||=||g||=1 and ||(f+g)/2||>1-delta. This is a geometric property of the unit sphere of ...

The Littlewood conjecture states that for any two real numbers x,y in R, lim inf_(n->infty)n|nx-nint(nx)||ny-nint(ny)|=0 where nint(z) denotes the nearest integer function. ...

A weakened version of pointwise convergence hypothesis which states that, for X a measure space, f_n(x)->f(x) for all x in Y, where Y is a measurable subset of X such that ...

Let (X,tau) be a topological space, and let p in X. Then the arc component of p is union {A subset= X:A is an arc and p in A}.

A basepoint is the beginning and ending point of a loop. The fundamental group of a topological space is always with respect to a particular choice of basepoint.

A subset X subset Y is said to be bicollared in Y if there exists an embedding b:X×[-1,1]->Y such that b(x,0)=x when x in X. The map b or its image is then said to be the ...