Ask your own question, for FREE!
Linear Algebra 8 Online
OpenStudy (konradzuse):

Anyone good with inner products and their axioms?

OpenStudy (tyteen4a03):

Just ask your question.

OpenStudy (konradzuse):

5. Please refer to Denition 1 on page 335 of the textbook. Given u = (u1; u2; u3) and v = (v1; v2v3). Determine whether or not the following are inner products on R3. For those that are not, list the axioms that do not hold.

OpenStudy (konradzuse):

(a) (u,v) = u[1] v[1] + u[3] v[3] (b) (u,v) = 2 2 2 2 2 2 u[1] v[1] + u[2] v[2] + u[3] v[3] (c) (u,v) = 2 u[1] v[1] + u[2] v[2] + 4 u[3] v[3] (d) (u,v) = u[1] v[1] - u[2] v[2] + u[3] v[3]

OpenStudy (konradzuse):

I'm not 100% sure about Axiom 4, but it seems like so far 1 and 2 satify them all... thoughts? @tyteen4a03

OpenStudy (konradzuse):

@Hero save me.

hero (hero):

Bro, I took linear algebra already, but I'd have to re-familiarize myself with this.

hero (hero):

Hang on for a minute

hero (hero):

@KonradZuse, where in the book is that question?

OpenStudy (konradzuse):

not in the book.

OpenStudy (konradzuse):

sorry it's kind of screwed up in formatting.

OpenStudy (konradzuse):

1 second.

OpenStudy (konradzuse):

OpenStudy (konradzuse):

I posted part of my answer of part b, as well as part c and d. I can post everything if oyu wihs.

OpenStudy (konradzuse):

okay hold on.

OpenStudy (konradzuse):

here happy?

OpenStudy (konradzuse):

I just want to know if I'm doing this correctly/ what exactly is axiom 4 asking?

OpenStudy (konradzuse):

saying*

OpenStudy (konradzuse):

@UnkleRhaukus

OpenStudy (zarkon):

I guess I'll reply...a lot of your work is not correct..I'll let you think about that for a while

OpenStudy (unklerhaukus):

where are the axioms you are referencing ?

OpenStudy (konradzuse):

one second.

OpenStudy (konradzuse):

OpenStudy (unklerhaukus):

(a) \[(\textbf u,\textbf v)=u_1 v_1+u_3v_3 \]

OpenStudy (konradzuse):

I was thinking that might fail because of the new u2v2, but not too sure?

OpenStudy (unklerhaukus):

\[(\textbf u,\textbf v)=u_1 v_1+u_3v_3=u_3v_3+u_1 v_1=(\textbf v,\textbf u)\] the symmetry axiom holds

OpenStudy (konradzuse):

ok.

OpenStudy (konradzuse):

I actually posted my work up a bit. Should I repost it?

OpenStudy (konradzuse):

I did a and B I just was confused about axiom 4, and so far it doesn't seem like anything is going to fail. Thoughts?

OpenStudy (unklerhaukus):

\[(\textbf u+\textbf v,\textbf w)=(\textbf u+\textbf v)_1\textbf w_1+(\textbf u+\textbf v)_3\textbf w_3\]\[\qquad\qquad\quad=u_1w_1+v_1w_1+u_3w_3+v_3w_3\]\[\qquad\qquad\quad=u_1w_1+u_3w_3+v_1w_1+v_3w_3\]\[\qquad\qquad\quad=(\textbf u,\textbf w)+(\textbf v,\text w)\] the additivity axion holds

OpenStudy (unklerhaukus):

\[ (k\textbf u,\textbf v)=ku_1 v_1+ku_3v_3\]\[\qquad\quad=k(u_1 v_1+u_3v_3)\]\[\qquad\quad=k(\textbf u,\textbf v)\] the homogeneity axiom holds

OpenStudy (konradzuse):

OpenStudy (konradzuse):

not sure what was wrong with my work. I did exactly what the book/my other homework did for it.

OpenStudy (unklerhaukus):

\[(\textbf v,\textbf v)=v_1v_1+v_3v_3\]\[\qquad\quad=v_1^2+v_3^2≥0\] \[(\textbf v,\textbf v)=0\iff \textbf v=\textbf 0\] the positivity axiom holds

