Reputation
2,453
Next privilege 2,500 Rep.
Create tag synonyms
Badges
1 5 24
Impact
~45k people reached

Jul
3
accepted Is $L^{1}(\Omega,\mu)$ only an algebra when $\Omega$ is a group?
Jul
2
asked Is $L^{1}(\Omega,\mu)$ only an algebra when $\Omega$ is a group?
Jun
20
comment When does a topological space inherit multiplication from a dense subspace?
Thank you Greg, this is exactly what I was seeking. Thank you!
Jun
19
comment When does a topological space inherit multiplication from a dense subspace?
Thank you for the quick answer.
Jun
19
asked When does a topological space inherit multiplication from a dense subspace?
May
26
revised Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
removed a claim which was established to be false by an commentor below
May
26
comment Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
Very nice. I take back everything I said. Thank you!
May
26
comment Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
What I'm getting at is that going from $X_{1}$ and $X_{2}$ forming a partition of $I$ to $X_{1}$ and $X_{2}$ forming a partition of an element of $\mathfrak{U}$ makes the details in the maximality argument not work anymore. Nonetheless you can still prove this stronger statement by first proving what Michael Albanese shows above, and then deriving it as a Corollary.
May
26
revised Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
added 317 characters in body
May
26
comment Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
I agree with that argument (which proves the fact in my OP). In fact it is the one I was referring to in my previous comment (with the adjustment that either $A$ or $A^{c}$ may be added to $D$, you don't know in advance which one). But it doesn't work to prove the lemma mentioned above. I will make an edit to my original post to clarify the distinction which is subtle.
May
26
comment Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
I agree that the induction part of the proof is indeed easy. But you are using the following lemma, which I think is the tricky part: If $X_{1}\cup X_{2}\in \mathfrak{U}$, with $X_{1}\cap X_{2} = \phi$, then exactly one of $X_{1}$ or $X_{2}$ is in $\mathfrak{U}$. This is slightly stronger than the fact I mentioned, and cannot be proved in quite the same way (using a brief maximality argument). The lemma clearly follows immediately from Michael Albanese's argument above, but I do not see an easy way to get it directly.
May
26
comment Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
It is the intuition you describe that led me to guess that the result might be true. I could not come up with a proof, however. Thanks for your additional information!
May
25
comment Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
A partition is what I intended to start with, but forgot to mention. Thanks to all for the great answers.
May
25
accepted Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
May
25
asked Given a finite collection of disjoint subsets of $I$ must every ultrafilter on $I$ contain exactly one?
May
24
accepted Reducing a double ultrapower to a single ultrapower
May
23
revised Reducing a double ultrapower to a single ultrapower
edited title
May
23
comment Reducing a double ultrapower to a single ultrapower
In math.lsa.umich.edu/~ablass/thesis.pdf, it is established that the cartesian product of two ultrafilters is again an ultrafilter. So that would pose as an strong candidate for $\mathfrak{W}$. But I still can't find the reduction property that I'm seeking.
May
23
asked Reducing a double ultrapower to a single ultrapower
May
11
awarded  Popular Question