Namespaces
Variants
Actions

Hierarchy

From Encyclopedia of Mathematics
Revision as of 17:09, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A classification of certain mathematical objects according to the complexity of their definitions.

The first hierarchies were constructed in descriptive set theory (see [3]). In these hierarchies, the transition to a more complicated class of sets is effected by applying set-theoretical and topological operations to the elements of the simpler classes. The most important hierarchies in descriptive set theory are defined as follows. If is some family of subsets of a set , then denotes the family of all complements in of the elements of , denotes the family of all countable unions of elements of and denotes the family of all countable intersections of elements of . For a fixed topological space , let denote the family of all closed subsets of and the family of all open subsets of . The sequence of classes is defined by transfinite induction; at each limit ordinal there stands the result of applying the operation to the union of the preceding classes. Similarly, interchanging and everywhere, one gets the sequence of classes. Here , , etc. The sequences so constructed form the Borel hierarchy of subsets of . The union of the classes in this hierarchy is called the class of Borel subsets of , and is denoted by . If is some family of subsets of a topological space , then denotes the family of all images of elements of under continuous mappings from to . The classes , etc., form the projective hierarchy of subsets of . In this connection, the analytic sets (the -sets, cf. Analytic set) contain the class , and their complements (the -sets) contain , etc.

In mathematical logic, hierarchies of sets and relations given by the formulas of logical languages are considered (see [1], [2], [5]). The most important examples of such hierarchies are those based on representing a relation in the form

(*)

Here are variables, some of which run over the set of natural numbers (numerical variables), and others over the set of all subsets of the natural numbers (set variables); is a sequence of quantifiers in which universal and existential quantifiers alternate, that is, of any pair of consecutive quantifiers one is universal and one is existential; is an arbitrary recursive relation between the numerical and the set variables. The class (, respectively) consists of all relations representable in the form (*), where are numerical variables and the symbol is (, respectively). The classes and , form the Kleene–Mostowski arithmetic hierarchy (see Kleene–Mostowski classification). The union of these classes is called the class of arithmetic relations. The classes (, respectively), , consist of the relations representable in the form (*), where all the variables are set variables while is a numerical variable, and is (, respectively). The class of arithmetic relations is denoted by and , respectively. The classes , , form the Kleene analytic hierarchy. The elements of are called hyper-arithmetic (see [2], [5]); they can be put in a hierarchy of their own, which can be regarded as an extension of the Kleene–Mostowski hierarchy.

The various hierarchies can be regarded in a uniform way from the point of view of definability in logical languages. In particular, the elementary classes of the Borel hierarchy can be defined in a way similar to the classes in the Kleene–Mostowski hierarchy, and the analytic hierarchy in a way similar to the projective hierarchy. In this way a number of assertions concerning the structure of classes of hierarchies gets a common formulation, and often similar proofs (see [1]). An example of such an assertion is the reduction principle, which goes as follows. Let be a class in some hierarchy, and let and be elements of it; then there exist an and a in such that , , , and . This principle holds, for example, when is , , or , . In model theory, hierarchies of classes of models are constructed by means of the form of the formulas giving the classes; there are analogies between these hierarchies and those mentioned above (see [1]).

The construction of hierarchies of recursive functions (cf. Recursive function) is realized in the theory of algorithms. One of the general methods for constructing such hierarchies is based on defining recursive functions by using some initial functions and operations on them (substitution, primitive recursion, etc.). The transition to a more complicated class in some hierarchy can be brought about, for example, as a result of adding to the preceding class the elements of some fixed sequence of recursive functions, and taking the closure of the set so obtained under the operations of substitution and bounded recursion. To obtain a more complicated class, in addition to closure with respect to certain operations (as in the preceding example), single applications of the operation of primitive recursion (for instance) to the elements of the simpler class can be used (see [4]). Another method for constructing hierarchies of recursive functions is based on classification by the complexity of computation (see [4]). Consideration of the characteristic functions of sets enables one to construct the hierarchy of decidable sets, starting from the hierarchy of recursive functions.

References

[1] J. Addison, "Mathematical logic and its applications" , Moscow (1965) (In Russian; translated from English)
[2] P. Hinman, "Recursion-theoretic hierarchies" , Springer (1978)
[3] K. Kuratowski, A. Mostowski, "Set theory" , North-Holland (1968)
[4] , Problems of mathematical logic. Complexity of algorithms and of classes of computable functions , Moscow (1970) (In Russian; translated from English)
[5] H. Rogers jr., "Theory of recursive functions and effective computability" , McGraw-Hill (1967) pp. 164–165


Comments

References

[a1] J. Barwise (ed.) , Handbook of mathematical logic , North-Holland (1977) ((especially the article of D.A. Martin on Descriptive set theory))
[a2] Y.N. Moschovakis, "Descriptive set theory" , North-Holland (1980)
How to Cite This Entry:
Hierarchy. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hierarchy&oldid=14605
This article was adapted from an original article by A.L. Semenov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article