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.
- In functional analysis, a subset S of a topological vector space V is complete if its span is dense in V. 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 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 doesn't 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 premisses 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 isn't 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 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.
Common misspelling and questions (FAQ)
ompleteness cmpleteness copleteness comleteness competeness complteness compleeness completness completeess completenss completenes completenes ocmpleteness cmopleteness copmleteness comlpeteness compelteness complteeness compleetness completneess completeenss completenses completeness completenes ccompleteness coompleteness commpleteness comppleteness complleteness compleeteness completteness completeeness completenness completeneess completenesss completenesss dompleteness xompleteness fompleteness fompleteness vompleteness c9mpleteness cimpleteness ckmpleteness c0mpleteness clmpleteness c0mpleteness cpmpleteness clmpleteness cojpleteness conpleteness cokpleteness cokpleteness co,pleteness com0leteness comoleteness comlleteness com-leteness com;leteness com-leteness com[leteness com;leteness compoeteness compketeness comp,eteness comppeteness comp.eteness comppeteness comp;eteness comp.eteness compl3teness complwteness complsteness compl4teness compldteness compl4teness complrteness compldteness comple5eness complereness complefeness comple6eness complegeness comple6eness compleyeness complegeness complet3ness completwness completsness complet4ness completdness complet4ness completrness completdness completehess completebess completejess completejess completemess completen3ss completenwss completensss completen4ss completendss completen4ss completenrss completendss completenews completeneas completenezs completenees completenexs completenees completeneds completenexs completenesw completenesa completenesz completenese completenesx completenese completenesd completenesx completenes compleyeness completyeness completenesesLudicrous gravity Their own roofs were not quite yet in a blaze VERSIONS based on separate sources get new LETTER, jm91v10a.txt This eBook was produced by David Widger