My Math Forum  

Go Back   My Math Forum > College Math Forum > Real Analysis

Real Analysis Real Analysis Math Forum

Thanks Tree5Thanks
  • 1 Post By zylo
  • 1 Post By Maschke
  • 2 Post By mathman
  • 1 Post By zylo
LinkBack Thread Tools Display Modes
March 2nd, 2017, 12:58 AM   #1
Joined: Mar 2017
From: tbilisi

Posts: 1
Thanks: 0

metric space

How to showed that $\displaystyle \rho(f,g)=\int_{a}^{b}|f(x)-g(x)|^p dx$ defined metric on $\displaystyle L^p[a,b]$?
giokakocha is offline  
March 2nd, 2017, 08:44 AM   #2
Senior Member
Joined: Mar 2015
From: New Jersey

Posts: 969
Thanks: 78

Step 1: Define $\displaystyle L^{p} [a,b]$
Thanks from topsquark
zylo is offline  
March 2nd, 2017, 12:58 PM   #3
Senior Member
Joined: Aug 2012

Posts: 1,153
Thanks: 252

Originally Posted by zylo View Post
Step 1: Define $\displaystyle L^{p} [a,b]$
Zylo I see that you're starting to channel my own pickiness. Happy to see that In this case there is a great subtlety lurking.

We typically think of $\displaystyle L^p[a,b]$ as the set of functions $\displaystyle f : [a,b] \to \mathbb R$ such that $\displaystyle \int_{[a,b]} f(x) \ \mathrm dx < \infty$. I'm notating the integral that way to indicate that this is the Lebesgue and not the Riemann integral.

To show this induces a metric we need to prove (among other things) that $\displaystyle d(f, g) = 0 $ if and only if $\displaystyle f = g$.

But now consider $\displaystyle f(x) = 1$ and $\displaystyle g(x) = 1$ if $x$ is irrational and $\displaystyle g(x) = 0$ if $\displaystyle x$ is rational.

Clearly $\displaystyle f \neq g$ since these two functions differ on the rationals, but $\displaystyle d(f,g) = 0$. What happened?

The answer is that when we put on our picky hats, $\displaystyle L^p[a,b]$ is the set of equivalence classes of functions where we say that $\displaystyle f$ and $\displaystyle g$ are equivalent if $\displaystyle f$ and $\displaystyle g$ differ on a set of measure zero.

With that refinement (which we typically never think about) we can show that $\displaystyle d$ is a metric.

This is how to get the proof started.
Thanks from topsquark

Last edited by Maschke; March 2nd, 2017 at 01:07 PM.
Maschke is offline  
March 2nd, 2017, 04:38 PM   #4
Global Moderator
Joined: May 2007

Posts: 6,214
Thanks: 492

Originally Posted by giokakocha View Post
How to showed that $\displaystyle \rho(f,g)=\int_{a}^{b}|f(x)-g(x)|^p dx$ defined metric on $\displaystyle L^p[a,b]$?
Usually the pth root of the integral defines the metric.
Thanks from Maschke and topsquark
mathman is offline  
March 3rd, 2017, 10:27 AM   #5
Senior Member
Joined: Mar 2015
From: New Jersey

Posts: 969
Thanks: 78

Function Space:
Function considered as infinite dimensional vector.

What is size (Norm) of a vector?
What is distance d between vectors?
In Euclidean space, N=|a| and d=|b-a|.

Generalization to function space, L$\displaystyle ^{p}$[a,b]:
Definition, p-integrable:
Lim $\displaystyle \Sigma |f(x_{i})|^{p}\Delta x_{i}$ exists and denoted by $\displaystyle \int |f(x)|^{p}dx$
$\displaystyle \int$ is Riemannian, or other if dx is d$\displaystyle \mu$, where $\displaystyle \mu$ is a defined measure.

Norm: N = ||f|| = $\displaystyle \left [ \int |f(x)|^{p}dx \right ]^{ 1/p}$

Application: Express arbitrary functions in terms of basis functions. Fourier series for example.

Which brings us to OP:
Given: p-integrable (Riemannian) function space.
Does $\displaystyle ||f_{1}-f_{2}||$ satisfy requirements of distance function?
It does if it satisfies triangle inequality:
$\displaystyle ||f_{1}-f_{3}||\leq ||f_{1}-f_{2}||+||f_{2}-f_{3}||$: Ttheorem 1.2
Thanks from topsquark
zylo is offline  

  My Math Forum > College Math Forum > Real Analysis

metric, space

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Metric Space Fernando Linear Algebra 0 November 29th, 2012 08:42 AM
metric space johnny_01 Real Analysis 3 November 20th, 2012 01:42 PM
Metric Space johnny_01 Real Analysis 4 November 6th, 2012 03:00 PM
metric space mathrookie2012 Real Analysis 4 January 22nd, 2012 03:27 AM
metric space ogajajames Real Analysis 1 May 1st, 2010 12:43 AM

Copyright © 2017 My Math Forum. All rights reserved.