Universe (mathematics)

The relationship between universe and complement

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.

In set theory, universes are often classes that contain (as elements) all sets for which one hopes to prove a particular theorem. These classes can serve as inner models for various axiomatic systems such as ZFC or Morse–Kelley set theory. Universes are of critical importance to formalizing concepts in category theory inside set-theoretical foundations. For instance, the canonical motivating example of a category is Set, the category of all sets, which cannot be formalized in a set theory without some notion of a universe.

In type theory, a universe is a type whose elements are types.

In a specific context

Perhaps the simplest version is that any set can be a universe, so long as the object of study is confined to that particular set. If the object of study is formed by the real numbers, then the real line R, which is the real number set, could be the universe under consideration. Implicitly, this is the universe that Georg Cantor was using when he first developed modern naive set theory and cardinality in the 1870s and 1880s in applications to real analysis. The only sets that Cantor was originally interested in were subsets of R.

This concept of a universe is reflected in the use of Venn diagrams. In a Venn diagram, the action traditionally takes place inside a large rectangle that represents the universe U. One generally says that sets are represented by circles; but these sets can only be subsets of U. The complement of a set A is then given by that portion of the rectangle outside of A's circle. Strictly speaking, this is the relative complement U \ A of A relative to U; but in a context where U is the universe, it can be regarded as the absolute complement AC of A. Similarly, there is a notion of the nullary intersection, that is the intersection of zero sets (meaning no sets, not null sets).

Without a universe, the nullary intersection would be the set of absolutely everything, which is generally regarded as impossible; but with the universe in mind, the nullary intersection can be treated as the set of everything under consideration, which is simply U. These conventions are quite useful in the algebraic approach to basic set theory, based on Boolean lattices. Except in some non-standard forms of axiomatic set theory (such as New Foundations), the class of all sets is not a Boolean lattice (it is only a relatively complemented lattice).

In contrast, the class of all subsets of U, called the power set of U, is a Boolean lattice. The absolute complement described above is the complement operation in the Boolean lattice; and U, as the nullary intersection, serves as the top element (or nullary meet) in the Boolean lattice. Then De Morgan's laws, which deal with complements of meets and joins (which are unions in set theory) apply, and apply even to the nullary meet and the nullary join (which is the empty set).

In ordinary mathematics

