2
$\begingroup$

I am studying real analysis now, reading Rudin's book Real and Complex Analysis. One thing confused me is when talking about measurable functions, we assume the function to be, from an abstract space to an abstract space, but when talking about integral, we just integral functions maps into real or complex number field.

Is there any theory about doing integral of functions maps into other adequate algebraic structure, what should I do to learn it? Or any reason only real or complex functions is adequate for integral?

Added: Is there any book recommendation on integral taking value in Banach space?

  • 0
    When I studied measure theory in grad school, we did it with $f$unctions taking values in any Banach space; it extends very naturally.2012-05-02

1 Answers 1

0

It is easy to extend the notion of integral when either the domain or the codomain (but not necessarily both) are numeric (i.e. $\mathbb{R}$ or $\mathbb{C}$).

An integral is always a limit of sums of the form "value of the function times measure of the set". So, if either your function or your measure are scalar based, you are likely to be able to define an integral (one still needs to take limits, so there are other considerations too).

In a more general case, when both the function and the measure are allowed to be non-scalar, things get more complicated. In particular because this usually involves non-commutativity, and much less of the usual measure theory can be replicated.