Register to reply

The Orthonormality of real valued Functions

by ReubenThorpe
Tags: functions, orthonormality, real, valued
Share this thread:
ReubenThorpe
#1
Mar13-12, 10:19 AM
P: 3
My main question to the forum surrounds the definition of orthonormality with real valued functions (refer to Image 1&2).I understand the implications of the dot product in vector space and the vector being orthonormal if it is of unit length, but I don't see how this relates to functions devoid of vectors or how it can be said that for example the Fourier series can represent any function with a orthonormal set of Trig function using the definition in Image 1&2.

I understand the orthonormality definition of a function with respect to another represents orthogonality in some way and that and an Infinite series of discretely independent functions should be able to represent any function, but I find it hard to dissect the definition below and how this all relates to vector space.

Thanks in advanced

p.s this is my first post so sorry if its in the wrong section or not explicit enough tell me and I will change it =).
Attached Thumbnails
(2).png   (1).png  
Phys.Org News Partner Science news on Phys.org
FIXD tells car drivers via smartphone what is wrong
Team pioneers strategy for creating new materials
Team defines new biodiversity metric
mathman
#2
Mar13-12, 04:13 PM
Sci Advisor
P: 6,070
In the context you are looking at, the dot product is defined as the integral of the product of the two functions involved. For example, when talking about Fourier series, the integral (assuming sin(nx) and cos(mx) are the function involved) would be over the interval (0,2π).

Similar definition can be made for functions (square integrable) over the whole real line.

This should have been posted in one of the math forums.
ReubenThorpe
#3
Mar13-12, 05:44 PM
P: 3
Sorry about not posting in the right place as I said I am new and will do so in the future thanks, but back to the question at hand I understand the definition I just don't see how it relates to the dot-product and the orthonormality of a real valued function, or is it simply a defined operator and is not derived from anywhere, if this is so how can it have any relation to the dot-product and orthogonality.

mathman
#4
Mar14-12, 03:21 PM
Sci Advisor
P: 6,070
The Orthonormality of real valued Functions

The dot product is defined as the integral of the product of two functions, where the integral is defined over a prescribed interval (a,b). The functions involved are those with the property that the square of the function is integrable over the interval.

To understand it better - for ordinary n dimensional vectors, the dot product is the sum of the products of the components. The analogy carries over to functions where the function values in the domain correspond to components and sum becomes integral.

http://en.wikipedia.org/wiki/Hilbert_space

Above gives a fuller description.
ReubenThorpe
#5
Mar14-12, 06:39 PM
P: 3
Excellent , thanks you have sent me in the direction I needed. I will start work on Hilbert space at once (I haven't covered it yet as I'm a first year undergrad) , although I think its rather weird to introduce Fourier analysis before it as its obviously involved in its proof.

I will post any conclusion I come to, and thanks again =)

p.s is there anyway for an admin to move this to the mathematics section .
jtbell
#6
Mar14-12, 06:45 PM
Mentor
jtbell's Avatar
P: 11,778
Thread moved.

Welcome to Physics Forums, by the way! You might want to spend a few minutes browsing around the forum list to see what we have. Check out the sub-forums, too. Some of them are "burled" two or three "layers" down.
Fredrik
#7
Mar15-12, 04:57 AM
Emeritus
Sci Advisor
PF Gold
Fredrik's Avatar
P: 9,403
Quote Quote by ReubenThorpe View Post
Sorry about not posting in the right place as I said I am new and will do so in the future thanks, but back to the question at hand I understand the definition I just don't see how it relates to the dot-product and the orthonormality of a real valued function, or is it simply a defined operator and is not derived from anywhere, if this is so how can it have any relation to the dot-product and orthogonality.
Look at the definition of inner product. A vector space with an inner product is called an inner product space. A Hilbert space is an inner product space that satisfies an additional requirement called "completeness". You do not need to understand completeness at this point, so you don't have to worry about Hilbert spaces (yet). The answer to the question of "how it relates to the dot product" is that the dot product and the product you asked about are both examples of inner products. x and y are said to be orthogonal if their inner product <x,y> is 0. This is just the definition of "orthogonal".

It's also useful to know this: The dot product on ##\mathbb R^3## satisfies ##x\cdot y=|x|\,|y|\cos\theta##, where θ is the angle between x and y. This implies that ##|x\cdot y|\leq|x|\,|y|##. Every inner product satisfies the Cauchy-Bunyakovsky-Schwarz inequality, ##|\langle x,y\rangle|\leq\|x\|\|y\|##. If we're dealing with an inner product space over ℝ, then this means that
$$-1\leq\frac{\langle x,y\rangle}{\|x\|\,\|y\|}\leq 1.$$ So it makes sense to define the angle between x and y by
$$\cos\theta=\frac{\langle x,y\rangle}{\|x\|\,\|y\|}.$$
chiro
#8
Mar15-12, 06:10 AM
P: 4,573
Quote Quote by ReubenThorpe View Post
My main question to the forum surrounds the definition of orthonormality with real valued functions (refer to Image 1&2).I understand the implications of the dot product in vector space and the vector being orthonormal if it is of unit length, but I don't see how this relates to functions devoid of vectors or how it can be said that for example the Fourier series can represent any function with a orthonormal set of Trig function using the definition in Image 1&2.

I understand the orthonormality definition of a function with respect to another represents orthogonality in some way and that and an Infinite series of discretely independent functions should be able to represent any function, but I find it hard to dissect the definition below and how this all relates to vector space.

Thanks in advanced

p.s this is my first post so sorry if its in the wrong section or not explicit enough tell me and I will change it =).
Hey ReubenThorpe and welcome to the forums.

It might be easier for you to think in terms of a projection.

In other words if we have a vector say <x,y,z> then we can represent that in terms X = <x,y,z> = e_0a + e_1b + e_2c where a = <X,e_0>, b = <X,e_1>, c = <X,e_2> where <e_i,e_j> = Kronecker_Delta(i,j).

The inner product with an integral can be thought of in exactly the same way, but instead of dealing with an inner product with our finite sum, we are dealing with something a little more complicated, but it still is a form of a projection that obeys the inner product laws, but also the projection laws as well which is important because it means that since it's a projection, then if we project the result of a projection twice (or any more) times then the result doesn't change: in other words P^2 = P where P is a projection operator.

So in the same way instead of talking about our basis being a finite vector, it looks more "like" an infinite vector, but the idea is exactly the same: each basis vector has to be orthogonal to another meaning that the projection of one vector onto one basis is completely separate to a projection onto another basis and then if we take the projection on to all basis vectors and write our input vector as a linear combination of our orthogonal basis vectors, then we get an expression of our original 'infinite dimensional vector' in terms of some particular basis.


Register to reply

Related Discussions
NEED HELP Measurable real valued functions Calculus 1
Openness of continous real valued functions Calculus & Beyond Homework 8
Formalizing Real-Valued Computable Functions Set Theory, Logic, Probability, Statistics 0
Is the product of two sine functions always real-valued? Calculus 2
Open set of real valued functions Calculus & Beyond Homework 1