However, once subsets of a given set X (in Cantor's case, X = R) are considered, the universe may need to be a set of subsets of X. (For example, a topology on X is a set of subsets of X.) The various sets of subsets of X will not themselves be subsets of X but will instead be subsets of PX, the power set of X. This may be continued; the object of study may next consist of such sets of subsets of X, and so on, in which case the universe will be P(PX). In another direction, the binary relations on X (subsets of the Cartesian product X × X) may be considered, or functions from X to itself, requiring universes like P(X × X) or XX.

Thus, even if the primary interest is X, the universe may need to be considerably larger than X. Following the above ideas, one may want the superstructure over X as the universe. This can be defined by structural recursion as follows:

  • Let S0X be X itself.
  • Let S1X be the union of X and PX.
  • Let S2X be the union of S1X and P(S1X).
  • In general, let Sn+1X be the union of SnX and P(SnX).

Then the superstructure over X, written SX, is the union of S0X, S1X, S2X, and so on; or

No matter what set X is the starting point, the empty set {} will belong to S1X. The empty set is the von Neumann ordinal [0]. Then {[0]}, the set whose only element is the empty set, will belong to S2X; this is the von Neumann ordinal [1]. Similarly, {[1]} will belong to S3X, and thus so will {[0],[1]}, as the union of {[0]} and {[1]}; this is the von Neumann ordinal [2]. Continuing this process, every natural number is represented in the superstructure by its von Neumann ordinal. Next, if x and y belong to the superstructure, then so does {{x},{x,y}}, which represents the ordered pair (x,y). Thus the superstructure will contain the various desired Cartesian products. Then the superstructure also contains functions and relations, since these may be represented as subsets of Cartesian products. The process also gives ordered n-tuples, represented as functions whose domain is the von Neumann ordinal [n], and so on.

So if the starting point is just X = {}, a great deal of the sets needed for mathematics appear as elements of the superstructure over {}. But each of the elements of S{} will be a finite set. Each of the natural numbers belongs to it, but the set N of all natural numbers does not (although it is a subset of S{}). In fact, the superstructure over {} consists of all of the hereditarily finite sets. As such, it can be considered the universe of finitist mathematics. Speaking anachronistically, one could suggest that the 19th-century finitist Leopold Kronecker was working in this universe; he believed that each natural number existed but that the set N (a "completed infinity") did not.

However, S{} is unsatisfactory for ordinary mathematicians (who are not finitists), because even though N may be available as a subset of S{}, still the power set of N is not. In particular, arbitrary sets of real numbers are not available. So it may be necessary to start the process all over again and form S(S{}). However, to keep things simple, one can take the set N of natural numbers as given and form SN, the superstructure over N. This is often considered the universe of ordinary mathematics. The idea is that all of the mathematics that is ordinarily studied refers to elements of this universe. For example, any of the usual constructions of the real numbers (say by Dedekind cuts) belongs to SN. Even non-standard analysis can be done in the superstructure over a non-standard model of the natural numbers.

There is a slight shift in philosophy from the previous section, where the universe was any set U of interest. There, the sets being studied were subsets of the universe; now, they are members of the universe. Thus although P(SX) is a Boolean lattice, what is relevant is that SX itself is not. Consequently, it is rare to apply the notions of Boolean lattices and Venn diagrams directly to the superstructure universe as they were to the power-set universes of the previous section. Instead, one can work with the individual Boolean lattices PA, where A is any relevant set belonging to SX; then PA is a subset of SX (and in fact belongs to SX). In Cantor's case X = R in particular, arbitrary sets of real numbers are not available, so there it may indeed be necessary to start the process all over again.

In set theory

It is possible to give a precise meaning to the claim that SN is the universe of ordinary mathematics; it is a model of Zermelo set theory, the axiomatic set theory originally developed by Ernst Zermelo in 1908. Zermelo set theory was successful precisely because it was capable of axiomatising "ordinary" mathematics, fulfilling the programme begun by Cantor over 30 years earlier. But Zermelo set theory proved insufficient for the further development of axiomatic set theory and other work in the foundations of mathematics, especially model theory.

For a dramatic example, the description of the superstructure process above cannot itself be carried out in Zermelo set theory. The final step, forming S as an infinitary union, requires the axiom of replacement, which was added to Zermelo set theory in 1922 to form Zermelo–Fraenkel set theory, the set of axioms most widely accepted today. So while ordinary mathematics may be done in SN, discussion of SN goes beyond the "ordinary", into metamathematics.

But if high-powered set theory is brought in, the superstructure process above reveals itself to be merely the beginning of a transfinite recursion. Going back to X = {}, the empty set, and introducing the (standard) notation Vi for Si{}, V0 = {}, V1 = P{}, and so on as before. But what used to be called "superstructure" is now just the next item on the list: Vω, where ω is the first infinite ordinal number. This can be extended to arbitrary ordinal numbers:

defines Vi for any ordinal number i. The union of all of the Vi is the von Neumann universe V:

.

Every individual Vi is a set, but their union V is a proper class. The axiom of foundation, which was added to ZF set theory at around the same time as the axiom of replacement, says that every set belongs to V.

Kurt Gödel's constructible universe L and the axiom of constructibility
Inaccessible cardinals yield models of ZF and sometimes additional axioms, and are equivalent to the existence of the Grothendieck universe set

In predicate calculus

In an interpretation of first-order logic, the universe (or domain of discourse) is the set of individuals (individual constants) over which the quantifiers range. A proposition such as x (x2 ≠ 2) is ambiguous, if no domain of discourse has been identified. In one interpretation, the domain of discourse could be the set of real numbers; in another interpretation, it could be the set of natural numbers. If the domain of discourse is the set of real numbers, the proposition is false, with x = 2 as counterexample; if the domain is the set of naturals, the proposition is true, since 2 is not the square of any natural number.

In category theory

There is another approach to universes which is historically connected with category theory. This is the idea of a Grothendieck universe. Roughly speaking, a Grothendieck universe is a set inside which all the usual operations of set theory can be performed. This version of a universe is defined to be any set for which the following axioms hold:[1]

  1. implies
  2. and imply {u,v}, (u,v), and .
  3. implies and
  4. (here is the set of all finite ordinals.)
  5. if is a surjective function with and , then .

The most common use of a Grothendieck universe U is to take U as a replacement for the category of all sets. One says that a set S is U-small if SU, and U-large otherwise. The category U-Set of all U-small sets has as objects all U-small sets and as morphisms all functions between these sets. Both the object set and the morphism set are sets, so it becomes possible to discuss the category of "all" sets without invoking proper classes. Then it becomes possible to define other categories in terms of this new category. For example, the category of all U-small categories is the category of all categories whose object set and whose morphism set are in U. Then the usual arguments of set theory are applicable to the category of all categories, and one does not have to worry about accidentally talking about proper classes. Because Grothendieck universes are extremely large, this suffices in almost all applications.

Often when working with Grothendieck universes, mathematicians assume the Axiom of Universes: "For any set x, there exists a universe U such that xU." The point of this axiom is that any set one encounters is then U-small for some U, so any argument done in a general Grothendieck universe can be applied.[2] This axiom is closely related to the existence of strongly inaccessible cardinals.

In type theory

In some type theories, especially in systems with dependent types, types themselves can be regarded as terms. There is a type called the universe (often denoted ) which has types as its elements. To avoid paradoxes such as Girard's paradox (an analogue of Russell's paradox for type theory), type theories are often equipped with a countably infinite hierarchy of such universes, with each universe being a term of the next one.

