The tag has no wiki summary.

learn more… | top users | synonyms

16
votes
2answers
692 views

Haar measures in Solovay's model

Haar measure is a measure on locally compact abelian groups which is invariants to translations. For example, the Lebesgue measure on the reals is such measure. It can be shown without the use of the ...
21
votes
2answers
1k views

Axiom of Choice: Ultrafilter vs. Vitali set

It is well known that from a free (non-principal) ultrafilter on $\omega$ one can define a non-measurable set of reals. The older example of a non-measurable set is the Vitali set, a set of ...
27
votes
2answers
1k views

On the difference between two concepts of even cardinalities: Is there a model of ZF set theory in which every infinite set can be split into pairs, but not every infinite set can be cut in half?

An interesting question has arisen over at this math.stackexchange question about two concepts of even in the context of infinite cardinalities, which are equivalent under the axiom of choice, but ...
6
votes
5answers
877 views

Is Lebesgue/Borel non-measurability actually caused by non-uniqueness?

In ZFC, every construction of a Lebesgue or Borel non-measurable set uses the axiom of choice. None of them that I've seen use choice to define a unique set, even though it's entirely possible to do ...
15
votes
1answer
897 views

Axiom of choice and bases of vector spaces over a fixed field

Let $k$ be a field. In 1984 Andreas Blass proved that the axiom "for every extension $K|k$, every vector space over $K$ has a basis" implies the axiom of choice. He also raised the question Does ...
17
votes
3answers
2k views

Half Cantor-Bernstein Without Choice

I had a discussion with one of my teachers the other day, which boiled to the following question: Assume ZF. Let $A,B$ be sets such that there exist $f\colon A\to B$ which is injective and ...
11
votes
2answers
748 views

Indecomposable vector spaces and the axiom of choice

It is a known result by A. Blass that the axiom of choice is equivalent to the assertion that every vector space has a basis. (Rubin's Equivalents of the Axiom of Choice: form B) It is also known ...
2
votes
0answers
250 views

algebraic dual and axiom of choice

If $K$ is a field, the dual of $K^{({\mathbb N})}$ is $K^{\mathbb N}$, and axiom of choice implies that the natural map from $K^{({\mathbb N})}$ to the dual of $K^{\mathbb N}$ is far from being ...
4
votes
3answers
629 views

Chevalley's valuation extension theorem and the axiom of choice

Hello, Do we know if the axiom of choice is needed for Chevalley's valuation/place extension theorem (i.e. the theorem that states that for every valued field and a field extension, one can extend ...
6
votes
3answers
651 views

Reference Request: Independence of the ultrafilter lemma from ZF

I'm looking for references for the following facts concerning the ultrafilter lemma (~ "there exist non-principal ultrafilters"): The ultrafilter lemma is independent of ZF. ZF + the ultrafilter ...
9
votes
1answer
2k views

Are there any non-linear solutions of Cauchy's equation ($f(x+y)=f(x)+f(y)$) without assuming the Axiom of Choice?

Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be s.t. $f(x+y) = f(x) + f(y), \ \forall x, y$ It is quite obvious that this implies $f(cx)=cx$ for all $c \in \mathbb{Z}$ and even further: $\forall c \in ...
3
votes
1answer
378 views

How much choice do we need for regularity of product of regular spaces ?

It is usually stated that the (possibly uncountable) product of regular topological spaces is regular. However the only proof that I know of this fact seems to use the full axiom of choice : See ...
2
votes
2answers
675 views

Countable Fields with No Countable Extension

Let $\mathscr{S}$ be the set of all countable subfields of $\mathbb{C}$. Clearly, $\mathscr{S}$ is a partially ordered set under inclusion, and if $K_1\subseteq K_2 \subseteq \cdots$ is an ascending ...
1
vote
4answers
821 views

If a result is apparently provable with AC, is actually independent of ZF?

Given the number of results that are independent of ZF. It seems that once you've found a proof of a theorem that uses the axiom of choice, the odds are that it will be independent of ZF. So my ...
8
votes
1answer
568 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
990 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
557 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
927 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
713 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
400 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
644 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 ...
30
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 ...
35
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
292 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 ...
19
votes
3answers
2k 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
811 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
351 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 ...
3
votes
2answers
134 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
781 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 ...
25
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
737 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
840 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?
27
votes
4answers
7k 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 ...
11
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
2k 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 ...
85
votes
15answers
16k 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 ...
5
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}$, ...