Infinite matroid theory lecture 1