<?xml version="1.0" encoding="UTF-8"?>

<record version="5" id="10783">
 <title>summable function</title>
 <name>SummableFunction</name>
 <created>2008-07-13 04:43:20</created>
 <modified>2009-01-12 10:35:14</modified>
 <type>Definition</type>
 <creator id="15714" name="ehremo"/>
 <author id="15714" name="ehremo"/>
 <author id="3771" name="CWoo"/>
 <classification>
	<category scheme="msc" code="28A25"/>
 </classification>
 <related>
	<object name="LebesgueIntegrable"/>
 </related>
 <keywords>
	<term>summable Lebesgue integrable</term>
 </keywords>
 <preamble>% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}

% there are many more packages, add them here as you need them

% define commands here
\def\v#1{\mathbf{#1}}
\def\reals{\mathbb{R}}</preamble>
 <content>A measurable function $f : \Omega \to \reals$ where $(\Omega, \mathcal{A}, \mu)$ is a measure space is said to be {\bf summable} if the Lebesgue integral of the absolute value of $f$ exists and is finite,
\begin{equation*}
\int_{\Omega} |f| d\mu &lt; +\infty
\end{equation*}
An alternative way of expressing this condition is to assert that $f \in L^1(\Omega)$.

Note that some authors distinguish between integrable and summable: an integrable function is one for which the above integral exists; a summable function is one for which the integral exists and is finite.</content>
</record>
