Projective curve/Vector bundle/Harder-Narasimhan filtration/Definition