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.

learn more… | top users | synonyms

1
vote
1answer
61 views

Ultrafilter Lemma and Dimension Theorem

Reading on Wikipedia I find out that (the uniqueness in) the Dimension Theorem for arbitrary Vector Spaces can be proved using just the Ultrafilter Lemma (a strictly weaker version of Axiom of ...
1
vote
2answers
89 views

Axiom of Choice (Naive Set Theory, Halmos)

I'm currently reading Naive Set Theory by Paul Halmos and I'm not quite understanding what he means in sec. 15, The Axiom of Choice. Suppose that $\mathscr{C}$ is a non-empty collection of ...
1
vote
0answers
65 views

Hilbert projection theorem without countable choice

All the proofs of the Hilbert projection theorem, existence part, that I have seen so far use countable choice (usually implicitly). Is this necessary? It seems like you might be able to leverage the ...
3
votes
1answer
76 views

Automorphisms of abelian groups and Choice

The latest question to be asked at the Group Pub Forum is a classic: can every group be realised as the automorphism group of a group? The answer is no, and the canonical answer is the infinite cyclic ...
0
votes
0answers
26 views

A Sequnce from an infinte set [duplicate]

We know if $A$ is infinite set then we can choose a sequence from $A$. But I don't know how this requires AC.(or countable AC?) Thanks in advance for any suggestion. Maybe the approach depend on ...
3
votes
3answers
111 views

Confused about Axiom of Choice

(1) I understand that if I have a non-empty set $A$, choosing an element $\alpha$ from $A$ does not require the Axiom of Choice. (2) I also understand that if I have a finite collection of ...
9
votes
0answers
80 views

Choice in a Particular HOD Type Model

Let $V \models ZFC$. Let $P$ be a forcing and $G \subseteq P$ be generic over $V$. Let $x \in V[G]$. Let $M$ be the class of set that are hereditarily definable (in $V[G]$) using as parameters $x$ ...
4
votes
0answers
54 views

Strength of “Every finite dimensional subspace of a vector space has a complement”

Does the following choice principle have a name? Every finite dimensional subspace of a vector space has a complement. Equivalently, every line inside a vector space has a complementary ...
4
votes
1answer
88 views

Regarding Thomas Jech's demonstration of Zorn's lemma via induction

Thomas Jech, such as many other mathematicians, demonstrates $AC \rightarrow ZL$ via transfinite induction. He says: Proof. We construct (using a choice function for nonempty sets of P), a chain ...
4
votes
2answers
110 views

Proof that $\omega_1$ is countable (where is the flaw?)

I have discovered a "proof" of the fact, that $\omega_1$ can be countable, contradicting its definition. It mustn't assume axiom of choice, so I guess there are some parts of this construction which ...
3
votes
1answer
55 views

Unique ultrafilter on $\omega$

We know that from axiom of choice (or just BPIT) we can deduce ultrafilter lemma, which states that every filter can be extended to an ultrafilter. From this lemma we can derive existence of at least ...
1
vote
4answers
85 views

How do I tell whether axiom of choice is used or not?

I am having a hard time understanding the Axiom of Choice(AC). Say I have an index set $A$ , and a collection of indexed sets {${V_\alpha}$}, where $\alpha$ is a member of $A$. Then, does the ...
5
votes
1answer
92 views

Cardinality of all $\mathbf{\Sigma}^0_\alpha$-sets over Baire space without full choice

It is well-known that the set of all open (or closed) sets on Baire space has cardinality of the continuum. In context of choice, we can prove that the set of all $\mathbf{\Sigma}^0_\alpha$-sets over ...
4
votes
1answer
107 views

A question regarding the status of CH in the Gitik model

Consider models of ZF+"Every uncountable cardinal is singular" (eg. Moti Gitik: "All uncountable cardinals can be singular", Israel journal of Mathematics, 35(1-2): 61-88, 1980). How should CH be ...
3
votes
1answer
97 views

Does existence of a non-continuous linear functional depend on Axiom of Choice?

Well, it is easy to construct a non-continuous linear functional on an arbitrary infinite-dimensional vector space (assuming Choice, and taking a basis etc.). I think it is intuitive to say that: ...
5
votes
1answer
93 views

Do we need choice to prove that $|\mathbb{N} \times A| = |A|$ for all infinite sets $A$?

I can't think of any way to prove it without choice.
2
votes
1answer
62 views

Zorich's misinterpretation of “Axiom of Choice”?

I'm reading Zorich'es "Mathematical Analysis I", Ed 4, 2004, and wonder if this is a trifle misinterpretation of "Axiom of Choice". Ch 1.4 "Supplementary Material" says: 8°. (A x i o m o f c h o i ...
9
votes
2answers
422 views

Is the Axiom of Choice implicitly used when defining a binary operation on a quotient object?

Let's say you have a group $(G,\cdot)$ and you have a normal subgroup $N$ (note we are considering this only as a set). And now we want to define a binary operation $\star$ on $G/N$ such that $(G/N, ...
1
vote
2answers
784 views

Proof that a product of two quasi-compact spaces is quasi-compact without Axiom of Choice

A topological space is called quasi-compact if every open cover of it has a finite subcover. Let $X, Y$ be quasi-compact spaces, $Z = X\times Y$. The usual proof that $Z$ is quasi-compact uses a ...
1
vote
1answer
49 views

What is wrong with the following proof saying Zorn's lemma implies Hausdorff maximum principle?

I am reading 'Topology' by J.R. Munkres's first chapter on set theory. In the exercises 5-7 on page 72 he asks the reader to show that Zorn's lemma implies Hausdorff maximum principle via the ...
-3
votes
1answer
227 views

Can we prove that a bounded closed subset of $\mathbb R^n$ is compact without Axiom of Choice?

Can we prove that a bounded closed subset of $\mathbb R^n(n \ge 1)$ is compact without using Axiom of Choice? This is a related question which was closed.
0
votes
1answer
101 views

“Hidden” axiom of choice?

Let $\mu$ be a measure on $S$ such that: $\mu\left(\emptyset\right)=0$ and $\mu(S)=1$ if $X\subseteq Y$, then $\mu(X)\leq\mu(Y)$ $\mu\left(\{a\}\right)=0$ for all $a\in S$ if $X_n$, ...
8
votes
1answer
142 views

Can all theorems of $\sf ZFC$ about the natural numbers be proven in $\sf ZF$?

I know a proof of Hindman's theorem that uses ultrafilters on the natural numbers, and ultimately, the axiom of choice. But the theorem itself is essentially a combinatorial property of the natural ...
0
votes
2answers
37 views

Does defining the closure of a set as the intersection of all closed set that contain it requires the axiom of choice?

Given a set $S$, the closure of $S$ is sometimes defined as the intersection of all the closed sets that contain it. This type of argument is pervasive in mathematics when one want to construct the ...
2
votes
2answers
71 views

An equivalence of AC

I have to prove the following: In $ZF^-$ the axiom of choice implies: For every set X there exist $Y \subseteq \bigcup X$ such that: Y has at most one element in common with each of X Y is maximal ...
0
votes
2answers
61 views

Is this a basis for the dual space?

There is an example on Wikipedia that I don't understand and I'd appreciate some help. They define $\mathbb R^\infty$ to be the space of all sequences that are zero except for finitely many indexes. ...
5
votes
1answer
101 views

Existence of a regular uncountable $\aleph_{\alpha}$ without $\mathsf{AC}$

Set theory (Jech) $\text{p.}\;27:$ It is an open problem whether one can prove without the axiom of choice that there exists a regular uncountable $\aleph_{\alpha}\;($the informed guess is that ...
3
votes
1answer
75 views

Book/Books leading up to the the axiom of choice?

I am familiar with the axioms of ZF set theory and some basic uses of them to completely formally construct more complex objects such as natural numbers etc. However I have pretty much no background ...
1
vote
2answers
99 views

Confusion regarding one formulation of the Axiom of Choice.

One formulation of the Axiom of Choice is: The Cartesian product of non-empty sets is always non-empty. Cartesian product is defined as making "every possible pair" between elements of two sets. ...
6
votes
1answer
168 views

Unions and the axiom of choice.

Is the following equivalent to the axiom of choice? Let $A = \{a_i: i \in I\}$ be a collection of pairwise-disjoint non-empty sets indexed by $I$. Similarly, let $B = \{b_i : i \in I \}$. Further ...
2
votes
2answers
87 views

Proving there is a sequence convergent to a limit point of a set without axiom of countable choice?

Often, we use a construction like this: Given a subset $ A $ of a metric space and its limit point $ a $, we know that for every $ \epsilon > 0 $ there is another point $ x $ different from $ a $ ...
1
vote
0answers
47 views

Amount to choice necessary to prove instances of Tychonoff theorem

Let $I$ be a fixed nonempty set. I would like to know how much choice is necessary in order to prove that the product of any $I$-indexed family of compact topological spaces is compact (under the ...
1
vote
2answers
131 views

surjective map and cardinality

I work in $\mathsf{ZF}$(without the axiom of choice). Let $A, B$ be sets such that $\left| A \right |$ and $\left|B \right |$ are both defined and let $f \colon A \to B$ a surjective function. Can I ...
2
votes
2answers
61 views

Is the well-ordering in the well-ordering axiom required to be definable?

It is well-known that Axiom of Choice is equivalent to the statement that every set can be well-ordered. Now, to show that $M\models AC$, is it sufficient to show that there exists some well-order of ...
0
votes
4answers
80 views

Intuitive idea of axiom of choice

I'm currently reading a book on set theory and it gives the following formulation of the axiom of choice: Let $X$ be a non-empty set. Then there is a function $g: ...
4
votes
1answer
69 views

Does restricting the range of a collection of nonempty sets to one dominated by the index set require the Axiom of Choice?

The title was difficult to write, because it is hard to say the property I am looking for in words. Here it is in symbols: $$\forall i\in I\ A_i\ne\emptyset\implies\exists X\preceq I\ \forall i\in I\ ...
2
votes
2answers
64 views

The axiom of countable choice.

There seem to be many questions along the same line but none of them seem to be quite what I am asking, so here goes: If a set is countable, then we know that a bijection exists between it and the ...
5
votes
2answers
171 views

Is (countable) AC necessary for a useful theory of Lebesgue measure?

I am working through some notes on the Lebesgue measure, and I noticed that the proof that $\lambda^*$ (the outer measure) is countably sub-additive requires countable choice. (Short version of the ...
1
vote
0answers
41 views

How is it possible that the well-ordering theorem is strictly stronger than the axiom of choice in second-order logic? [duplicate]

If I am not wrong, the well-ordering theorem is strictly stronger than the axiom of choice in second-order logic. I am not sure to understand how this is possible. The reason is that second order ...
9
votes
6answers
482 views

Countable axiom of choice: why you can't prove it from just ZF

This is a follow-up question to the discussion about the finite axiom of choice here. Suppose we have a countable collection of non-empty sets $\{A_1, A_2, A_3,\cdots\}$ Reasoning as indicated in ...
2
votes
1answer
107 views

Axiom of Choice and Zorn's Lemma Equivalence: some intuition

$$ \text{Axiom of Choice $\Rightarrow$ Zorn's Lemma } $$ $$\text{Axiom of Choice $\Leftarrow$ Zorn's Lemma } $$ I feel mathmatically immature to go through these proofs now. My quesiton therefore is: ...
60
votes
6answers
5k views

Why can't you pick socks using coin flips?

I'm teaching myself axiomatic set theory and I'm having some trouble getting my head around the axiom of choice. I (think I) understand what the axiom says, but I don't get why it is so 'contentious', ...
3
votes
2answers
157 views

Can we prove that a quasi-compact locally noetherian space is noetherian without Axiom of Choice?

I will state some definitions to clarify my question. Definition 1 Let $X$ be a topological space. If every open cover of $X$ has a finite subcover, $X$ is called quasi-compact. Definition 2 Let $X$ ...
6
votes
2answers
180 views

How can I explain to my professor his argument invokes the AC?

This is not the standard definition, but my topology professor restricted contexts in metric spaces. Definition An open set $U$ in a metric space $X$ is a subset of $X$ such that the interior ...
5
votes
1answer
146 views

Intuition for “the existence of a basis for every vector space is equivalent to the Axiom of Choice”?

Is there a intuitive way to understand "the existence of a basis for every vector space is equivalent to the Axiom of Choice"?
1
vote
1answer
43 views

What is necessary for having a free ultrafilter?

Without any choice axioms, are there free ultrafilters on the natural numbers? If not, can we prove the existence of ANY free ultrafilters, on any set?
4
votes
1answer
34 views

Do we need AC to prove Principle of Dependent Choices

For any nonempty set $X$ and any entire binary relation $R$ on $X$, there is a sequence $(x_n)$ in $X$ such that $x_nRx_{n+1}$ for each $n \in \mathbb{N}$. (Here an entire binary relation on $X$ is ...
3
votes
2answers
65 views

Assuming the axiom of choice, how to find explicit group structure of a given set

Let us assume the axiom of choice. This is equivalent to every nonempty set having group structure. My question is, given some nonempty set, can we define the binary operator in a constructive way ...
3
votes
1answer
59 views

existence of spanning trees in complete graphs implies choice?

it is known that the existence of spanning trees in arbitrary (connected) graphs implies the Axiom of Choice. I was wondering if this result still holds if we restrict ourselves to spanning trees of ...
2
votes
1answer
82 views

Cardinality of union of pairwise disjoint elements needs choice?

If there is an indexed family $(i\mapsto A_i)_{i\in I}$ of pairwise disjoint sets $A_i$, why do we need choice to show that $$ \left|\textstyle{\bigcup_{i\in I}A_i}\right| = \sum_{i\in I}|A_i|? $$ It ...