Hereditarily finite set

In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets. In other words, the set itself is finite, and all of its elements are finite sets, recursively all the way down to the empty set.

Formal definition

A recursive definition of well-founded hereditarily finite sets is as follows:

Base case: The empty set is a hereditarily finite set.
Recursion rule: If a1,...,ak are hereditarily finite, then so is {a1,...,ak}.

The set is an example for such a hereditarily finite set and so is the empty set . On the other hand, the sets or are examples of finite sets that are not hereditarily finite. For example, the first cannot be hereditarily finite since it contains at least one infinite set as an element, when .

Discussion

A symbol for the class is , standing for the cardinality of each of its member being smaller than . Whether is a set and statements about cardinality depend on the theory in context.

Ackermann's bijection

The class is countable. Ackermann (1937) gave the following natural bijection f from the natural numbers to the , known as the Ackermann coding. It is defined recursively by

if a, b, ... are distinct.

E.g.

We have f(m) ∈ f(n) if and only if the mth binary digit of n (counting from the right starting at 0) is 1.

Representation

This class of sets is naturally ranked by the number of bracket pairs necessary to represent the sets:

  • (i.e. , i.e. the Neumann ordinal "0"),
  • (i.e. , i.e. Neumann ordinal "1"),
  • ,
  • and then also (i.e. Neumann ordinal "2"),
  • , as well as ,
  • ... set represented with bracket pairs,
  • ... set represented with bracket pairs, e.g. or (i.e. Neumann ordinal "3"),
  • ... etc.

In this way, the number of sets with bracket pairs is[1]

Axiomatizations

Theories of finite sets

The set also represents the first von Neumann ordinal number, denoted . And indeed all finite von Neumann ordinals are in and thus the class of sets representing the natural numbers, i.e it includes each element in the standard model of natural numbers. Robinson arithmetic can already be interpreted in ST, the very small sub-theory of with axioms given by Extensionality, Empty Set and Adjunction.

Indeed, has a constructive axiomatizations involving these axiom and e.g. Set induction and Replacement.

Their models then also fulfill the axioms consisting of the axioms of Zermelo–Fraenkel set theory without the axiom of infinity. In this context, the negation of the axiom of infinity may be added, thus proving that the axiom of infinity is not a consequence of the other axioms of set theory.

ZF

represented with circles in place of curly brackets    

The hereditarily finite sets are a subclass of the Von Neumann universe. Here, all well-founded hereditarily finite sets is denoted Vω. Note that this is a set in this context.

If we denote by ℘(S) the power set of S, and by V0 the empty set, then Vω can be obtained by setting V1 = ℘(V0), V2 = ℘(V1),..., Vk = ℘(Vk1),... and so on.

Thus, Vω can be expressed as .

We see, again, that there's only countably many hereditarily finite sets: Vn is finite for any finite n. Its cardinality is n12, see tetration. The union of countably many finite sets is countable.

Equivalently, a set is hereditarily finite if and only if its transitive closure is finite.

Graph models

The class can be seen to be in exact correspondence with a class of rooted trees, namely those without non-trivial symmetries (i.e. the only automorphism is the identity): The root vertex corresponds to the top level bracket and each edge leads to an element (another such set) that can act as a root vertex in its own right. No automorphism of this graph exist, corresponding to the fact that equal branches are identified (e.g. , trivializing the permutation of the two subgraphs of shape ). This graph model enables an implementation of ZF without infinity as data types and thus an interpretation of set theory in expressive type theories.

Graph models exist for ZF and also set theories different from Zermelo set theory, such as non-well founded theories. Such models have more intricate edge structure.

In graph theory, the graph whose vertices correspond to hereditarily finite sets is the Rado graph or random graph.

gollark: It's lyin.
gollark: You can decode that with the program I have an image of somewhere.
gollark: This says "you are stupid".
gollark: It produces this image which has many diagonal lines in it for some reason.
gollark: Ah, no, this is a totallynotavirus *minifier*.

See also

References

  • Ackermann, Wilhelm (1937), "Die Widerspruchsfreiheit der allgemeinen Mengenlehre", Mathematische Annalen, 114 (1): 305–315, doi:10.1007/BF01594179
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.