Reputation
50,356
Next tag badge:
726/400 score
77/80 answers
Badges
6 139 223
Newest
 Enlightened
Impact
~463k people reached

Feb
3
reviewed Approve Limit question help please here?
Feb
3
comment Non-isomorphic atomless Boolean algebras
I suppose it's a matter of background and culture. I've seen reduced measure algebra used for the same thing (I think Givant/Halmos use that). However, it doesn't make much sense to me to use the term measure algebra as a synonym of $\sigma$-algebra and from this point of view $\Sigma/\mathcal{N}$ is pretty much the only possible interpretation. It seems that for analysts $\Sigma/\mathcal{N}$ is the interesting thing to consider, not $\Sigma$ itself.
Feb
3
awarded  Informed
Feb
3
awarded  Custodian
Feb
3
comment Spectrum of the sum of two commuting matrices
@Theorem: Section 11 in the current version is called Nullstellensätze and in any case the pdf is fully searchable...
Feb
3
reviewed Satisfactory Congruence relationship used for primitive residue classes modulo n result
Feb
3
comment Proof of inequality involving surds
There were a few edits that seem to have changed/corrected mathematical content in the OP. I don't think it's a good idea to do that and reviewers should look more closely...
Feb
3
comment Non-isomorphic atomless Boolean algebras
For me the measure algebra of a measure space is the algebra of measurable sets modulo the ideal $\mathcal{N}$ of null sets. Thus, $\mathfrak{A} = \mathfrak{L}/\mathcal{N} \cong \mathfrak{B} / (\mathfrak{B} \cap \mathcal{N})$ has cardinality $\mathfrak{c}$. Otherwise ccc wouldn't tell $\mathfrak{A}$ and $\mathfrak{B}$ apart, would it? :)
Feb
3
comment Is Topology an important class to take before Functional Analysis?
Thanks for the feedback, that's very nice to hear and I really appreciate it. Good luck with your further studies!
Feb
3
reviewed Reject Is A∨¬A a tautology when there is a proof (by contradiction)?
Jan
4
awarded  Yearling
Dec
26
comment Is Hom$(G,-)$ left exact if morphisms are required to be continuous?
Hi Ben, I just stumbled over this thread: in view of the accepted answer, maybe you're interested in having a look at my expository paper on exact categories where I give a hands-on approach to Quillen's theory. Best wishes and a happy New Year, Theo
Dec
23
reviewed Leave Open How you review the contents which you have learnt several month before?
Dec
23
revised banach-spaces wiki excerpt
removed unnecessary symbols
Dec
23
revised banach-spaces wiki excerpt
I removed the specification of the ground field since there is absolutely no reason to exclude p-adic Banach spaces. There's also no need to define Cauchy sequences here.
Dec
20
reviewed Close multiple choice question on holomorphic functions
Dec
20
reviewed Reject Mathematical difference between white and black notes in a piano
Dec
20
comment Inner regularity property of Radon measures in metric spaces
You understand Michael's answer correctly. You can find proofs in many places, for example Theorem 3.2 in Parthasarathy's Probability Measures on Metric Spaces or Theorem 17.11 of Kechris's Classical Descriptive Set Theory.
Dec
20
comment Inner regularity property of Radon measures in metric spaces
I see. Here's the idea: The example of a non-tight Radon measure on an uncountable disjoint union of $\mathbb{R}$ I linked you to can be modified to use the Cantor set with the "coin-flipping measure" instead of $\mathbb{R}$. Thus the task is essentially reduced to find a closed subspace of a metric space which is homeomorphic to an uncountable disjoint union of Cantor sets. This can be done using this construction and a locally finite disjoint family of open sets (and some effort). I'm not so sure if the actual construction is all that enlightening.
Dec
19
awarded  Enlightened