Operations on Subspaces in Real Unitary Space
Contents - Markun Cs Shinshu U Ac Jp
Contents - Markun Cs Shinshu U Ac Jp
- No tags were found...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
OPERATIONS ON SUBSPACES IN REAL UNITARY SPACE 6<br />
REFERENCES<br />
[1] Czesław Byliński. B<strong>in</strong>ary operati<strong>on</strong>s. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/b<strong>in</strong>op_1.html.<br />
[2] Czesław Byliński. Functi<strong>on</strong>s and their basic properties. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/<br />
funct_1.html.<br />
[3] Czesław Byliński. Some basic properties of sets. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/<br />
zfmisc_1.html.<br />
[4] Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama. <strong>Subspaces</strong> and cosets of subspace of real unitary space. Journal of Formalized<br />
Mathematics, 14, 2002. http://mizar.org/JFM/Vol14/rusub_1.html.<br />
[5] Jan Popiołek. Introducti<strong>on</strong> to Banach and Hilbert spaces — part I. Journal of Formalized Mathematics, 3, 1991. http://mizar.org/<br />
JFM/Vol3/bhsp_1.html.<br />
[6] Andrzej Trybulec. Doma<strong>in</strong>s and their Cartesian products. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/<br />
Vol1/doma<strong>in</strong>_1.html.<br />
[7] Andrzej Trybulec. Tarski Grothendieck set theory. Journal of Formalized Mathematics, Axiomatics, 1989. http://mizar.org/JFM/<br />
Axiomatics/tarski.html.<br />
[8] Wojciech A. Trybulec. <str<strong>on</strong>g>Operati<strong>on</strong>s</str<strong>on</strong>g> <strong>on</strong> subspaces <strong>in</strong> real l<strong>in</strong>ear space. Journal of Formalized Mathematics, 1, 1989. http://mizar.<br />
org/JFM/Vol1/rlsub_2.html.<br />
[9] Wojciech A. Trybulec. Vectors <strong>in</strong> real l<strong>in</strong>ear space. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/<br />
rlvect_1.html.<br />
[10] Z<strong>in</strong>aida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/subset_1.html.<br />
[11] Edmund Wor<strong>on</strong>owicz. Relati<strong>on</strong>s and their basic properties. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/<br />
Vol1/relat_1.html.<br />
[12] Edmund Wor<strong>on</strong>owicz. Relati<strong>on</strong>s def<strong>in</strong>ed <strong>on</strong> sets. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/<br />
relset_1.html.<br />
[13] Stanisław Żukowski. Introducti<strong>on</strong> to lattice theory. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/<br />
lattices.html.<br />
Received October 9, 2002<br />
Published January 2, 2004
Change language