\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{integral}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{integration_theory}{}\paragraph*{{Integration theory}}\label{integration_theory}

[[!include integration theory - contents]]

\hypertarget{integrals_and_integration}{}\section*{{Integrals and integration}}\label{integrals_and_integration}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{AnalyticIntegration}{Analytic integration}\dotfill \pageref*{AnalyticIntegration} \linebreak
\noindent\hyperlink{GeneralizingSums}{Generalizing sums}\dotfill \pageref*{GeneralizingSums} \linebreak
\noindent\hyperlink{integration_as_opposite_to_differentiation}{Integration as opposite to differentiation}\dotfill \pageref*{integration_as_opposite_to_differentiation} \linebreak
\noindent\hyperlink{solving_differential_equations_and_constraints}{Solving differential equations and constraints}\dotfill \pageref*{solving_differential_equations_and_constraints} \linebreak
\noindent\hyperlink{TopologicaIntegration}{Topological integration}\dotfill \pageref*{TopologicaIntegration} \linebreak
\noindent\hyperlink{zoo_of_integrals_and_concepts_of_integration}{Zoo of integrals and concepts of integration}\dotfill \pageref*{zoo_of_integrals_and_concepts_of_integration} \linebreak
\noindent\hyperlink{properties}{Properties}\dotfill \pageref*{properties} \linebreak
\noindent\hyperlink{related_concepts}{Related concepts}\dotfill \pageref*{related_concepts} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

\emph{Integration} is a process by which local data over a [[manifold]] or similar is \emph{accumulated} to an \emph{integral}.

In its simplest form, this is a limiting notion of the process of forming [[sums]], known then as \emph{[[Riemann integration]]} or \emph{[[Lebesgue integration]]}, where the integration pairs a [[function]] on a space against a \emph{[[measure]]} which indicates, roughly, how much a local contribution of the function contributes to the whole accumulation process. Direct variants and refinements of this kind of integration is \emph{[[integration of differential forms]]} and similar.

The integration of differential forms induces a more general notion of integration, namely [[integration in differential cohomology]] and hence [[integration in generalized cohomology]]. Here the choice of a [[measure]] is replaced by a choice of \emph{[[orientation in generalized cohomology]]}.

\newline \hypertarget{AnalyticIntegration}{}\subsubsection*{{Analytic integration}}\label{AnalyticIntegration}

\hypertarget{GeneralizingSums}{}\paragraph*{{Generalizing sums}}\label{GeneralizingSums}

A \textbf{[[sum]]} $\sum_{s \in S} a_s$ is defined over a domain $S$ which is, as a rule, a \emph{discrete} set. This set is also typically fixed in the sense that no subdivision is assumed in its definition, except sometimes for convergence purposes. Thus a general sum takes two arguments: a set $S$ and a function on $S$ and outputs a value. In the case of sum of an infinite series the order may matter as the limiting procedure is taken into account.

An \textbf{integral} is a generalization of a sum where the domain is typically not a discrete set, but some mathematical object, which may be (typically not in a single fixed way, but in many possible ways) approximated or split into pieces. The function to be integrated over the range, is some object which is thought of as living over the range, some sort of a cocycle or a distribution. The basic property from the integral is that it should behave nicely (typically additively in some sense) with respect to combining its values on pieces in the range and that, for a reasonable set of subdivisions the result should be the same (sometimes after passing to a limit).

For a fixed range, integral is typically an operator/functional on a set/space of allowed objects over the range.

\textbf{Integration} in most narrow sense is a process involved in defining or computing integrals.

\hypertarget{integration_as_opposite_to_differentiation}{}\paragraph*{{Integration as opposite to differentiation}}\label{integration_as_opposite_to_differentiation}

Many integrals are supposed to be inverse to differentiation procedures of various kinds. Indeed, if integral is a generalization of a sum, then a difference between two partial sums is a value to be added at a step of summation, and its generalization is some sort of [[differentiation]]. Of course, the initial value has to be determined as the differentiation gives just a step of the addition.

\hypertarget{solving_differential_equations_and_constraints}{}\paragraph*{{Solving differential equations and constraints}}\label{solving_differential_equations_and_constraints}

In some cases, one solves a differential equation by reducing it to a relation of the form $d F = g$ and then $F = \int g$. One says that the equation is solvable in quadratures. Thus the integration is used in examples of solving differential equations and differential relations, hence finding objects satisfying some differential constraints is often also considered a sort of integration. For example, finding integral curves of vector fields and more generally finding integral submanifolds of distributions, is also called an integration. In this vain, also a Lie group is a global object which integrates a Lie algebra (indeed, infinitesimally this reduces to solving the Maurer-Cartan equations). For resolving differential relations there are solvability conditions/obstructions/constraints which are often of cohomological nature. There is sometimes a relation to [[rational homotopy theory]].

