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

-4
votes
2answers
454 views

Dedekind's theorem on an integrally closed algebra over a field without Axiom of Choice

Motivation This question came from my efforts to solve this problem presented by Andre Weil in 1951. Can we prove the following theorem without Axiom of Choice? Theorem Let $A$ be an integrally ...
1
vote
1answer
23 views

Writing the ZF formula for the choice function (given Well-ordering)

If every set has a well order, then the axiom of choice follows: Given a well order on $\bigcup_{i \in I} A_i$ we define the choice function in this way $f(i) =$ "the first element of $\bigcup_{i \in ...
1
vote
1answer
53 views

Proving Equivalence of Two Version of Axiom of Choice

I am working on an assignment that requires proving the equivalence of two versions of the axiom of choice. (1st form): For any relation $R$, there is a function $H \subseteq R$ with dom $H =$ dom ...
0
votes
1answer
114 views

Noetherianess of a locally noetherian affine scheme without axiom of choice

I use the definition of a noetherian ring given by Qiaochu in this: A commutative ring is noetherian if, for any nonempty collection of ideals $\mathcal{I}$, there is some $I \in \mathcal{I}$ which is ...
9
votes
0answers
74 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$ ...
7
votes
0answers
257 views

Proving equivalence of a tree-based version of Countable Choice for families of finite sets.

In this paper by Good and Tree, the following result is mentioned without proof as part of Proposition 6.5: Each of the following statements imply those beneath it. The countable union of ...
7
votes
0answers
130 views

Follow up on “Proof of $X \times X \hookrightarrow X$ implies $[X]^2 \hookrightarrow X$”

This is a follow up on this earlier question of mine. We have the following statements: (HSO) For every infinite set $X$ there exists an injection $f: X \times X \hookrightarrow X$ (HSU) For every ...
6
votes
0answers
173 views

Is Kunen's claim about non-equivalent forms of Axiom of Choice, true?

Consider the following forms of the axiom of choice: $AC_1:\forall F\neq \emptyset~~~(\emptyset\notin F~\wedge~\forall x,y\in F~~~(x\neq y\rightarrow x\cap y= \emptyset))\rightarrow \exists C~\forall ...
6
votes
0answers
218 views

A few standard results (on metrizability and relative separation strength) without choice?

I've been going back over some results from Munkres's Topology, and I'm curious about some things.... I know that Choice principles have some connection to the separation axioms (in ZF, at ...
6
votes
0answers
147 views

What are 'weak' forms of Urysohn's lemma, which do not require choice?

Reference: http://web.mat.bham.ac.uk/C.Good/research/pdfs/horror.pdf It is well known that the original proof of Urysohn's lemma uses a choice principle. (DC) What are weak forms of the Urysohn's ...
6
votes
0answers
96 views

Why can countable recursive constructions not be done using countable choice?

Why can countable recursive constructions not be done using countable choice? For example, replace $Z$ by $\omega$ in the following theorem Why can't one prove it using countable choice? (The proof ...
5
votes
0answers
64 views

Connectedness of parts used in the Banach–Tarski paradox

A quote from the Wikipedia article "Axiom of choice": One example is the Banach–Tarski paradox which says that it is possible to decompose the 3-dimensional solid unit ball into finitely many ...
5
votes
0answers
121 views

Is dependent choice necessary to prove every perfect compact Hausdorff space is uncountable?

The answer to Cardinality of a locally compact space without isolated point shows that AC is required to show that if $X$ is a compact Hausdorff space with no isolated points then $|X| \ge ...
4
votes
0answers
46 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 ...
3
votes
0answers
108 views

Does the non-emptiness of the spectrum of an element of a Banach algebra depend on the Axiom of Choice?

One of the most basic results in functional analysis states that the spectrum of any element of a Banach algebra is non-empty. The proof, as most people might have seen, makes use of Liouville's ...
2
votes
0answers
66 views

Fields whose algebraic closure cannot be constructed without the axiom of choice