There are at least two kinds of universes that one can consider in type theory: Russell-style universes (named after Bertrand Russell) and Tarski-style universes (named after Alfred Tarski).[3][4][5] A Russell-style universe is a type whose terms are types.[3] A Tarski-style universe is a type together with an interpretation operation allowing us to regard its terms as types.[3]

For example:[6]

The openendedness of Martin-Löf type theory is particularly manifest in the introduction of so-called universes. Type universes encapsulate the informal notion of reflection whose role may be explained as follows. During the course of developing a particular formalization of type theory, the type theorist may look back over the rules for types, say C, which have been introduced hitherto and perform the step of recognizing that they are valid according to Martin-Löf’s informal semantics of meaning explanation. This act of ‘introspection’ is an attempt to become aware of the conceptions which have governed our constructions in the past. It gives rise to a “reflection principle which roughly speaking says whatever we are used to doing with types can be done inside a universe” (Martin-Löf 1975, 83). On the formal level, this leads to an extension of the existing formalization of type theory in that the type forming capacities of C become enshrined in a type universe UC mirroring C.

See also

Notes

  1. ^ Mac Lane 1998, p. 22
  2. ^ Low, Zhen Lin (2013-04-18). "Universes for category theory". arXiv:1304.5227v2 [math.CT].
  3. ^ a b c "Universe in Homotopy Type Theory" in nLab
  4. ^ Zhaohui Luo, "Notes on Universes in Type Theory", 2012.
  5. ^ Per Martin-Löf, Intuitionistic Type Theory, Bibliopolis, 1984, pp. 88 and 91.
  6. ^ Rathjen, Michael (October 2005). "The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory". Synthese. 147: 81–120. doi:10.1007/s11229-004-6208-4. S2CID 143295. Retrieved September 21, 2022.

References

  • Mac Lane, Saunders (1998). Categories for the Working Mathematician. Springer-Verlag New York, Inc.

External links

Read other articles:

Pour les articles homonymes, voir Premier-Avril. Éphémérides Avril 1er 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30           1er mars 1er mai Chronologies thématiques Croisades Ferroviaires Sports Disney Anarchisme Catholicisme Abréviations / Voir aussi (° 1852) = né en 1852 († 1885) = mort en 1885 a.s. = calendrier julien n.s. = calendrier grégorien Calendrier Calendrier perpétuel Liste de calendriers Naissances du jour modi…

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Oktober 2022. Moshe Hirsch (bahasa Yiddi: משה הירש) (lahir 1923 — meninggal 2 Mei 2010)[1] adalah seorang Yahudi Palestina dari Yahudi Badtz, lahir pada tahun 1923 di New York dan meninggal tahun 2010. Dia menjadi pemimpin gerakan Neturei Karta yan…

BLITZENAsalJakarta Selatan, IndonesiaGenrePop, Dance pop, Indo-popTahun aktif2021 (2021) - sekarangLabelTO THE CLOUDSAnggotaSazuraAlyaViollaKalunaMantan anggotaEuraMichaelaYashaAgathaLilyanaWilsoon Blitzen (ditulis sebagai BLITZEN) adalah grup idola wanita Ipop dari Indonesia yang dibentuk oleh TO THE CLOUDS Entertainment, yang terdiri dari anggota Sazura, Alya, Kaluna, dan Violla. Grup ini debut pada 21 Oktober 2021 dengan single yang berjudul What's That About? dengan 3 anggota yaitu Mich…

