Orthogonal Complement in Inner Product Space: W2^\bot\subseteqW1^\bot

  • Thread starter Thread starter chuy52506
  • Start date Start date
  • Tags Tags
    Orthogonal
chuy52506
Messages
77
Reaction score
0
Let W1 and W2 be subspaces of an inner product space V with W1\subseteqW2. Show that (the orthogonal complement denoted by \bot) W2^\bot\subseteqW1^\bot.
 
Last edited:
Physics news on Phys.org
You mean W1 instead of the second W2 in the latter inclusion.

Anyway, just write out the definitions. Really.
 
Just a little tip about the notation: ^\bot looks better than \bot.
 
How would you start it though?
 
You start by saying "Let x\in W_2^\perp be arbitrary". Then you show that it's a member of W_1^\perp. You should see how to do this if you just write down the definition of "orthogonal complement".
 

Thread 'Trouble understanding an online solution to an exercise in Dummit & Foote'

##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
View full post »

Thread 'Questions about non existence of GCDs vs (coimages, cokernels)'

The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
View full post »

Thread 'Decomposition into irreps of compact Lie group'

When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
View full post »

Similar threads

I Proving Isometries: A Step-By-Step Guide
Replies
3
Views
1K
I Finding the orthogonal projection of a vector without an orthogonal basis
Replies
3
Views
4K
Showing V is the direct sum of W1 and W2
Replies
1
Views
3K
Linear Algebra Proof of Span and orthogonal vector space
Replies
1
Views
3K
MHB Basis & Dimension of 2x2 Matrix Subspaces: W1 & W2
Replies
1
Views
2K
I Proving the Orthogonal Projection Formula for Vector Subspaces
Replies
2
Views
2K
A Orthogonal complement of the orthogonal complement
Replies
4
Views
4K
I Does Axler's Spectral Theorem Imply Normal Matrices?
Replies
3
Views
2K
MHB Orthogonal Complement of Polynomial Subspace?
Replies
2
Views
2K
I Orthogonality of Eigenvectors of Linear Operator and its Adjoint
Replies
3
Views
3K

Hot Threads

Recent Insights

Back
Top