Sequential unions of core-compact spaces commute with products

TL;DR

This paper proves that for sequences of core-compact spaces with injective maps, the union of their product spaces equals the product of their unions, demonstrating a key compatibility property.

Contribution

It establishes that sequential unions of core-compact spaces commute with products under certain conditions, clarifying their topological behavior.

Findings

Union topology of product sequences equals the product of union topologies

Sequential unions of core-compact spaces preserve product structure

Provides conditions under which unions and products commute

Abstract

We show that given two sequences of core-compact spaces \[ X_0 \hookrightarrow \dots \hookrightarrow X_n \hookrightarrow \dots \quad \text{and} \quad Y_0 \hookrightarrow \dots \hookrightarrow Y_n \hookrightarrow \dots \] with continuous injective transition maps, the union topology of the products \[ \cup_n (X_n \times Y_n) = \left(\cup_n X_n\right) \times \left( \cup_n Y_n \right) \] is the product topology of the unions.