Abstract: | Summary This paper is concerned with the Stone space X of a direct product of infinitely many Boolean algebras. In paragraph 2, after recalling that X is the Stone- ech compactification of the sum (disjoint union) of the Stone spaces of the algebras Bi, we exhibit a compactification of which is not a Stone space and we give a method to construct all the «Stone compactifications» of (the corresponding Boolean algebras are easily characterised). In paragraph 3, a set of ultrafilters of B (the «decomposable» ultrafilters) are introduced: this set properly contains , but, as is shown in paragraph 5, there are direct products that admit nondeeomposable ultrafilters (this is the case iff the set {Card Bi: i I } is not bounded by a natural number). In paragraph 4, among other things, we prove, for the set of decomposable ultrafilters, a weak form of countable compactness, in the sense that every countable clopen cover has a finite subcover; then, we deduce that the set of decomposable ultrafilters is pseudocompact, while obviously is not. Lastly, in paragraph 6, we give a second characterisation of the Stone space of B, showing that every ultrafilter of B can be obtained by iterating in a suitable way the procedure which leads to the construction of decomposable ultrafilters.
Lavoro eseguito nell'ambito dell'attività del Comitato Nazionale per le Scienze Matematiche del C.N.R. |