What is the universal property of the Cartesian product in terms of function spaces?

Conditions

• Applies specifically to Cartesian products, not general operations like addition.

Reasoning, step by step

1. Identify the sets X, Y, and Z.
2. Consider the set of functions from Z to $X\times Y$.
3. Compare this to the Cartesian product of the set of functions from Z to X and the set of functions from Z to Y.
4. Recognize the natural isomorphism between these two sets.

Example

The formula is written as $(X \times Y)^Z \cong X^Z \times Y^Z$.

Common misconceptions

• Assuming that this property holds for all binary operations, such as addition.
• Confusing the Cartesian product with other types of products in mathematics.

Watch the explanation

Explore next

• Why does the universal property of the Cartesian product not generalize to addition?
• What is the universal property for subspace topology?