I'm writing a Master's thesis on knot invariants and I'm trying to chase down the original source that introduced the unknotting number and perhaps proved that it is a knot invariant. The texts I've consulted that reference the unknotting number already discuss it in terms of being an established invariant. But I can't find what source has first introduced it as a concept and proved that it is a knot invariant. I think it's obvious that Reidemeister moves don't affect the unknotting number (they preserve the number of crossings), but what is it that makes this number well-defined?


I'm a bit wary of ChatGPT, but it's pointed me in the direction of (Gordon & Luecke, 1989). I scanned through the paper but must admit found it too dense to read. Equally, the unknotting number was already an established concept by 1989 (it pops up in (Cochran & Lickorish, 1986)), so I'm curious if there isn't a different, earlier proof.



Straightforward reference on the unknotting number being a knot invariant
I agree with Tom Goodwillie that it is immediate from the definitions that the unknotting number is well-defined. I think that what might be tripping you up is being taught that “knot invariants” are really diagram invariants that are invariant under the Reidemeister moves. That makes invariants like this one that cannot be computed from a given diagram in a straightforward way confusing.


Anyway, on to its origins. The earliest reference I know about is


[Wendt, H. Die gordische Auflösung von Knoten. Math. Z. 42, 680–696 (1937)](https://link.springer.com/article/10.1007/BF01160103)


It's been a very long time since I read this paper (and my German is mediocre, so it would take some effort for me to re-read it today), so I can't remember if it references anything else.


As evidence that this is the original source, Reidemeister's classic [book](https://www.maths.ed.ac.uk/%7Ev1ranick/papers/reidemeister_eng.pdf) on the subject references Wendt's paper when it introduces the unknotting number. See the beginning of Chapter 2.


