Cocountability: Difference between revisions
source |
|||
Line 1: | Line 1: | ||
{{Short description| |
{{Short description|Having all but countably many elements}} |
||
⚫ | In [[mathematics]], a '''cocountable''' [[subset]] of a set ''X'' is a subset ''Y'' whose [[complement (set theory)|complement]] in ''X'' is a [[countable set]]. In other words, ''Y'' contains all but countably many elements of ''X''. Since the rational numbers are a countable subset of the reals, for example, the irrational numbers are a cocountable subset of the reals. If the complement is finite, then one says ''Y'' is [[cofinite]].{{r|halgiv}} |
||
{{unreferenced|date=May 2021}} |
|||
⚫ | In [[mathematics]], a '''cocountable''' [[subset]] of a set ''X'' is a subset ''Y'' whose [[complement (set theory)|complement]] in ''X'' is a [[countable set]]. In other words, ''Y'' contains all but countably many elements of ''X''. Since the rational numbers are a countable subset of the reals, for example, the irrational numbers are a cocountable subset of the reals. If the complement is finite, then one says ''Y'' is [[cofinite]]. |
||
== σ-algebras == |
== σ-algebras == |
||
The set of all subsets of ''X'' that are either countable or cocountable forms a [[sigma-algebra|σ-algebra]], i.e., it is closed under the operations of countable unions, countable intersections, and complementation. This σ-algebra is the '''countable-cocountable algebra''' on ''X''. It is the smallest σ-algebra containing every [[singleton set]]. |
The set of all subsets of ''X'' that are either countable or cocountable forms a [[sigma-algebra|σ-algebra]], i.e., it is closed under the operations of countable unions, countable intersections, and complementation. This σ-algebra is the '''countable-cocountable algebra''' on ''X''. It is the smallest σ-algebra containing every [[singleton set]].{{r|sigma}} |
||
== Topology == |
== Topology == |
||
The [[cocountable topology]] (also called the "countable complement topology") on any set ''X'' consists of the [[empty set]] and all cocountable subsets of ''X''. |
The [[cocountable topology]] (also called the "countable complement topology") on any set ''X'' consists of the [[empty set]] and all cocountable subsets of ''X''.{{r|james}} |
||
==References== |
|||
{{reflist|refs= |
|||
<ref name=halgiv>{{citation |
|||
| last1 = Halmos | first1 = Paul |
|||
| last2 = Givant | first2 = Steven |
|||
| contribution = Chapter 5: Fields of sets |
|||
| doi = 10.1007/978-0-387-68436-9_5 |
|||
| isbn = 9780387684369 |
|||
| location = New York |
|||
| pages = 24–30 |
|||
| publisher = Springer |
|||
| series = Undergraduate Texts in Mathematics |
|||
| title = Introduction to Boolean Algebras |
|||
| year = 2009}}</ref> |
|||
<ref name=james>{{citation |
|||
| last = James | first = Ioan Mackenzie |
|||
| doi = 10.1007/978-1-4471-3994-2 |
|||
| isbn = 9781447139942 |
|||
| journal = Springer Undergraduate Mathematics Series |
|||
| location = London |
|||
| page = 33 |
|||
| publisher = Springer |
|||
| title = Topologies and Uniformities |
|||
| year = 1999}}</ref> |
|||
<ref name=sigma>{{harvtxt|Halmos|Givant|2009}}, "Chapter 29: Boolean σ-algebras", pp. 268–281, {{doi|10.1007/978-0-387-68436-9_29}}</ref> |
|||
}} |
|||
[[Category:Basic concepts in infinite set theory]] |
[[Category:Basic concepts in infinite set theory]] |
Latest revision as of 01:06, 8 April 2024
In mathematics, a cocountable subset of a set X is a subset Y whose complement in X is a countable set. In other words, Y contains all but countably many elements of X. Since the rational numbers are a countable subset of the reals, for example, the irrational numbers are a cocountable subset of the reals. If the complement is finite, then one says Y is cofinite.[1]
σ-algebras
[edit]The set of all subsets of X that are either countable or cocountable forms a σ-algebra, i.e., it is closed under the operations of countable unions, countable intersections, and complementation. This σ-algebra is the countable-cocountable algebra on X. It is the smallest σ-algebra containing every singleton set.[2]
Topology
[edit]The cocountable topology (also called the "countable complement topology") on any set X consists of the empty set and all cocountable subsets of X.[3]
References
[edit]- ^ Halmos, Paul; Givant, Steven (2009), "Chapter 5: Fields of sets", Introduction to Boolean Algebras, Undergraduate Texts in Mathematics, New York: Springer, pp. 24–30, doi:10.1007/978-0-387-68436-9_5, ISBN 9780387684369
- ^ Halmos & Givant (2009), "Chapter 29: Boolean σ-algebras", pp. 268–281, doi:10.1007/978-0-387-68436-9_29
- ^ James, Ioan Mackenzie (1999), "Topologies and Uniformities", Springer Undergraduate Mathematics Series, London: Springer: 33, doi:10.1007/978-1-4471-3994-2, ISBN 9781447139942