Orthogonal theoretical question

In summary, the conversation discusses the proof that in a space of inner product, if W1 and W2 are two subspaces with dim(W1)<dim(W2), there exists a nonzero vector in W2 that is orthogonal to W1. The proof uses the fact that any vector in the space can be written as a sum of a vector in W1 and a vector in the orthogonal complement of W1. This is shown through the use of the formula for the dimension of the sum of two subspaces.
  • #1
transgalactic
1,395
0
V is a space of inner muliplication.
W1 and W2 are two subspaces of V, so dimW1<dimW2
prove that there is a vector
[tex]
0\neq v\epsilon W_2
[/tex]
which is orthogonal to W1
??
 
Physics news on Phys.org
  • #2
i got this solution:
dim W1=k
dim W2=n

[tex]n-k=W_2^\perp[/tex]
i can't see why its correcti don't know that all the vectors of W1 exist in W2 too
??
 
Last edited:
  • #3
Since dim(W1)<dim(W2) you can find a nonzero vector v in W2 which is not an element of W1. Use the orthogonal projection onto W1 to construct, from v, a vector which is orthogonal to W1.
 
  • #4
its a theoretical question i can't construct projections
the only way is if this "
dim W1=k
dim W2=n

[tex]n-k=W_2^\perp[/tex]
"

if all the vectors of W1 exist in W2
which wasnt gisnt given that
??
 
  • #5
transgalactic said:
its a theoretical question i can't construct projections

What I am trying to tell you is this: If V is an inner product space and W is subspace, then any vector can be written as a sum v=w+n where w is in W and n is in the orthogonal complement of W. In fact, w is the projection of v to W. So, assuming that v is not an element of W, then n will be nonzero and orthogonal to W.
Usings these facts you will be able to solve the problem.

the only way is if this "
dim W1=k
dim W2=n

[tex]n-k=W_2^\perp[/tex]
"

if all the vectors of W1 exist in W2
which wasnt gisnt given that
??

You do not need W1 to be a subspace of W2.
 
  • #6
whats
"V is an inner product space "
??
 
Last edited:
  • #7
i am trying to imagine what you are telling
but its so abstract
??
 
  • #8
suppose we have a four dimensional space
W={(1,0,0,0),(0,1,0,0)}
W complement is ={(0,0,1,0),(0,0,0,1)}
w is subspace of W
n is subspace of W complement
v could be written as w+n
but for that W and W complement must be independant to one another

we haven't been told that
we have been told that
dim W2>dim W1

so there could a case were W2 has all the vectors of W1 and there is another subspace

so not every vector could be written as a manipulation of W2 and W1
??
 
  • #9
transgalactic said:
whats
"V is an inner product space "
??

A http://en.wikipedia.org/wiki/Inner_product_space" , I am assuming this is what you mean by "a space of inner multiplication".

transgalactic said:
suppose we have a four dimensional space
W={(1,0,0,0),(0,1,0,0)}
W complement is ={(0,0,1,0),(0,0,0,1)}
w is subspace of W
n is subspace of W complement
v could be written as w+n
but for that W and W complement must be independant to one another

we haven't been told that
we have been told that
dim W2>dim W1

so there could a case were W2 has all the vectors of W1 and there is another subspace

so not every vector could be written as a manipulation of W2 and W1
??

I am not sure what you mean here, I will try to explain it differently.

What you are given: [tex]W_1[/tex], [tex]W_2[/tex] are subspaces of [tex]V[/tex] with [tex]\dim(W_1)<\dim(W_2)[/tex].
Let's put [tex]n=\dim(V)[/tex], [tex]n_1=\dim(W_1)[/tex], [tex]n_2=\dim(W_2)[/tex].

So [tex]\dim(W_1^{\perp}\cap W_2)\ge (n-n_1)+n_2-n\ge 1[/tex].

But this means that there are nonzero vectors in [tex]W_2[/tex] which are orthogonal to [tex]W_1[/tex].

I hope you can fill in the details, specifically, why the inequality I wrote is true.
 
Last edited by a moderator:
  • #10
i can't understanf how did you constract this equation
[tex]
\dim(W_1^{\perp}\cap W_2)\ge (n-n_1)+n_2-n\ge 1
[/tex]
if[tex](W_1^{\perp}=n-n_1[/tex] and [tex]n_2=dim(W2)[/tex]
so the intersect is subtraction of the two groups
it should be
[tex]W_1^{\perp}\cap W_2=n-n_1-n_2[/tex]

and why
you add =>1
??
 
  • #11
transgalactic said:
i can't understanf how did you constract this equation
[tex]
\dim(W_1^{\perp}\cap W_2)\ge (n-n_1)+n_2-n\ge 1
[/tex]

I am using the following formula: If A,B are subspaces of V then

[tex]\dim(A+B)+\dim(A\cap B)=\dim(A)+\dim(B)[/tex]

and

[tex]\dim(A+B)\le\dim(V)[/tex]

if[tex](W_1^{\perp}=n-n_1[/tex] and [tex]n_2=dim(W2)[/tex]
so the intersect is subtraction of the two groups
it should be
[tex]W_1^{\perp}\cap W_2=n-n_1-n_2[/tex]

and why
you add =>1
??

If dim(V)>0 then V contains nonzero vectors.


A general comment: A message board is not the best way to learn linear algebra. You need someone you can talk to face to face, a teacher or other students. If you are stuck on a specific problem, then the people here can give you hints, but this only works if you already know most of what you should know to solve a particular exercise.
 

What is an orthogonal theoretical question?

An orthogonal theoretical question is a type of research question that is independent of other questions and does not rely on any pre-existing theories or assumptions. It is used to explore new ideas and generate new theories or hypotheses.

How is an orthogonal theoretical question different from other types of research questions?

An orthogonal theoretical question is different from other types of research questions in that it is not based on existing theories or assumptions. Other types of research questions may rely on pre-existing knowledge or theories to guide the research process.

What are some examples of orthogonal theoretical questions?

Examples of orthogonal theoretical questions include "What are the potential causes of climate change?" and "How does social media usage impact self-esteem?" These questions do not rely on pre-existing theories or assumptions and aim to explore new ideas and generate new theories or hypotheses.

What are the benefits of using orthogonal theoretical questions in research?

Using orthogonal theoretical questions in research can lead to the development of new theories and ideas, as well as a deeper understanding of complex phenomena. It also allows for a more open-minded and exploratory approach to research, rather than being limited by pre-existing theories and assumptions.

How can one formulate an effective orthogonal theoretical question?

To formulate an effective orthogonal theoretical question, one should start by identifying a topic or area of interest. Then, ask open-ended questions that do not rely on pre-existing theories or assumptions. Finally, refine the question to be specific and focused, while still allowing for exploration and new ideas.

Similar threads

  • Calculus and Beyond Homework Help
Replies
4
Views
998
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
0
Views
439
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
7
Views
4K
  • Calculus and Beyond Homework Help
Replies
2
Views
2K
  • Calculus and Beyond Homework Help
Replies
17
Views
4K
  • Calculus and Beyond Homework Help
Replies
16
Views
1K
Back
Top