Reputation
21,187
Next tag badge:
99/100 score
24/20 answers
Badges
9 52 147
Impact
~560k people reached

Oct
30
comment Good book for self study of functional analysis
+1: I'm using Kreyszig and the book is just so good!!
Oct
28
comment Any converging sequence is bounded
Did you mean to write $n > 1$? If yes then $a_n$ is bounded by 1.
Oct
27
revised Radon Nikodym derivative proof
added 350 characters in body
Oct
25
comment Radon Nikodym derivative proof
@t.b.: OK. I can't go to the library right now but I'll try to find it online...
Oct
25
comment Radon Nikodym derivative proof
@t.b.: You said "of informative value $0$" -- is this not a correct answer? I think using Riesz there is nothing left to show. Is this wrong?
Oct
25
revised Radon Nikodym derivative proof
added 417 characters in body
Oct
25
comment Radon Nikodym derivative proof
@t.b.: I posted my tentative answer below... thanks for your help!
Oct
25
comment Radon Nikodym derivative proof
@MichaelHardy: Thanks!
Oct
25
comment Mean ergodic theorem
Thank you. I thought you might leave me to it because it's homework and then I started to panic because I have to hand it in by tomorrow and I still didn't really know what I was doing.
Oct
25
accepted Mean ergodic theorem
Oct
24
asked Radon Nikodym derivative proof
Oct
24
comment Mean ergodic theorem
@t.b.: I would like to show for $x \in I^\bot$ $\forall a_\bot \in A^\bot: \langle x, a_\bot \rangle = 0$. And to do that I was thinking of decomposing $x = a_\bot^\prime + a_{\bot \bot}^\prime$-- am I on the right track?
Oct
24
comment Mean ergodic theorem
@t.b.: Doh! I wasn't aware of this equality. You're truly helpful, as always. Thank you!
Oct
24
asked Mean ergodic theorem
Oct
24
comment Two questions regarding formal proofs
Thanks! And what about $T \vdash \varphi$ and then $T \cup \varphi \vdash$?
Oct
24
asked Two questions regarding formal proofs
Oct
23
comment A question about the deduction theorem
@boumol: This? $\{ \exists y (x = y) \} \vdash \forall x \exists y ( x = y)$ and then $\vdash \exists y (x = y) \rightarrow \forall x \exists y (x = y)$? I think that's not a counter example...
Oct
23
revised A question about the deduction theorem
deleted 148 characters in body
Oct
23
comment A question about the deduction theorem
@ChrisEagle: True! I'll delete it seeing as it's not relevant for my question.
Oct
23
comment A question about the deduction theorem
It could be an axiom but I wrote it as an example of the kind of example I'm looking for.