View source for Jordan decomposition (of a function)

{{MSC|26A45}}

[[Category:Analysis]]

{{TEX|done}}

A canonical decomposition theorem (due to Jordan) for  [[Function of bounded variation#Jordan decomposition|functions of bounded variation]] of one real variable. 

'''Theorem'''
If  $f:[a,b] \to\mathbb R$ is a function of bounded variation then there is  a pair of nondecreasing functions $f^+$ and $f^-$ such that $f= f^+-  f^-$ and $TV (f) = f^+ (b)-f^+ (a) + f^- (b)- f^- (a)$ (where $TV (f)$ denotes the [[Variation of a function|total variation]] of $f$ (see also [[Function of bounded variation]]). The pair is  unique up to addition of a constant, i.e. if $g^+$ and $g^-$ is a second  pair with the same property, then $g^+-g^-=f^+-f^-\equiv {\rm const}$.

For a proof see Section 5.2 of {{Cite|Ro}}. 

====References====
{|
|-
|valign="top"|{{Ref|AFP}}||     L. Ambrosio, N.  Fusco, D.  Pallara, "Functions of bounded  variations   and  free  discontinuity  problems". Oxford Mathematical  Monographs. The     Clarendon Press,  Oxford University Press, New York,  2000.      {{MR|1857292}}{{ZBL|0957.49001}} 
|-
|valign="top"|{{Ref|Co}}|| D. L. Cohn, "Measure theory". Birkhäuser, Boston 1993.
|-
|valign="top"|{{Ref|Jo}}|| C. Jordan,   "Sur la série de Fourier"  ''C.R. Acad. Sci. Paris'' , '''92'''  (1881)  pp. 228–230
|-
|valign="top"|{{Ref|Ro}}|| H.L. Royden,   "Real analysis" , Macmillan  (1969) {{MR|0151555}} {{ZBL|0197.03501}}
|-
|}