My Math Forum Axiom of Choice problem

 Applied Math Applied Math Forum

 June 10th, 2010, 08:30 AM #1 Newbie   Joined: Jun 2010 Posts: 4 Thanks: 0 Axiom of Choice problem Hi guys of the forum, can you help me with this: (*) Let $(S_n)_{n=1}^\infty$ be a sequence of nonempty sets, then $\prod_{n=1}^\infty S_n$ is non empty. (Hint: prove the statement without using the Zorn's Lemma). I have though that what I need to show is that there is a function (choice) $fS_n) \rightarrow \bigcup_n S_n" /> such that $f(S_n) \rightarrow S_n$ for all $n=1\ldots$ That would be trivial using the axiom of choice, but the The assertion (*) is the Axiom of Choice itself, right? so I'm running out of ideas. Any suggestions?
 June 10th, 2010, 08:44 AM #2 Senior Member   Joined: Oct 2007 From: Chicago Posts: 1,701 Thanks: 3 Re: Axiom of Choice problem If the sets have no extra structure (are they well-ordered?), it's actually the axiom of countable choice-- a weaker form of the axiom of choice... Which nevertheless is outside of ZF. I think the idea of the exercise is to point out that from a choice function, you get an element of the cartesian product. It probably should be simple...
 June 10th, 2010, 09:07 AM #3 Senior Member   Joined: Feb 2009 Posts: 172 Thanks: 5 Re: Axiom of Choice problem By definition $\displaystyle\prod_{n=1}^{\infty}S_n=\{f\in\mathca l{F}$$\mathbb{N},\displaystyle\bigcup_{n=1}^{\inft y}S_n$$:f(n)\in S_n\}$ where $\mathcal{F}$$\mathbb{N},\displaystyle\bigcup_{n=1} ^{\infty}S_n$$$ is the set of all functions from $\mathbb N$ to $\displaystyle\bigcup_{n=1}^{\infty}S_n$. Supose $\displaystyle\prod_{n=1}^{\infty}S_n=\emptyset$. Then there would be no function from $\mathbb N$ to $\displaystyle\bigcup_{n=1}^{\infty}S_n$ such that $f(n)\in S_n$ for all $n\in\mathbb N$. But since $S_n\neq\emptyset$ for all $n\in\mathbb N$ the axiom of choice says that there's such a function and we have a contradiction. Hence $\displaystyle\prod_{n=1}^{\infty}S_n\neq\emptyset$.

 Tags axiom, choice, problem

 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post smieci Applied Math 3 January 11th, 2014 01:27 AM shaharhada Algebra 1 December 13th, 2013 02:21 AM johnr New Users 0 November 9th, 2012 03:35 PM mathabc Applied Math 1 August 11th, 2011 04:22 AM becko Applied Math 2 June 30th, 2010 08:15 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top