The tag has no wiki summary.

learn more… | top users | synonyms

8
votes
1answer
554 views

Axiom of Choice in a weaker system

Is it known whether or not there is a consistent system of logic where two or all of the axiom of choice, well-ordering principle, and Zorn's lemma have no (known) proof of equivalence? I was ...
6
votes
3answers
2k views

Is it possible to show that an infinite set has a countable (infinite) subset, without using the Axiom of Choice?

Let X be an infinite set. Is it possible to show the existence of a countably infinite subset of X without using the Axiom of Choice?
20
votes
1answer
954 views

Splitting infinite sets

There are two questions here, an explicit one, and another (more vague) one that motivates it: I am pretty certain the following should have a negative answer, but at the moment I'm not seeing how to ...
1
vote
1answer
538 views

Is “second-countable implies separable” equivalent to the Axiom of countable Choice?

It is well-known that a secound-countable topological space is separable. The proof goes like this: Let $(B_n)$ be a (at most) countable base for the topology. We may assume that $B_n$ is nonempty for ...
19
votes
0answers
895 views

Subfields of $\mathbb{C}$ isomorphic to $\mathbb{R}$ that have Baire property

While sitting through my complex analysis class, beginning with a very low level introduction, the teacher mentioned the obvious subfield of $\mathbb{C}$ isomorphic to $\mathbb{R}$, and I then ...
7
votes
3answers
703 views

Construction of a maximal ideal

Hello, Let R denote the ring of continuous functions defined on the real line, let I in R be the ideal consisting of functions with compact support. Obviously, I is not maximal, and by Zorn's Lemma ...
2
votes
1answer
399 views

Nets and the Axiom of Choice

Suppose that $f : X \rightarrow Y$ is mapping between topological spaces that is not continuous at $x_0$. Then there is an open set $V$ in $Y$ containing $f(x_0)$ such that for any open set $U$ ...
10
votes
1answer
634 views

Dynamical systems, minimal sets and the Axiom of Choice

Perhaps the most important application of the Axiom of Choice within the theory of dynamical systems (meaning here, compact Hausdorff spaces with a self-map) yields, within every dynamical system, the ...
29
votes
6answers
2k views

Is the non-triviality of the algebraic dual of an infinite-dimensional vector space equivalent to the axiom of choice?

If $V$ is given to be a vector space that is not finite-dimensional, it doesn't seem to be possible to exhibit an explicit non-zero linear functional on $V$ without further information about $V$. The ...
34
votes
4answers
3k views

Does the fact that this vector space is not isomorphic to its double-dual require choice?

Let $V$ denote the vector space of sequences of real numbers that are eventually 0, and let $W$ denote the vector space of sequences of real numbers. Given $w \in W$ and $v \in V$, we can take their ...
7
votes
1answer
288 views

Completeness of the club filter without AC

Let $\kappa$ be a regular cardinal. If I understand correctly, the proof that the intersection of $<\kappa$ many club subsets of $\kappa$ is a club does not require AC. However, the proof that the ...
18
votes
3answers
1k views

Is the statement that every field has an algebraic closure known to be equivalent to the ultrafilter lemma?

The existence and uniqueness of algebraic closures is generally proven using Zorn's lemma. A quick Google search leads to a 1992 paper of Banaschewski, which I don't have access to, asserting that ...
15
votes
1answer
1k views

Does Arzelà-Ascoli require choice?

Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version: ...
1
vote
4answers
768 views

Choice Function on the Powerset of the Reals

I'm not sure if this question is appropriate for mathoverflow, but I can't help but think that other people have wondered about it as well. When anyone first learns about the axiom of choice, the ...
3
votes
1answer
346 views

Existence of enough projectives in the category of sets

I am talking about the principle that says that every set is the image of a projective set. For every set $x$ there is a surjection $f:y \twoheadrightarrow x$, such that for any set $u$ and function ...
2
votes
2answers
132 views

Global or Relativised Dependent Choices

I am talking about the principle that is to DC what the global choice is to the usual axiom of choice. Global choice involves existential quantification over classes, but global DC can be stated as a ...
5
votes
4answers
2k views

Does constructing non-measurable sets require the axiom of choice?

The classic example of a non-measurable set is described by wikipedia. However, this particular construction is reliant on the axiom of choice; in order to choose representatives of $\mathbb{R} ...
31
votes
6answers
2k views

