开集的分解：任意开集是否总能表示为（可无限个）球的并集？

Great question! Let's unpack this step by step, focusing on the context where "balls" make sense—metric spaces (since the concept of a "ball" relies on having a distance function defined).

Short Answer #

Yes! Any open set in a metric space can always be written as the union of (possibly infinitely many) open balls. In fact, for many common spaces (like Euclidean spaces $\mathbb{R}^n$), you can even do this with a countable collection of open balls.

Why This Works #

Here's the breakdown:

• By definition, an open set $A$ in a metric space is a set where every point $x \in A$ has an open neighborhood entirely contained within $A$. The most fundamental open neighborhood around a point is an open ball $B(x, r_x)$ (centered at $x$ with some radius $r_x > 0$) that sits entirely inside $A$.
• Now, take the union of all such open balls: $\bigcup_{x \in A} B(x, r_x)$. Let's verify this equals $A$:
  1. Every ball $B(x, r_x)$ is contained in $A$, so their union is a subset of $A$.
  2. Every point $x \in A$ is contained in its own ball $B(x, r_x)$, so $A$ is a subset of the union.
• The two sets are equal, so $A$ is exactly the union of these open balls.

Bonus: Countable Unions in Separable Spaces #

If your metric space is separable (meaning it has a countable dense subset, like $\mathbb{R}^n$ with rational points), you can narrow this down to a countable union of open balls. For example, in $\mathbb{R}^2$, you can use all open balls with rational coordinates for centers and rational radii—this is a countable collection, and any open set can be written as a union of some subset of these balls.

Important Caveat #

This only applies in metric spaces. In general topological spaces (where there's no distance function to define "balls"), the question doesn't make sense, and open sets are defined purely via the topology's axioms without relying on ball-like structures.

内容的提问来源于stack exchange，提问作者00strich