Anjat yang terbuat dari rotan. Anjat adalah tas berbentuk bundar, terbuat dari rotan, hasil kerajinan anyam Suku Dayak di Kalimantan Timur.[1] Bentuk Anjat menyerupai tabung dengan tinggi sekitar 70 cm, garis tengah lingkaran atas maupun bawah sekitar 50 sentimeter.[2] Anjat lazimnya bervariasi sesuai dengan kebutuhan. Anjat tidak memakai tutup, tetapi bagian atasnya dilengkapi dengan gelang-gelang kecil yang terbuat dari anyaman rotan lalu dipasangi tali. Bila tali ditarik,…

Artikel ini bukan mengenai Universitas Semarang.Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Universitas Negeri Semarang – berita · surat kabar · buku · cendekiawan · JSTORartikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan y…

Dewan Perwakilan Rakyat Daerah Kabupaten SubangDewan Perwakilan RakyatKabupaten Subang2019-2024JenisJenisUnikameral SejarahSesi baru dimulai4 September 2019PimpinanKetuaH. Narca Sukanda, S.Sos. (PDI-P) sejak 21 Oktober 2019 Wakil Ketua IHj. Elita Budiati, S.K.M., M.Si. (Golkar) sejak 21 Oktober 2019 Wakil Ketua IIH. Aceng Kudus, S.P. (Gerindra) sejak 21 Oktober 2019 Wakil Ketua IIILina Marliana, S.K.M. (PKB) sejak 21 Oktober 2019 KomposisiAnggota50Partai & kursi  PD…

Pour les articles homonymes, voir Taylor et Charles Taylor. Charles TaylorNaissance 5 novembre 1931 (92 ans)Montréal, CanadaNationalité CanadienneFormation Université McGillBalliol CollegeSelwyn House School (en)École/tradition Philosophie analytique, Éthique, Philosophie politique, HerméneutiquePrincipaux intérêts Modernité, Morale, Politique, Sécularisation, MulticulturalismeIdées remarquables « Ethnocentrisme du présent », Multiculturalisme, Politique de la reconn…

