Register to reply 
Mathematical connection in the cartesian product 
Share this thread: 
#1
Feb1114, 07:32 PM

P: 250

What is the mathematical connection between elements of a cartesian product ##A\times{}B## and the elements of the sets ##A## and ##B##?
In other words, what is the difference between the set ##A\times{}B## and just any set ##Z## with ##A.B## elements that creates no contradictions if I choose to make a connection in my head between each element of it and one element of ##A## and one element of ##B## the same way the cartesian product of ##A## and ##B## does? Because if you forget the usual notation for elements of a cartesian product (e.g. ##(a,b)##, ##a\times{}b##, ##ab##) all you have is a set with cardinality ##A.B## that you as a human connect to the elements of the sets involved in the product in a particular way, usually through notation. But if I have ##Z=A.B## how can I prove or disprove that the set ##Z## is the cartesian product of ##A## and ##B##? Are the elements of ##A## and ##B## set theoretically contained in the elements of ##A\times{}B##? If I choose to say the set ##\{1,2,3,4\}## is the cartesian product of the sets ##\{a,b\}## and ##\{c,d\}## is that incorrect just because of the way that I chose to write the sets down? 


#2
Feb1114, 08:04 PM

P: 1,622

The Cartesian product of sets X_{0} and X_{1} actually gives you more information than a set with cardinality X_{0}X_{1}. It also comes equipped with canonical projections p_{i}:X_{0}×X_{1}→X_{i} that satisfy nice mapping properties. Any set Z equipped with projections q_{i}:Z→X_{i} satisfying these same properties could equally well be called the product of X_{0} and X_{1} and in some cases this identification is made. On the other hand, if someone asks whether {1,2,3,4} is the product of {a,b} and {c,d}, then you should probably answer "no" since pointwise these sets differ.
There are other reasons to pay attention to the usual description of Cartesian products by the way. When you have sets with structure (like groups, rings, topological spaces, etc.) often times a product of these objects is constructed by looking at the usual Cartesian product of the underlying sets and then defining the extra structure on that. So it genuinely makes life easier to keep the ordered pair definition in mind. 


#3
Feb1114, 08:18 PM

P: 250

I don't know why it occurred to me to google "cartesian product" only after I posted my question, but anyway..
In ZFC everything is a set, which means every element of every set is a set. So even though the ordered pair (a,b) has been defined as (a,b) = {{a},{a,b}} and (a,b) = {{a},ø},{{b}}} for different reasons, the only thing that matters is that your definition makes sure that (a,b) = (c,d) <=> a = b and c = d. In a sense it is okay to think that the element (a,b) in AxB set theoretically contains the elements a in A and b in B. 


#4
Feb1114, 08:24 PM

P: 1,622

Mathematical connection in the cartesian product



Register to reply 
Related Discussions  
The importance of the title Mathematical Physics vs. Physics for grad school/jobs  Academic Guidance  0  
100% Mathematical Proof vs Vellmen's How to Prove it  Science & Math Textbooks  3  
Finite cartesian product of connected space is connected  Topology and Analysis  7  
Undergraduate or beginning mathematical methods book?  Calculus & Beyond Homework  1  
Mathematical Definitions: If versus Iff  Math & Science Software  22 