# Category:Theorems in topology

Computing portal |

Here is a list of articles in the category **Theorems in topology** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Subcategories

This category has the following 4 subcategories, out of 4 total.

### A

### C

### D

### F

## Pages in category "Theorems in topology"

The following 65 pages are in this category, out of 65 total.

### A

- Anderson–Kadec theorem
*(computing)* - Andreotti–Vesentini theorem
*(computing)* - Annulus theorem
*(computing)* - Atiyah–Segal completion theorem
*(computing)*

### B

- Bagpipe theorem
*(computing)* - Baire category theorem
*(computing)* - Bing metrization theorem
*(computing)* - Bing's recognition theorem
*(computing)* - Blumberg theorem
*(computing)* - Borsuk–Ulam theorem
*(computing)* - Brouwer fixed-point theorem
*(computing)*

### C

- Cyclic surgery theorem
*(computing)*

### D

- De Rham's theorem
*(computing)* - Denjoy's theorem on rotation number
*(computing)* - Denjoy–Riesz theorem
*(computing)* - Donaldson's theorem
*(computing)* - Double suspension theorem
*(computing)*

### E

- Ehrenpreis conjecture
*(computing)* - Ellis–Numakura lemma
*(computing)* - Esenin-Volpin's theorem
*(computing)* - Excision theorem
*(computing)*

### F

- Fary–Milnor theorem
*(computing)* - Federer–Morse theorem
*(computing)* - Fiber bundle construction theorem
*(computing)*

### G

- Gordon–Luecke theorem
*(computing)*

### H

- Ham sandwich theorem
*(computing)* - Hsiang–Lawson's conjecture
*(computing)*

### I

- Invariance of domain
*(computing)*

### J

- Janiszewski's theorem
*(computing)* - Jordan curve theorem
*(computing)*

### K

- Kakutani fixed-point theorem
*(computing)* - Katětov–Tong insertion theorem
*(computing)* - Kline sphere characterization
*(computing)* - Kuiper's theorem
*(computing)* - Kuratowski–Ulam theorem
*(computing)*

### L

- Lebesgue's number lemma
*(computing)* - Lickorish–Wallace theorem
*(computing)* - Loop theorem
*(computing)* - Lusin's separation theorem
*(computing)*

### M

- Metrizable space
*(computing)* - Metrization theorem
*(computing)* - Mostow–Palais theorem
*(computing)*

### N

- Nagata–Smirnov metrization theorem
*(computing)* - Nielsen realization problem
*(computing)* - Nielsen–Thurston classification
*(computing)* - Novikov's compact leaf theorem
*(computing)*

### P

- Pasting lemma
*(computing)* - Phragmen–Brouwer theorem
*(computing)* - Poincaré conjecture
*(computing)*

### Q

- Quillen's theorems A and B
*(computing)*

### R

- Reeb sphere theorem
*(computing)* - Rokhlin's theorem
*(computing)*

### S

- Schoenflies problem
*(computing)* - Scott core theorem
*(computing)* - Side-approximation theorem
*(computing)* - Smale conjecture
*(computing)* - Smith conjecture
*(computing)* - Sphere theorem
*(computing)* - Sphere theorem (3-manifolds)
*(computing)*

### T

- Tietze extension theorem
*(computing)* - Twisted Poincaré duality
*(computing)* - Tychonoff's theorem
*(computing)*

### U

- Urysohn's lemma
*(computing)*

### V

- Vector fields on spheres
*(computing)* - Virtually Haken conjecture
*(computing)*