\hypertarget{TopologicaIntegration}{}\subsubsection*{{Topological integration}}\label{TopologicaIntegration}

(\ldots{})

\begin{itemize}%
\item [[integration in generalized cohomology]] (\ldots{})

\end{itemize}
\hypertarget{zoo_of_integrals_and_concepts_of_integration}{}\subsubsection*{{Zoo of integrals and concepts of integration}}\label{zoo_of_integrals_and_concepts_of_integration}

We list a bunch more notions of integration. Should eventually be turned into something more coherent\ldots{}

See also [[measure theory]] (and [[measurable space]], [[measure space]]) which is a basis for many kinds of integrals, especially the [[Lebesgue integral]].

Basic kinds of integrals in (super)analysis: the [[Daniell integral]], the [[Riemann integral]] (possibly [[one-sided Riemann integral|upper or lower]], [[improper Riemann integral|improper]], or [[Henstock integral|generalised]]), the [[Lebesgue integral]], the [[Henstock integral]] (same as the generalised Riemann integral or the improper Lebesgue integral), the [[Stieltjes integral|Stieltjes]] variations of the above, the [[Berezin integral]], [[line integrals]].

Special examples of the above include the [[Batalin-Vilkovisky integral]], the [[Kontsevich integral]], the [[Selberg integral]],the [[elliptic Selberg integral]].

Integration is involved in [[integral transform]]s, [[integral transforms on sheaves]], in various formulas for pairings, e.g. of chains and cochains \ldots{}. Some statements involving integrals include the [[Stokes theorem]].

A special topic includes some infinite-dimensional versions including the well-defined [[Wiener integral]] and the more problematic [[path integral]], cf. also

\begin{itemize}%
\item [[fermionic path integral]],
\item [[path integral as a pull-push transform]].

\end{itemize}
The basic problem with the path integral comes from the fact that there is no translation-invariant [[Lebesgue measure]] on an infinite-dimensional real vector space with a finite nonzero value on the unit ball.

\begin{itemize}%
\item [[fiber integration]]


\item in [[differential geometry]]

\begin{itemize}%
\item [[differential forms]] are involved in integration over differentiable manifolds, see at \emph{[[integration of differential forms]]} ; more generally, one can integrate currents (cf. [[geometric measure theory]]


\item [[fiber integration in ordinary differential cohomology]]



\end{itemize}

\item in [[supergeometry]]

\begin{itemize}%
\item [[Berezin integral]]


\item [[integration over supermanifolds]]



\end{itemize}

\item [[path integral]]


\item [[Lie integration]] (the name comes from its relation to the integration of differential equations and finding integral curves of vector fields and flows)


\item stratified versions related to Grothendieck rings and valuations: [[Euler integration]], [[motivic integration]]



\end{itemize}
\hypertarget{properties}{}\subsection*{{Properties}}\label{properties}

\begin{itemize}%
\item [[Cauchy integral theorem]]

\end{itemize}
(\ldots{})

\hypertarget{related_concepts}{}\subsection*{{Related concepts}}\label{related_concepts}

\begin{itemize}%
\item [[integrand]]


\item [[Lebesgue integration]]


\item [[Lebesgue space]]


\item [[integration of differential forms]]


\item [[change of integration variables]]


\item [[density]], [[volume form]]


\item [[integration over infinite-dimensional manifolds]]


\item [[fiber integration]], [[fiber integration in differential cohomology]]


\item [[Gaussian integral]], [[Feynman diagram]]


\item [[Lie integration]]


\item [[geometric integration theory]]


\item [[cohomological integration]]


\item [[adelic integration]]



\end{itemize}
[[!include infinitesimal and local - table]]

\hypertarget{references}{}\subsection*{{References}}\label{references}

An introduction to the basic notions of [[integration of differential forms]], with an eye towards applications in [[physics]] is in section 3 of

\begin{itemize}%
\item [[Theodore Frankel]], \emph{[[The Geometry of Physics - An Introduction]]}

\end{itemize}
Discussion of integration similarly with an eye towards applications in physics but from a more [[general abstract]] perspective is in

\begin{itemize}%
\item \emph{[[geometry of physics]] -- \href{geometry+of+physics#Integration}{integration}}

\end{itemize}
A proof of the [[Riesz representation theorem]] in [[constructive mathematics]] is given in

\begin{itemize}%
\item [[Thierry Coquand]], [[Bas Spitters]], \emph{Integrals and Valuations}, Logic and Analysis (2009) 1(3) p.1-22, \href{http://arxiv.org/abs/0808.1522}{arXiv:0808.1522}, \href{http://dx.doi.org/10.4115/jla.2009.1.3}{doi}

\end{itemize}
category: analysis [[!redirects integral]] [[!redirects integrals]] [[!redirects integration]] [[!redirects integrations]]



\end{document}