Amorphous set

In set theory, an amorphous set is an infinite set which is not the disjoint union of two infinite subsets.^[1]

Existence

Amorphous sets cannot exist if the axiom of choice is assumed. Fraenkel constructed a permutation model of Zermelo–Fraenkel with Atoms in 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 with Zermelo–Fraenkel set theory were obtained.^[3]

Additional properties

Every amorphous set is Dedekind-finite, meaning that it has no bijection to 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$ -fold composition of $f$ with itself but 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 be linearly 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.

The cofinite filter on an amorphous set is an ultrafilter. This is because the complement of each infinite subset must not be infinite, so every subset is either finite or cofinite.

Variations

If $\Pi$ is a partition of 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 called strictly amorphous or strongly amorphous, and if there is a finite upper bound on $n(\Pi )$ then the set is called bounded amorphous. It is consistent with ZF that amorphous sets exist and are all bounded, or that they exist and are all unbounded.^[1]

References

^ ^a ^b 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.
^ 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 to Lévy (1958) and Truss (1974).

v t e Set theory
Overview	Set (mathematics)
Axioms	Adjunction Choice countable dependent global Constructibility (V=L) Determinacy projective 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
Set types	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

Read other articles:

Five Nights at Freddy's: Help Wanted

Five Nights at Freddy's: Help Wanted Header etelase SteamBerdasarkanFive Nights at Freddy's (en) PublikasiPlayStation 4, Windows28 Mei 2019Switch21 Mei 2020Oculus QuestJuly 16, 2020Android26 Oktober 2020iOS27 Oktober 2020Xbox One30 Oktober 2020GenreVirtual reality, horor kesintasanKarakterVanessa A. (en) Latar tempatFive Nights at Freddy's universe (en) Bahasa Daftar Inggris 60 Karakteristik teknisSistem operasiAndroid dan iOS PlatformPlayStation 4, Windows, Nintendo Switch, Android dan iOS ...

Ærø

Pulau Ærø Untuk pengertian lain silhakan lihat Aero Ærø adalah sebuah pulau dan yang terletak di selatan Fyn, antara Kepulauan Fyn Selatan dan Laut Baltik. Pulau yang termasuk wilayah Denmark ini memiliki luas 90,5 km², dan berpenduduk 6 639 (2006). Kota-kota terbesar di Ærø adalah Marstal dan Ærøskøbing. Dalam bahasa Denmark nama pulau ini berarti pulau mapel. Pulau ini terletak di 54°51′38″N 10°23′49″E / 54.86056°N 10.39694°E / 54.860...

Brian Bruney

American baseball player (born 1982) Baseball player Brian BruneyBruney with the Washington NationalsPitcherBorn: (1982-02-17) February 17, 1982 (age 42)Astoria, Oregon, U.S.Batted: RightThrew: RightMLB debutMay 8, 2004, for the Arizona DiamondbacksLast MLB appearanceJune 24, 2012, for the Chicago White SoxMLB statisticsWin–loss record19–12Earned run average4.68Strikeouts252 Teams Arizona Diamondbacks (2004–2005) New York Yankees (2006–2009) Washingt...

Electron density

Probability density of electrons being somewhere This article is about the quantum mechanical probability density of an electron. For the number density of electrons in a plasma, also called electron density, see Plasma (physics). Electron density or electronic density is the measure of the probability of an electron being present at an infinitesimal element of space surrounding any given point. It is a scalar quantity depending upon three spatial variables and is typically denoted as either ...

First Lady of Ghana

Wife of the President of Ghana First Lady of GhanaIncumbentRebecca Akufo-Addosince 7 January 2017Inaugural holderFathia NkrumahFormation1 July 1960 First Lady of Ghana is the title of the wife of a sitting president of Ghana. The current first lady is Rebecca Akufo-Addo, who has held the position since 2017. They are not officially given salaries but the Ghanaian first and second lady are both given clothing allowances to serve as initiatives to be comfortable enough to advocate the coun...

Sheyi Ojo

