Amorphous set

Inset theory,anamorphous setis aninfinite setwhich is not thedisjoint unionof two infinitesubsets.^[1]

Existence[edit]

Amorphous sets cannot exist if theaxiom of choiceis assumed.Fraenkelconstructed a permutation model ofZermelo–Fraenkel with Atomsin which the set of atoms is an amorphous set.^[2]After Cohen's initial work on forcing in 1963, proofs of the consistency of amorphous sets withZermelo–Fraenkelwere obtained.^[3]

Additional properties[edit]

Every amorphous set isDedekind-finite,meaning that it has nobijectionto a proper subset of itself. To see this, suppose that $S$ is a set that does have a bijection $f$ to a proper subset. For each natural number $i\geq 0$ define $S_{i}$ to be the set of elements that belong to the image of the $i$ -foldcomposition of $f$ with itselfbut not to the image of the $(i+1)$ -fold composition. Then each $S_{i}$ is non-empty, so the union of the sets $S_{i}$ with even indices would be an infinite set whose complement in $S$ is also infinite, showing that $S$ cannot be amorphous. However, the converse is not necessarily true: it is consistent for there to exist infinite Dedekind-finite sets that are not amorphous.^[4]

No amorphous set can belinearly ordered.^[5]^[6]Because the image of an amorphous set is itself either amorphous or finite, it follows that every function from an amorphous set to a linearly ordered set has only a finite image.

Thecofinite filteron an amorphous set is anultrafilter.This is because the complement of each infinite subset must not be infinite, so every subset is either finite or cofinite.

Variations[edit]

If $\Pi$ is apartitionof an amorphous set into finite subsets, then there must be exactly one integer $n(\Pi )$ such that $\Pi$ has infinitely many subsets of size $n$ ;for, if every size was used finitely many times, or if more than one size was used infinitely many times, this information could be used to coarsen the partition and split $\Pi$ into two infinite subsets. If an amorphous set has the additional property that, for every partition $\Pi$ , $n(\Pi )=1$ ,then it is calledstrictly amorphousorstrongly amorphous,and if there is a finite upper bound on $n(\Pi )$ then the set is calledbounded amorphous.It is consistent with ZF that amorphous sets exist and are all bounded, or that they exist and are all unbounded.^[1]

References[edit]

^^a ^bTruss, J. K.(1995), "The structure of amorphous sets",Annals of Pure and Applied Logic,73(2): 191–233,doi:10.1016/0168-0072(94)00024-W,MR 1332569.
^Jech, Thomas J. (2008),The axiom of choice,Mineola, N.Y.: Dover Publications,ISBN 978-0486318257,OCLC 761390829
^Plotkin, Jacob Manuel (November 1969),"Generic Embeddings",The Journal of Symbolic Logic,34(3): 388–394,doi:10.2307/2270904,ISSN 0022-4812,JSTOR 2270904,MR 0252211,S2CID 250347797
^Lévy, A.(1958),"The independence of various definitions of finiteness"(PDF),Fundamenta Mathematicae,46:1–13,doi:10.4064/fm-46-1-1-13,MR 0098671.
^Truss, John (1974),"Classes of Dedekind finite cardinals"(PDF),Fundamenta Mathematicae,84(3): 187–208,doi:10.4064/fm-84-3-187-208,MR 0469760.
^de la Cruz, Omar; Dzhafarov, Damir D.; Hall, Eric J. (2006),"Definitions of finiteness based on order properties"(PDF),Fundamenta Mathematicae,189(2): 155–172,doi:10.4064/fm189-2-5,MR 2214576.In particular this is the combination of the implications ${\text{Ia}}\Rightarrow {\text{II}}\Rightarrow \Delta _{3}$ which de la Cruz et al. credit respectively toLévy (1958)andTruss (1974).

[truss-1] Truss, J. K.(1995), "The structure of amorphous sets",Annals of Pure and Applied Logic,73(2): 191–233,doi:10.1016/0168-0072(94)00024-W,MR 1332569.

[2] Jech, Thomas J. (2008),The axiom of choice,Mineola, N.Y.: Dover Publications,ISBN 978-0486318257,OCLC 761390829

[3] Plotkin, Jacob Manuel (November 1969),"Generic Embeddings",The Journal of Symbolic Logic,34(3): 388–394,doi:10.2307/2270904,ISSN 0022-4812,JSTOR 2270904,MR 0252211,S2CID 250347797

[levy-4] Lévy, A.(1958),"The independence of various definitions of finiteness"(PDF),Fundamenta Mathematicae,46:1–13,doi:10.4064/fm-46-1-1-13,MR 0098671.

[5] Truss, John (1974),"Classes of Dedekind finite cardinals"(PDF),Fundamenta Mathematicae,84(3): 187–208,doi:10.4064/fm-84-3-187-208,MR 0469760.

[6] Cruz, Omar; Dzhafarov, Damir D.; Hall, Eric J. (2006),"Definitions of finiteness based on order properties"(PDF),Fundamenta Mathematicae,189(2): 155–172,doi:10.4064/fm189-2-5,MR 2214576.In particular this is the combination of the implications ${\text{Ia}}\Rightarrow {\text{II}}\Rightarrow \Delta _{3}$ which de la Cruz et al. credit respectively toLévy (1958)andTruss (1974).

[1]

[2]

[3]

[4]

[5]

[6]

v t e Set theory
Overview	Set (mathematics)
Axioms	Adjunction Choice countable dependent global Constructibility (V=L) Determinacy Extensionality Infinity Limitation of size Pairing Power set Regularity Union Martin's axiom Axiom schema replacement specification
Operations	Cartesian product Complement(i.e. set difference) De Morgan's laws Disjoint union Identities Intersection Power set Symmetric difference Union
Concepts Methods	Almost Cardinality Cardinal number(large) Class Constructible universe Continuum hypothesis Diagonal argument Element ordered pair tuple Family Forcing One-to-one correspondence Ordinal number Set-builder notation Transfinite induction Venn diagram
Settypes	Amorphous Countable Empty Finite(hereditarily) Filter base subbase Ultrafilter Fuzzy Infinite(Dedekind-infinite) Recursive Singleton Subset·Superset Transitive Uncountable Universal
Theories	Alternative Axiomatic Naive Cantor's theorem Zermelo General Principia Mathematica New Foundations Zermelo–Fraenkel von Neumann–Bernays–Gödel Morse–Kelley Kripke–Platek Tarski–Grothendieck
Paradoxes Problems	Russell's paradox Suslin's problem Burali-Forti paradox
Set theorists	Paul Bernays Georg Cantor Paul Cohen Richard Dedekind Abraham Fraenkel Kurt Gödel Thomas Jech John von Neumann Willard Quine Bertrand Russell Thoralf Skolem Ernst Zermelo