Cartesian Product

The Cartesian Product of two sets ( A ) and ( B ), denoted as ( A \times B ), is the set of all ordered pairs where the first element comes from ( A ) and the second comes from ( B ).


Definition

The Cartesian product of two sets ( A ) and ( B ) is defined as:

This means that each element in set ( A ) is paired with every element in set ( B ).


Example

Consider two sets ( A = {1, 2} ) and ( B = {x, y} ).

Key Insight

The Cartesian product is not commutative: . This means that:

In particular:


Generalization

The concept of Cartesian product can be extended to more than two sets. For example, the Cartesian product of three sets ( A ), ( B ), and ( C ) is:

If ( A = {1, 2}, B = {x}, C = {y, z} ), the product is:

Visualizing the Cartesian Product

  • For ( A \times B ), imagine a grid where each row corresponds to an element of ( A ) and each column to an element of ( B ). The intersections represent the pairs.
  • For higher dimensions, the visualization extends to cubes, and hypercubes for further sets.