“Collapsing algebra”的意思、由来-开放百科全书

词条

Collapsing algebra

释义

Definition
References

In mathematics, a collapsing algebra is a type of Boolean algebra sometimes used in forcing to reduce ("collapse") the size of cardinals. The posets used to generate collapsing algebras were introduced by {{harvs|txt|first=Azriel|last= Lévy|authorlink=Azriel Lévy|year=1963}}.

The collapsing algebra of λ^ω is a complete Boolean algebra with at least λ elements but generated by a countable number of elements. As the size of countably generated complete Boolean algebras is unbounded, this shows that there is no free complete Boolean algebra on a countable number of elements.

Definition

There are several slightly different sorts of collapsing algebras.

If κ and λ are cardinals, then the Boolean algebra of regular open sets of the product space κ^λ is a collapsing algebra. Here κ and λ are both given the discrete topology. There are several different options for the topology of

κ^λ. The simplest option is to take the usual product topology. Another option is to take the topology generated by open sets consisting of functions whose value is specified on less than λ elements of λ.

References

{{cite book | last=Bell | first=J. L. | year=1985 | title=Boolean-Valued Models and Independence Proofs in Set Theory | edition=2nd | location=Oxford | publisher=Oxford University Press (Clarendon Press) | series=Oxford Logic Guides | volume=12 | isbn=0-19-853241-5 | zbl=0585.03021 }}
{{cite book | authorlink=Thomas Jech|last=Jech | first=Thomas| title=Set theory | edition=third millennium (revised and expanded) | publisher=Springer-Verlag | year=2003 | isbn=3-540-44085-2 | oclc=174929965 | zbl=1007.03002}}
{{cite journal | last=Lévy | first=Azriel |title=Independence results in set theory by Cohen's method. IV, | journal=Notices Amer. Math. Soc. |volume=10 |year=1963|page= 593}}

2 : Boolean algebra|Forcing (mathematics)

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。