For example, when I want to prove a proposition like "Let $V$ be a vector space..." and I need a basis of $V$ to prove it, instead of using the theorem "Every vector space has a basis" which needs the axiom of choice, I can replace the assumption with "Let $V$ be a vector space with a basis".
If the axiom of choice is true, this replacement does not lose generality of the theorem. In addition, we can individually prove the existence of basis of concrete vector spaces such as $\mathbb{R}^n, \mathbb{C}^n, ...$
Is it possible to avoid the axiom of choice?
Answer
Yes, you can always require that your objects have the properties you'd need choice for.
Just like you can always require that your sets are well ordered, and simply limit the generality.
The problem is that a lot of times naturally occurring objects will not be well behaved without choice. For example, $\ell_2$ might not have a basis without choice.
No comments:
Post a Comment