Is counting measure indeed a measure and is this always sigma-finite?

Answer 1

It is a measure, but it isn't always sigma-finite. Take your space X = [0,1], and u = counting measure

if u(E) < infinity, then E is a finite set, but there is no way to cover the uncountable set [0,1] by a countable collection of finite sets.