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

13
votes
0answers
333 views

Spanning the reals with a small set - choicelessly

Working in ZF (so, no choice): is it possible that there is a set of reals $X$ such that $\vert X\vert<\mathbb{R}$, but $X$ generates $\mathbb{R}$ as a subgroup under addition? This seems ...
13
votes
0answers
327 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 ...
10
votes
0answers
136 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$ ...
9
votes
0answers
324 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 ...
9
votes
0answers
353 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 least)--...
8
votes
0answers
124 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 ...
7
votes
0answers
108 views

How do I prove that $S_A\cong S_B\implies |A|=|B|$?

Let $A,B$ be infinite sets such that $S_A\cong S_B$. (Symmetric groups are group isomorphic) How do I prove that $|A|=|B|$? The only proof I know uses Axiom of choice. (That is, using AC to give ...
7
votes
0answers
261 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
123 views

(Non-Hopfian) groups that only have quotients that are themselves or the trivial group.

A group is non-Hopfian provided it is isomorphic to a proper quotient. The classic, finitely presented, example of such a group is the Baumslag-Solitar group $$BS(2,3)= \langle x,t \mid t^{-1}x^2 t =x^...
6
votes
0answers
58 views

Undetermined game of length $\omega_1+\omega$, without choice

On the following page, Taranovsky is talking about his "Determinacy Maximum" axiom: http://web.mit.edu/dmytro/www/DeterminacyMaximum.htm He also justifies the choice of the name, by pointing out that ...
6
votes
0answers
92 views

One more AC equivalence question

Is "Every vector space admits a norm" weaker than AC? I know that the statement follows from "Every vector space has a basis", which is equivalent to AC.
6
votes
0answers
279 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 ...
5
votes
0answers
61 views

Over ZF does “every non-seperable Hilbert space has an orthonormal basis” imply “there exists a non-Lebesgue measurable set”?

I know from this question that it's an open problem whether or not the existence of a dense orthonomral basis for every real or complex Hilbert space $(\text{B}_\text{orth})$ implies the axiom of ...
5
votes
0answers
61 views

Construction of injective hulls without axiom of choice

Motivation: It is known that without the axiom of choice (AC), it is not provable that all categories of modules have enough injectives, let alone injective hulls. Still, there are examples of rings ...
5
votes
0answers
212 views

On the contradictory nature of large cardinals & choice-like axioms

Compare these two results: Theorem (Scott): $ZFC+V=L\vdash \nexists~\text{Measurable cardinal}$ Theorem (Kunen): $ZFC+AC\vdash \nexists~\text{Reinhardt cardinal}$ Now compare these two ...
5
votes
0answers
150 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 2^{\aleph_0}...
4
votes
0answers
66 views

Codimensions of $\mathbb{Q}$-subspaces of $\mathbb{R}$

Under the Axiom of Choice, we can pick a Hamel basis $H$ for $\mathbb{R}$ as a vector space over $\mathbb{Q}$. Adjoining all but some elements of $H$ to $\mathbb{Q}$ shows that for any cardinality $1\...
4
votes
0answers
112 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" ...
4
votes
0answers
175 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 ...
3
votes
0answers
61 views

Basis of $\mathbb{F}[[x]]$ over $\mathbb{F}$ without AC

Does the ring of formal power series $\mathbb{F}[[x]]$ as a vector space over $\mathbb{F}$ admit a basis without assuming the Axiom of choice, at least in some special cases of $\mathbb{F}$? I'm ...
3
votes
0answers
68 views

$Gal(\bar{\mathbb Q}/\mathbb Q)$ without choice, and constructive Galois theory

By this question: Algebraic closure for $\mathbb{Q}$ or $\mathbb{F}_p$ without Choice? We have that over ZF, algebraic closures of $\mathbb Q$ aren't unique. Are their Galois groups as extensions over ...
3
votes
0answers
146 views

Separable Hahn-Banach and the axiom of choice

We had in our functional analysis course a proof for the Hahn-Banach theorem on a separable Banach space which doesn't need, according to our professsor, the axiom of choice. Yesterday I read the ...
3
votes
0answers
483 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 $F:L$...
2
votes
0answers
54 views

Is it really necessary to choose a basis to prove that every element of a comodule is contained in a finite-dimensional subcomodule?

Let $C$ be a coalgebra over a field and $M$ be a $C$-comodule. Then it's well-known that every element of $M$ is contained in a finite-dimensional subcomodule $M' \subset M$. This is for example an ...
2
votes
0answers
40 views

Existence of extension of linear map and existence of subspace complement

Great answer by Asaf Karagila to my question leads me to further questions. Let say we deal with vector spaces over $\mathbb{R}.$ Here are three sentences: For every $V$ and its subspace $E\subset ...
2
votes
0answers
67 views

A doubt in the proof of “AC implies law of excluded middle”

i dont understand why axiom of choice is needed for the proof, since X is finite and (if i haven't misunderstand anything) we don't need axiom of choice to define a choice function for a finite set. ...
2
votes
0answers
29 views

Example of a maximal idea

Let $A$ be the set of bounded continuous functions from the set of real numbers to itself. Then $A$ is a ring under pointwise addition and multiplication. The set $I$ of all functions $f \in A$ ...
2
votes
0answers
99 views

What is the name of proofs with (without) Axiom of Choice

In many contexts we distinguish between proofs using AC and proofs which do not use AC. (To phrase this somewhat differently: If there is a proof without AC, this proof is usually preferred.) I would ...
2
votes
0answers
158 views

Differentiability and Monotonic Functions

I just read proof from Royden of theorem: 'Every Monotonic functions are differentiable almost everywhere.' But proof use Vitali Covering Lemma. But Vitali Covering Lemma is based on fact if we assume ...
2
votes
0answers
86 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
106 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
145 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 ...
2
votes
0answers
259 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 ...
1
vote
0answers
51 views

A classification of the types of poset extensions that raise local-global principle is equivelent to the axiom of choice?

EDIT: Completely overhauled the question, remove category theory from it (stated in plain set theory): The original question Adding relations to a partial order Let $X$ be a set and let $P: Pow(X) \...
1
vote
0answers
26 views

Every set of pairwise disjoint sets has a choice function implies AC

Suppose that for every collection $A$ of non empty pairwise disjoint sets has a choice function. I need to prove that this implies the axiom of choice. Let $S$ be a collection of sets. For every $B$ ...
1
vote
0answers
48 views

Proving implication on well ordered set implies AC

Consider the following statement: If $A$ is a well-ordered set such that every nonempty subset of $A$ has a maximal element, then $A$ is finite. I am trying to prove that this statement implies ...
1
vote
0answers
63 views

Proof: Every lattice has a maximal filter iff AC

I'm working through a proof of Herrlich's book Axiom of Choice, p.58 (Google books): Equivalent are Every lattice has a maximal filter. Axiom of Choice. In this book, a lattice is ...
1
vote
0answers
36 views

ID with ACCP implies atomic domain

PID implies Atomic domain or ID with Ascending chain condition for principal ideals. I know proof using DC. But are these facts really dependent on DC?
1
vote
0answers
67 views

Choice of a skeleton

Suppose we are in presence of a strong enough axiom of choice (e.g., choice for conglomerates). I know that any category has a skeleton, but I would like to know if I can choose a skeleton which ...
1
vote
0answers
166 views

Choice-less Set Theory for Dummies

In almost every graduate set theory text there are some parts about equivalences of $AC$, its consequences, some axioms like $AD$ which imply $\neg AC$, some well-known axiomatic systems which $AC$ ...
1
vote
0answers
44 views

Existence of minimal sub-systems

A topological dynamical system is a topological space $X$ together with a continuous function $f : \ X \to X$. In the following, I will assume that $X$ is compact and Hausdorff (in other words, I work ...
1
vote
0answers
84 views

Existence of a basis in constructive vector spaces

As I was trying to review forgotten knowledge on Vector Spaces in wikipedia, I read that the existence of a basis follows from Zorn lemma, hence equivalently from the axiom of choice. Actually, the ...
1
vote
0answers
47 views

divisible subgroup without axiom of choice

the theorem asserting that the divisible subgroup of an Abelian group is a direct summand depends on Zorn's lemma. in ZF without AC is there a construction which yields a model of an Abelian group ...
1
vote
0answers
125 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 ...
1
vote
0answers
62 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
67 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
228 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 ...
1
vote
0answers
47 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 ...
0
votes
0answers
23 views

Hyperplanes without Axiom of Choice

For any projective space that contains more than one point, is it possible to prove that it contains a hyperplane without using the Axiom of Choice? It's easy enough to prove that there exists a ...
0
votes
0answers
63 views

A question regarding a theorem of Erdos and Hajnal

Consider the following theorem of Erdos and Hajnal: Definition. For any set $x$, a function $f$ is called ${\omega} $-Jonsson iff $f$: $^{\omega}x$ $\rightarrow$ x and whenever $y$$\subseteq$$x$ and ...