Search Results for ""

The proposal originally made by Georg Cantor that there is no infinite set with a cardinal number between that of the "small" infinite set of integers aleph_0 and the "large" ...

Propositional calculus is the formal basis of logic dealing with the notion and usage of words such as "NOT," "OR," "AND," and "implies." Many systems of propositional ...

Let M be a compact n-dimensional manifold with injectivity radius inj(M). Then Vol(M)>=(c_ninj(M))/pi, with equality iff M is isometric to the standard round sphere S^n with ...

If f(x) is an even function, then b_n=0 and the Fourier series collapses to f(x)=1/2a_0+sum_(n=1)^inftya_ncos(nx), (1) where a_0 = 1/piint_(-pi)^pif(x)dx (2) = ...

If f(x) is an odd function, then a_n=0 and the Fourier series collapses to f(x)=sum_(n=1)^inftyb_nsin(nx), (1) where b_n = 1/piint_(-pi)^pif(x)sin(nx)dx (2) = ...

Let the elements in a payoff matrix be denoted a_(ij), where the is are player A's strategies and the js are player B's strategies. Player A can get at least min_(j<=n)a_(ij) ...

Let a plane figure have area A and perimeter p. Then Q=(4piA)/(p^2)<=1, where Q is known as the isoperimetric quotient. The equation becomes an equality only for a circle.

A triangle with side lengths a, b, and c and triangle area Delta satisfies a^2+b^2+c^2>=4sqrt(3)Delta. Equality holds iff the triangle is equilateral.

Let the n×n matrix A satisfy the conditions of the Perron-Frobenius theorem and the n×n matrix C=c_(ij) satisfy |c_(ij)|<=a_(ij) for i,j=1, 2, ..., n. Then any eigenvalue ...

Let f(x) be a real continuous monotonic strictly increasing function on the interval [0,a] with f(0)=0 and b<=f(a), then ab<=int_0^af(x)dx+int_0^bf^(-1)(y)dy, where f^(-1)(y) ...