Distinct well-orderings of the same set

An easy consequence of the Erdős-Dushnik-Miller theorem $\kappa\to(\kappa,\omega)^2$ is the following, that will denote $(*)$ (it appears as an exercise in Kunen's book, it was probably mentioned ...
14
votes
1answer
749 views

Is Dependent Choice equivalent to the statement that every PID is factorial?

In this question, it was asked if AC is needed in the proof of the well-known fact that every principal ideal domain is factorial. As KConrad and Joel David Hamkins have pointed out, only DC, the ...
30
votes
1answer
2k views

Dual Schroeder-Bernstein theorem

This question was motivated by the comments to Dual of Zorn's Lemma? Let's denote by the Dual Schroeder-Bernstein theorem (DSB) the statement For any sets $A$ and $B$, if there are ...
6
votes
2answers
1k views

Compact Hausdorff spaces without isolated points in ZF

S is uncountable := |$\mathbb{N}$| < |S| S is noncountable := |S| $\not\leq |\mathbb{N}|$ (X,$T$) is a nice space := (X,$T$) is a compact Hausdorff space without isolated points Does [ ZF / ...
20
votes
4answers
2k views

Are all sets totally ordered ?

The question is the title. Working in ZF, is it true that: for every nonempty set X, there exists a total order on X ? If it is false, do we have an example of a nonempty set that has no total ...
23
votes
6answers
3k views

Why can't proofs have infinitely many steps?

I recently saw the proof of the finite axiom of choice from the ZF axioms. The basic idea of the proof is as follows (I'll cover the case where we're choosing from three sets, but the general idea is ...
10
votes
3answers
713 views

Construction of a proper uncountable subgroup of $\mathbb{R}$ without Choice.

It is straightforward to construct proper uncountable subgroups of $\mathbb{R}$. One can construst a basis for $\mathbb{R}$ over $\mathbb{Q}$, and then there are many possibilities (just consider the ...
9
votes
2answers
1k views

Proving Independence of Axioms by Exhibiting Models Which Don't Satisfy Our Intuition

I recently saw the proof of the independence of ZF (with allowance for multiple empty sets) and AC. The proof constructed the model based on a set theory generated by infinitely many empty sets and ...
7
votes
2answers
832 views

Can iterating countable unions give every set? (ZF)

Does ZF prove that there exists a set S such that S is not in the closure of {{s} : s in S} under at-most-countable unions?
23
votes
4answers
6k views

Non Borel sets without axiom of choice

This is a simple doubt of mine about the basics of measure theory, which should be easy for the logicians to answer. The example I know of non Borel sets would be a Hamel basis, which needs axiom of ...
9
votes
4answers
2k views

Finite axiom of choice: how do you prove it from just ZF?

The axiom of choice asserts the existence of a choice function for any family of sets F. Suppose, however, that F is finite, or even that F just has one set. Then how do we prove the existence of a ...
14
votes
11answers
3k views

Does the Axiom of Choice (or any other “optional” set theory axiom) have real-world consequences? [closed]

Or another way to put it: Could the axiom of choice, or any other set-theoretic axiom/formulation which we normally think of as undecidable, be somehow empirically testable? If you have a particular ...
12
votes
4answers
1k views

Nilradicals without Zorn's lemma

It's well known that the nilradical of a commutative ring with identity $A$ is the intersection of all the prime ideals of $A$. Every proof I found (e.g. in the classical "Commutative Algebra" by ...
3
votes
2answers
1k views

Axiom of Computable Choice versus Axiom of Choice

What would be the consequence of requiring that any choice function be computable; i.e. using as the foundational basis ZF + ACC? Does it make a difference if we admit definable functions? I guess I ...
10
votes
2answers
2k views

AC in group isomorphism between R and R^2

Using the axiom of choice, one can show that $\mathbb{R}$ and $\mathbb{R}^2$ are isomorphic as additive groups. In particular, they are both vector spaces over $\mathbb{Q}$ and AC gives bases of ...
6
votes
3answers
3k views

Cardinality: Why is there no “ℵ½”?

A wikipedia page/paragraph on ℵ₁ states: "The definition of ℵ₁ implies (in ZF, Zermelo-Fraenkel set theory without the axiom of choice) that no cardinal number is between ℵ₀ and ℵ₁." "If the axiom ...
8
votes
8answers
1k views

Choice vs. countable choice

This question arose after reading the answers (and the comments to the answers) to Why worry about the axiom of choice?. First things first. In my intuitive conception of the hierarchy of sets, the ...
82
votes
15answers
14k views

Why worry about the axiom of choice?

As I understand it, it has been proven that the axiom of choice is independent of the other axioms of set theory. Yet I still see people fuss about whether or not theorem X depends on it, and I don't ...
4
votes
0answers
1k views

Explicit element of $(\ell^{\infty})^* - \ell^1$? [duplicate]

Possible Duplicate: What’s an example of a space that needs the Hahn-Banach Theorem? It is well known that the dual of $\ell^{\infty}$ properly contains $\ell^1$ (over $\mathbb{N}$, ...
8
votes
1answer
886 views

Why does this sum depend on the Axiom of Choice?

On page 168 of Mathematical Fallacies and Paradoxes, it states that the fact that the series $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots $ has a sum depends on the Axiom of Choice. Where ...
2
votes
1answer
2k views

What is a universal function?

This question stems from Dick Lipton's recent blog post on the Axiom of Choice. I asked there but got no takers. I promise I'm not an inept Googler, but I couldn't find a satisfactory answer. I ...
6
votes
5answers
2k views

Subset of the plane that intersects every line exactly twice

In a comment to this question, Tim Gowers remarked that using the axiom of choice, once can show that there exists a subset of the plane that intersects every line exactly twice (although it has yet ...
3
votes
2answers
703 views

Is it still impossible to partition the plane into Jordan curves without choice?

It is an easy exercise to show that the Euclidean plane cannot be partitioned into round circles (note however that it is possible to do so for $\mathbb{R}^3$). It seems almost obvious that it is not ...
12
votes
2answers
692 views

Ultrafilters vs Well-orderings

This question was actually asked by John Stillwell in a comment to an answer to this question. I thought I would advertise it as a separate question since no one has yet answered and I am also ...
38
votes
15answers
9k views

Most 'unintuitive' application of the Axiom of Choice?

It is well-known that the axiom of choice is equivalent to many other assumptions, such as the well-ordering principle, Tychonoff's theorem, and the fact that every vector space has a basis. Even ...
6
votes
2answers
454 views

Choice function for Borel sets?

Let's say we want to define a choice function for certain particular subsets $S \subset2^{\mathbb{R}}$, i.e. we want a function $c:S \rightarrow \mathbb{R}$ such that $c(X)\in X$ for every $X\in S$. ...
2
votes
5answers
1k views

Decidability of the Axiom of Choice

Everything that I read regarding Set Theory states that the Axiom of Choice is independent and undecidable within the context of Zermelo-Frankel Set Theory. My question is this: Is there any ...
1
vote
2answers
609 views

Axiom of Choice and Order Types

A beginner's question: We know: "Since order-equivalence is an equivalence relation, it partitions the class of all sets into equivalence classes." (from Wikipedia) This holds since every set can be ...
52
votes
3answers
5k views

Does every non-empty set admit a group structure (in ZF)?

It is easy to see that in ZFC, any non-empty set $S$ admits a group structure: for finite $S$ identify $S$ with a cyclic group, and for infinite $S$, the set of finite subsets of $S$ with the binary ...
2
votes
4answers
668 views

Set theories that do require the existence of urelements?

I am looking for an axiomatic set theory that not only admits the existence of urelements/atoms (via two-sortedness or an additional unary predicate) but requires it, e.g. by an axiom like "for each ...
17
votes
2answers
574 views

How much choice is needed to show that formally real fields can be ordered?

Background: a field is formally real if -1 is not a sum of squares of elements in that field. An ordering on a field is a linear ordering which is (in exactly the sense that you would guess if you ...
2
votes
6answers
958 views

Splitting lemma under assumption of the axiom of choice

The splitting lemma says: Given a short exact sequence with maps $q$ and $r$: $0 \rightarrow A \overset{q}{\rightarrow} B \overset{r}{\rightarrow} C \rightarrow 0$ then the following are ...
10
votes
5answers
831 views

Where are some interesting places where the axiom of choice crops up in category theory?

The two that come to mind are splitting epics in Set and taking the Skel of a category. Surely there are lots of other interesting (and maybe upsetting) places where this comes up.