What Does Completeness of Basis Vectors Mean in Three-Dimensional Space?

Click For Summary

Homework Help Overview

The discussion revolves around the concept of completeness of basis vectors in three-dimensional Euclidean space, drawing an analogy from a mathematical statement involving functions and integrals. Participants are exploring the implications of completeness in the context of vector spaces and basis vectors.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants are attempting to relate the completeness of a set of functions to the completeness of basis vectors in 3D space. Questions arise about the meaning of the notation and the role of the basis vectors in the completeness definition.

Discussion Status

Some participants have provided clarifications regarding the nature of inner products and the distinction between different vector spaces. There is an ongoing exploration of how completeness is defined in the context of basis vectors, with some participants suggesting a formulation for completeness in R3.

Contextual Notes

There is a noted distinction between the infinite-dimensional space of functions and the three-dimensional space of vectors. Participants are also discussing the implications of the null vector in relation to completeness.

PhysicsMark
Messages
90
Reaction score
0

Homework Statement



If there exists no function, f(x), except zero, with the property that

[tex]\int_{a}^{b}{\phi_{n}(x)}f(x)w(x)dx=0[/tex]

for all [tex]\phi_{n},[/tex] then the set {[tex]\phi_{n}(x)[/tex]} is said to be complete.

Write a similar statement expressing the completeness of a set of basis vectors in three-dimensional Euclidean space. Explain in simple terms what it means for vectors.

Homework Equations



w(x) is the positive real weight function (I do not know what this means)

I'm planning on involving the inner and/or outer product here.


The Attempt at a Solution



I do not have a solid understanding of the equation above. Here is what I do know:

I know that in 3D Euclidean space the basis vectors are:

[tex]\hat{x}= (1,0,0)\qquad\hat{y}=(0,1,0)\qquad\hat{z}=(0,0,1)[/tex]

I am also familiar with their inner and outer product results. I know that in 3-D it is possible to have a vector(non-zero) whose cross or dot product with 1 of the basis vectors yields 0. I know of only 1 vector(the null vector), in 3-D, whose cross or dot product with all of the basis vectors, in turn, equals 0.

I think I can answer this problem if I know what [tex]\phi_{n}[/tex] represents.

In the case of the vectors, does it represent [tex]\hat{x},\hat{y},{and},\hat{z}[/tex]?

Or does it represent only 1 of the base vectors? Since I have said that I can think of a vector that will yield 0 crossed or dotted with 1 base vector, then I think [tex]\phi_{n}[/tex] would have to mean all of the basis vectors. If that is the case, am I thinking about 3 different integrals or am I thinking about 1 integral with 5 terms being multiplied?

I think it has to be 3 different integrals but I do not understand how the notation expresses that. I am familiar with the summation notation [tex]\hat{x}_{i}[/tex]. Is that what we are talking about here?

Also, are we talking about the inner product, outer product or both?

One last question unrelated to this problem. I am not very confident in my Latex ability and I often preview my posts many times. Every time I do this, the original structure of the post (The problem statement, relevant Eqs, and solution attempt) get added each time I preview my post. I have to delete the repeats each post. Does anyone know a way around this?

Sorry for rambling on. Thank you for taking the time to read/respond to my questions.
 
Physics news on Phys.org


The integral is a definition of an inner product in a vector space which happens to be the space of all integrable function over [a,b]. Here [tex]\phi_{n}(x)[/tex] and f(x) play the role of vectors, while w(x) is some intrinsinc function of the inner product, which is not a vector (the function itself might be a vector, but the role w(x) plays is not as a vector in this space).
You can recognize this is an inner product, because that takes two vectors and returns a scalar.

This alone helps you understand that when talking about cartesian spaces, we will be talking about dot products, and not cross or outer products.

Now, the [tex]\phi[/tex]'s don't have to be your "standard" basis (what's the standard basis for functions?), but rather they are some set of infinite functions, which may or may not span the entire space.

Since you know what a dot product means, you can have a sense of what this inner product means. And perhaps you can take it on from here.
 


Thank you for the reply

elibj123 said:
You can recognize this is an inner product, because that takes two vectors and returns a scalar.

This makes sense to me.

elibj123 said:
Now, the [tex]\phi[/tex]'s don't have to be your "standard" basis (what's the standard basis for functions?), but rather they are some set of infinite functions, which may or may not span the entire space.

If the phi's are an infinite set of functions, does that mean in my problem it represents every possible vector in 3-D?

If that is the case, why does the problem word it as "the completeness of a set of basis vectors..."? I read the set of basis vectors in 3-D to be the 3 basis vectors I defined earlier.

Is the correct answer:

If there exists no vector, V, except the null vector, with the property that

[tex]{\hat{x}_i}\cdot{V}=0[/tex]

for all [tex]\hat{x}_i[/tex], then the set {[tex]\hat{x}_i[/tex]} is said to be complete.

That seems correct to me, but I am not entirely sure.
 
Last edited:


PhysicsMark said:
If the phi's are an infinite set of functions, does that mean in my problem it represents every possible vector in 3-D?

If that is the case, why does the problem word it as "the completeness of a set of basis vectors..."? I read the set of basis vectors in 3-D to be the 3 basis vectors I defined earlier.
No. Don't forget you're dealing with two different vector spaces here. One is the space of functions, which has infinite dimension, which, in turn, means a basis must consist of an infinite set of functions, and the other one is R3, which has only dimension 3. The problem is just asking you to draw an analogy between the phis and a basis of R3, not every possible vector in R3.

Is the correct answer:

If there exists no vector, V, except the null vector, with the property that

[tex]{\hat{x}_i}\cdot{V}=0[/tex]

for all [tex]\hat{x}_i[/tex], then the set {[tex]\hat{x}_i[/tex]} is said to be complete.

That seems correct to me, but I am not entirely sure.
You got it. Now you just need to explain what completeness means in terms of the vectors in R3.
 


vela said:
You got it. Now you just need to explain what completeness means in terms of the vectors in R3.

Thank you for reading and verifying. Based off this I believe that completeness means that any vector in [tex]R^3[/tex] can be expressed/written as a linear combination of the 3 basis vectors.
 


Yup, that's it.
 

Similar threads

  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
1
Views
1K