Hilbert C*-module
Hilbert C*-modules are mathematical objects which generalise the notion of a Hilbert space (which itself is a generalisation of Euclidean space), in that they endow a linear space with an "inner product" which takes values in a C*-algebra. Hilbert C*-modules were first introduced in the work of Irving Kaplansky in 1953, which developed the theory for commutative, unital algebras (though Kaplansky observed that the assumption of a unit element was not "vital"). In the 1970s the theory was extended to non-commutative C*-algebras independently by William Lindall Paschke and Marc Rieffel, the latter in a paper which used Hilbert C*-modules to construct a theory of induced representations of C*-algebras. Hilbert C*-modules are crucial to Kasparov's formulation of KK-theory, and provide the right framework to extend the notion of Morita equivalence to C*-algebras. They can be viewed as the generalization of vector bundles to noncommutative C*-algebras and as such play an important role in noncommutative geometry, notably in C*-algebraic quantum group theory, and groupoid C*-algebras.
Beckman–Quarles theorem
Beckman and Quarles also provide a counterexample for Hilbert space, the space of square-summable sequences of real numbers. This example involves the composition of two discontinuous functions: one that maps every point of the Hilbert space onto a nearby point in a countable dense subspace, and a second that maps this dense set into a countable unit simplex (an infinite set of points all at unit distance from each other). These two transformations map any two points at unit distance from each other to two different points in the dense subspace, and from there map them to two different points of the simplex, which are necessarily at unit distance apart. Therefore, their composition preserves unit distances. However, it is not an isometry, because it maps every pair of points, no matter their original distance, either to the same point or to a unit distance.