Emeritus ProfessorJoseph YacoubBorn(1944-07-02)July 2, 1944Al-Hasakah, SyriaNationalityFrenchAlma materCatholic University of LyonScientific careerThesis The Assyro-Chaldean Question — The Western Powers and the League of Nations, from 1908-1938  (1985) Joseph Yacoub (born 1944 in Hassaké or Al-Hasakah, Syria) is a historian and political scientist of Assyrian origin. His family moved from Salmas-Urmia, district in Iranian Azerbaijan and took refuge in Georgia (country of Caucasus a…

Pour les articles homonymes, voir La Montagne. La Montagne Pays France Zone de diffusion Auvergne, Creuse, Corrèze Langue Français Périodicité Quotidien Format format tabloïd (depuis le 23 janvier 2008) Genre Presse régionale Prix au numéro 1,30 €2,00 € le dimanche Diffusion 128 407 ex. (2022[1]- 124 830 payée) Fondateur Alexandre Varenne Date de fondation 4 octobre 1919 Éditeur Sté La Montagne SA Ville d’édition Clermont-Ferrand Propriétaire Groupe Centre F…

.bf

.bf البلد بوركينا فاسو  الموقع الموقع الرسمي  تعديل مصدري - تعديل   bf. هو نطاق إنترنت من صِنف مستوى النطاقات العُليا في ترميز الدول والمناطق، للمواقع التي تنتمي لبوركينا فاسو.[1][2] مراجع ^ النطاق الأعلى في ترميز الدولة (بالإنجليزية). ORSN [الإنجليزية]. Archived from the original …

العلاقات السريلانكية المالية سريلانكا مالي   سريلانكا   مالي تعديل مصدري - تعديل   العلاقات السريلانكية المالية هي العلاقات الثنائية التي تجمع بين سريلانكا ومالي.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة س…

РСЗО TAM VCLC  (исп.) (рус. Военная промышленность Аргентины (исп. Industria Militar Argentina) — комплекс отраслей промышленности, который обеспечивает разработку, производство и постановку на вооружение военной и специальной техники, амуниции, боеприпасов как для вооружённ…

County in Tennessee, United States County in TennesseeMacon CountyCountyMacon County Courthouse in Lafayette SealLocation within the U.S. state of TennesseeTennessee's location within the U.S.Coordinates: 36°32′N 86°01′W / 36.53°N 86.01°W / 36.53; -86.01Country United StatesState TennesseeFounded1842Named forNathaniel Macon[1]SeatLafayetteLargest cityLafayetteArea • Total307 sq mi (800 km2) • Land307 sq…

Stade de Hong Kong香港大球場GénéralitésNoms précédents Government StadiumSurnom Po Tou (埔頭)Adresse So Kon Po, Wanchai, Hong KongConstruction et ouvertureOuverture 1953Architecte HOK Sport (d)Rénovation Mars 1994UtilisationClubs résidents Hong Kong SevensÉquipe de Hong Kong de footballSouth ChinaKitchee SCPropriétaire Leisure and Cultural Services DepartmentAdministration Leisure and Cultural Services DepartmentÉquipementSurface Pelouse naturelleCapacité 40 000Dimensions 130 m…

1981 Philippine presidential election ← 1969 June 16, 1981 1986 → Turnout80.9% 1.3%   Candidate Ferdinand Marcos Alejo Santos Party KBL Nacionalista Popular vote 18,309,360 1,716,449 Percentage 88.02% 8.25% Election result per province. Marcos won in every province, city, and municipality. President before election Ferdinand Marcos KBL Elected President Ferdinand Marcos KBL June 1981 Philippine referendum June 16, 1981 Should there be barangay elections right afte…

International cricket tour 2024–25 Women's Ashes series    Australia EnglandDates 12 January – 2 February 2025Test seriesOne Day International seriesTwenty20 International series The England women's cricket team are scheduled to tour Australia in January and February 2025 to play the Australia women's cricket team in the The Women's Ashes.[1][2] The tour will consist of one Women's Test match, three Women's One Day International (WODI) and three Women's Twenty2…

Vous lisez un « bon article » labellisé en 2015. Séoul 1988 Généralités Sport Football Organisateur(s) KFA/KOC/FIFA/CIO Éditions 17e édition19e pour le CIO[note 1]. Lieu(x) Séoul Date 17 septembre - 1er octobre 1988 Nations 16 nations Épreuves 1 Site(s) 6 (dans 5 villes) Palmarès Tenant du titre France Vainqueur Union soviétique (2) Deuxième Brésil Troisième Allemagne de l'Ouest Buts 95 Meilleur(s) buteur(s) Romário (7 buts) Navigation Los Angeles 1984 Barcelone 1…

American televangelist (born 1940) Not to be confused with John Hagy. John HageeHagee in Washington, D.C., July 2007BornJohn Charles Hagee (1940-04-12) April 12, 1940 (age 83)Baytown, Texas, U.S.EducationBSc, MScAlma materTrinity UniversityUniversity of North TexasOccupation(s)Pastor, authorOrganizationJohn Hagee MinistriesWebsitewww.jhm.org John Charles Hagee (born April 12, 1940) is an American pastor and televangelist. He founded John Hagee Ministries, which telecasts to the United …

American actor (1924–2018) Not to be confused with Joe Campanella. Joseph CampanellaCampanella in The Nurses, 1965BornJoseph Anthony Campanella(1924-11-21)November 21, 1924Manhattan, New York, U.S.DiedMay 16, 2018(2018-05-16) (aged 93)Sherman Oaks, California, U.S.Alma materManhattan CollegeColumbia UniversityOccupationActorYears active1952–2009Spouse Kathryn Jill Bartholomew ​ ​(m. 1964)​Children7RelativesFrank Campanella (brother) Joseph An…

Chinchiná, CaldasKotamadya BenderaLambangChinchiná, CaldasKoordinat: 4°58′57″N 75°36′13″W / 4.98250°N 75.60361°W / 4.98250; -75.60361Koordinat: 4°58′57″N 75°36′13″W / 4.98250°N 75.60361°W / 4.98250; -75.60361Pemerintahan • MayorEduardo Andrés Grisales LópezPopulasi (2018 census) • Total51.271Zona waktuUTC-5 (Colombia Standard Time)Situs webOfficial website (dalam bahasa Spanyol) Chi…

Kembali kehalaman sebelumnya