Introduction to abstract mathematics: course
From Intelligent Perception
This is a one-semester course to introduce math majors into pure/abstract mathematics. It's mostly about proofs. However, I would like to introduce a few other things that will make linear algebra, advanced calculus, group theory, topology, etc easier to absorb later on.
- Introduction to higher mathematics
- Introduction to advanced mathematics
- Introduction to proofs
"Because I don’t have time to write you a short letter, I write you a long one." Attributed to Hemingway, Cicero, Voltaire, Mark Twain, Blaise Pascal, Goethe.
In writing proof we'd better follow the latter approach, especially when we are still learning.
"If you like laws and sausages, you should never watch either one being made." (Mis)attributed to Bismarck.
We'll have to watch, if we want to learn how to do it.
In addition to proofs we need to start to become familiar with various mathematical constructions. They should be illustrated with examples from previous courses (calculus and precalculus).
- Rules of proof writing
- Sloppy notation.
- examples and types of proofs:
- reading proofs,
- checking proofs,
- discovering proofs,
- writing proofs.
- Trivialization as a way of understanding concepts, proofs etc
- Abstract mathematics, axioms, definitions, and well-defined concepts:
- New sets from old:
- New sets and functions from old:
- function-valued functions,
- spaces of functions,
- dual spaces, duality