The axiom of choice one a finite family of sets.

  • Thread starter gottfried
  • Start date
  • #1
119
0
The axiom of choice on a finite family of sets.

I just been doing some casual reading on the Axiom of CHoice and my understanding of the is that it assert the existence of a choice function when one is not constructable. So if we have a finite family of nonempty sets is it fair to say we can assume the existence of a choice function because it is always possible, in theory, to manually pick an element of each set?
 
Last edited:

Answers and Replies

  • #3
119
0
Thanks. Do you know if this can be proved?
 
Last edited:
  • #4
mathman
Science Advisor
7,984
513
Thanks. Do you know if this can be proved?

The proof is trivial. If there are n (non-empty) sets, pick a member from the first, then from the second. This requires n steps - so it can be done.
 
  • #5
119
0
It seemed too trivial, to be true. Thanks.
 
  • #6
29
1
It depends.
Only if you have an explicitly finite family of nonempty sets, that you can list : E1,...En then you can use a proof whose length is proportional to n :
Let x1 in E1,
Let x2 in E2,
....
Let xn in En
then (x1,...,xn) is in the product, which is thus nonempty.

But for the mathematical statement of the general case "Any finite family of nonempty sets has a choice function" it needs a different proof, namely it can be done by rewriting the claim as "For any natural number n, any family of n nonempty sets has a choice function" to be proven by induction on n.
 

Related Threads on The axiom of choice one a finite family of sets.

Replies
11
Views
5K
Replies
10
Views
1K
Replies
7
Views
3K
  • Last Post
Replies
9
Views
3K
  • Last Post
Replies
11
Views
4K
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
17
Views
5K
Replies
2
Views
2K
  • Last Post
2
Replies
49
Views
3K
Top