home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.math
- Path: sparky!uunet!usc!sol.ctr.columbia.edu!destroyer!ubc-cs!unixg.ubc.ca!ramsay
- From: ramsay@unixg.ubc.ca (Keith Ramsay)
- Subject: Re: Lebesgue integral (was: Couple of questions
- Message-ID: <1992Sep15.020445.26398@unixg.ubc.ca>
- Sender: news@unixg.ubc.ca (Usenet News Maintenance)
- Nntp-Posting-Host: unixg.ubc.ca
- Organization: University of British Columbia, Vancouver, B.C., Canada
- References: <1992Sep10.173619.24343@galois.mit.edu> <12tnxa#.kmc@netcom.com> <1992Sep11.130033.26063@watson.ibm.com>
- Date: Tue, 15 Sep 1992 02:04:45 GMT
- Lines: 21
-
- In article <1992Sep11.130033.26063@watson.ibm.com>
- platt@watson.ibm.com (Daniel E. Platt) writes:
- [...taking out some layers of quotes...]
- |> In other words, how badly would you miss them if you threw out the
- |> non-Riemann-square-integrable functions from L^2(R^3)?
- ...
- |I think you would end up flat on your back. The problem is that many
- |(most) of the techniques revolving around Fourier series and
- |integrals, completeness of a basis, etc, ultimately involve being able
- |to evaluate 'improper' integrals as a limit of an integral of a
- |sequence of functions.
-
- I've heard that much (nearly all, perhaps) of what is done with L^2,
- regarded as Lebesgue square-integrable functions, modulo functions
- supported on sets of measure zero, is just as nicely done (if not
- better) by regarding L^2 as the formal completion (relative to the L^2
- norm) of a convenient dense subset (where the Lebesgue measure theory
- is not needed). I'm not enough of an analyst to confirm this.
-
- Keith Ramsay
- ramsay@unixg.ubc.ca
-