Cartesian Product: From Intuition to Definition
Imagine you're ordering a pizza. You have two choices to make: the size (Small, Medium, Large) and the topping (Cheese, Pepperoni, Veggie). How many different pizzas can you order?
You can pair each size with each topping:
- Small + Cheese, Small + Pepperoni, Small + Veggie
- Medium + Cheese, Medium + Pepperoni, Medium + Veggie
- Large + Cheese, Large + Pepperoni, Large + Veggie
That's 3×3=9 possible pizzas. What you just did — systematically pairing every element of one set with every element of another — is the Cartesian product in action.
The Intuition
The Cartesian product is a way to combine two sets to create a new set of ordered pairs. The order matters: (Small, Cheese) is different from (Cheese, Small) — one is a pizza order, the other is nonsense.
Think of it like a multiplication table for sets. If set A has m items and set B has n items, their Cartesian product has m×n items.
The name comes from René Descartes, who used this idea to create the coordinate plane — every point (x,y) on a graph is an element of the Cartesian product of the x-axis and y-axis.
The Precise Definition
Let A and B be two sets. The Cartesian product of A and B, written A×B, is the set of all ordered pairs (a,b) where a is from A and b is from B.
A×B={(a,b)∣a∈A and b∈B}
The vertical bar means "such that." So read it as: "The set of all ordered pairs (a, b) such that a belongs to A and b belongs to B."
Key Properties to Remember
-
Order matters: A×B is generally not the same as B×A. For example, if A={1,2} and B={x,y}:
- A×B={(1,x),(1,y),(2,x),(2,y)}
- B×A={(x,1),(x,2),(y,1),(y,2)}
These are different sets because the pairs are ordered differently.
-
Size formula: If ∣A∣=m and ∣B∣=n, then ∣A×B∣=m×n. This holds even if one set is empty — then the product is empty.
-
Empty set: A×∅=∅ and ∅×B=∅. You can't form any pairs if one set has nothing to contribute.
A common mistake: thinking A×B contains all possible combinations of elements from A and B without caring about order. But (a,b) and (b,a) are different pairs unless a=b. Always treat ordered pairs as distinct based on position.
Examples to Cement the Idea
Example 1: A={1,2}, B={3,4}
A×B={(1,3),(1,4),(2,3),(2,4)}
Four pairs, as expected (2×2=4).
Example 2: A={a}, B={1,2,3}
A×B={(a,1),(a,2),(a,3)}
Three pairs — every element of B gets paired with the single element of A.
Example 3: A={0,1}, B={0,1}
A×B={(0,0),(0,1),(1,0),(1,1)}
This is the set of all possible 2-bit binary strings — a foundation for computer science.
Why This Matters
The Cartesian product is the mathematical backbone of:
- Coordinate geometry: Every point (x,y) in the plane is from R×R.
- Database tables: A table's rows are elements of the Cartesian product of its column domains.
- Probability: All possible outcomes of two independent events form a Cartesian product.
- Functions: A function from A to B is a subset of A×B with special properties.
The Cartesian product is not commutative (A×B=B×A in general), but it is associative: (A×B)×C can be thought of as A×B×C, the set of ordered triples. This extends naturally to any number of sets.
Quick Check for Yourself
If A={1,2} and B={2,3}, what is A×B? What is B×A? Are they the same?
Answer: A×B={(1,2),(1,3),(2,2),(2,3)}; B×A={(2,1),(2,2),(3,1),(3,2)}. They share only (2,2) — the rest are different because the order of coordinates is swapped.
The Cartesian product of two sets is introduced at the very start of the NCERT Class 11 Mathematics chapter on Relations and Functions, and "Cartesian product of sets definition and examples" is a commonly searched foundational topic for CBSE board and JEE Main preparation. This concept also underlies coordinate geometry and the formal definition of a function, both of which are frequently tested in "relations and functions important questions".