Page 1 of 2

Posted: Tue Oct 21, 2003 1:26 am
by norsenerd
These are technical definitions I used in "Random Phylosophy-physics". This won't mean anything to you without reading my first post there. I'm leaving out some because if I included all of them I would never finish before tomorrow.

Posted: Tue Oct 21, 2003 1:28 am
by norsenerd
Sorry about the three topics. I'm having some problems from flood controll reguarding my masive post.

Posted: Tue Oct 21, 2003 1:37 am
by hdofu
You should be able to delete Edit: Seems not

Posted: Tue Oct 21, 2003 1:39 am
by norsenerd
<span style='font-size:14pt;line-height:100%'><b>FIELD</b></span><br><br>A <i>field</i> is a set with two binary operations (S,+,*) satisfying the following:<br><br>i) SxS->S:=a+b for all a,b in S. (S is closed under addition)<br>ii) a+b=b+a for all a,b in S. (S is commutative under addition)<br>iii) (a+<!--emo&B)--><img src='http://definecynical.mancubus.net/forum ... s/cool.gif' border='0' style='vertical-align:middle' alt='cool.gif' /><!--endemo-->+c=a+(b+c) for all a,b,c in S. (S is associative under addition)<br>iv) There exists an additive identity 0 such that a+0=a for all a in S.<br>v) For every element a in S there exists an additive invese -a such that a+(-a)=0.<br>S*:=S\{0} (S* is the set S without the additive identity)<br>vi) S*xS*->S*:=a*b for all a,b in S*. (S* is closed under multiplication)<br>vii) a*b=b*a for all a,b in S*. (S* is commutative under multiplication)<br>viii) (a*<!--emo&B)--><img src='http://definecynical.mancubus.net/forum ... s/cool.gif' border='0' style='vertical-align:middle' alt='cool.gif' /><!--endemo-->*c=a*(b*c) for all a,b,c in S*. (S* is associative under multiplycation)<br>ix) There exists a multiplicative identity 1 such that a*1=a for all a in S*.<br>x) For every element a in S* there exists an a multiplicative inverse a^-1 such that a*(a^-1)=1.<br>xi) a*(b+c)=a*b+a*c for all a,b,c in S. (S has distributivity)

Posted: Tue Oct 21, 2003 1:40 am
by Salad Man
No, I don't think you can on this type of board... a mod should be able to lock or delete them for you.<br><br>EDIT: Yup, you can't delete, even if nobody else has replied.

Posted: Tue Oct 21, 2003 1:40 am
by norsenerd
Sorry the posting is confusing b ) with <!--emo&B)--><img src='http://definecynical.mancubus.net/forum ... s/cool.gif' border='0' style='vertical-align:middle' alt='cool.gif' /><!--endemo-->

Posted: Tue Oct 21, 2003 1:52 am
by norsenerd
<span style='font-size:14pt;line-height:100%'><b>VECTOR SPACE</b></span><br><br>A <i>vector space</i> over a field F is a set V that satisfied the folowing properties:<br><br>i) There exists vector addition VxV->V such that:<br> i) a+b=b+a for all a,b in V<br> ii) a+(b+c)=(a+b )+c for all a,b,c in V<br> iii) There exists a vector 0 in V such that a+0=a for all a in V.<br> iv) For all a in V there exists a vector -a such that a+(-a)=0.<br>ii) There exists scalar multiplication FxV->V such that:<br> i) (a*b )*v=a*(b*v) for all a,b in F and v in V. (scalar multiplication is associative)<br> ii) 1*v=v for all v in V. (not 1 is in the field NOT the vector space)<br> iii) (a+b )*v=a*v+b*v for all a,b in F and v in V. (this one and the next one are distributive laws)<br> iv) a*(v+w)=a*v+a*w for all a in F and v,w in V.

Posted: Tue Oct 21, 2003 1:57 am
by norsenerd
<span style='font-size:14pt;line-height:100%'><b>LINEARLY INDEPENDENT</b></span><br><br>A sub set S:={v_1,v_2,...,v_n} of a vector space V over Fis <i>linearly independent</i> iff for all v_i, v_i cannot be written as a linear combination of the others (i.e. v_i does not equal sum(a_j*v_j) for all j not equal to i and any a_j in F).<br>

Posted: Tue Oct 21, 2003 1:57 am
by Tavis
I think I can remove them for you...<br><br>Hey, this mod stuff is cool. <!--emo&:)--><img src='http://definecynical.mancubus.net/forum ... /smile.gif' border='0' style='vertical-align:middle' alt='smile.gif' /><!--endemo-->

Posted: Tue Oct 21, 2003 2:01 am
by norsenerd
<span style='font-size:14pt;line-height:100%'><b>SPANNING SET</b></span><br><br>A set S:={v_1,v_2,...,v_n} is a <i>spanning set</i> of a vector space V over a field F iff all v in V can be written as a linear combination of v_i (i.e. there exists a_i's in F such that v=sum(a_i*v_i) over all i=<n)

Posted: Tue Oct 21, 2003 2:04 am
by norsenerd
<span style='font-size:14pt;line-height:100%'><b>BASIS</b></span><br><br>A subset B of V is a <i>basis</i> of V iff B is a linearly independent spanning set of V.

Posted: Tue Oct 21, 2003 2:08 am
by norsenerd
<span style='font-size:14pt;line-height:100%'><b>DIMENSION</b></span><br><br>The <i>dimension</i> of a finite dimensional vector space is the number of vectors in any basis of the vector space. (This is only one number)

Posted: Tue Oct 21, 2003 2:10 am
by norsenerd
<span style='font-size:14pt;line-height:100%'><b>RATIONAL NUMBER</b></span><br><br>A <i>rational number</i> is a real number that can be written in the form p/q where p and q are integers and q is not zero.

Posted: Tue Oct 21, 2003 2:17 am
by norsenerd
<span style='font-size:14pt;line-height:100%'><b>CURVATURE</b></span><br><br>Let r:R^1->R^m be differentiable at every point.<br>r(t)<br>T(t):=(dr/dt)/(norm(dr/dt)<br>r(s):=r(t) a distance s along the curve away from a reference point in a reference direction.<br><br>The <i>curvature</i> or r is kapa:=norm(dT/ds)<br><br>There is an analog to functions from R^n into R^m but I'm not sure what it is.

Posted: Tue Oct 21, 2003 2:20 am
by norsenerd
<b><span style='font-size:14pt;line-height:100%'>ISOTROPIC</span></b><br><br>Something is <i>isotropic at a point</i> if every property changes the same is any direction from the point.<br><br>Something is <i>isotropic</i> if it's isotropic at every point.<br><br>This definition is not entirely rigorous and I apologize.