Rudy the Reindeer
Reputation
21,620
77/100 score
 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.