1

Does anybody know of a text (doesn't matter which form: article, book etc. - anything's welcome) in which it is described which result from real analysis also hold for Hilbert/Banach spaces ?

I'm thinking of a text that goes through a basic introductory book (the more known it is, the better) on real analysis - like Principles of Mathematical Analysis by Rudin - and explains which theorems from real analysis still hold in the setting of Hilbert spaces and which will fail. (A discussion for Banach spaces would also be ok - and I'm also interested in this case - but right now the case for Hilbert spaces is more pressing) To be more precise, I would like to know which results from chapters 5 (Differentiation), 6 (The Riemann-Stieltjes Integral), 7 (Sequences and Series of Functions), 9 (Functions of Several Variables) and 11 (The Lebesgue Integral) generalize as just described.
Of course Rudins book was just an example of a book which I used, because the book is very known. Any solid (but not-too-graduate-level) analysis book, which treats functions $\mathbb{R}\rightarrow \mathbb{R}$ and $\mathbb{R}^n\rightarrow \mathbb{R}^m$, has chapters like those which cover pretty much the same basic theorems.
To give an example of what I already know: The generalization of chapter 4 to Hilbert spaces I know already. In functional analysis the concept of continuity is extended from functions $\mathbb{R}\rightarrow \mathbb{R}$ to mappings $\mathcal{H}\rightarrow \mathcal{H}$ (or more general: metric spaces).
Which results can be extended to which setting ($\mathcal{H}\rightarrow \mathcal{H}$ or $\mathbb{R}\rightarrow \mathcal{H}$) depends on the concept of course: Derivatives can be extended to the first case, integrals only to the second (as far as I know)).
To give a further example: A lot of theorem for derivatives between Hilbert/Banach spaces have a proof that is the same as the proof of the theorem in the case $\mathbb{R}\rightarrow \mathbb{R}$. I'm interested exactly in these theorems -- and want to know which theorems (maybe with the helpt of a counterexample, if the theorem would even make sense in the abstract setting) can't be adapted like this to the more abstract setting (what the "right version" of that $\mathbb{R}\rightarrow \mathbb{R}$ theorem - that fails when "mechanically" extended to $\mathcal{H}\rightarrow \mathcal{H}$ - would be in the abstract setting doesn't interest me at this point).

(I know of course that there are books that develop the whole analysis for Hilbert/Banach spaces in the first place - most graduate analysis books seem to do that - but I don't want to go through the whole book and look at every proof to see if it goes through in the case of Hilbert/Banach spaces)


EDIT: Here's more precise description of what I want, in case there is confusion. I shall describe what I'm looking for for brevity only for the concept of the Lebesgue-integral. But the same holds for all of the other basic concepts in analysis (like the derivative of functions $f:\mathbb{R}^n\rightarrow\mathbb{R}^m$, all of the topological properties of $\mathbb{R}^n$ etc.).
Let $L\mathbb{K}$ denote the set of theorems which hold for the L-integral of a function $f:X\rightarrow\mathbb{K}$, where $\mathbb{K}=\mathbb{R},\mathbb{C}$ and $X$ is a measurable space.
Similarly let $L\mathcal{H}$ denote the set of theorems which hold for L-integrals of functions $f:X\rightarrow\mathcal{H}$, where $\mathcal{H}$ is a, say, Hilbert space.
Now I'm not interested in knowing all theorems from $L\mathcal{H}$, since they probably are rather complicated. I'm only interested in those theorems/definitions from $L\mathcal{H}$ whose proof consists only of a "mechanical" replacement of all occurences of "$\mathbb{K}$" with "$\mathcal{H}$", i.e. the theorems from $L\mathbb{K}$ which generalize immediatly to $L\mathcal{H}$.
That there may still be some theorem $t_{\mathcal{H}}$ in $L\mathcal{H}$, that is the "appropriate generalization" of $t_{\mathbb{K}}$ from $L\mathbb{K}$, but whose proof and form divergence significantly from those of $t_{\mathbb{K}}$ does not interest me.
Additionally I would like to know which theorems from $L\mathbb{K}$ fail - or cannot even be formulated - when we replace "$\mathbb{K}$" with "$\mathcal{H}$", i.e. which fail when "straightforward generalized".

temo
  • 5,375
  • 1
    As Hilbert/Banach spaces are vector spaces one should ask about the differences of finite and infinite dimensional vector spaces. – Michael Hoppe Oct 31 '13 at 10:10
  • Why do you need the text to be longer than 30 pages? – Rob Arthan Nov 02 '13 at 01:03
  • @RobArthan Sorry, I meant not longer. I fixed it now. – temo Nov 02 '13 at 17:03
  • I thought a little a while if I could give a more elaborate answer to your edited question. I think your question has to be focused much more. It doesn't help to put a bounty on a question which isn't thought wellthrough. It's like asking: "Tell me about the cosmos, but don't give me references that only partially cover what I ask for". How long are the standard texts in analysis, topology and measure theory you have read so far? – Marc Palm Nov 04 '13 at 07:40
  • http://en.wikipedia.org/wiki/Differentiation_in_Fr%C3%A9chet_spaces http://en.wikipedia.org/wiki/Differentiation_in_Fr%C3%A9chet_spaces – Marc Palm Nov 04 '13 at 07:42
  • @MarcPalm Fair enough. I've made another edit to my question in hope that I'm clearer now. Maybe it's also a good idea for me to explain why I asked this: I'm currently taking a PDE course and where doing abtract semilinear problems and had to evaluate certain integrals of mappings with values in a Hilbert space and the professor just said "you know the theorem from basic 1-year analysis that allows us to do that ? Well, if we replace the range $\mathbb{R}$ of the functions with $ \mathcal{H}$ the exact same theorem holds - so we can use it here." Since it seemed to me [...] – temo Nov 04 '13 at 20:34
  • [...] that more of this "you know that from basic analysis ? Then you know it for Hilbert spaces!" seemed to come, and I like to be very precise, I wanted a text that helps me make that transition. (Of course I know that there are books, that do everything in this abstract setting in the first place, but I think the value of having these abstract tools at hand is just to know how - and in what - they differ from their "concrete" counterpart and where they are identical to their "concrete" counterpart.) – temo Nov 04 '13 at 20:40
  • I doubt you'll find anything nontrivial in under 30 pages. For example, there are several definitions of "derivative", and the relationships between them depend a great deal on structural properties of the space that require a lot of specialized background. You can get an idea of what's out there by googling these phrases: "calculus in normed linear spaces"; "calculus in normed spaces"; "calculus in Banach spaces". – Dave L. Renfro Nov 04 '13 at 20:47
  • 1
    The following is not within 30 pages, but it comes closest to fitting what I think you want than any book I know: Leopoldo Nachbin, Introduction to Functional Analysis: Banach Spaces and Differential Calculus, Monographs and Textbooks in Pure and Applied Mathematics #60, Marcel Dekker, 1981, xii + 166 pages. – Dave L. Renfro Nov 04 '13 at 20:48
  • @DaveL.Renfro Ok, I'm going to look at it - though I'm not sure that's really what I want, since it probably treats more than what I'm looking for: I'm guessing it probably builds analysis from the ground up (of course I could be completely wrong at this point+ - I'm going to report again, after I looked ot up); whereas the text I'm looking for would just compare it to analysis on $\mathbb{R}^n$, which probably would make it short. But 30 pages is too idealistic, as you convinced me, so I dropped this constraint. – temo Nov 05 '13 at 18:11
  • My opinion is that one CAN build a list like you need, but it is not going to teach you much. You have to do the hard work of reading through texts on Hilbert/banach spaces to really understand what is going on. – nonlinearism Nov 07 '13 at 14:44
  • Even without going into calculus, just what it means for two functions to be equal in R^n is different from that in L^2 for example. Or that any two norms are equal in R^n but not in Banach spaces. Or that the unit ball is not compact in l^2. and so on... – nonlinearism Nov 07 '13 at 14:46
  • @nonlinearism I'm not sure I understand your first sentence. Two functions are equal if they agree on all points in the domain. – Michael Greinecker Feb 17 '14 at 13:48
  • @MichaelGreinecker Thats certainly not what we mean by equal in infinite dimensional spaces. Two functions can be different in a set of measure zero, and still be 'equal' since the (for example) L2 norm of their difference will be zero. – nonlinearism Feb 18 '14 at 14:05
  • @nonlinearism No. The elements of $L_2$ are equivalence classes of functions. Otherwise, you only have a semi-norm and that the semi-norm of the difference between two functions is zero does certainly not imply that the functions are equal. – Michael Greinecker Feb 18 '14 at 14:13

3 Answers3

1

Try combining Rudin's book with another book called Applied Analysis by John Hunter. Chapter 5 gives great insight on Banach Spaces and Chapter 6 is dedicated solely to Hilbert Spaces. Dr. Hunter actually has his book free on this website:

https://www.math.ucdavis.edu/~hunter/book/pdfbook.html.

RDizzl3
  • 3,277
1

Have you tried this book called Differential Calculus, by H. Cartan?

It develops Calculus from the very beginning always in the context of normed or Banach spaces, starting from some elementary functional analysis.

For instance, in Chapter $1$, Section $1$ is about norms, linear and multilinear mappings, continuity, etc.. all in normed/Banach spaces.

Section $2$ then develops the basics of differentiation in this setting.

Section $3$ is about mean value theorems and applications.

Later chapters develop Inverse/Implicit function theorems, higher order derivatives (as multilinear maps), Taylor's formula, etc.

It is very thorough, though, in that it goes all the way into the theory of ODEs in Banach spaces.

student
  • 4,027
0

At least for Hilbert spaces, you can recover every thing from the scalar-valued measures simply by using $v = \sum \langle e,v \rangle e$, where $e$ runs through an orthonormal basis.

So it's possible to define $$\int\limits_{X} f(x) d x := \sum \int\limits_{X} <e,f(x)> d x \cdot e$$ if the convergence on the right hand side is absolute. But crucial results like monoton convergence and Lebesgue dominated convergence are probaly not available. What is monoton convergence here?

For Banach spaces, things seem to get more subtle, but a theorem of Pettis describe measurability of a Banach-valued function as being equivalent to measurability of the composition with all functionals.

Here are some further references: https://www.encyclopediaofmath.org/index.php/Bochner_integral

hardmath
  • 37,715
Marc Palm
  • 4,741
  • This seems to be at a rather advanced level. I think I'm looking for something more basic, but more detailed (also including things like derivatives etc.). Thanks nonetheless for these infos. – temo Oct 31 '13 at 18:50
  • If you don't know about Lebesgue integrals, you should learn that first. In general, most can be reduced to calculus on $\mathbb{C}$-valued function by applying functionals, say taking derivatives etc, but there are some subtleties. Don't expect an easy general theory. – Marc Palm Nov 01 '13 at 07:59
  • There seems to be a misunderstanding here - or I am misunderstanding something ? Anyway, I wrote an "Edit" section to my question to state more clearly what I want, since you seem to think that I want to know all (!) of $L\mathcal{H}$. What I mean by $L\mathcal{H}$ is explained in the "Edit". (I do have a - though rather superficial - acquaintance with L-integrals.) – temo Nov 01 '13 at 17:42