@TopologyFact

Tweets on topology and geometry from @JohnDCook.

JohnDCook.com
Joined January 2010
  • Tweets6.5K
  • Following19
  • Followers74.1K
290Media
"I want to start a new field of geometry where two things are equivalent if you can stretch one into the other without tearing." "I've got just what you need: a collection of sets closed under finite intersections and arbitrary unions." "Huh?!"
13
36
4
354
22,632
List of resources for topological data analysis gist.github.com/calstad/01e1…

List of resources for TDA

List of resources for TDA. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com
1
14
1,592
H-space en.wikipedia.org/wiki/H-spac…

H-space - Wikipedia

en.wikipedia.org
1
16
2,351
Stone-Weierstrass theorem johndcook.com/blog/2019/08/2…

Stone-Weierstrass on a disk

A couple weeks ago I wrote about a sort of paradox, that Weierstrass' approximation theorem could seem to contradict Morera's theorem. Weierstrass says that the uniform limit of polynomials can be an...

johndcook.com
2
19
2,359
There are five regular solids: tetrahedron, cube, octahedron, dodecahedron, and icosahedron.
1
4
43
2,451
A hyperbolic knot is a knot that has a complement that can be given a complete metric of constant curvature -1.
4
33
2,463
A satellite knot can be formed by first taking a knot inside an unknotted torus, then making a second “companion” knot of that torus. The satellite knot lives in the “orbit” of the companion knot.
5
24
2,484
A torus knot can be drawn on the surface of an unknotted torus.
1
1
1
29
2,707
A box in a ball in a box, in high dimension johndcook.com/blog/2021/04/1…

Box in ball in box in high dimension

The n-ball fits better in the n-cube than the n-cube fits in the n-ball if and only if n is less than or equal to 8.

johndcook.com
2
14
2,059
The acceleration of geodesic curve has no tangential component. It has no acceleration from the perspective of the surface it is on.
5
46
2,405
Kawasaki paper folding theorem en.wikipedia.org/wiki/Kawasa…

Kawasaki's theorem - Wikipedia

en.wikipedia.org
1
2
26
2,738
William Thurston proved that all knots fall into one of three categories: torus, satellite, and hyperbolic.
7
66
3,102
Insane Properties of the Closed Long Ray and the Long Line serokell.io/blog/long-line-p…

Insane Properties of the Closed Long Ray and the Long Line

Long rays and long lines have some very interesting (even strange) properties. Read this article to brush up your topology skills.

serokell.io
3
1,804
The product of compact sets is compact.
2
4
45
2,829
A topological model for provability logic johndcook.com/blog/2026/10/0…

A topological model for provability logic

Provability logic, a.k.a. Gödel-Löb logic, is a modal logic in which the box operator means a proposition is provable. It has a different topological model.

johndcook.com
3
16
2,433
There is no retraction of a disk to its boundary, i.e. no continuous function from the disk to its boundary that leaves the boundary fixed.
2
23
2,407
Visualizing Hyperbolic Honeycombs hyperbolichoneycombs.org/
5
14
2,369
Topological models of modal logic johndcook.com/blog/2026/10/0…

Topological models of modal logic

Topological spaces provide models of modal logics where the box operator is interpreted as the interior of a set and the diamond operator its closure.

johndcook.com
1
5
1
49
3,742
Total curvature of a knot: johndcook.com/blog/2019/10/0…

Total curvature of a torus knot

The Fary-Milnor theorem says the total curvature of a knot must exceed 4 pi. We demonstrate this with examples.

johndcook.com
4
27
2,551
'In most physical applications of tensor calculus, the space is Riemannian ... and we can suit our convenience as to whether we express that tensor in contravariant, covariant, or mixed form.' – Synge & Schild
1
10
2,432
On simplicial complexes, singular and simplicial homology are isomorphic.
3
42
2,583
Load more