Ψ-空间何时可度量化？Ψ(𝒜)空间定义及性质解析

Great question! Let's break this down clearly, starting with a quick recap of the Ψ-space definition (to set the stage), then dive into the key condition for metrizability.

Recap: What is $\Psi(\mathcal{A})$? #

First, let's restate the definition you provided with a bit more context:

• Let $I$ be a set where $I \cap \omega = \emptyset$ and $|I| \leq 2^\omega$.
• Let $\mathcal{A} = {A_i: i \in I}$ be an almost disjoint family of infinite subsets of $\omega$—meaning any two distinct sets in $\mathcal{A}$ only intersect in a finite subset of $\omega$.

The Ψ-space $\Psi(\mathcal{A})$ is the set $\omega \cup I$, topologized as follows:

• Every natural number $n \in \omega$ is an isolated point (so ${n}$ is open).
• For each $i \in I$, neighborhoods of $i$ are sets of the form ${i} \cup B$, where $B$ is a cofinite subset of $A_i$ (i.e., $A_i \setminus B$ is finite).

As you noted, these spaces always have nice properties: they're Hausdorff, locally compact, first-countable, and zero-dimensional.

The Metrizability Condition #

A Ψ-space $\Psi(\mathcal{A})$ is metrizable if and only if the almost disjoint family $\mathcal{A}$ is countable.

Let's explain why this is true:

Forward Direction (Metrizable ⇒ $\mathcal{A}$ countable) #

Metrizable spaces satisfy the countable chain condition (CCC): you can't have an uncountable collection of pairwise disjoint non-empty open sets. Now, consider the points in $I$: for each $i \in I$, we can pick an open neighborhood $U_i = {i} \cup (A_i \setminus F_i)$ where $F_i$ is a finite subset of $\omega$. Since $\mathcal{A}$ is almost disjoint, any two such $U_i$ and $U_j$ (for $i \neq j$) are disjoint (the intersection of $A_i$ and $A_j$ is finite, so removing finite sets leaves no overlap). If $\mathcal{A}$ were uncountable, this would give an uncountable family of disjoint open sets—violating CCC. Hence $\mathcal{A}$ must be countable.

Reverse Direction ($\mathcal{A}$ countable ⇒ Metrizable) #

If $\mathcal{A}$ is countable, then the entire space $\Psi(\mathcal{A})$ is countable (since $\omega$ is countable and $I$ is countable). We already know $\Psi(\mathcal{A})$ is first-countable and Hausdorff. For countable first-countable Hausdorff spaces, they're automatically second-countable (the union of countable neighborhood bases over countably many points is countable). And since $\Psi(\mathcal{A})$ is regular (it's locally compact Hausdorff, which implies regularity), Urysohn's Metrization Theorem tells us it's metrizable.

A Quick Note #

If $\mathcal{A}$ is uncountable, $\Psi(\mathcal{A})$ becomes a classic example of a first-countable, non-metrizable space—this is one of the go-to examples in topology to show that first-countability alone isn't enough for metrizability.

内容的提问来源于stack exchange，提问作者Victor Ronchim