The cardinal invariant Noetherian type Nt(X) of a topological space X was introduced by Peregudov in 1997 to deal with base properties that were studied by the Russian School as early as 1976. We study its behavior in products and box-products of topological spaces. We prove in Section 2: (1) There are spaces X and Y such that Nt(X × Y ) < min{Nt(X), Nt(Y )}. (2) In several classes of compact spaces, the Noetherian type is preserved by the operations of forming a square and of passing to a dense subspace. The Noetherian type of the Cantor Cube of weight ℵ_ω with the countable box topology, (2^{ℵ_ω} )δ, is shown in Section 3 to be closely related to the combinatorics of covering collections of countable subsets of ℵω. We discuss the influence of principles like ℵω and Chang’s conjecture for ℵω on this number and prove that it is not decidable in ZFC (relative to the consistency of ZFC with large cardinal axioms). Within PCF theory we establish the existence of an (ℵ_4, ℵ_1)-sparse covering family of countable subsets of ℵω (Theorem 3.20). From this follows an absolute upper bound of ℵ4 on the Noetherian type of (2^{ℵ_ω} )δ.

Kojman M, Milovich D, & Spadaro S (2014). Noetherian type in topological products. ISRAEL JOURNAL OF MATHEMATICS, 202, 195-225.

Noetherian type in topological products

Spadaro S
2014

Abstract

The cardinal invariant Noetherian type Nt(X) of a topological space X was introduced by Peregudov in 1997 to deal with base properties that were studied by the Russian School as early as 1976. We study its behavior in products and box-products of topological spaces. We prove in Section 2: (1) There are spaces X and Y such that Nt(X × Y ) < min{Nt(X), Nt(Y )}. (2) In several classes of compact spaces, the Noetherian type is preserved by the operations of forming a square and of passing to a dense subspace. The Noetherian type of the Cantor Cube of weight ℵ_ω with the countable box topology, (2^{ℵ_ω} )δ, is shown in Section 3 to be closely related to the combinatorics of covering collections of countable subsets of ℵω. We discuss the influence of principles like ℵω and Chang’s conjecture for ℵω on this number and prove that it is not decidable in ZFC (relative to the consistency of ZFC with large cardinal axioms). Within PCF theory we establish the existence of an (ℵ_4, ℵ_1)-sparse covering family of countable subsets of ℵω (Theorem 3.20). From this follows an absolute upper bound of ℵ4 on the Noetherian type of (2^{ℵ_ω} )δ.
Kojman M, Milovich D, & Spadaro S (2014). Noetherian type in topological products. ISRAEL JOURNAL OF MATHEMATICS, 202, 195-225.
File in questo prodotto:
File Dimensione Formato  
Noetherian.pdf

Solo gestori archvio

Tipologia: Versione Editoriale
Dimensione 354.15 kB
Formato Adobe PDF
354.15 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10447/480897
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 6
social impact