Knot invariants are properties of knots that remain unchanged under ambient isotopies, providing a way to distinguish between different knots. They are crucial in the study of knot theory, a branch of topology, and are used to classify and understand the complex interactions of knots in three-dimensional space.