The functional tightness of infinite products
The functional tightness t0(X) of a space X is a cardinal invariant related to both the tightness t(X) and the density character d(X) of X. While the tightness t(X) measures the minimal cardinality of sets required to determine the topology of X, the functional tightness
measures the minimal size of sets required to guarantee the continuity of real-valued functions on X.
A classical theorem of Malykhin says that if {Xα:α≤κ} is a family of compact spaces such that t(Xα)≤κ, for every α≤κ, then t(∏α≤κXα)≤κ, where t(X) is the tightness of a space X.
In my talk I will prove the following counterpart of Malykhin's theorem for functional tightness:
Let {Xα:α<λ} be a family of compact spaces such that t0(Xα)≤κ. If λ≤2κ or λ is less than the first measurable cardinal, then t0(∏α<λXα)≤κ, where t0(X) is the functional tightness of a space X. In particular, if there are no measurable cardinals the functional tightness is preserved by arbitrarily large products of compacta.