Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
Yes, there is a well-developed theory of integrals of Banach space-valued functions; see . – Qiaochu Yuan May 2 '12 at 14:51
Rudin use measure from a $\sigma$ algebra to $\mathbb{R}$ or $\mathbb{C}$, making you having this sentiment. The notion of measure can be generalized to other spaces. – Monoide May 2 '12 at 14:55
When I studied measure theory in grad school, we did it with functions taking values in any Banach space; it extends very naturally. – Arturo Magidin May 2 '12 at 15:08
up vote 0 down vote accepted

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.