Sheyi Ojo Sheyi Ojo (2015)Informasi pribadiNama lengkap Oluwaseyi Babajide Ojo[1]Tanggal lahir 19 Juni 1997 (umur 26)[2]Tempat lahir Hemel Hempstead, InggrisTinggi 1,77 m (5 ft 9+1⁄2 in)[2]Posisi bermain Penyerang SayapInformasi klubKlub saat ini (KV Kortrijkpinjaman dari Cardiff City)Nomor 54Karier junior2007–2011 Milton Keynes Dons2011–2015 LiverpoolKarier senior*Tahun Tim Tampil (Gol)2015–2022 Liverpool 8 (0)2015 → Wigan Athletic (...

Tacen

Place in Upper Carniola, SloveniaTacenTacenLocation in SloveniaCoordinates: 46°7′5.56″N 14°28′8.75″E / 46.1182111°N 14.4690972°E / 46.1182111; 14.4690972Country SloveniaTraditional regionUpper CarniolaStatistical regionCentral SloveniaMunicipalityLjubljanaElevation[1]310 m (1,020 ft) Tacen (pronounced [ˈtaːtsən]; in older sources also Tacenj,[2] German: Tazen[2]) is a formerly independent settlement in the northw...

60th Berlin International Film Festival

Film festival 60th Berlin International Film FestivalOpening filmApart TogetherClosing filmAbout Her BrotherLocationBerlin, GermanyFounded1951AwardsGolden Bear: BalHosted byAnke EngelkeNo. of films310 filmsFestival date11–21 February 2010WebsiteWebsiteBerlin International Film Festival chronology61st 59th The 60th annual Berlin International Film Festival was held from 11 to 21 February 2010, with Werner Herzog as president of the jury.[1][2][3] The opening film of t...

Lansing Mall

Shopping mall in Michigan, United StatesLansing MallLansing Mall entrance sign on Saginaw HighwayLocationDelta Charter Township, Michigan, United StatesAddress5330 West Saginaw HighwayOpening dateJuly 31, 1969; 54 years ago (1969-07-31)DeveloperForbes-CohenManagementKohan Retail Investment GroupOwnerKohan RetailNo. of stores and servicesapprox. 60No. of anchor tenants3 (1 open, 2 vacant)Total retail floor area830,052 square feet (77,114.4 m2)[1]No. of floors1 (...

Teluk Jiaozhou

Teluk Jiaozhou Nama Tionghoa Hanzi sederhana: 胶州湾 Hanzi tradisional: 膠州灣 Alih aksara Mandarin - Hanyu Pinyin: Jiāozhōu Wān - Wade-Giles: Ch'iao1-chou1 Wan1 - Peromawian Pos: Teluk KiaochowTeluk Kiautschou(1898–1922) Min Nan - Romanisasi POJ: Kau-chiu-ôan Wu - Romanisasi: Koh平 tseu平 uae平 Yue (Kantonis) - Romanisasi Yale: Chiao1 chou1 wan1 - Jyutping: gaau1 zau1 waan1 Nama Jerman Jerman: Kiautschou-Bucht Teluk Jiaozhou (Hanzi: 胶州湾; Jerman: Kiautschou-Buchtcode...

Montana (Bulgarie)

Cet article est une ébauche concernant une localité bulgare. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Pour les articles homonymes, voir Montana (homonymie). Montana Монтана Héraldique Administration Pays Bulgarie Oblast Montana Maire Zlatko Jivkov (Indépendant) Code postal 3400 Démographie Population 39 595 hab. (en 2017) Géographie Coordonnées 43° 25′ 00″ nord,...

East Breifne

Historic kingdom of Ireland Kingdom of East BreifneBréifne Uí Raghallaigh1256–1607 Coat of arms Motto: Fortitudine et prudentia(English: With fortitude and prudence)A map of 1450 Ireland shows Breifne O'ReillyCapitalBelturbet (1256 to late 13th century)Cavan (c. 1300)Common languagesIrishEnglish[n 1]Religion Roman CatholicGovernmentElective monarchyKing • 1256–1257 Conchobar Uí Raghallaigh• 1603–1607 Maolmhordha O'Reilly History • Spli...

Sandroyd School

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Sandroyd School – news · newspapers · books · scholar · JSTOR (May 2012) (Learn how and when to remove this message) Independent school in Tollard Royal, Wiltshire, EnglandSandroyd SchoolMain buildingAddressRushmore ParkTollard Royal, Wiltshire, SP5 5QDEngland...

President of Iran

Head of Government of the Islamic Republic of Iran President of theIslamic Republic of Iranرئیس‌جمهور ایران (Persian)Seal of the Presidential Administration of IranIncumbentMohammad MokhberActing since 20 May 2024Presidential AdministrationStyleMr. President[1]TypeHead of governmentMember ofCabinetExpediency Discernment CouncilSupreme National Security CouncilSupreme Council of the Cultural RevolutionResidencePresidential Administration(working)Sa'dabad ...

Kakia

Greek goddess of vice This article is about the Greek goddess. Kakia is also an extinct dialect of the Taa language. Hercules (center), being tempted by Kakia (left); Jan van den Hoecke, c. 1640Greek deitiesseries Primordial deities Titans and Olympians Water deities Chthonic deities Personifications List Achlys Adephagia Adikia Aergia Agon Aidos Alala Alastor Algos Alke Amechania Amphillogiai Anaideia Ananke Androktasiai Angelia Apate Arae Arete Atë Bia Caerus Charites Deimos Dike Dys...

باذوة

باذوة علم شعار الإحداثيات 45°24′23″N 11°52′40″E / 45.406388888889°N 11.877777777778°E / 45.406388888889; 11.877777777778 [1] تاريخ التأسيس 1183 ق.م تقسيم إداري البلد إيطاليا (23 أغسطس 1866–)[2][3] التقسيم الأعلى مقاطعة باذُوَة (1866–) عاصمة لـ مقاطعة باذُوَة خ...

مكتب السيدة الأولى للولايات المتحدة

مكتب السيدة الأولى للولايات المتحدة (بالإنجليزية: Office of the First Lady)‏ تفاصيل الوكالة الحكومية البلد الولايات المتحدة تأسست 1977 المركز الجناح الغربي الإدارة تعديل مصدري - تعديل مكتب السيدة الأولى للولايات المتحدة هو الفريق المسؤول أمام السيدة الأولى للولايات...

Greenwood College

High school in Greenwood, Western Australia This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Greenwood College – news · newspapers · books · scholar · JSTOR (June 2017) (Learn how and when to remove this message) Greenwood CollegeLocation79 Coolibah Drive, Greenwood,Perth, Western AustraliaAustraliaCoordinate...

ريتشارد أيواد

ريتشارد ايوادRichard Ayoade معلومات شخصية الميلاد 23 مايو 1977 (العمر 47 سنة)هامرسميث، إنجلترا الإقامة لندن مواطنة المملكة المتحدة الزوجة ليديا فوكس [لغات أخرى]‏ (8 سبتمبر 2007–) الحياة العملية المدرسة الأم كلية القديسة كاترين في جامعة كامبريدج [لغات أخرى]‏ (...

Kaoru Otsuki

Kaoru Otsuki Kaoru Otsuki (大月薰code: ja is deprecated , Ōtsuki Kaoru, 1888 - 1970), lahir di Yokohama, Prefektur Kanagawa, Jepang, adalah istri Jepang dari Sun Yat-sen, pendiri dari Republik China. Pada 1898, Sun Yat-sen bertemu Kaoru di Pecinan Yokohama. Pada 1901, Sun meminta kepada ayah Kaoru untuk memperbolehkannya untuk menikahinya, tetapi ditolak karena perbedaan usia yang sangat jauh antara Sun dan Kaoru (pada waktu itu, Sun berusia 37 tahun sementara Kaoru baru berusia 14 tahun)...