# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Limit superior and limit inferior

In mathematics, the limit inferior and limit superior of a sequence can be thought of as limiting bounds on the sequence.

The limit inferior (or lower limit) of a sequence (xn) is defined as

$\liminf_{n\rightarrow\infty}x_n=\sup_{n\geq 0}\,\inf_{k\geq n}x_k=\sup\{\,\inf\{\,x_k:k\geq n\,\}:n\geq 0\,\}.$

or

$\liminf_{n\rightarrow\infty}x_n=\lim_{n\rightarrow\infty}\left(\inf_{m\geq n}x_m\right).$

Similarly, the limit superior (or upper limit) of (xn) is defined as

$\limsup_{n\rightarrow\infty}x_n=\inf_{n\geq 0}\,\sup_{k\geq n}x_k=\inf\{\,\sup\{\,x_k:k\geq n\,\}:n\geq 0\,\}.$

or

$\limsup_{n\rightarrow\infty}x_n=\lim_{n\rightarrow\infty}\left(\sup_{m\geq n}x_m\right).$

These definitions make sense in any partially ordered set, provided the supremums and infimums exist. In a complete lattice, the supremums and infimums always exist, and so in this case every sequence has a limit superior and a limit inferior.

Whenever lim inf xn and lim sup xn both exist, then

$\liminf_{n\rightarrow\infty}x_n\leq\limsup_{n\rightarrow\infty}x_n.$

## Sequences of real numbers

In calculus, the case of sequences in R (the real numbers) is important. R itself is not a complete lattice, but positive and negative infinities can be added to give the complete totally ordered set [-∞,∞]. Then (xn) in [-∞,∞] converges if and only if lim inf xn = lim sup xn, in which case lim xn is equal to their common value. (Note that when working just in R, convergence to -∞ or ∞ would not be considered as convergence.)

As an example, consider the sequence given by xn = sin(n). Using the fact that pi is irrational, one can show that lim inf xn = −1 and lim sup xn = +1.

If I = lim inf xn and S = lim sup xn, then the interval [I, S] need not contain any of the numbers xn, but every slight enlargement [I − ε, S + ε] (for arbitrarily small ε > 0) will contain xn for all but finitely many indices n. In fact, the interval [I, S] is the smallest closed interval with this property.

An example from number theory is

$\liminf_n(p_{n+1}-p_n),$

where pn is the n-th prime number. The value of this limit inferior is conjectured to be 2 - this is the twin prime conjecture - but as yet has not even been proved finite.

## Sequences of sets

The power set P(X) of a set X is a complete lattice, and it is sometimes useful to consider limits superior and inferior of sequences in P(X), that is, sequences of subsets of X. If Xn is such a sequence, then an element a of X belongs to lim inf Xn if and only if there exists a natural number n0 such that a is in Xn for all n > n0. The element a belongs to lim sup Xn if and only if for every natural number n0 there exists an index n > n0 such that a is in Xn. In other words, lim sup Xn consists of those elements which are in Xn for infinitely many n, while lim inf Xn consists of those elements which are in Xn for all but finitely many n.

Using the standard parlance of set theory, the infimum of a sequence of sets is the countable intersection of the sets, the largest set included in all of the sets:

$\inf\left\{\,x_n : n=1,2,3,\dots\,\right\}={\bigcap_{n=1}^\infty}x_n$

The sequence of n=1,2,3,...,In, where In is the infimum of set n, is non-decreasing, because InIn+1. Therefore, the countable union of infimum from 1 to n is equal to the nth infimum. Taking this sequence of sets to the limit:

$\liminf_{n\rightarrow\infty}x_n={\bigcup_{n=1}^\infty}\left({\bigcap_{m=n}^\infty}x_m\right).$

The limsup can be defined as the opposite. The supremum of a sequence of sets is the smallest set containing all the sets, i.e., the countable union of the sets.

$\sup\left\{\,x_n : n=1,2,3,\dots\,\right\}={\bigcup_{n=1}^\infty}x_n$

The limsup is the countable intersection of this non-increasing (each supremum is a subset of the previous supremum) sequence of sets.

$\limsup_{n\rightarrow\infty}x_n={\bigcap_{n=1}^\infty}\left({\bigcup_{m=n}^\infty}x_m\right).$

See Borel-Cantelli lemma for an example.

03-10-2013 05:06:04
Science kits, science lessons, science toys, maths toys, hobby kits, science games and books - these are some of many products that can help give your kid an edge in their science fair projects, and develop a tremendous interest in the study of science. When shopping for a science kit or other supplies, make sure that you carefully review the features and quality of the products. Compare prices by going to several online stores. Read product reviews online or refer to magazines.

Start by looking for your science kit review or science toy review. Compare prices but remember, Price \$ is not everything. Quality does matter.
 Science Fair Coach What do science fair judges look out for? ScienceHound Science Fair Projects for students of all ages
 All Science Fair Projects.com Site All Science Fair Projects Homepage Search | Browse | Links | From-our-Editor | Books | Help | Contact | Privacy | Disclaimer | Copyright Notice