Reflection theorems for cardinal functions (Q1962112): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0166-8641(99)00056-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1983664821 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:01, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reflection theorems for cardinal functions |
scientific article |
Statements
Reflection theorems for cardinal functions (English)
0 references
4 September 2000
0 references
A reflection theorem is a statement of the form ``every structure with a certain property has a small substructure with the same property''. Normally `smaller' means `of cardinality \(\kappa\) or less' for certain \(\kappa\). In this paper a cardinal function \(\varphi\) is said to (strongly) reflect \(\kappa\) if every space \(X\) with \(\varphi(X)\geq\kappa\) has a subspace \(Y\) with \(|Y|\leq\kappa\) and \(\varphi(Y)\geq\kappa\) (\(\varphi(Z)\geq\kappa\) whenever \(Y\subseteq Z\subseteq X\)). A model result is \textit{A. Hajnal} and \textit{I. Juhász}'s theorem [Proc. Am. Math. Soc. 79, 657-658 (1980; Zbl 0432.54003)] that weight strongly reflects every infinite cardinal. The authors prove reflection theorems for many familiar cardinal functions, e.g., \(c\), \(s\), \(e\), \(hd\) and \(hL\) strongly reflect all infinite cardinals; and \(t\) and \(\chi\) reflect all cardinals in the class of compact Hausdorff spaces. The final section contains a generalization of \textit{A. Dow}'s metrization theorem [ibid. 104, No. 3, 999-1001 (1988; Zbl 0692.54018)] to higher cardinals: if \(X\) is initially \(\kappa\)-compact, \(\chi(X)\leq\kappa\) and \(w(X)\geq\kappa^+\) then there is \(Y\subseteq X\) of cardinality at most \(\kappa^+\) such that \(pw(Y)\geq\kappa^+\), where \(pw\) is the point-weight, the minimum order of a base for the space.
0 references
cardinal function
0 references
compactness
0 references
weight
0 references
point-weight
0 references