Search Results for ""

For real, nonnegative terms x_n and real p with 0<p<1, the expression lim_(k->infty)x_0+(x_1+(x_2+(...+(x_k)^p)^p)^p)^p converges iff (x_n)^(p^n) is bounded.

If R is a Noetherian ring, then S=R[X] is also a Noetherian ring.

Let K be a finite complex, and let phi:C_p(K)->C_p(K) be a chain map, then sum_(p)(-1)^pTr(phi,C_p(K))=sum_(p)(-1)^pTr(phi_*,H_p(K)/T_p(K)).

Given a smooth function f:R^n->R^n, if the Jacobian is invertible at 0, then there is a neighborhood U containing 0 such that f:U->f(U) is a diffeomorphism. That is, there is ...

Let G be a group, then there exists a piecewise linear knot K^(n-2) in S^n for n>=5 with G=pi_1(S^n-K) iff G satisfies 1. G is finitely presentable, 2. The Abelianization of ...

Let G denote the group of germs of holomorphic diffeomorphisms of (C,0). Then if |lambda|!=1, then G_lambda is a conjugacy class, i.e., all f in G_lambda are linearizable.

Numbers 1, alpha_1, ..., alpha_L are rationally independent iff under the action of rotation rho_(alpha_1)×...×rho_(alpha_L) on the L-dimensional torus, every orbit is ...

If all the eigenvalues of a real matrix A have real parts, then to an arbitrary negative definite quadratic form (x,Wx) with x=x(t) there corresponds a positive definite ...

If f(x) is positive and decreases to 0, then an Euler constant gamma_f=lim_(n->infty)[sum_(k=1)^nf(k)-int_1^nf(x)dx] can be defined. For example, if f(x)=1/x, then ...

For every infinite loop space machine E, there is a natural equivalence of spectra between EX and Segal's spectrum BX.