Completeness

In mathematics and related technical fields, a mathematical object is complete if nothing needs to be added to it. This is made precise in various ways, several of which have a related notion of completion.

Metric spaces or uniform spaces are said to be complete if every Cauchy sequence in them converges. See complete space.
An ordered field is complete if every non-empty subset of it that has an upper bound within the field has a least upper bound within the field. Up to isomorphism there is only one complete ordered field: the field of real numbers.
In functional analysis, a subset S of a topological vector space V is complete if its span is dense in V. If V is separable, it follows that any vector in V can be written as a (possibly infinite) linear combination of vectors from S. In the particular case of Hilbert spaces (or more generally, inner product spaces), an orthonormal basis is a set that is both complete and orthonormal.
A lattice is complete if each of its subsets has a supremum and an infimum.
A measure space is complete if every subset of every null set is measurable. See complete measure.
In statistics, a statistic is called complete if it does not allow an unbiased estimator of zero. See completeness (statistics).
In graph theory, a complete graph is an undirected graph where every pair of vertices has exactly one edge connecting them.
In category theory, a category C is called complete if every functor from a small category to C has a limit; it is called cocomplete if every such functor has a colimit.
In logic, a formal calculus (often just specified by a set of additional axioms used to formalize some theory within the underlying logic) is said to be complete if, for any statement P, a proof exists for P or for not P. A system is consistent if a proof never exists for both P and not P. Gödel's incompleteness theorem proved that no system as powerful as the Peano axioms can be both consistent and complete. See also below for another notion of completeness in logic.
In proof theory and related fields of mathematical logic, a formal calculus is said to be complete with respect to a certain logic (i.e. wrt its semantics), if every statement P, that follows sematically from a set of premises G, can be derived syntactically from these premisses within the calculus. Formally, G|=P implies G|-P. Especially, all tautologies of the logic can be proven. Even when working with classical logic, this is not equivalent to the notion of completeness introduced above (both a statement and its negation might not be tautologies wrt the logic). The reverse implication is called soundness.
In computational complexity theory, a problem P is said to be complete for a complexity class C, under a given type of reduction, if P is in C, and every problem in C reduces to P using that reduction. For example, each problem in the class NP-Complete is complete for the class NP, under polynomial-time, many-one reduction.

In the News

Drivers Are Stupid As Ever
While cars are getting smarter, motorists continue to do the darndest things. Plus: A truck designer gets props from the White House for using green technologies. From the Wired News blog Autopia.

[Funny] A referee has sent himself off in an English amateur league ma
Andy Wain had to abandon the Sunday league match between Peterborough North End and a Royal Mail side in the 63rd minute after throwing down his whistle and marching up to confront North End's keeper.

Prenatal Cocaine Exposure Exerts Subtle Effects On Schoolchildren
Children exposed to cocaine before birth show subtle but discernible differences in their ability to plan and problem-solve once they reach school age, University of Florida researchers report. Still, most fare far better in the first few years after birth than many experts once predicted.

The California Backyard Orchard: A University of California Resource f
Includes information on the benefits of home orchards, how to choose a site, planting and maintenance tips, pest control, links to related resources, and more. Covers tree and shrub fruits and nuts, berries, and table grapes. Includes events and maintenance calendars, a glossary, and a guide to using the services of University of California Cooperative Extension (UCCE) Master Gardeners program.

Genetics A Key Factor In Premature Infants' Devastating Eye Disease
Genetics play a major role in predisposing infants to retinopathy of prematurity (ROP), a disease prevalent in premature infants that disrupts normal blood vessel development of the retina and can lead to blindness, researchers at Yale School of Medicine report in the November issue of Pediatrics.

Will Sidekick III Gain an EDGE?
Rumors swirl about upcoming gadget's capabilities. Plus: Who doesn't need a virtual-reality hamster wheel? From the Wired News blog Gear Factor.

Increased Risk Of Cancer For Computer Factory Workers, Large Study Sho
Workers at computer factories are at increased risk of dying of cancer. The largest study of its kind, published today in the open access journal Environmental Health, looks at over 30,000 deaths of workers who had been employed at IBM factories in the USA.

In Our Hearts, Not Our Homes: TAOS Project to Prevent Wild &Exotic Pet
Publications, resources, and advocacy pieces presenting arguments against keeping wildlife as pets. Find materials "to post, distribute, or present in your local community, at club meetings, schools, religious institutions, and other organizations,"such as Web banners, flyers, and ads to place in newspapers. Includes a lovely "Slide Show"featuring wildlife in their natural habitats, plus a teacher's guide and materials suitable for children. From The Association of Sanctuaries (TAOS).

Guide to Asian Specialty Vegetables in the Central Valley, CA
Introduction to Asian specialty crops grown in Fresno, Tulare, Merced, and San Joaquin counties in California. Includes photographs and brief descriptions of melons and gourds (such as bittermelon and opo), beans and peas, grasses and sedges (such as water chestnut), eggplants and peppers, and cabbages (such a bok choy and daikon). Browsable by family. Also features a nutritional information table. From the Small Farm Center, University of California, Davis.

Cocaine pregnancy test
Incidences of poisoning and drugs overdoses are common in hospital emergency rooms the world over. But, one thing medical staff lack to deal with such cases is a quick and easy way to identify the particular poison.For an initial diagnosis, they usually rely on circumstantial evidence provided by anyone accompanying the patient or the victims [...]

MP3 Music Downloads

Preview songs, Download Free Music,Burn CDs at ITunes.com

Completeness

In the News

MP3 Music Downloads

Movies