# KC implies US

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., KC-space) must also satisfy the second topological space property (i.e., US-space)

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

Get more facts about KC-space|Get more facts about US-space

## Statement

## Definitions used

### KC-space

`Further information: KC-space`

A topological space is termed a KC-space if every compact subset of it is closed.

### US-space

`Further information: US-space`

A topological space is termed a US-space if every convergent sequence has a unique limit.

## Proof

**Given**: A KC-space .

**To prove**: If is a sequence with limit and limit , then .

**Proof**: Clearly, cannot be eventually constant at both and . Let us say that it is not eventually constant at . Throw out all the s that are equal to . This new sequence of s converges to both and . Let be the union of and the s in this new sequence.

- is compact: Any open cover of contains one open set containing , so it contains all but finitely many of the s. Thus, that along with finitely many other open subsets covers . Thus, every open cover has a finite subcover.
- is closed: This follows from the previous step, and the assumption that is a KC-space.
- There is an open subset containing that does not contain any of the s: This follows from the fact that is closed, and .

The last step contradicts our assumption that the s converge to .