Jump to content

Alexiewicz norm

From Wikipedia, the free encyclopedia

In mathematics — specifically, in integration theory — the Alexiewicz norm is an integral norm associated to the Henstock–Kurzweil integral. The Alexiewicz norm turns the space of Henstock–Kurzweil integrable functions into a topological vector space that is barrelled but not complete. The Alexiewicz norm is named after the Polish mathematician Andrzej Alexiewicz, who introduced it in 1948.

Definition

[edit]

Let HK(R) denote the space of all functions fR → R that have finite Henstock–Kurzweil integral. Define the Alexiewicz semi-norm of f ∈ HK(R) by

This defines a semi-norm on HK(R); if functions that are equal Lebesgue-almost everywhere are identified, then this procedure defines a bona fide norm on the quotient of HK(R) by the equivalence relation of equality almost everywhere. (Note that the only constant function fR → R that is integrable is the one with constant value zero.)

Properties

[edit]
  • The Alexiewicz norm endows HK(R) with a topology that is barrelled but incomplete.
  • The Alexiewicz norm as defined above is equivalent to the norm defined by
Therefore, if f ∈ A(R), then f is a tempered distribution and there exists a continuous function F in the above collection such that
for every compactly supported C test function φR → R. In this case, it holds that
  • The translation operator is continuous with respect to the Alexiewicz norm. That is, if for f ∈ HK(R) and x ∈ R the translation Txf of f by x is defined by
then

References

[edit]
  • Alexiewicz, Andrzej (1948). "Linear functionals on Denjoy-integrable functions". Colloquium Math. 1 (4): 289–293. doi:10.4064/cm-1-4-289-293. MR 0030120.
  • Talvila, Erik (2006). "Continuity in the Alexiewicz norm". Math. Bohem. 131 (2): 189–196. doi:10.21136/MB.2006.134092. ISSN 0862-7959. MR 2242844. S2CID 56031790.