Topology Fact (@TopologyFact) header
Topology Fact (@TopologyFact) profile picture

Topology Fact

@TopologyFact

Tweets on topology and geometry from @JohnDCook.

JohnDCook.com
Joined January 2010
  • Tweets6.5K
  • Following19
  • Followers74.1K
290Media
Photo by Topology Fact (@TopologyFact)Photo by Topology Fact (@TopologyFact)Photo by Topology Fact (@TopologyFact)Photo by Topology Fact (@TopologyFact)Photo by Topology Fact (@TopologyFact)Photo by Topology Fact (@TopologyFact)Photo by Topology Fact (@TopologyFact)Photo by Topology Fact (@TopologyFact)
"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
353
22,703
A Hausdorff space is normal if every disjoint pair of closed sets can be separated by disjoint open sets.
10
72
2,403
A Hausdorff space is regular if a closed set and a point not in the set can always be separated by disjoint open sets.
1
45
2,371
The only parallelizable spheres are S^0, S^1, S^3, and S^7. en.wikipedia.org/wiki/Parall…

Parallelizable manifold - Wikipedia

en.wikipedia.org
3
3
55
3,151
Topology Fact retweeted
ℒ (@alchemaxxing) profile picture
ℒ
@alchemaxxingOct 27
> just spoke to an insider > says there is no inside > klein bottle
10
55
3
909
12,657
The product of connected sets is connected.
6
75
2,819
A complex elliptic curve is topologically a torus.
1
7
2
123
4,264
List of resources for topological data analysis gist.github.com/calstad/01e1…
List of resources for TDA

List of resources for TDA

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

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

H-space - Wikipedia

en.wikipedia.org
1
16
2,397
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,400
There are five regular solids: tetrahedron, cube, octahedron, dodecahedron, and icosahedron.
1
4
44
2,480
A hyperbolic knot is a knot that has a complement that can be given a complete metric of constant curvature -1.
5
34
2,494
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,512
A torus knot can be drawn on the surface of an unknotted torus.
1
1
1
29
2,732
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,079
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,422
Kawasaki paper folding theorem en.wikipedia.org/wiki/Kawasa…

Kawasaki's theorem - Wikipedia

en.wikipedia.org
1
2
26
2,758
William Thurston proved that all knots fall into one of three categories: torus, satellite, and hyperbolic.
7
65
3,119
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

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,818
The product of compact sets is compact.
2
4
45
2,842
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,444
Load more