User cosmonut - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T04:08:44Z http://mathoverflow.net/feeds/user/4279 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/22477/sigma-algebra-without-atoms Sigma algebra without atoms ? Cosmonut 2010-04-25T03:07:33Z 2012-02-01T15:21:43Z <p>I'm looking for an example of a set S, and a sigma algebra on it, which has no atoms.</p> <p>Motivation: It seems to me that a lot of definitions in probability and stochastic processes - conditional probability, filtrations, adapted processes - become a lot simpler if phrased in terms of a sample space partitioned into atoms.</p> <p>In the book I'm reading, this is done for finite sample spaces. But the only problem I find with extending the definitions to general spaces seems to be that, in general, you might have a sigma algebra without any atoms. (Note: All this definitions can be made without introducing a measure, so objections on grounds of uncountability don't apply.)</p> <p>Does anyone have an example ?</p> <p>2) Related question: What if you replace sigma algebra by algebra - closed under finite, rather than countable unions ?</p> <p>I suspect that the algebra of subsets of R generated by open intervals has no atoms, but can't prove it rigorously.</p> http://mathoverflow.net/questions/19414/existence-of-probability-measure-defined-on-all-subsets Existence of probability measure defined on all subsets Cosmonut 2010-03-26T12:51:35Z 2010-06-05T21:40:15Z <p>Let S be an uncountable set. Does there exist a probability measure which is defined on <em>all</em> subsets of S, with P({x}) = 0 for any element x of S ?</p> <p>If I remove the condition P({x}) = 0, then I can trivially get a measure defined on all subsets as follows: Fix some a in S. For any subset U of S, define P(U ) = 1 if a is in U and 0 otherwise.</p> <p>But what happens if I am not allowed to put nonzero probability on individual points ?</p> http://mathoverflow.net/questions/23246/peculiar-examples-with-axiom-of-countable-choice Peculiar examples with Axiom of Countable Choice ? Cosmonut 2010-05-02T10:10:42Z 2010-05-03T00:20:51Z <p>I've been going over the extremely interesting discussions about Axiom of Choice.</p> <p>It looks to me like all the "weird" consequences of AC (Banach-Tarski etc) come from using it on uncountable collections of sets.</p> <p>If, instead, we only believe the Axiom of Countable Choice, do we still get unintuitive consequences in the same sense ?</p> <p>Apologies in advance if the question is vague.</p> http://mathoverflow.net/questions/22484/is-there-a-sigma-algebra-without-atoms-on-a-countably-infinite-set Is there a sigma algebra without atoms on a countably infinite set ? Cosmonut 2010-04-25T04:52:55Z 2010-04-25T14:15:11Z <p>The title says is all.</p> <p>To motivate the problem, here is a theorem for finite sets.</p> <p>Theorem: If S is a finite set, then it can be proved that the atoms of any sigma algebra on S form a partition of S.</p> <p>I am trying to extend this theorem to a countable set.</p> <ul> <li>It is easy to show that the atoms must be disjoint - this does not need finiteness.</li> </ul> <p>-The part that does use finiteness is to show that every point is S belongs to some atom. The idea is: If x is any element of S, one can create a nested sequence of proper subsets containing x. Since S is finite, there must be a smallest set in the sequence and that's an atom.</p> <p>-This part breaks down for countably infinite sets</p> <p>Thinking further, I have found that you can still extend the theorem if the sigma algebra F, has the following property: Every member of F contains an atom of F</p> <p>Proof: Since atoms are disjoint, there are only countably many of them. Hence, if you consider the complement of all the atoms, you are still left with a set in F. If this set is nonempty, it must contain an atom. Contradiction !</p> <p><em>So, the only way the theorem can fail to extend is if you have a member of F (necessarily infinite) which has no atoms.</em> But I'm not sure if that would be consistent with the requirements of a sigma algebra.</p> <p>Finding such a set would give you a countably infinite set with a sigma algebra on it without any atoms. Hence my question.</p> http://mathoverflow.net/questions/17980/question-about-exotic-spheres Question about exotic spheres Cosmonut 2010-03-12T12:28:38Z 2010-03-19T15:51:17Z <p>From what I understand, an exotic n-sphere is a manifold which is homeomorphic to the n-sphere but not diffeomorphic to it. Now I have read that there are no exotic 2-spheres. But isn't something like a tetrahedron an example of a manifold which is homeomorphic to the sphere, but not diffeomorphic ? (Because of the corners and edges.) What am I missing ?</p> http://mathoverflow.net/questions/16583/a-trigonometry-problem A trigonometry problem Cosmonut 2010-02-27T08:48:16Z 2010-02-27T11:50:47Z <p>Let x = pi/(2k+1), for k>0. Prove that<br> cosxcos2xcos3x...coskx = (1/2)^k</p> <p>I've confirmed this numerically for n from 1 to 30. I'm finding it surprisingly difficult using standard trig formula manipulation. Even for the case k = 2, I needed to actually work out cosx by other methods to get the result.</p> <p>Please let me know if you have a neat proof.</p> http://mathoverflow.net/questions/10535/ways-to-prove-the-fundamental-theorem-of-algebra/10684#10684 Comment by Cosmonut Cosmonut 2010-05-18T05:04:48Z 2010-05-18T05:04:48Z Hi Gian, do you know who proved this first ? I came up with precisely this proof. It was published in the American Mathematical Monthly, November 2000 issue. http://mathoverflow.net/questions/22484/is-there-a-sigma-algebra-without-atoms-on-a-countably-infinite-set/22489#22489 Comment by Cosmonut Cosmonut 2010-04-25T15:53:35Z 2010-04-25T15:53:35Z Hi Francois, I used the method in your comment this morning to prove the following. Let S be a set of cardinality K. Let F be a collection of subsets such that - S is in F - F is closed under complements - F is closed under unions of cardinality less than or equal to k Then every element of x is contained in some atom of F. In fact, the atoms of F form a partition of S. This is somewhat different from your result, which does not depend on cardinality of the underlying set (which is why you have the K-chain conditions), but I thought you may find it interesting. http://mathoverflow.net/questions/3912/question-on-sigma-fields/6239#6239 Comment by Cosmonut Cosmonut 2010-04-25T05:48:28Z 2010-04-25T05:48:28Z This thread is about sigma fields, not sigma notation. http://mathoverflow.net/questions/22484/is-there-a-sigma-algebra-without-atoms-on-a-countably-infinite-set Comment by Cosmonut Cosmonut 2010-04-25T05:23:08Z 2010-04-25T05:23:08Z Jonas, for a countable set, chains under inclusion are not countable. Which is what was tripping me up. As an example, consider the rationals in (0,1), call it Q(0,1) Now look at the chain of sets {x: x \in Q(0,1), x &lt; r} as runs increases from 0 to 1. http://mathoverflow.net/questions/22484/is-there-a-sigma-algebra-without-atoms-on-a-countably-infinite-set Comment by Cosmonut Cosmonut 2010-04-25T05:19:44Z 2010-04-25T05:19:44Z I see (smacks self on head). In the finite case, it is possible to get an atom by intersecting all sets containing x. In countable case, this approach doesn't work, since such a collection could be uncountable. But yes,your example gives a countable collection. Thanks a lot. http://mathoverflow.net/questions/22477/sigma-algebra-without-atoms/22482#22482 Comment by Cosmonut Cosmonut 2010-04-25T05:01:44Z 2010-04-25T05:01:44Z Thanks, Joel. Very helpful. http://mathoverflow.net/questions/19414/existence-of-probability-measure-defined-on-all-subsets/19415#19415 Comment by Cosmonut Cosmonut 2010-03-26T12:57:03Z 2010-03-26T12:57:03Z Joel, could you please elaborate a little or give me a reference ? I am not very familiar with foundations of mathematics issues. Thanks a lot. http://mathoverflow.net/questions/17980/question-about-exotic-spheres Comment by Cosmonut Cosmonut 2010-03-14T04:30:41Z 2010-03-14T04:30:41Z Thanks Henrik, that makes a lot of sense ! So, loosely speaking, once you make the tetrahedron a differentiable manifold, you've smoothened away the corners and edges. I see. http://mathoverflow.net/questions/16583/a-trigonometry-problem/16591#16591 Comment by Cosmonut Cosmonut 2010-02-27T12:03:30Z 2010-02-27T12:03:30Z Thanks Steve. Very neat !