World Library  
Flag as Inappropriate
Email this Article

Ur-element

Article Id: WHEBN0012147869
Reproduction Date:

Title: Ur-element  
Author: World Heritage Encyclopedia
Language: English
Subject: Atom (disambiguation)
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Ur-element

In set theory, a branch of mathematics, an urelement or ur-element (from the German prefix ur-, 'primordial') is an object (concrete or abstract) which is not a set, but that may be an element of a set. Urelements are sometimes called "atoms" or "individuals."

Theory

There are several different but essentially equivalent ways to treat urelements in a first-order theory.

One way is to work in a first-order theory with two sorts, sets and urelements, with ab only defined when b is a set. In this case, if U is an urelement, it makes no sense to say

X \in U,

although

U \in X,

is perfectly legitimate.

This should not be confused with the empty set where saying

X \in \emptyset

is well-formed but false.

Another way is to work in a one-sorted theory with a unary relation used to distinguish sets and urelements. As non-empty sets contain members while urelements do not, the unary relation is only needed to distinguish the empty set from urelements. Note that in this case, the axiom of extensionality must be formulated to apply only to objects that are not urelements.

This situation is analogous to the treatments of theories of sets and classes. Indeed, urelements are in some sense similar to proper classes: urelements cannot have members, and proper classes also cannot have members. Put differently, urelements are minimal objects while proper classes are maximal objects by the membership relation (which, of course, is not an order relation, so this analogy is not to be taken literally.)

Urelements in set theory

The Zermelo set theory of 1908 included urelements. It was soon realized that in the context of this and closely related axiomatic set theories, the urelements were not needed because they can easily be modeled in a set theory without urelements. Thus standard expositions of the canonical axiomatic set theories ZF and ZFC do not mention urelements. (For an exception, see Suppes.[1]) Axiomatizations of set theory that do invoke urelements include Kripke–Platek set theory with urelements, and the variant of Von Neumann–Bernays–Gödel set theory described by Mendelson.[2] In type theory, an object of type 0 can be called an urelement; hence the name "atom."

Adding urelements to the system New Foundations (NF) to produce NFU has surprising consequences. In particular, Jensen proved[3] the consistency of NFU relative to Peano arithmetic; meanwhile, the consistency of NF relative to anything remains an open problem. Moreover, NFU remains relatively consistent when augmented with an axiom of infinity and the axiom of choice. Meanwhile, the negation of the axiom of choice is, curiously, an NF theorem. Holmes (1998) takes these facts as evidence that NFU is a more successful foundation for mathematics than NF. Holmes further argues that set theory is more natural with than without urelements, since we may take as urelements the objects of any theory or of the physical universe.[4]

Quine atoms

An alternative approach to urelements is to consider them, instead of as a type of object other than sets, as a particular type of set. Quine atoms are sets that only contain themselves, that is, sets that satisfy the formula x = {x}.[5]

Quine atoms cannot exist in systems of set theory that include the axiom of regularity, but they can exist in non-well-founded set theory. ZF set theory with the axiom of regularity removed is compatible with the existence of Quine atoms, although it does not prove that any non-well-founded sets exist. Aczel's anti-foundation axiom implies there is a unique Quine atom. Other non-well-founded theories may admit many distinct Quine atoms; at the opposite end of the spectrum lies Boffa's axiom of superuniversality, which implies that the distinct Quine atoms form a proper class.[6]

Quine atoms also appear in Quine's New Foundations, which allows more than one such set to exist.[7]

Quine atoms are the only sets called reflexive sets by Aczel,[6] although other authors, e.g. Jon Barwise and Lawrence Moss use the latter term to denote the larger class of sets with the property x ∈ x.[8]

References

External links

  • MathWorld.
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from Hawaii eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.