# Paracompact Hausdorff implies binormal

From Topospaces

This article gives the statement and possibly, proof, of an implication relation between two topological space properties. That is, it states that every topological space satisfying the first topological space property (i.e., paracompact Hausdorff space) must also satisfy the second topological space property (i.e., binormal space)

View all topological space property implications | View all topological space property non-implications

Get more facts about paracompact Hausdorff space|Get more facts about binormal space

## Contents

## Statement

Any paracompact Hausdorff space (i.e., a space that is both paracompact and Hausdorff) is a binormal space.

## Definitions used

### Paracompact Hausdorff space

`Further information: paracompact Hausdorff space`

A topological space is termed a paracompact Hausdorff space if it satisfies the following two conditions:

- It is a paracompact space: every open cover has a locally finite open refinement.
- It is a Hausdorff space: any two points can be separated by disjoint open subsets.

### Binormal space

`Further information: binormal space`

A topological space is termed a binormal space if the product of and the unit interval (equipped with the Euclidean topology) is a normal space.

## Facts used

- Compact times paracompact implies paracompact
- Hausdorffness is product-closed
- Paracompact Hausdorff implies normal

## Proof

**Given**: A paracompact Hausdorff space . is the unit interval.

**To prove**: The space is a normal space.

**Proof**:

- is paracompact: This follows from being paracompact, being compact, and fact (1).
- is Hausdorff: This follows from fact (2).
- is normal: The previous two steps yield that is paracompact Hausdorff. Fact (3) now yields that is normal.