PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] every locally integrable function is a distribution (Theorem)

Suppose $U$ is an open set in $\sR^n$ and $f$ is a locally integrable function on $U$ , i.e., $f\in L^1_{\scriptsize{\mbox{loc}}}(U)$ . Then the mapping \begin{eqnarray*} T_f: \cD(U) &\to& \sC \\ u &\mapsto& \int_U f(x) u(x) dx \end{eqnarray*}is a zeroth order distribution. (See parent entry for notation $\cD(U)$ .)

(proof)

If $f$ and $g$ are both locally integrable functions on an open set $U$ , and $T_f=T_g$ , then it follows (see this page), that $f=g$ almost everywhere. Thus, the mapping $f\mapsto T_f$ is a linear injection when $L^1_{\scriptsize{\mbox{loc}}}$ is equipped with the usual equivalence relation for an $L^p$ -space. For this reason, one usually writes $f$ for the distribution $T_f$ .




Anyone with an account can edit this entry. Please help improve it!

"every locally integrable function is a distribution" is owned by matte. [ full author list (2) ]
(view preamble | get metadata)

View style:


This object's parent.

Attachments:
$T_f$ is a distribution of zeroth order (Proof) by Koro
Log in to rate this entry.
(view current ratings)

Cross-references: equivalence relation, injection, almost everywhere, parent, distribution, order, mapping, locally integrable function, open set
There are 2 references to this entry.

This is version 5 of every locally integrable function is a distribution, born on 2003-07-09, modified 2006-01-30.
Object id is 4433, canonical name is EveryLocallyIntegrableFunctionIsADistribution.
Accessed 2977 times total.

Classification:
AMS MSC46F05 (Functional analysis :: Distributions, generalized functions, distribution spaces :: Topological linear spaces of test functions, distributions and ultradistributions)
 46-00 (Functional analysis :: General reference works )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)