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

2
votes
1answer
65 views

Is a vector space isomorphic to the kernel $\oplus$ image of a map out of it?

Let $f:V\to W$ be a linear map of finite-dimensional vector spaces. By simply counting dimensions and using rank-nullity, it is clear that $V\cong \mathrm{im}\,f\oplus\mathrm{ker}\,f$. I want to know ...
2
votes
2answers
74 views

Simple question: Which is the Wikipedia definition of axiom of choice

I looked up Wikipedia, and on the top of the page it says: For every indexed family $(S_i)_{i \in I}$ of nonempty sets, there exists an indexed family $(x_i)_{i \in I}$ of elements such that $...
2
votes
1answer
87 views

Without AC is there a relationship between $\beth$ and $\aleph$ numbers?

Assuming AC we know that all $\beth_\alpha$'s will be $\aleph_\beta$ for some $\beta$ since they can be well ordered. Can anything interesting be said about their relationship without AC? Is it ...
-1
votes
1answer
61 views

How to prove axiom of limitation of size with axiom of replacement and global axiom of choice [closed]

In the book<>written by Charles C.Pinter it said that in order to prove "the axiom of replacement together with strengthened version of axiom of choise imply axiom of limitation of size"(X is a ...
0
votes
1answer
41 views

Why is axiom of dependent choice necesary here? (noetherian space implies quasicompact)

In the proof of noetherian space implies quasicompact I am reading, it goes as follows: Let $X$ be a noetherian space. Let $U$ be the collection of open subsets of $X$ that can be expressed as a ...
0
votes
1answer
39 views

Proof of Ultrafilter lemma with two propositions and Zorn lemma

I would like to prove the following: Let $X$ be any set, then every filter $\mathcal{F}$ on $X$ is contained in an ultrafilter $F$ Using two propositions and Zorn Lemma. I am required to come ...
2
votes
0answers
78 views

Unable to prove that a statement is an equivalent form of the Axiom of Choice [duplicate]

The exercise 22 page 158 of Elements of Set Theory by B. Enderton is the following: Show that the following statement is another equivalent version of the axiom of choice: For any set $A$ there ...
18
votes
4answers
821 views

Most functions are measurable

My professor once said that if you did not use the axiom of choice to build a function $f : \mathbb{R}^n \to \mathbb{R}^m$, then it is Lebesgue measurable. To what extent this is true?
1
vote
0answers
62 views

Naive understanding of choice axiom [duplicate]

It's written in many resources that if we consider only finite sets, that choice axiom can be skipped and be proven from other ZF axioms. I remember I've read the following explanation. If $A$ is a ...
32
votes
4answers
2k views

Axiom of Choice: Where does my argument for proving the axiom of choice fail? Help me understand why this is an axiom, and not a theorem.

In terms of purely set theory, the axiom of choice says that for any set $A$, its power set (with empty set removed) has a choice function, i.e. there exists a function $f\colon \mathcal{P}^*(A)\...
4
votes
1answer
52 views

Why is the axiom of choice controversial? [duplicate]

In other words, what are the arguments for ZF over ZFC, and what philosophical issues have people raised against including it as a standard axiom of set theory?
3
votes
2answers
85 views

Polynomial ring with arbitrarily many variables in ZF

For a given field $k$ and a set $X$ we want to define the ring $k[X]$ of polynomials with $X$ as the set of variables. We do not assume $X$ to be finite. And we want to do this without employing axiom ...
2
votes
2answers
76 views

Existence of model of ZF in which every uncountable cardinal is the cardinality of some power set?

Does there exist a model of ZF in which any uncountable cardinal number is equal to the cardinality of the power set of some set ? ( In ZFC it is not possible as is shown by the answers to this ...
3
votes
1answer
70 views

When do minimal subcovers always exist - without choice?

In my answer to Doubt in the definition of a compact set, I sketched a proof of the following fact: Suppose $X$ is a topological space such that every open cover of $X$ has a minimal subcover. ...
2
votes
1answer
38 views

Tychonoff's theorem for completely regular spaces and the axiom of choice

It is well-known that Tychonoff's theorem, i.e., that the product of any set-indexed family of compact spaces is compact, is equivalent to the axiom of choice. It is also the case that if the spaces ...
5
votes
7answers
549 views

Existence in variants of the Axiom of Choice

Let $\{A_i: i \in I\}$ be a nonempty family of nonempty sets. Why is it allowed to prove the Axiom of Choice using the Well Ordering Principle as follows: There is a well-ordering of $\cup_{i \in ...
2
votes
1answer
32 views

If $a\sqcup b$ and $a\times b$ biject, then $b$ either injects or surjects in-/onto $a$

Let $a$ and $b$ be sets such that there is a bijection $a\sqcup b\to a\times b$. Show, without assuming the Axiom of Choice, that there is either a surjection $b\to a$ or an injection $b\to a$. ...
0
votes
2answers
49 views

Axiom of Choice and LEFT inverse [duplicate]

I am aware of why the Axiom of Choice is equivalent to the the statement that every surjection splits. However, I don't see why we don't also need AC to show that every injection splits. In ...
2
votes
2answers
77 views

Sum of measurable functions is measurable: countable choice required?

The standard proof that the sum of measurable functions is measurable uses countable choice, via the countable subadditivity of outer measure ($\implies$ measurable sets are closed under countable ...
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) \...
2
votes
1answer
38 views

Proving cardinality of coproduct presentation is unique without choice?

The definition of an extensive category immediately implies that given two coproduct decompositions indexed by sets of equal cardinality, if the coproduct objects are isomorphic compatibly with their ...
2
votes
1answer
55 views

Can the unit interval be the disjoint union of countably many “super-dense” parts?

I'm curious about this question in the case where $f$ is not necessarily measurable. I think what it comes down to is this: Is there an $\varepsilon<1$ and a partition of $[0,1]$ in countably ...
1
vote
1answer
54 views

Need this transfinite construction reach a closed set in the absence of the Axiom of Choice? Or Hartogs' theorem?

In this question I'm primarily concerned with the workings of a set theory that lacks both Foundation and Choice. Given a set $X$ and a function $\sigma:\mathcal{P}(X)\to\mathcal{P}(X)$, we have a ...
6
votes
2answers
85 views

Original proof of Zorn's Lemma

On the wiki page for Zorn's Lemma it says that this lemma was Proved by Kuratowski in 1922 and independently by Zorn in 1935 but then it says: Zorn's lemma is equivalent to the well-ordering ...
14
votes
3answers
1k views

What is an example of two sets which cannot be compared?

In set theory, if we do not assume the Axiom of Choice, we cannot prove the Trichotomy Law between cardinals. That is, we cannot prove that for any two sets, there exists an injection from one to the ...
24
votes
2answers
2k views

Why do people accept the axiom of choice given the well ordering principle?

We know without any doubt that the axiom of choice implies (in fact is equivalent to) the well ordering principle. The well ordering principle can't be true! If we take the open interval $(0,1)$ for ...
1
vote
1answer
52 views

Non-principal ultrafilters on a set [duplicate]

Let $X$ be a set. If $X$ is finite then all ultrafilters on $X$ are principal, i.e. have the form $\{A \subseteq X : x \in A\}$ for some $x\in X$. But now suppose $X$ is infinite, say $X=\mathbb N$. ...
5
votes
1answer
307 views

Soft Question: Why does the Axiom of Choice lead to the weirdest constructions?

I hope this is not too off-topic / soft for math.stackexchange. My basic question is: why does the Axiom of Choice allow for some of the weirdest constructions in math? I'll make a list of the weird ...
0
votes
1answer
57 views

Are there any large cardinals that are not ordinals? [closed]

In ZF, are there any useful large cardinal that cannot be well-ordered? I think that some of the partition cardinals are that way, since with AC, we cannot have $\kappa \to (\omega)^{\omega}$. Are ...
2
votes
1answer
40 views

Axiom of Choice implies the Well-Ordering Principle

I am trying to understand the proof of this implication we were taught in my set theory module. I cannot seem to tie it together with the final line of the argument... We used this lemma: Given $F\...
1
vote
2answers
39 views

Can every poset be toplogically sorted?

A partial ordering $\preceq'$ on $S$ is said to be compatible with another partial ordering $\preceq$ if for all $a,b,\in S$, $$ a \preceq b \Rightarrow a \preceq' b$$ Given a poset $(S, \preceq)$, ...
3
votes
1answer
58 views

The well-ordering principle implies Zorn's Lemma

I have read and understood proofs for each implication between $AC$, $ZL$, $WO$ except this one. These proofs need about 10 lines each. Can someone share a neat, hopefully short, proof for $WO\implies ...
1
vote
1answer
44 views

Proving the Axiom of Choice is equalivalent to the statement “If $A$ can be well-ordered, then so can $\mathcal{P}(A)$.”

I am still not completely confident in proving equivalence between the Axiom of Choice and statements such as the one posed in the title, so I want to make sure that I am on the right track. So ...
2
votes
1answer
59 views

A puzzle concerning the axiom of choice and the reals

Recently I was told the following riddle: Let $A=(a_1,...a_n,...a_{2n},a_{2n+1})$ a 2n+1-tuple of real numbers with the following property: Whatever number $a_i$ is removed from $A$ the remaining 2n ...
0
votes
2answers
53 views

Existence of how many sets is asserted by the axiom of choice in this case?

Applying the axiom of choice to $\{\{1,2\}, \{3,4\}, \{5,6\},\ldots\}$, does only one choice set necessarily exist, or all of the $2^{\aleph_0}$ I "could have" chosen? Or something in between? It ...
0
votes
1answer
100 views

Does the regularity of $\omega_{\alpha+1}$ need Axiom of Choice?

Many books indicate yes to this question. However, I found the only lemma they claim to use AC is the following statement: If $\{A_i\}_{i\in I}$ is a family of sets, then $|\bigcup_{i\in I}A_i|\leq|I|...
1
vote
1answer
46 views

For every cardinal $\kappa$, $\kappa^+$ is regular

Again I'm struggling with a proof from this introduction to cardinals. Lemma 2.6. For every cardinal $\kappa$, $\kappa^+$ is regular. Proof. If not, then there would be a cofinal map $f:\...
1
vote
1answer
37 views

Using the axiom of choice to choose bijections

I couldn't think of a better question title. I am trying to understand the proof of theorem 1.8 in this introduction to cardinals. Theorem 1.8. Let $\kappa\in CARD$. Let $X=\bigcup_{\alpha<\...
1
vote
1answer
41 views

Regarding Choice in fields outside set theory.

When authors say stuff like The equivalence of continuity and sequential continuity in metric spaces uses(/requires) some version of the axiom of choice. Are they assuming that we are working ...
2
votes
1answer
71 views

Without the Axiom of Choice, $\aleph_0<2^{\aleph_0}$ implies $\aleph_1\le 2^{\aleph_0}$?

Question: In ZF (so AC does not necessarily hold) does the following claim hold? $\aleph_0<2^{\aleph_0}$ implies $\aleph_1\le 2^{\aleph_0}$ This question arose to me when reading the top ...
3
votes
1answer
19 views

Comparability of a set and a subset of power set.

It's well known that for any set $A$, $A < P(A)$. But now, I have some question that, WITHOUT AC, can we guarantee that $A \leq X$ or $X \leq A$ whenever $X \subseteq P(A)$? Thank you.
1
vote
1answer
47 views

Does König's inequality require axiom of choice?

König's inequality: If $\kappa_\alpha<\lambda_\alpha$ for all $\alpha<\mu$, then $\sum\kappa_\alpha<\prod\lambda_\alpha$. In order to prove this inequality, we need to provide an injection ...
3
votes
3answers
33 views

Is the equivalence of the ascending chain condition and the maximum condition equivalent to the axiom of dependent choice?

Assuming the axiom of dependent choice, for a partially ordered set $(X,\le)$, the following statements are equivalent: $X$ fulfils the ascending chain condition, i. e. every chain $x_1\le x_2\le\...
1
vote
1answer
30 views

Does the relationship between Jonsson Cardinals and Jonsson Algebras require the axiom of choice?

Using Skolem functions, one can see in ZFC that a cardinal $\kappa$ is Jonsson iff there are no Jonsson algebras on $\kappa$. (I.e. every algebra of size $\kappa$ has a proper subalgebra of size $\...
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 ...
3
votes
1answer
89 views

Proving Hahn-Banach theorem directly

Is is possible to find an example of nonreflexive Banach space for which one can establish Hahn-Banach theorem directly (not referring to the axiom of choice)?
1
vote
1answer
42 views

Hausdorff Maximal Principle

"Hausdorff's Maximal Principle" says that any partial order P has a maximal chain (chain = linear suborder). It is equivalent to the axiom of choice. If we restrict Hausdorff's Maximal Principle to ...
7
votes
1answer
68 views

Does $\operatorname{card}(X) < \operatorname{card}(Y)$ imply $\operatorname{card}(X^2) < \operatorname{card}(Y^2)$ without choice?

I looked to see if this question was already posted, but did not find anything. Please let me know if this is a duplicate. Assume $X, Y$ are infinite sets such that there is an injection $X \to Y$ ...
6
votes
2answers
103 views

Is the axiom of induction constructively verifiable for a non-standard model of Peano arithmetic?

There exist models of the natural numbers which include infinite numbers. Such models are called non-standard models of arithmetic. (Proof: by the compactness theorem, there exist models of Peano ...
4
votes
3answers
1k views

Why can't Axiom of Choice be proven by Rule C

Rule C is appeared in the textbook: Introduction to mathematical logic by Mendelson (Page 81 in the fourth edition). It is said "It is very common in mathematics to reason in the following way. Assume ...