What does the notation A × B = {(a,b) | a ∈ A and b ∈ B} mean?

  • Context: High School 
  • Thread starter Thread starter sniffer
  • Start date Start date
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
6 replies · 2K views
sniffer
Messages
112
Reaction score
0
ehm, sorry, i am a beginner in set theory. learning on my own.
for cartesian product ordered pair, for example
[itex]A = \{a_1, a_{2}, a_{3}\} \\<br /> B = \{b_{1}, b_{2}, b_{3}\}[/itex]

is the product [itex]A \times B = \{a_{1}b{1}, a_{1}b{2}, a_{1}b{3}, a_{2}b{1}, \\<br /> a_{2}b{2}, a_{2}b{3}, a_{3}b{1}, a_{3}b{2}, a_{3}b{3},\}[/itex] ??

What does [itex]A \times B = \{(a,b)\mid a \in A and b \in B\}[/itex] mean in detail?

thanks.
 
Physics news on Phys.org
sorry, a bit mistyped the question above.

for cartesian product ordered pair, for example
[itex]A = \{a_1, a_2, a_3\}[/itex] and [itex]B = \{b_1, b_2, b_3\}[/itex]

is the product [itex]A \times B = \{a_{1}b{1}, a_{1}b{2}, a_{1}b{3}, a_{2}b{1}, \\<br /> a_{2}b{2}, a_{2}b{3}, a_{3}b{1}, a_{3}b{2}, a_{3}b{3},\}[/itex] ??

What does [itex]A \times B = \{(a,b)\mid a \in A \ and \ b \in B\}[/itex] mean in detail
in terms of individual set member for this simple example?

thanks.
 
the elements in the product are the pairs (a_i,b_j) for 1<= i,j <=3.

what does a_1b_1 even mean?

the product is all odered pairs (a,b) where a is in A and b is in B. nothing more nothing less.
 
[itex]a_i[/itex] and [itex]b_i[/itex] are numbers or element such as 1, 6, 8, etc.

i think i may understand your simple answer.

thanks
 
the product of sets does not involve multiplying the elements; elements of sets do not necessarily even possesses a multiplicationwhat if A were the set of results of drawing a card and B were the set of results of tossing a coin? if a were the three of diamonds and b heads, then what does ab mean?
 
Notice the parentheses in [itex]A \times B = \{(a,b)\mid a \in A \ and \ b \in B\}[/itex]?

What you want is
[itex]A \times B = \{(a_{1},b{1}), (a_{1},b_{2}), (a_{1},b_3}), (a_{2},b_{1}), (a_{2},b_{2}),\\ (a_{2},b_{3}), (a_{3},b_{1}), (a_{3},b_{2}),(a_{3},b_{3}),\}[/itex]
 
Last edited by a moderator:
yup. now i understand it. thanks guys.