# Union of Open Sets is Open

Jump to navigation
Jump to search

## Theorem

### Metric Space

Let $M = \struct {A, d}$ be a metric space.

The union of a set of open sets of $M$ is open in $M$.

### Normed Vector Space

Let $M = \struct {X, \norm {\, \cdot \,} }$ be a normed vector space.

The union of a set of open sets of $M$ is open in $M$.

### Neighborhood Space

Let $S$ be a neighborhood space.

Let $I$ be an indexing set.

Let $\family {U_\alpha}_{\alpha \mathop \in I}$ be a family of open sets of $\struct {S, \NN}$ indexed by $I$.

Then their union $\ds \bigcup_{\alpha \mathop \in I} U_i$ is an open set of $\struct {S, \NN}$.

This page needs the help of a knowledgeable authority.In particular: Does Finite Union of Open Sets in Complex Plane is Open fit here?If you are knowledgeable in this area, then you can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Help}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |