# Tagged Questions

The axiom of choice is a common set-theoretic axiom with many equivalents and consequences. This tag is for questions on where we use it in certain proofs, and how things would work without the assumption of this axiom.

7k views

### What are the Axiom of Choice and Axiom of Determinacy?

Would someone please explain: What does the Axiom of Choice mean, intuitively? What does the Axiom of Determinancy mean, intuitively, and how does it contradict the Axiom of Choice? as simple ...
573 views

### Natural isomorphisms and the axiom of choice

The definitions of "natural transformation", "natural isomorphism between functors", and "natural isomorphism between objects" captures - among other things - the intuitive notion of "an isomorphism ...
793 views

847 views

### Picking from an Uncountable Set: Axiom of Choice?

Question: Given the real numbers as a set, does it require the (non-finite) Axiom of Choice to pick out an arbitrary single element? What about if we wanted to pick out an integer? What about if we ...
2k views

### Axiom of choice and automorphisms of vector spaces

A classical exercise in group theory is "Show that if a group has a trivial automorphism group, then it is of order 1 or 2." I think that the straightforward solution uses that a exponent two group is ...
1k views

### The Use of the Axiom of Choice in an Elementary Proof

I wanted to give some of the new undergrad analysis students the following problem: given the real numbers (with the standard topology, as they'd expect) one cannot have an uncountable set such that ...
531 views

### Constructing Infinite Cartesian Products without AC

I recently stumbled across the wikipedia page on equivalents to the Axiom of Choice. I noticed that every infinite Cartesian product of a non-empty family of non-empty sets being non-empty was ...
196 views

### Closed subset of stationary set and AC questions

Hope I'm not spamming too much by asking questions on separate threads. I have 2 more questions, not connected one to another, in any way: 1. Show that every stationary set in $\aleph_1$, contains, ...
497 views

### Topology and axiom of choice

It it an easy exercise to show that if $X$ is first-countable then for every point $x$ and every subset $A$ we have $x \in \text{cl}A$ iff there exists a sequence $(x_n)_n$ that converges to $x$. ...
1k views

### Uncountable subset with uncountable complement, without the Axiom of Choice

Let $X$ be a set and consider the collection $\mathcal{A}(X)$ of countable or cocountable subsets of $X$, that is, $E \in \mathcal{A}(X)$ if $E$ is countable or $X-E$ is countable. If $X$ is countable,...
386 views

### Algebra without Zorn's lemma

One can't get too far in abstract algebra before encountering Zorn's Lemma. For example, it is used in the proof that every nonzero ring has a maximal ideal. However, it seems that if we restrict ...
621 views

### Axiom of Choice and the cardinality of the reals

Assuming the Axiom of Choice, (it seems that) there is a bijection between $\mathbb{R}$ and $\mathbb{N}$ that follows from any well-ordering of the reals. That is, given a well-ordering of $\mathbb{R}$...
3k views

### The cardinality of a countable union of countable sets, without the axiom of choice

One of my homework questions was to prove, from the axioms of ZF only, that a countable union of countable sets does not have cardinality $\aleph_2$. My solution shows that it does not have ...
930 views

### Non-existence of a surjection $\aleph_n \to \aleph_{n+1}$, without the axiom of choice

Firstly, let's establish what exactly I mean by these symbols. Let $\omega_0 = \{ 0, 1, 2, \ldots \}$, where $0, 1, 2, \ldots$ are the usual von Neumann representations of the natural numbers. Let $n$ ...
932 views

### Equivalent statements of the Axiom of Choice

As a little project for myself this winter break, I'm trying to go through as much of Enderton's Elements of Set Theory as I can. I hit a snag trying to show two forms of the Axiom of Choice are ...
576 views

### Dimension of the sequence space and its dual, depending on status of (AC) and (CH)

Let's consider the sequence space $E =\mathbb R^{\mathbb N}$. If I believe in Choice, I have an isomorphism $E \simeq \mathbb R^{(\mathfrak c)}$ for some cardinal $\mathfrak c$. I further have some ...
2k views

### Axiom of Choice Examples

In the wikipedia article, two examples are given which use/ do not use the axiom of choice. They are: Given an infinite pair of socks, one needs AC to pick one sock out of each pair. Given an ...
917 views

### Axiom of choice - to use or not to use

I was wondering if there are examples of results in mathematics that were first proven using axiom of choice and later someone found a proof of the result without using the axiom of choice.
919 views

### Motivating implications of the axiom of choice?

What are some motivating consequences of the axiom of choice (or its omission)? I know that weak forms of choice are sometimes required for interesting results like Banach-Tarski; what are some ...
692 views

### Where do we need the axiom of choice in Riemannian geometry?

A friend of mine is a differential geometer, and keeps insisting that he doesn't need the axiom of choice for the things he does. I'm fairly certain that's not true, though I haven't dug into the ...
255 views

### Specific equivalent to the Axiom of Choice involving the empty set

I'm trying to remember a particular theorem of ZF but unfortunately my memory is quite incomplete. The theorem is of the form (some set operation) is either (expected answer) or the empty set. If ...
971 views

### Transfinite Induction and the Axiom of Choice

My question is essentially this: Why does the principle of transfinite induction not suffice to show the axiom of choice when the sets to be chosen from are indexed by a well ordered set? I have read ...
So, from what I understand, the axiom of choice is equivalent to the claim that every set can be well ordered. A set is well ordered by a relation, $R$ , if every subset has a least element. My ...