06-1350/Class Notes for Thursday November 16: Difference between revisions

From Drorbn
Jump to navigationJump to search
No edit summary
 
No edit summary
Line 9: Line 9:
* <math>{\mathcal A}(\uparrow_n)</math> is a VS-algebra (see more at [[VS, TS and TG Algebras]]).
* <math>{\mathcal A}(\uparrow_n)</math> is a VS-algebra (see more at [[VS, TS and TG Algebras]]).
* In the coordinates above, write the <math>TR\Phi B</math> relations in various algebraic notations.
* In the coordinates above, write the <math>TR\Phi B</math> relations in various algebraic notations.
** R4: <math>(1230)^\star B^\pm\cdot(1213)^\star B^\pm\cdot(1023)^\star\Phi=(1123)^\star\Phi\cdot(1233)^\star B^\pm</math>.
** R4: <math>(1230)^\star B^\pm\cdot(1213)^\star B^\pm\cdot(1023)^\star\Phi=(1123)^\star\Phi\cdot(1233)^\star B^\pm</math> or <math>(B^\pm_{1a}B^\pm_{2a}\Phi_{1a}; B^\pm_{1b}B^\pm_{2b}; B^\pm_{1c}B^\pm_{2b}\Phi_{1b}; B^\pm_{2c}\Phi_{1c}) = (\Phi_{2a}B^\pm_{3a}; \Phi_{2a}B^\pm_{3b}; \Phi_{2b}B^\pm_{3c}; \Phi_{2c}B^\pm_{3c})</math>.
** <math>B^{\pm}</math> in terms of <math>\Phi</math> and <math>R</math> and <math>R</math> in terms of <math>T</math>.
** <math>B^{\pm}</math> in terms of <math>\Phi</math> and <math>R</math> and <math>R</math> in terms of <math>T</math>.
** R3, R2, R1
** R3, R2, R1

Revision as of 22:02, 15 November 2006

In Preparation

The information below is preliminary and cannot be trusted! (v)

Today's Agenda

  • Sweeping clean a tree and .
06-1350-TRPhiB.png
  • is a VS-algebra (see more at VS, TS and TG Algebras).
  • In the coordinates above, write the relations in various algebraic notations.
    • R4: or .
    • in terms of and and in terms of .
    • R3, R2, R1
    • Symmetry of and of .
    • , and
    • Idempotence for , , and .