12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 03:28, 7 January 2013
, 03:28, 7 January 2013→6.35. Reducibility of Sign Relations
If <math>L\!</math> is visualized as a solid body in the 3-dimensional space <math>X \times Y \times Z,\!</math> then <math>\operatorname{Proj}^{(2)}(L)\!</math> can be visualized as the arrangement or ordered collection of shadows it throws on the <math>XY,\!</math> <math>XZ,\!</math> and <math>YZ\!</math> planes, respectively.
If <math>L\!</math> is visualized as a solid body in the 3-dimensional space <math>X \times Y \times Z,\!</math> then <math>\operatorname{Proj}^{(2)}(L)\!</math> can be visualized as the arrangement or ordered collection of shadows it throws on the <math>XY,\!</math> <math>XZ,\!</math> and <math>YZ\!</math> planes, respectively.
A couple of set-theoretic constructions are useful here, in particular for describing the source and target domains of the projection operator <math>\operatorname{Proj}^{(2)}.\!</math>
A couple of set-theoretic constructions are worth introducing at this point, in particular for describing the source and target domains of the projection operator <math>\operatorname{Proj}^{(2)}.\!</math>
<pre>
<pre>