One can show that the statement that every field has an algebraic closure requires the axiom of choice. However, for almost all "everyday" fields, it seems that one can actually produce an algebraic ...
2
votes
0answers
56 views

Axiom of choice in proof of Wigner's theorem?

In Appendix A of chapter 2 of "The Quantum Theory of Fields," vol. 1, Weinberg presents a proof of Wigner's theorem: given a symmetry transformation $T$ of rays, one can extend this to a symmetry ...
2
votes
0answers
186 views

Hahn-Banach via Hamel Basis

my question for tonight: Is there a proof for Hahn-Banach using a Hamel Basis? I know, the proof for existence of Hamel Bases uses already Axiom of Choice, but I'd like to apply this without refering ...
2
votes
0answers
213 views

Normal closure of field extension, axiom of choice

Update My previous proof was incorrect. This updated proof is inspired by the comment by 'MartianInvader'. Problem I can prove the statement 'Every algebraic extension $L:K$ has a normal closure ...
2
votes
0answers
99 views

Does the existence proof of $\mu$-completion require choice?

Let $(X,\mathfrak{M},\mu)$ be a measure space and $\mathfrak{M}^*=\{E\subset X|\exists A,B\in\mathfrak{M} \text{ such that} A\subset E \subset B \text{ and} \mu(B\setminus A)=0\}$. How do i show that ...
2
votes
0answers
87 views

Theorem's relying on algebraic closures

When working with fields, it's a usual method to work on an algebraic closure of a field to obtain results about that field. In general (i. e. unless you're explicitly considering "well-behaved" ...
2
votes
0answers
125 views

Connected subset of a separable metric space is separable?

Continuity and the Axiom of Choice I have proved a small generalization of Brian's argument, that is, "If $f:X\rightarrow Y$ is sequentially continuous on $X$ and $X$ is separable, then $f$ is ...
1
vote
0answers
38 views

Hilbert space without the projection theorem

One succinct statement of the projection theorem in Hilbert space is $A+A^\bot=\scr H$, where $A\in\scr C$, the set of closed subspaces of $\scr H$. (We will also denote the set of all subspaces by ...
1
vote
0answers
62 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 ...
1
vote
0answers
44 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
0answers
45 views

Is there a connection between contravariant functors and the axiom of choice?

Given that both can be seen as talking about reversing arrows between two objects: Is there a connection between contravariant functors and the axiom of choice? I'm initially motivated geometrical ...
1
vote
0answers
218 views

Noetherian condition on the ring of formal power series without Axiom of Choice

I use the definition of a Noetherian ring given by Qiaochu in this: A commutative ring is Noetherian if, for any nonempty collection of ideals $\mathcal{I}$, there is some $I \in \mathcal{I}$ which is ...
0
votes
0answers
33 views

Proof of “Every vector space has a basis $\implies$ AC” without mentioning von Neumann hierarchy

I am writing a short (30-50 pages) report on AC for an exam. I really would like to include the proof that "Every vector space has a basis $\implies$ AC". Actually, every proof I could find proves ...
0
votes
0answers
100 views

Set Theory , Konig's Lemma and Infinite Graph Theory

I am trying to understand the basics of Infinite Graph theory and various preconditions in Konig's Lemma. The texts I have studied tend to use the Axiom of Choice (usually Zorn's Lemma) as a tool of ...
0
votes
0answers
28 views

Is it possible to prove product of basis is a basis for the box topology without AC?

Let $\{(X_i,\tau_i)\}$ be a collection of topological spaces and $\mathscr{B}_i$ be a basis for $\tau_i$. Let $\mathbb{B}=\{\prod p_i : p\in \prod \mathscr{B}_i\}$. Then is $\mathbb{B}$ a basis for ...
0
votes
0answers
436 views

Every k-cell is compact (in ZF)

This is the part of proof on my book. Let $I$ be a k-cell. Then for every $x\in I$ and $j\in k$, $a_j ≦ x(j) ≦ b_j$ for some $a_j, b_j \in \mathbb{R}$. Let {$G_{\alpha}$} be an open cover of I and ...