Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with axiom-of-choice
Search options not deleted
user 22989
An important and fundamental axiom in set theory sometimes called Zermelo's axiom of choice. It was formulated by Zermelo in 1904 and states that, given any set of mutually disjoint nonempty sets, there exists at least one set that contains exactly one element in common with each of the nonempty sets. The axiom of choice is related to the first of Hilbert's problems.
11
votes
Properties of vector spaces without AC
I think vector spaces must still be flat (tensor product is exact). I don't think any of the steps in the following proof use choice, although it's quite possible I'm mistaken:
Finite dimensional vec …
- 35.2k
13
votes
Accepted
Axiom of choice and algebraic tensor product
I think both can be proved without choice, essentially because, in both cases, whenever you're tempted to choose a basis, you can manage with a little care to get by with a basis of a finite dimension …
- 35.2k
5
votes
Accepted
Exterior powers and choice
As YCor notes in comments, (2) is a special case of (1), so I'll only address (1).
Suppose $\Lambda^k\varphi:\Lambda^kV\to\Lambda^kW$ is not injective, and let $x\neq0$ be in the kernel.
Then $x$ ca …
- 35.2k
12
votes
5
answers
1k
views
Does k(X) have a k-basis for every set X, without AC?
This question is inspired by Pace Nielsen's recent question Does a left basis imply a right basis, without AC?.
For any field $k$, the field $k(x)$ of rational functions in one variable has an explic …
- 35.2k
46
votes
Accepted
Do vector spaces without choice satisfy Cantor-Schroeder-Bernstein?
Without the axiom of choice, it is possible that there is a vector space $U\neq 0$ over a field $k$ with no nonzero linear functionals.
Let $V$ be the direct sum of countably many copies of $U$, and $ …
- 35.2k