Cyclic Homology in Non-Commutative Geometry