# Proof of a concept over Distributions

Mathematics Asked by Hans-André-Marie-Stamm on December 23, 2020

I’m approaching the study of distributions, and together with many notes, I’m following L.Hormander book "linear partial differential operators".

In page $$5$$ he writes

In view of the identification of an absolutely continuous measure with its density function, which is customary in integration theory, this means in particular that a function $$f in L^1_{loc}(Omega)$$ is identified with the distribution

$$phi to int phi f text{d}x$$

This distribution will also be denoted by $$f$$.

Well my question is: is there a proof for that? Why a function $$f$$ is / can be identified with that distribution?

The fact that this defines a distribution should be rather straightforward from the definition since $$left|int phi(x),f(x),dxright|leqsup_{xin K}|phi(x)|int_K |f(x)|,dx$$ where $$K$$ is the support of $$phi$$. So that if $$phi_nrightarrowphi$$ in $$mathcal{D}$$ then $$intphi_n(x),f(x) dxlongrightarrowint phi(x) f(x),dx$$

You can identify the distribution with the function because of the following fact: if $$fin L^1_{loc}(Omega)$$ and $$int phi(x) f(x),dx=0$$ for every $$phiinmathcal{D}$$ then $$f=0$$ a.e. This shows that the mapping $$L^1_{loc}(Omega)rightarrowmathcal{D'}(Omega)$$ which assigns $$f$$ to the distribution you've defined is one-to-one, and we can consider $$L^1_{loc}(Omega)$$ as embedded in the space of distributions.

Answered by Olivier Moschetta on December 23, 2020

## Related Questions

### Complete DVR containing a field isomorphic to residue field

2  Asked on December 8, 2021 by uno

### Positive semi-definite real matrix with unit diagonal

1  Asked on December 8, 2021 by fq00

### Prove $prod_{nge0}^{ }frac{left(n+aright)left(n+bright)}{left(n+cright)left(n+dright)}=frac{Gamma(c)Gamma(d) }{ Gamma(a)Gamma(b)}$

1  Asked on December 8, 2021

### Closed-form expression for $prod_{n=0}^{infty}frac{(4n+3)^{1/(4n+3)}}{(4n+5)^{1/(4n+5)}}$?

1  Asked on December 8, 2021 by harukr

### Examples of topological Immersion which are not embedding

0  Asked on December 8, 2021

### Is $sin(frac{1}{|z|})$ holomorphic on $Bbb C-{0}$?

2  Asked on December 8, 2021

### Show that $V=Z(x;T)oplus Z(y;T)$ and the $T$-annihilators $mu_{T,x},,mu_{T,y}$ do not share any common divisors implies that $V$ is cyclic

2  Asked on December 8, 2021

### What is exponential map in differential geometry

1  Asked on December 6, 2021

### Question on cardinality of sets

1  Asked on December 6, 2021 by jshthng

### Riemann-Roch and sum of powers

0  Asked on December 6, 2021

### how to integrate a function like this: $int_0^x frac{(t)^{a-1}}{(x-t)^a} dt$

1  Asked on December 6, 2021 by marooz

### Why does $frac{n!n^x}{(x+1)_n}=left(frac{n}{n+1}right)^xprod_{j=1}^{n}left(1+frac{x}{j}right)^{-1}left(1+frac{1}{j}right)^x$

1  Asked on December 6, 2021

0  Asked on December 6, 2021 by ammrra

### Show that $V=text{Fix}(phi )oplus text{Eig}(-1, phi)$

1  Asked on December 6, 2021

### Evaluate $lim _{xto 0} frac{e^x+e^{-x}-2}{xtan x}$

4  Asked on December 6, 2021

### Show that the restriction is diagonalizable

1  Asked on December 6, 2021

### Expectation = Probability?

1  Asked on December 6, 2021 by code-mx

### Every $2$-dimensional commutative $k$-algebra with only one prime ideal is isomorphic to $k[x]/(x^2)$

2  Asked on December 6, 2021 by leviathantheesper

### Problem with $A.M.geq G.M.$ Inequality

6  Asked on December 6, 2021 by general-kenobi

### Matrix Norm With Respect to Another Matrix?

1  Asked on December 6, 2021

Get help from others!