OpenStudy (zarkon):

that is the problem..axiom 4

OpenStudy (zarkon):

your work done on axiom 4 is not correct

OpenStudy (zarkon):

remember \(u\) and \(v\) are 3-dimensional vectors

OpenStudy (zarkon):

let \(u=v=<0,1,0>\) what is \((u,v)\)

OpenStudy (zarkon):

or same thing ...what is \((v,v)\)

OpenStudy (konradzuse):

I will check it out.

OpenStudy (konradzuse):

I guess I'm still confused how to prove axiom 4....

OpenStudy (zarkon):

you don't prove axiom 4...it is an axiom

OpenStudy (konradzuse):

errr "satisfy axiom 4"

OpenStudy (zarkon):

(a) is not an inner product...I gave you a counter example

OpenStudy (zarkon):

((0,1,0),(0,1,0))=0*0+0*0=0 but (0,1,0) is not the zero vector

OpenStudy (konradzuse):

ic so axiom 4 isn't = 0 thus fails?

OpenStudy (zarkon):

it fails... \((v,v)=0\Leftrightarrow v=\vec{0}\)

OpenStudy (unklerhaukus):

i see what you are saying now @Zarkon \[(\textbf v,\textbf v)=v_1v_1+v_3v_3\]\[\qquad\quad=v_1^2+v_3^2≥0\]\[(\textbf v,\textbf v)=0\iff \textbf v=(0,v_2,0)\not\equiv\textbf 0\]the positivity axiom does not hold in the general case

OpenStudy (zarkon):

correct...but one only needs so show a single counter example to show that it is not an inner product (i'm lazy that way :) )

OpenStudy (konradzuse):

I'm so confused though :)

OpenStudy (konradzuse):

I guess I can see how (0,1,0)(0,1,0) = 1 not 0. So all we have to do is multiply and see if = 0?

OpenStudy (unklerhaukus):

how did you get = 1 ?

OpenStudy (konradzuse):

I thought that's what he said above, I guess I'm just too konfused hahaha :(

OpenStudy (unklerhaukus):

the rule was; to add the product of the first components to the product of the third components , the rule satisfied the 4th axiom iff the rule only generates zero when the vector is the zero vector. Zarkon has shown that that the second component of the vector could be anything , therefore there are many vectors that generate zero , not just the zero vector)

OpenStudy (konradzuse):

hmm ic.

OpenStudy (konradzuse):

So does Axiom 4 only fail for the first one?

OpenStudy (zarkon):

another one of your problems fails axiom 4

OpenStudy (konradzuse):

hmm time to find it, and see if any other's fail anything....

OpenStudy (konradzuse):

it seems like the others pass the other axioms, now to try and figure out which one fails #4 :P

OpenStudy (konradzuse):

Does D by any chance fail Axiom 2?

OpenStudy (zarkon):

no...but it fails another axiom

OpenStudy (zarkon):

I'll tell you that only one of the four is an inner product

OpenStudy (konradzuse):

geh..

OpenStudy (konradzuse):

C also seems to fail one.

OpenStudy (konradzuse):

my program just crashed so h/o.

OpenStudy (konradzuse):

all of my work is gone, I'm flipping out, hold on please.

OpenStudy (konradzuse):

SO d fails some axiom, but what about C @Zarkon ?

OpenStudy (zarkon):

(c) is an inner product...the only one

OpenStudy (konradzuse):

Damn now I got to look into b... Maybe that also fails axiom 4. D must fail axiom 3, maybe 4, IDk. Need to rework it, but flipping out trying to finish these other problems. Thanks for all the help I really appreciate it!

OpenStudy (zarkon):

\[(u,v)=u_1^2v_1^2+u_2^2v_2^2+u_3^2v_3^2\] \[(ku,v)=(ku_1)^2v_1^2+(ku_2)^2v_2^2+(ku_3^2)v_3^2\] \[=k^2(u_1^2v_1^2+u_2^2v_2^2+u_3^2v_3^2)=k^2(u,v)\]

OpenStudy (konradzuse):

axiom 3

OpenStudy (konradzuse):

do you think you could help me with my other problems? I would greatly appreciate it.

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!