Appendix A: Mathematical Preliminaries
Appendix A: Mathematical Preliminaries Definition A1. Cartesian Product Let X and Y be two non-empty sets. The Cartesian product of X and Y, denoted X Â Y, is the set of all ordered pairs, a member of X followed by a member of Y. That is, ÈÉ X Â Y ¼ ðÞx, y x 2 X, y ∈ Y : Example A2. Let X ¼ {0, 1}, Y ¼ {x, y, z}. Then the Cartesian product X Â Y of X and Y is fgðÞ0, x ,0,ðÞy ,0,ðÞz ,1,ðÞx ,1,ðÞy ,1,ðÞz : Definition A3. Relation Let X and Y be two non-empty sets. A subset of X Â Y is a relation from X to Y; a subset of X Â X is a relation in X. Example A4. Let X ¼ {0, 1}, Y ¼ {x, y, z}. Then ÈÉÀ Á À Á À Á R ¼ ðÞ0, x , 1, x , 1, y , 1, z , R0 ¼ ∅, are relations from X to Y.(R0 is a relation because the empty set ∅ is a subset of every set.) Moreover, R00 ¼ fgðÞ0, 0 ,1,0ðÞ,1,1ðÞ is a relation in X. Definition A5. Function Let X and Y be two non-empty sets. E. Agmon, The Languages of Western Tonality, Computational Music Science, 265 DOI 10.1007/978-3-642-39587-1, © Springer-Verlag Berlin Heidelberg 2013 266 Appendix A: Mathematical Preliminaries A function f from X into Y is a subset of X Â Y (i.e., a relation from X to Y) with the following property. For every x ∈ X, there exists exactly one y ∈ Y, such that (x, y) ∈ f.
[Show full text]