MHB Why doesn't it come from a cartesian product of sets?

AI Thread Summary
The discussion centers on the set defined as $I_A=\{ <a,a>, a \in A \}$, which consists of ordered pairs where both elements are the same, contrasting with the Cartesian product $A \times A$ that includes all possible pairs. It is clarified that $I_A$ does not arise from a Cartesian product when the set $A$ has more than one element, as this would necessitate the inclusion of pairs like $(a,b)$ where $a \neq b$. The reasoning involves showing that if $I_A$ were equal to a Cartesian product $B \times C$, then both $B$ and $C$ would need to contain all elements of $A$, leading to contradictions. The conclusion emphasizes that $I_A$ is not equivalent to any Cartesian product of two sets when $|A|>1$. This distinction is crucial for understanding the nature of relations in set theory.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

There is the following sentence in my notes:

Let $A$ be a set. We define the set $I_A=\{ <a,a>, a \in A \}$.

$$A \times A=\{ <a_1,a_2>: a_1 \in A \wedge a_2 \in A \}$$

Then $I_A$ is a relation, but does not come from a cartesian product of sets.

Could you explain me the last sentence? (Thinking)
 
Physics news on Phys.org
To illustrate with an example. Let $A = \{a_1,a_2\}$ then $I_A = \{(a_1,a_1),(a_2,a_2)\}$ and $A \times A = \{(a_1,a_1),(a_1,a_2),(a_2,a_1),(a_2,a_2)\}$. Clearly they're not the same and as you mentioned $I_A$ does not come from a cartesian product. Look at how $I_A$ is defined, it only contains the couples where both elements are the same. The cartesian product contains all the possible couples.
 
I still haven't understood why $I_A$ does not come from a cartesian product of sets.. (Sweating)
Could you explain it further to me? (Thinking)
 
evinda said:
I still haven't understood why $I_A$ does not come from a cartesian product of sets..
It apparently means that $I_A$ is not equal to a Cartesian product of two sets if $|A|>1$. Indeed, suppose that $a,b\in A$ and $a\ne b$. Then $\langle a,a\rangle\in I_A$ and $\langle b,b\rangle\in I_A$. Suppose now that $I_A=B\times C$. Then $B$ must contain all first elements of pairs from $I_A$; in particular, $a,b\in B$. Similarly, $C$ contains all second elements of pairs from $I_A$; in particular, $a,b\in B$. But then $\langle a,b\rangle\in B\times C$ even though $\langle a,b\rangle\notin I_A$.
 
Evgeny.Makarov said:
It apparently means that $I_A$ is not equal to a Cartesian product of two sets if $|A|>1$. Indeed, suppose that $a,b\in A$ and $a\ne b$. Then $\langle a,a\rangle\in I_A$ and $\langle b,b\rangle\in I_A$. Suppose now that $I_A=B\times C$. Then $B$ must contain all first elements of pairs from $I_A$; in particular, $a,b\in B$. Similarly, $C$ contains all second elements of pairs from $I_A$; in particular, $a,b\in B$. But then $\langle a,b\rangle\in B\times C$ even though $\langle a,b\rangle\notin I_A$.

I understand... Thank you very much! (Smile)
 

Similar threads

Back
Top